| Publication | Date of Publication | Type |
|---|
| Reasoning About Data Trees Using CHCs | 2022-12-07 | Paper |
| On the path-width of integer linear programming | 2021-06-24 | Paper |
On the path-width of integer linear programming
(available as arXiv preprint) | 2021-06-24 | Paper |
Reachability of scope-bounded multistack pushdown systems
Information and Computation | 2020-12-15 | Paper |
On the path-width of integer linear programming
Information and Computation | 2017-03-16 | Paper |
| Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width | 2017-01-26 | Paper |
Scope-bounded pushdown languages
International Journal of Foundations of Computer Science | 2016-06-23 | Paper |
A unifying approach for multistack pushdown automata
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Scope-bounded pushdown languages
Developments in Language Theory | 2014-10-14 | Paper |
Context-bounded analysis of TSO systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
The tree width of auxiliary storage
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Decidable logics combining heap structures and data
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Policy analysis for self-administrated role-based access control
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
A tabu search heuristic based on \(k\)-diamonds for the weighted feedback vertex set problem
Lecture Notes in Computer Science | 2011-09-09 | Paper |
The language theory of bounded context-switching
LATIN 2010: Theoretical Informatics | 2010-04-27 | Paper |
A linear time algorithm for the minimum weighted feedback vertex set on diamonds
Information Processing Letters | 2009-12-04 | Paper |
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
Computer Aided Verification | 2009-06-30 | Paper |
Fast payment schemes for truthful mechanisms with verification
Theoretical Computer Science | 2009-03-17 | Paper |
An Infinite Automaton Characterization of Double Exponential Time
Computer Science Logic | 2008-11-20 | Paper |
Verification of scope-dependent hierarchical state machines
Information and Computation | 2008-10-08 | Paper |
Context-Bounded Analysis of Concurrent Queue Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
On the Complexity of Ltl Model-Checking of Recursive State Machines
Automata, Languages and Programming | 2007-11-28 | Paper |
Minimum Weighted Feedback Vertex Set on Diamonds
Electronic Notes in Discrete Mathematics | 2007-05-29 | Paper |
Approximation and Online Algorithms
Lecture Notes in Computer Science | 2007-02-12 | Paper |
| scientific article; zbMATH DE number 2038754 (Why is no real title available?) | 2004-02-08 | Paper |
