Branching Processes of general S/T-Systems and their properties. - Stefan Haar (MFCS Workshop on Concurrency, 1998)

Kausalität, Nebenläufigkeit und Konflikt: elementare Netzsysteme aus topologisch-relationaler Sicht. - Stefan Haar (Bertz, 1998)

Occurrence Net Logics. - Stefan Haar (Fundam. Informaticae, 2000)

Clusters, Confusion and Unfoldings. - Stefan Haar (Fundam. Informaticae, 2001)

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. - Stefan Haar (PAPM-PROBMIV, 2002)

Probabilistic Cluster Unfoldings. - Stefan Haar (Fundam. Informaticae, 2002)

Distributed and asynchronous discrete event systems diagnosis. - Albert Benveniste; Stefan Haar; Eric Fabre; Claude Jard (CDC, 2003)

Partial order diagnosability of discrete event systems using petri net unfoldings. - Stefan Haar; Albert Benveniste; Eric Fabre; Claude Jard (CDC, 2003)

Distributed semi-Markov processes in stochastic T-timed Petri nets. - Stefan Haar (PNPM, 2003)

Blocking a transition in a free choice net and what it tells about its throughput. - Bruno Gaujal; Stefan Haar; Jean Mairesse (J. Comput. Syst. Sci., 2003)

Markov nets: probabilistic models for distributed and concurrent systems. - Albert Benveniste; Eric Fabre; Stefan Haar (IEEE Trans. Autom. Control., 2003)

Diagnosis of asynchronous discrete-event systems: a net unfolding approach. - Albert Benveniste; Eric Fabre; Stefan Haar; Claude Jard (IEEE Trans. Autom. Control., 2003)

Algorithms for Distributed Fault Management in Telecommunications Networks. - Eric Fabre; Albert Benveniste; Stefan Haar; Claude Jard; Armen Aghasaryan (ICT, 2004)

Diagnosis of asynchronous discrete event systems: datalog to the rescue! - Serge Abiteboul; Zoë Abrams; Stefan Haar; Tova Milo (PODS, 2005)

Distributed Monitoring of Concurrent and Asynchronous Systems*. - Eric Fabre; Albert Benveniste; Stefan Haar; Claude Jard (Discret. Event Dyn. Syst., 2005)

X-domain QoS budget negotiation using Dynamic Programming. - Hélia Pouyllau; Armen Aghasaryan; Laurent Ciarletta; Stefan Haar (AICT/ICIW, 2006)

Distributed Unfolding of Petri Nets. - Paolo Baldan; Stefan Haar; Barbara König 001 (FoSSaCS, 2006)

Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. - Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard (ISoLA, 2006)

Distributed End-to-End QoS Contract Negotiation. - Hélia Pouyllau; Stefan Haar (AIMS, 2007)

Unfold and cover: Qualitative diagnosability for Petri Nets. - Stefan Haar (CDC, 2007)

A protocol for QoS contract negotiation and its implementation using Web Services. - Hélia Pouyllau; Stefan Haar (ICWS, 2007)

Probabilistic QoS and soft contracts for transaction based Web services. - Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard (ICWS, 2007)

Testing Input/Output Partial Order Automata. - Stefan Haar; Claude Jard; Guy-Vincent Jourdan (TestCom/FATES, 2007)

End-to-end QoS of X-domain pipes. - Hélia Pouyllau; Stefan Haar (QSHINE, 2007)

Event Structure Semantics of Orc. - Sidney Rosario; David Kitchin; Albert Benveniste; William R. Cook; Stefan Haar; Claude Jard (WS-FM, 2007)

Testing Systems Specified as Partial Order Input/Output Automata. - Gregor von Bochmann; Stefan Haar; Claude Jard; Guy-Vincent Jourdan (TestCom/FATES, 2008)

Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. - Hélia Pouyllau; Stefan Haar (Ann. des Télécommunications, 2008)

Monotony in Service Orchestrations - Anne Bouillard; Sidney Rosario; Albert Benveniste; Stefan Haar (CoRR, 2008)

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. - Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard (IEEE Trans. Serv. Comput., 2008)

Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan; Stefan Haar (Allerton, 2009)

Monotonicity in Service Orchestrations. - Anne Bouillard; Sidney Rosario; Albert Benveniste; Stefan Haar (Petri Nets, 2009)

