| Publication | Date of Publication | Type |
|---|
A dynamic programming algorithm for the maximum \(s\)-club problem on trees
European Journal of Operational Research | 2026-02-24 | Paper |
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
1517.68074 | 2022-12-22 | Paper |
Monadic decomposition in integer linear arithmetic
(available as arXiv preprint) | 2022-11-09 | Paper |
| Optimal strategies in pushdown reachability games | 2021-08-04 | Paper |
Parity to safety in polynomial time for pushdown and collapsible pushdown systems
(available as arXiv preprint) | 2021-08-04 | Paper |
| scientific article; zbMATH DE number 7361952 (Why is no real title available?) | 2021-06-22 | Paper |
scientific article; zbMATH DE number 7361952 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-22 | Paper |
Domains for Higher-Order Games
(available as arXiv preprint) | 2020-05-26 | Paper |
Decidable models of integer-manipulating programs with recursive parallelism
Theoretical Computer Science | 2018-11-23 | Paper |
| Constrained dynamic tree networks | 2018-10-23 | Paper |
Senescent ground tree rewrite 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 |
Decidable models of integer-manipulating programs with recursive parallelism
Lecture Notes in Computer Science | 2018-03-26 | Paper |
Saturation of Concurrent Collapsible Pushdown Systems
(available as arXiv preprint) | 2017-02-21 | Paper |
Unboundedness and downward closures of higher-order pushdown automata
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Regular strategies in pushdown reachability games
Lecture Notes in Computer Science | 2015-10-28 | Paper |
C-SHORe: a collapsible approach to higher-order verification
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
A Saturation Method for Collapsible Pushdown Systems
Automata, Languages, and Programming | 2012-11-01 | Paper |
Parameterised pushdown systems with non-atomic writes
(available as arXiv preprint) | 2012-08-31 | Paper |
| The complexity of model checking (collapsible) higher-order pushdown systems | 2012-08-29 | Paper |
Extended computation tree logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Logical Methods in Computer Science | 2009-04-29 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
