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
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
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
9 total
Loïc Paulevé
CNRS/LaBRI, Bordeaux, France
Frank D. Valencia
CNRS, École Polytechnique de Paris
Barbara König
Universität Duisburg-Essen, Theoretische Informatik
Paolo Baldan
Professor of Computer Science, University of Padova
Loic Helouet
INRIA Rennes
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
Jun Pang
University of Luxembourg
Bruno Gaujal
Unknown affiliation