Scholar
Stefan Haar
Google Scholar ID: MgeEaDozUI8C
INRIA and Université Paris-Saclay
Systems Biology
Concurrency
Fault Diagnosis
Petri net unfoldings
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
688
H-index
14
i10-index
19
Publications
20
Co-authors
47
list available
Contact
No contact links provided.
Publications
4 items
Secret Protection in Labeled Petri Nets
2025
Cited
0
Quantum Petri Nets with Event Structure semantics
2025
Cited
0
Quantum Petri Nets with Event Structures semantics
2025
Cited
0
Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
2025
Cited
0
Resume (English only)
Academic Achievements
Published 'Diagnosis of asynchronous discrete-event systems: a net unfolding approach' in 2003, cited 415 times
Published 'Probabilistic qos and soft contracts for transaction-based web services orchestrations' in 2008, cited 178 times
Published 'Distributed monitoring of concurrent and asynchronous systems' in 2005, cited 132 times
Published 'Reconciling qualitative, abstract, and scalable modeling of biological networks' in 2020, cited 124 times
Published 'Markov nets: probabilistic models for distributed and concurrent systems' in 2003, cited 102 times
Research Experience
Researcher at INRIA and Université Paris-Saclay
Background
Research Interests: Systems Biology, Concurrency, Fault Diagnosis, Petri net unfoldings
Co-authors
47 total
Co-author 1
Loïc Paulevé
CNRS/LaBRI, Bordeaux, France
Co-author 3
Co-author 4
Co-author 5
Frank D. Valencia
CNRS, École Polytechnique de Paris
Co-author 7
Barbara König
Universität Duisburg-Essen, Theoretische Informatik
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up