| Publication | Date of Publication | Type |
|---|
| Active prediction for discrete event systems | 2026-03-23 | Paper |
Taking complete finite prefixes to high level, symbolically
Fundamenta Informaticae | 2024-10-22 | Paper |
Concurrency in Boolean networks
Natural Computing | 2024-02-09 | Paper |
Avoid one's doom: finding cliff-edge configurations in Petri nets
(available as arXiv preprint) | 2024-02-08 | Paper |
| Avoid one's doom: finding cliff-edge configurations in Petri nets | 2024-02-08 | Paper |
| Taking complete finite prefixes to high level, symbolically | 2023-11-16 | Paper |
| Drawing the line: basin boundaries in safe Petri nets | 2022-12-22 | Paper |
| scientific article; zbMATH DE number 7561325 (Why is no real title available?) | 2022-07-21 | Paper |
| Unfolding of parametric Boolean networks | 2022-04-25 | Paper |
| Computing the reveals relation in occurrence nets | 2021-03-03 | Paper |
Computing the reveals relation in occurrence nets
(available as arXiv preprint) | 2021-03-03 | Paper |
Combining refinement of parametric models with goal-oriented reduction of dynamics
(available as arXiv preprint) | 2020-01-23 | Paper |
Relationship between the reprogramming determinants of Boolean networks and their interaction graph
Hybrid Systems Biology | 2019-12-04 | Paper |
Relationship between the reprogramming determinants of Boolean networks and their interaction graph
Hybrid Systems Biology | 2019-12-04 | Paper |
| Sequential reprogramming of Boolean networks made practical | 2019-10-10 | Paper |
Temporal reprogramming of Boolean networks
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Parameter space abstraction and unfolding semantics of discrete regulatory networks
Theoretical Computer Science | 2019-06-18 | Paper |
The complexity of diagnosability and opacity verification for Petri nets
Fundamenta Informaticae | 2018-10-02 | Paper |
| Cyclic ordering through partial orders | 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
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Diagnosis of asynchronous discrete-event systems: a net unfolding approach
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Markov nets: probabilistic models for distributed and concurrent systems
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
| Optimal constructions for active diagnosis | 2017-02-21 | Paper |
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Optimal constructions for active diagnosis
Journal of Computer and System Sciences | 2016-09-16 | Paper |
Unfolding-based process discovery
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
A Canonical Contraction for Safe Petri Nets
Lecture Notes in Computer Science | 2015-11-12 | Paper |
Non-atomic transition firing in contextual nets
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Closed sets in occurrence nets with conflicts
Fundamenta Informaticae | 2015-06-26 | Paper |
Languages, Decidability, and Complexity
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Diagnosis with Petri net unfoldings
Lecture Notes in Control and Information Sciences | 2015-01-29 | Paper |
Distributed testing of concurrent systems: vector clocks to the rescue
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Active Diagnosis for Probabilistic Systems
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Computing the reveals relation in occurrence nets
Theoretical Computer Science | 2014-01-10 | Paper |
What topology tells us about diagnosability in partial order semantics
Discrete Event Dynamic Systems | 2013-07-09 | Paper |
Building occurrence nets from reveals relations
Fundamenta Informaticae | 2013-06-27 | Paper |
A concurrency-preserving translation from time Petri nets to networks of timed automata
Formal Methods in System Design | 2012-09-27 | Paper |
Conformance relations for labeled event structures
Tests and Proofs | 2012-07-20 | Paper |
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation | 2010-10-07 | Paper |
CONCUR 2003 - Concurrency Theory
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Critical paths in the partial order unfolding of a stochastic Petri net
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Monotonicity in Service Orchestrations
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
Unfolding-Based Diagnosis of Systems with an Evolving Topology
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Distributed monitoring of concurrent and asynchronous systems
Discrete Event Dynamic Systems | 2005-04-25 | Paper |
| scientific article; zbMATH DE number 2134052 (Why is no real title available?) | 2005-02-15 | Paper |
| scientific article; zbMATH DE number 2090705 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2059843 (Why is no real title available?) | 2004-03-17 | Paper |
Blocking a transition in a free choice net and what it tells about its throughput.
Journal of Computer and System Sciences | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1836371 (Why is no real title available?) | 2002-11-27 | Paper |
Clusters, confusion and unfoldings
Fundamenta Informaticae | 2002-02-28 | Paper |
| scientific article; zbMATH DE number 1515286 (Why is no real title available?) | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1263852 (Why is no real title available?) | 1999-03-16 | Paper |
