Stefan Haar
Scholar

Stefan Haar

Google Scholar ID: MgeEaDozUI8C
INRIA and Université Paris-Saclay
Systems BiologyConcurrencyFault DiagnosisPetri net unfoldings
Citations & Impact
All-time
Citations
688
 
H-index
14
 
i10-index
19
 
Publications
20
 
Co-authors
47
list available
Contact
No contact links provided.
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