Stefan Haar

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Concurrency in Boolean networks	2024-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q6191021	2024-02-08	Paper
Drawing the line: basin boundaries in safe Petri nets	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5090956	2022-07-21	Paper
Unfolding of parametric Boolean networks	2022-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4964715	2021-03-03	Paper
Combining refinement of parametric models with goal-oriented reduction of dynamics	2020-01-23	Paper
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph	2019-12-04	Paper
Sequential reprogramming of Boolean networks made practical	2019-10-10	Paper
Temporal Reprogramming of Boolean Networks	2019-07-25	Paper
Parameter space abstraction and unfolding semantics of discrete regulatory networks	2019-06-18	Paper
The Complexity of Diagnosability and Opacity Verification for Petri Nets	2018-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q4583879	2018-09-03	Paper
The complexity of diagnosability and opacity verification for Petri nets	2018-08-20	Paper
Boolean networks: beyond generalized asynchronicity	2018-08-10	Paper
Decoupling passenger flows for improved load prediction	2018-01-11	Paper
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets	2017-08-25	Paper
Markov nets: probabilistic models for distributed and concurrent systems	2017-06-20	Paper
Diagnosis of asynchronous discrete-event systems: a net unfolding approach	2017-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q2963940	2017-02-21	Paper
Belief, knowledge, lies and other utterances in an algebra for space and extrusion	2016-11-30	Paper
Optimal constructions for active diagnosis	2016-09-16	Paper
Unfolding-Based Process Discovery	2016-01-08	Paper
A Canonical Contraction for Safe Petri Nets	2015-11-12	Paper
Non-atomic Transition Firing in Contextual Nets	2015-08-27	Paper
Closed Sets in Occurrence Nets with Conflicts	2015-06-26	Paper
Languages, Decidability, and Complexity	2015-01-29	Paper
Diagnosis with Petri Net Unfoldings	2015-01-29	Paper
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue	2015-01-13	Paper
Active Diagnosis for Probabilistic Systems	2014-04-16	Paper
Computing the reveals relation in occurrence nets	2014-01-10	Paper
What topology tells us about diagnosability in partial order semantics	2013-07-09	Paper
Building Occurrence Nets from Reveals Relations	2013-06-27	Paper
A concurrency-preserving translation from time Petri nets to networks of timed automata	2012-09-27	Paper
Conformance Relations for Labeled Event Structures	2012-07-20	Paper
Unfolding-based diagnosis of systems with an evolving topology	2010-10-07	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net	2009-12-01	Paper
Monotonicity in Service Orchestrations	2009-06-30	Paper
Unfolding-Based Diagnosis of Systems with an Evolving Topology	2008-11-25	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Distributed monitoring of concurrent and asynchronous systems	2005-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q3159192	2005-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4813200	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4458137	2004-03-17	Paper
Blocking a transition in a free choice net and what it tells about its throughput.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4782042	2002-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q2775863	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4507817	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4234767	1999-03-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Haar