| Publication | Date of Publication | Type |
|---|
Reversing Steps in Petri Nets
Application and Theory of Petri Nets and Concurrency | 2024-01-29 | Paper |
Evaluation of temporal datasets via interval temporal logic model checking
1515.68109 | 2023-02-03 | Paper |
Investigating reversibility of steps in Petri nets
Fundamenta Informaticae | 2022-02-01 | Paper |
| scientific article; zbMATH DE number 7319028 (Why is no real title available?) | 2021-03-10 | Paper |
scientific article; zbMATH DE number 7319028 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-10 | Paper |
| On the unification of process semantics: logical semantics | 2021-03-10 | Paper |
On the unification of process semantics: logical semantics
(available as arXiv preprint) | 2021-03-10 | Paper |
| Equational characterization of covariant-contravariant simulation and conformance simulation semantics | 2021-02-24 | Paper |
Equational characterization of covariant-contravariant simulation and conformance simulation semantics
(available as arXiv preprint) | 2021-02-24 | Paper |
Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts
Theoretical Computer Science | 2020-04-21 | Paper |
| An efficient characterization of Petri net solvable binary words | 2019-12-18 | Paper |
Games for bisimulations and abstraction
(available as arXiv preprint) | 2017-12-11 | Paper |
| scientific article; zbMATH DE number 6811739 (Why is no real title available?) | 2017-11-23 | Paper |
Trace simulation semantics is not finitely based over BCCSP
Acta Cybernetica | 2017-08-25 | Paper |
Branching bisimulation games
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
On the unification of process semantics: equational semantics
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Axiomatizing weak simulation semantics over BCCSP
Theoretical Computer Science | 2014-06-10 | Paper |
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
| Constrained simulations, nested simulation semantics and counting bisimulations | 2014-01-10 | Paper |
Simulations up-to and canonical preorders (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
On the expressiveness of mobile synchronizing Petri nets
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Tagged systems: a framework for the specification of history-dependent properties | 2013-09-27 | Paper |
Distances between processes: a pure algebraic approach
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Unifying the linear time-branching time spectrum of process semantics
Logical Methods in Computer Science | 2013-07-09 | Paper |
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Information Processing Letters | 2013-03-28 | Paper |
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
Fundamentals of Software Engineering | 2012-06-29 | Paper |
The equational theory of weak complete simulation semantics over BCCSP
SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
Non-strongly stable orders also define interesting simulation relations
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
| Accelerations for the coverability set of Petri nets with names | 2012-03-22 | Paper |
Axiomatizing weak ready simulation semantics over BCCSP
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
Decidability and complexity of Petri nets with unordered data
Theoretical Computer Science | 2011-07-29 | Paper |
Decidability problems in Petri nets with names and replication
Fundamenta Informaticae | 2011-03-28 | Paper |
Forward analysis for Petri nets with name creation
Applications and Theory of Petri Nets | 2010-06-22 | Paper |
On the expressiveness of refinement settings
Fundamentals of Software Engineering | 2010-01-28 | Paper |
Ready to preorder: an algebraic and general proof
The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
(Bi)simulations up-to characterise process semantics
Information and Computation | 2009-04-14 | Paper |
Name Creation vs. Replication in Petri Net Systems
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
New Bisimulation Semantics for Distributed Systems
Lecture Notes in Computer Science | 2009-03-10 | Paper |
| scientific article; zbMATH DE number 5506900 (Why is no real title available?) | 2009-02-12 | Paper |
Replicated Ubiquitous Nets
Computational Science and Its Applications - ICCSA 2006 | 2009-02-12 | Paper |
On the Unification of Process Semantics: Observational Semantics
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Replicated Ambient Petri Nets
Lecture Notes in Computer Science | 2008-09-30 | Paper |
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
| Testing semantics for urgent timed process algebras | 2007-08-22 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 1759616 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1696456 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1755149 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1638657 (Why is no real title available?) | 2001-08-29 | Paper |
| scientific article; zbMATH DE number 1500554 (Why is no real title available?) | 2001-04-26 | Paper |
| scientific article; zbMATH DE number 1418466 (Why is no real title available?) | 2000-03-19 | Paper |
An invitation to friendly testing
Journal of Computer Science and Technology | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 4113946 (Why is no real title available?) | 1989-01-01 | Paper |
