| Publication | Date of Publication | Type |
|---|
| An automata-based approach for synchronizable mailbox communication | 2026-02-10 | Paper |
| On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7561336 (Why is no real title available?) | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7559493 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| Polynomial-space completeness of reachability for succinct branching VASS in dimension one | 2020-05-27 | Paper |
Co-finiteness and co-emptiness of reachability sets in vector addition systems with states
Fundamenta Informaticae | 2020-01-24 | Paper |
On functions weakly computable by pushdown Petri nets and related systems
(available as arXiv preprint) | 2020-01-03 | Paper |
| Co-finiteness and co-emptiness of reachability sets in vector addition systems with states | 2019-12-18 | Paper |
Occam's razor applied to the Petri net coverability problem
Theoretical Computer Science | 2018-11-23 | Paper |
Hyper-Ackermannian bounds for pushdown vector addition systems
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Occam's razor applied to the Petri net coverability problem
Lecture Notes in Computer Science | 2018-03-26 | Paper |
On boundedness problems for pushdown vector addition systems
(available as arXiv preprint) | 2017-10-27 | Paper |
On the context-freeness problem for vector addition systems
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Safety verification of communicating one-counter machines | 2017-01-26 | Paper |
The context-freeness problem is coNP-complete for flat counter systems
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
On the coverability problem for pushdown vector addition systems in one dimension
Automata, Languages, and Programming | 2015-11-04 | Paper |
Lazy abstraction
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Decidable topologies for communicating automata with FIFO and bag channels
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Reachability of communicating timed processes
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Reachability analysis of communicating pushdown systems
Logical Methods in Computer Science | 2012-10-22 | Paper |
Reachability analysis of communicating pushdown systems
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
| An optimal automata approach to LTL model checking of probabilistic systems | 2010-02-24 | Paper |
Polynomial Precise Interval Analysis Revisited
Lecture Notes in Computer Science | 2009-11-12 | Paper |
Accelerated Data-Flow Analysis
Static Analysis | 2009-03-03 | Paper |
Acceleration in Convex Data-Flow Analysis
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
Unfolding Concurrent Well-Structured Transition Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2086244 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1982210 (Why is no real title available?) | 2003-09-16 | Paper |
Well-abstracted transition systems: Application to FIFO automata.
Information and Computation | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1903378 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1759636 (Why is no real title available?) | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1759422 (Why is no real title available?) | 2002-10-07 | Paper |
| scientific article; zbMATH DE number 1500528 (Why is no real title available?) | 2001-01-29 | Paper |