Qualitative diagnosability of labeled petri nets revisited. - Stefan Haar (CDC, 2009)

Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. - Anne Bouillard; Stefan Haar; Sidney Rosario (FORMATS, 2009)

Augmenting Petri nets to model health-care protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan; Stefan Haar (WODES, 2010)

Unfolding-based diagnosis of systems with an evolving topology. - Paolo Baldan; Thomas Chatain; Stefan Haar; Barbara König 001 (Inf. Comput., 2010)

Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets. - Stefan Haar (IEEE Trans. Autom. Control., 2010)

Building Tight Occurrence Nets from Reveals Relations. - Sandie Balaguer; Thomas Chatain; Stefan Haar (ACSD, 2011)

Conformance Relations for Labeled Event Structures. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (TAP@TOOLS, 2012)

What topology tells us about diagnosability in partial order semantics. - Stefan Haar (Discret. Event Dyn. Syst., 2012)

A concurrency-preserving translation from time Petri nets to networks of timed automata. - Sandie Balaguer; Thomas Chatain; Stefan Haar (Formal Methods Syst. Des., 2012)

Diagnosis with Petri Net Unfoldings. - Stefan Haar; Eric Fabre (Control of Discrete-Event Systems, 2013)

Languages, Decidability, and Complexity. - Stefan Haar; Tomás Masopust (Control of Discrete-Event Systems, 2013)

Reveal Your Faults: It's Only Fair! - Stefan Haar; César Rodríguez; Stefan Schwoon (ACSD, 2013)

Unfolding-Based Test Selection for Concurrent Conformance. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (ICTSS, 2013)

Building Occurrence Nets from Reveals Relations. - Sandie Balaguer; Thomas Chatain; Stefan Haar (Fundam. Informaticae, 2013)

Computing the reveals relation in occurrence nets. - Stefan Haar; Christian Kern; Stefan Schwoon (Theor. Comput. Sci., 2013)

Characterization of Reachable Attractors Using Petri Net Unfoldings. - Thomas Chatain; Stefan Haar; Loïg Jezequel; Loïc Paulevé; Stefan Schwoon (CMSB, 2014)

Active Diagnosis for Probabilistic Systems. - Nathalie Bertrand 001; Eric Fabre; Stefan Haar; Serge Haddad; Loïc Hélouët (FoSSaCS, 2014)

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (ICTAC, 2014)

Closed Sets in Occurrence Nets with Conflicts. - Luca Bernardinello; Carlo Ferigato; Stefan Haar; Lucia Pomello (Fundam. Informaticae, 2014)

Model-based testing for concurrent systems with labelled event structures. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (Softw. Test. Verification Reliab., 2014)

A Canonical Contraction for Safe Petri Nets. - Thomas Chatain; Stefan Haar (Trans. Petri Nets Other Model. Concurr., 2014)

A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. - Stefan Haar; Simon Theissing (ADHS, 2015)

Non-atomic Transition Firing in Contextual Nets. - Thomas Chatain; Stefan Haar; Maciej Koutny; Stefan Schwoon (Petri Nets, 2015)

Unfolding-Based Process Discovery. - Hernán Ponce de León; César Rodríguez; Josep Carmona 001; Keijo Heljanko; Stefan Haar (ATVA, 2015)

Active diagnosis with observable quiescence. - Stanislav Böhm; Stefan Haar; Serge Haddad; Piotr Hofman; Stefan Schwoon (CDC, 2015)

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. - Stefan Haar; Salim Perchy; Camilo Rueda; Frank D. Valencia (PPDP, 2015)

Diagnosability under Weak Fairness. - Vasileios Germanos; Stefan Haar; Victor Khomenko; Stefan Schwoon (ACM Trans. Embed. Comput. Syst., 2015)

Predicting traffic load in public transportation networks. - Stefan Haar; Simon Theissing (ACC, 2016)

Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. - Hugues Mandon; Stefan Haar; Loïc Paulevé (HSB, 2016)

Decoupling Passenger Flows for Improved Load Prediction. - Stefan Haar; Simon Theissing (QEST, 2016)

Forecasting Passenger Loads in Transportation Networks. - Stefan Haar; Simon Theissing (PASM, 2016)

Cyclic Ordering Through Partial Orders. - Stefan Haar (J. Multiple Valued Log. Soft Comput., 2016)

