| Publication | Date of Publication | Type |
|---|
On the complexity of proving polyhedral reductions
Fundamenta Informaticae | 2024-10-22 | Paper |
| Property directed reachability for generalized Petri nets | 2024-01-23 | Paper |
| Automated polyhedral abstraction proving | 2023-11-16 | Paper |
Petri Net Reductions for Counting Markings
Model Checking Software | 2023-03-21 | Paper |
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
Fundamenta Informaticae | 2022-10-31 | Paper |
Accelerating the computation of dead and concurrent places using reductions
(available as arXiv preprint) | 2022-03-24 | Paper |
On the combination of polyhedral abstraction and SMT-based model checking for Petri nets
(available as arXiv preprint) | 2022-03-21 | Paper |
A state class construction for computing the intersection of time Petri nets languages
(available as arXiv preprint) | 2020-05-05 | Paper |
| Solving language equations using flanked automata | 2018-10-25 | Paper |
Automating the verification of realtime observers using probes and the modal mu-calculus
Topics in Theoretical Computer Science | 2016-04-01 | Paper |
A logic you can count on
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Time Petri nets with dynamic firing dates: semantics and applications
Lecture Notes in Computer Science | 2015-08-06 | Paper |
An experiment on parallel model checking of a CTL fragment
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2009-05-15 | Paper |
A Typed Calculus for Querying Distributed XML Documents
Trustworthy Global Computing | 2009-03-05 | Paper |
A Concurrent Calculus with Atomic Transactions
Programming Languages and Systems | 2007-09-04 | Paper |
XML schema, tree logic and sheaves automata
Applicable Algebra in Engineering, Communication and Computing | 2007-01-24 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Resource control for synchronous cooperative threads
Theoretical Computer Science | 2006-09-13 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Model checking mobile ambients
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2043533 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 1759392 (Why is no real title available?) | 2002-11-04 | Paper |
Region analysis and a π-calculus with groups
Journal of Functional Programming | 2002-10-06 | Paper |
| scientific article; zbMATH DE number 1759485 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1746454 (Why is no real title available?) | 2002-05-28 | Paper |
| scientific article; zbMATH DE number 1701350 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1696431 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1390060 (Why is no real title available?) | 1999-01-01 | Paper |
