E-LIB Suche - Ergebnisse für: Foster, Simon

1

Formally verified animation for RoboChart using interaction..:

Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100940 , 2024

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

2

ACCESS: Assurance Case Centric Engineering of Safety–critic..:

Wei, Ran ; Foster, Simon ; Mei, Haitao...
Journal of Systems and Software. 213 (2024) - p. 112034 , 2024

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

3

Automated Model-Based Assurance Case Management Using Const..:

Wei, Ran ; Jiang, Zhe ; Mei, Haitao...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 1 - p. 291-304 , 2024

Link: https://doi.org/10.1109/..

4

Clonal population expansion of Staphylococcus aureus occurs..:

Pidwill, Grace R. ; Pyrah, Josie F. ; Sutton, Joshua A. F....
Scientific Reports. 13 (2023) 1 - p. , 2023

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

5

An exhaustive multiple knockout approach to understanding c..:

Wilson, Sean A. ; Tank, Raveen K. J. ; Hobbs, Jamie K....
mBio. 14 (2023) 5 - p. , 2023

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

6

Automated Compositional Verification for Robotic State Mach..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Yan, Fang ; Foster, Simon ; Habli, Ibrahim - p. 167-176 , 2023

Link: https://doi.org/10.1109/..

7

UTP, Circus, and Isabelle:

, In: Theories of Programming and Formal Methods; Lecture Notes in Computer Science,

Woodcock, Jim ; Cavalcanti, Ana ; Foster, Simon... - p. 19-51 , 2023

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

8

The ClpX chaperone and a hypermorphic FtsA variant with imp..:

Henriksen, Camilla ; Bæk, Kristoffer T. ; Wacnik, Katarzyna...
Molecular Microbiology. 121 (2023) 1 - p. 98-115 , 2023

Link: https://doi.org/10.1111/..

9

Automated Reasoning for Physical Quantities, Units, and Mea..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Foster, Simon ; Wolff, Burkhart - p. 136-141 , 2023

Link: https://doi.org/10.1109/..

10

The roles of GpsB and DivIVA in Staphylococcus aureus growt..:

Sutton, Joshua A. F. ; Cooke, Mark ; Tinajero-Trejo, Mariana...
Frontiers in Microbiology. 14 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

11

The Impact of the COVID-19 Pandemic on Young Adults' Mental..:

Foster, Simon ; Estévez-Lamorte, Natalia ; Walitza, Susanne.
International Journal of Environmental Research and Public Health. 20 (2023) 3 - p. 2598 , 2023

Link: https://doi.org/10.3390/..

12

SmdA is a Novel Cell Morphology Determinant in Staphylococc..:

Myrbråten, Ine Storaker ; Stamsås, Gro Anita ; Chan, Helena...
mBio. 13 (2022) 2 - p. , 2022

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

13

Antibiotics Limit Adaptation of Drug-Resistant Staphylococc..:

Hull, Rebecca C. ; Wright, Rosanna C. T. ; Sayers, Jon R....
Antimicrobial Agents and Chemotherapy. 66 (2022) 12 - p. , 2022

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

14

Perceived stress, coping strategies, and mental health stat..:

Foster, Simon ; Estévez-Lamorte, Natalia ; Walitza, Susanne..
European Child & Adolescent Psychiatry. 32 (2022) 6 - p. 937-949 , 2022

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

15

The W-Acidic Motif of Histidine Kinase WalK Is Required for..:

Kong, Lingyuan ; Su, Mingyang ; Sang, Jiayan...
Frontiers in Microbiology. 13 (2022) - p. , 2022

Link: https://doi.org/10.3389/..