E-LIB Suche - Ergebnisse für: ter Beek, Maurice

1

Diagnostic accuracy of inflammatory markers in adults with ..:

Olie, Sabine E. ; Staal, Steven L. ; ter Horst, Liora...
Journal of Infection. 88 (2024) 3 - p. 106117 , 2024

Link: https://doi.org/10.1016/..

2

Breaking barriers: pCF10 type 4 secretion system relies on ..:

Sun, Wei-Sheng ; Torrens, Gabriel ; ter Beek, Josy...
mBio. , 2024

Link: https://doi.org/10.1128/..

3

In vitro reconstitution reveals membrane clustering and RNA..:

Shankar, Kasturika ; Sorin, Marie N. ; Sharma, Himanshu...
PLOS Pathogens. 20 (2024) 8 - p. e1012388 , 2024

Link: https://doi.org/10.1371/..

4

Modeling pulsed dye laser treatment of psoriatic plaques by..:

Wilk, Leah S. ; Doppegieter, Meagan ; van der Beek, Nick..
Lasers in Surgery and Medicine. 56 (2024) 5 - p. 508-522 , 2024

Link: https://doi.org/10.1002/..

5

Assessing the Understandability and Acceptance of Attack-De..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,

Broccia, Giovanna ; ter Beek, Maurice H. ; Lluch Lafuente, Alberto.. - p. 39-56 , 2024

Link: https://doi.org/10.1007/..

6

Product lines of dataflows:

Lienhardt, Michael ; ter Beek, Maurice H. ; Damiani, Ferruccio
Journal of Systems and Software. 210 (2024) - p. 111928 , 2024

Link: https://doi.org/10.1016/..

7

A distinctive family of L,D-transpeptidases catalyzing L-Al..:

Espaillat, Akbar ; Alvarez, Laura ; Torrens, Gabriel...
Nature Communications. 15 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

8

Coherent modal transition systems refinement:

Basile, Davide ; ter Beek, Maurice H. ; Fantechi, Alessandro.
Journal of Logical and Algebraic Methods in Programming. 138 (2024) - p. 100954 , 2024

Link: https://doi.org/10.1016/..

9

Diagnostic accuracy of clinical and laboratory characterist..:

van Zeggeren, I.E. ; Pennartz, C.J. ; ter Horst, L....
Journal of Hospital Infection. 145 (2024) - p. 99-105 , 2024

Link: https://doi.org/10.1016/..

10

Correction to: The 2020 Expert Survey on Formal Methods:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Garavel, Hubert ; ter Beek, Maurice H. ; van de Pol, Jaco - p. C2-C2 , 2024

Link: https://doi.org/10.1007/..

11

Team Automata: Overview and Roadmap:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

ter Beek, Maurice H. ; Hennicker, Rolf ; Proença, José - p. 161-198 , 2024

Link: https://doi.org/10.1007/..

12

Formal Methods and Tools Applied in the Railway Domain:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

ter Beek, Maurice H. - p. 3-21 , 2024

Link: https://doi.org/10.1007/..

13

Granulocytes in cerebrospinal fluid of adults suspected of ..:

Staal, Steven L. ; Olie, Sabine E. ; ter Horst, Liora...
Infection. 52 (2024) 4 - p. 1415-1423 , 2024

Link: https://doi.org/10.1007/..

14

Advancing orchestration synthesis for contract automata:

Basile, Davide ; ter Beek, Maurice H.
Journal of Logical and Algebraic Methods in Programming. 141 (2024) - p. 100998 , 2024

Link: https://doi.org/10.1016/..

15

Proceedings of the 27th ACM International Systems and Softw..:

Arcaini, Paolo ; Beek, Maurice H. ter ; Perrouin, Gilles... , 2023

Link: https://dl.acm.org/doi/1..