Model-based testing for concurrent systems: unfolding-based test selection. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (Int. J. Softw. Tools Technol. Transf., 2016)

Temporal Reprogramming of Boolean Networks. - Hugues Mandon; Stefan Haar; Loïc Paulevé (CMSB, 2017)

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. - Stefan Haar; Salim Perchy; Frank D. Valencia (ICSC, 2017)

Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach. - Stefan Haar; Salim Perchy; Frank Valencia (Int. J. Semantic Comput., 2017)

Optimal constructions for active diagnosis. - Stefan Haar; Serge Haddad; Tarek Melliti; Stefan Schwoon (J. Comput. Syst. Sci., 2017)

Belief, knowledge, lies and other utterances in an algebra for space and extrusion. - Michell Guzmán; Stefan Haar; Salim Perchy; Camilo Rueda; Frank D. Valencia (J. Log. Algebraic Methods Program., 2017)

Message from the Guest Editors. - Stefan Haar; Roland Meyer 001 (ACM Trans. Embed. Comput. Syst., 2017)

Boolean Networks: Beyond Generalized Asynchronicity. - Thomas Chatain; Stefan Haar; Loïc Paulevé (Automata, 2018)

Hyper Partial Order Logic. - Béatrice Bérard; Stefan Haar; Loïc Hélouët (FSTTCS, 2018)

Most Permissive Semantics of Boolean Networks. - Thomas Chatain; Stefan Haar; Loïc Paulevé (CoRR, 2018)

Unfolding of Parametric Boolean Networks. - Juraj Kolcák; David Safránek; Stefan Haar; Loïc Paulevé (SASB, 2018)

The Complexity of Diagnosability and Opacity Verification for Petri Nets. - Béatrice Bérard; Stefan Haar; Sylvain Schmitz; Stefan Schwoon (Fundam. Informaticae, 2018)

Sequential Reprogramming of Boolean Networks Made Practical. - Hugues Mandon; Cui Su; Stefan Haar; Jun Pang 001; Loïc Paulevé (CMSB, 2019)

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. - Stefan Haar; Juraj Kolcák; Loïc Paulevé (VMCAI, 2019)

Algorithms for the Sequential Reprogramming of Boolean Networks. - Hugues Mandon; Cui Su; Jun Pang 001; Soumya Paul; Stefan Haar; Loïc Paulevé (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Parameter space abstraction and unfolding semantics of discrete regulatory networks. - Juraj Kolcák; David Safránek; Stefan Haar; Loïc Paulevé (Theor. Comput. Sci., 2019)

Drawing the Line: Basin Boundaries in Safe Petri Nets. - Stefan Haar; Loïc Paulevé; Stefan Schwoon (CMSB, 2020)

Active Prediction for Discrete Event Systems. - Stefan Haar; Serge Haddad; Stefan Schwoon; Lina Ye (FSTTCS, 2020)

Concurrency in Boolean networks. - Thomas Chatain; Stefan Haar; Juraj Kolcák; Loïc Paulevé; Aalok Thakkar (Nat. Comput., 2020)

Preface. - Susanna Donatelli; Stefan Haar; Slawomir Lasota 001 (Fundam. Informaticae, 2021)

Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. - Giann Karlo Aguirre-Samboní; Cédric Gaucherel; Stefan Haar; Franck Pommereau (PNSE@Petri Nets, 2022)

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. - Giann Karlo Aguirre-Samboní; Stefan Haar; Loïc Paulevé; Stefan Schwoon; Nick Würdemann (GandALF, 2022)

Taking Complete Finite Prefixes to High Level, Symbolically. - Nick Würdemann; Thomas Chatain; Stefan Haar (Petri Nets, 2023)

On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. - Stefan Haar; Serge Haddad (Petri Nets, 2024)

Attractor Basins in Concurrent Systems. - Giann Karlo Aguirre-Samboní; Stefan Haar; Loïc Paulevé; Stefan Schwoon; Nick Würdemann (CoRR, 2024)

Taking Complete Finite Prefixes To High Level, Symbolically. - Nick Würdemann; Thomas Chatain; Stefan Haar; Lukas Panneke (Fundam. Informaticae, 2024)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks. - Stefan Haar; Juraj Kolcák (CMSB, 2025)

Quantum Petri Nets with Event Structures semantics. - Julien Saan Joachim; Marc de Visme; Stefan Haar (CoRR, 2025)