Concepedia
Statistics
Publications
28
Citations
1.5K
H-Index
18
Active since
1986
Affiliations
Verimag(Current)
University Hospital of Basel
University of Basel
Kantonsspital Baselland
University of Bern
Susanne Graf is an author at Verimag specializing in computer science, computing, and formal methods.
Publications per year
1986–2024
Property preserving abstractions for the verification of concurrent systems
Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 357 citations
Computing, Computer Engineering, Computer Science +14
Direct antimicrobial resistance prediction from clinical MALDI-TOF mass spectra using machine learning
Caroline Weis, Aline Cuénod, Bastian Rieck et al. · Nature Medicine · 2022 · 259 citations
Life Sciences, Infectious Diseases, Microbiology +15
Compositional minimisation of finite state systems using interface specifications
Susanne Graf, Bernhard Steffen, Gerald Lüttgen · Formal Aspects of Computing · 1996 · 113 citations · Full text
Computing, Computer Science, Systems Engineering +14
Propionibacterium spp. in prosthetic joint infections: a diagnostic challenge
Björn Zappe, Susanne Graf, P. E. Ochsner et al. · Archives of Orthopaedic and Trauma Surgery · 2007 · 111 citations
Medicine, Microbiology, Orthopaedic Surgery +16
Validating timed UML models by simulation and verification
Iulian Ober, Susanne Graf, Ileana Ober · International Journal on Software Tools for Technology Transfer · 2005 · 104 citations
Engineering, Computer Science, Model-based Systems Engineering +11
1–5 of 28