| Publication | Date of Publication | Type |
|---|
Towards automata for branching time and partial order
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| Balanced connected partitioning of unweighted grid graphs | 2021-08-04 | Paper |
A tableau proof system for a Mazurkiewicz trace logic with fixpoints
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Computing efficient operation schemes for chemical plants in multi-batch mode
European Journal of Control | 2014-08-07 | Paper |
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Verification of timed automata via satisfiability checking
Lecture Notes in Computer Science | 2011-04-08 | Paper |
A \(\nu \)-calculus with local views for systems of sequential agents
Lecture Notes in Computer Science | 2010-06-17 | Paper |
SAT based bounded model checking with partial order semantics for timed automata
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Efficient model checking for LTL with partial order snapshots
Theoretical Computer Science | 2009-10-09 | Paper |
Stronger Reduction Criteria for Local First Search
Lecture Notes in Computer Science | 2008-09-11 | Paper |
The Implementation of Mazurkiewicz Traces in POEM
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Discriminative Model Checking
Computer Aided Verification | 2008-07-15 | Paper |
Adding Invariants to Event Zone Automata
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
A partial order semantics approach to the clock explosion problem of timed automata
Theoretical Computer Science | 2005-12-06 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2087632 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080062 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1864593 (Why is no real title available?) | 2003-02-06 | Paper |
| scientific article; zbMATH DE number 1444362 (Why is no real title available?) | 2002-05-14 | Paper |
| scientific article; zbMATH DE number 1377375 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1330137 (Why is no real title available?) | 1999-09-01 | Paper |
