| Publication | Date of Publication | Type |
|---|
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
Electronic Proceedings in Theoretical Computer Science | 2024-04-09 | Paper |
Testing equivalences of time Petri nets
Programming and Computer Software | 2020-12-18 | Paper |
``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
Programming and Computer Software | 2020-12-16 | Paper |
| From event-oriented models to transition systems | 2019-12-18 | Paper |
True concurrent equivalences in time Petri nets
Fundamenta Informaticae | 2017-11-09 | Paper |
| scientific article; zbMATH DE number 6708300 (Why is no real title available?) | 2017-04-26 | Paper |
Configuration- and residual-based transition systems for event structures with asymmetric conflict
SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
Branching processes of timed Petri nets
Lecture Notes in Computer Science | 2016-12-21 | Paper |
Comparative trace semantics of time Petri nets
Programming and Computer Software | 2016-06-27 | Paper |
Comparing Semantics Under Strong Timing of Petri Nets
Lecture Notes in Computer Science | 2015-12-03 | Paper |
A Domain View of Timed Behaviors
Fundamenta Informaticae | 2014-12-22 | Paper |
Unifying behavioral equivalences of timed transition systems
Programming and Computer Software | 2012-11-16 | Paper |
Unifying Equivalences for Higher Dimensional Automata
Fundamenta Informaticae | 2012-10-29 | Paper |
A categorical view of timed behaviours
Fundamenta Informaticae | 2011-06-14 | Paper |
A categorical view of timed weak bisimulation
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Open maps and trace semantics for timed partial order models
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Semantic domains of timed event structures
Programming and Computer Software | 2009-09-04 | Paper |
| Timed delay bisimulation is an equivalence relation for timed transition systems | 2009-08-10 | Paper |
| Observational equivalences for timed stable event structures | 2006-09-06 | Paper |
| scientific article; zbMATH DE number 2104639 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2084342 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1839452 (Why is no real title available?) | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1830920 (Why is no real title available?) | 2002-11-18 | Paper |
| scientific article; zbMATH DE number 1737501 (Why is no real title available?) | 2002-05-05 | Paper |
A method for parametric verification of the behavior of time Petri nets
Programming and Computer Software | 2001-11-06 | Paper |
The use of partial-order technique for verification of time Petri nets
Programming and Computer Software | 2001-04-26 | Paper |
Analysis of equivalence relations of event structures with continuous time
Programming and Computer Software | 2001-01-15 | Paper |
| scientific article; zbMATH DE number 1534580 (Why is no real title available?) | 2000-11-21 | Paper |
| scientific article; zbMATH DE number 1390093 (Why is no real title available?) | 2000-10-12 | Paper |
| scientific article; zbMATH DE number 1515281 (Why is no real title available?) | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1439078 (Why is no real title available?) | 2000-05-04 | Paper |
| scientific article; zbMATH DE number 1432244 (Why is no real title available?) | 2000-04-16 | Paper |
| scientific article; zbMATH DE number 1432335 (Why is no real title available?) | 2000-04-16 | Paper |
| scientific article; zbMATH DE number 1432326 (Why is no real title available?) | 2000-04-16 | Paper |
