| Publication | Date of Publication | Type |
|---|
| Games for counting abstractions | 2013-09-26 | Paper |
| About \textsc{Fast} and \textsc{TReX} accelerations | 2013-09-26 | Paper |
| On the \(\omega\)-language expressive power of extended Petri nets | 2013-09-25 | Paper |
| Petri nets with non-blocking arcs are difficult to analyze | 2013-09-09 | Paper |
| Monotonic extensions of Petri nets: forward and backward search revisited | 2013-08-16 | Paper |
A classification of the expressive power of well-structured transition systems
Information and Computation | 2011-07-27 | Paper |
On the verification of membrane systems with dynamic structure
Natural Computing | 2010-11-30 | Paper |
On the efficient computation of the minimal coverability set of Petri nets
International Journal of Foundations of Computer Science | 2010-04-22 | Paper |
On the complexity of partial order trace model checking
Information Processing Letters | 2010-04-19 | Paper |
Boundedness undecidability for synchronized nets
Information Processing Letters | 2010-01-29 | Paper |
On the Qualitative Analysis of Conformon P Systems
Membrane Computing | 2009-07-28 | Paper |
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
Language and Automata Theory and Applications | 2009-04-02 | Paper |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Testing Distributed Systems Through Symbolic Model Checking
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Comparing the Expressive Power of Well-Structured Transition Systems
Computer Science Logic | 2009-03-05 | Paper |
| From many places to few: automatic abstraction refinement for Petri nets | 2009-02-12 | Paper |
A Biologically Inspired Model with Fusion and Clonation of Membranes
Unconventional Computing | 2008-12-02 | Paper |
On the Efficient Computation of the Minimal Coverability Set for Petri Nets
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
On the Dynamics of PB Systems with Volatile Membranes
Membrane Computing | 2008-03-28 | Paper |
Well-structured languages
Acta Informatica | 2007-08-17 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2080048 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1796141 (Why is no real title available?) | 2002-09-04 | Paper |
