List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Counting CTL Logical Methods in Computer Science | 2013-04-09 | Paper |
| On the complexity of membership and counting in height-deterministic pushdown automata | 2010-09-20 | Paper |
| Counting CTL Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
| Traces of term-automatic graphs RAIRO - Theoretical Informatics and Applications | 2008-09-25 | Paper |
| Traces of Term-Automatic Graphs Mathematical Foundations of Computer Science 2007 | 2008-09-17 | Paper |
| On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata Computer Science – Theory and Applications | 2008-06-05 | Paper |
| Context-Sensitive Languages, Rational Graphs and Determinism Logical Methods in Computer Science | 2007-10-11 | Paper |
| Foundations of Software Science and Computation Structures Lecture Notes in Computer Science | 2007-09-28 | Paper |
| A logic of reachable patterns in linked data-structures The Journal of Logic and Algebraic Programming | 2007-08-23 | Paper |
| Foundations of Software Science and Computation Structures Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Linearly bounded infinite graphs Acta Informatica | 2006-11-27 | Paper |
| Mathematical Foundations of Computer Science 2005 Lecture Notes in Computer Science | 2006-10-20 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science | 2005-08-12 | Paper |
Research outcomes over time
This page was built for person: Antoine Meyer
