| Publication | Date of Publication | Type |
|---|
Direct access for conjunctive queries with negations
Logical Methods in Computer Science | 2026-03-23 | Paper |
| An algebraic approach to vectorial programs | 2024-10-08 | Paper |
Jumping evaluation of nested regular path queries
(available as arXiv preprint) | 2024-01-23 | Paper |
| Jumping evaluation of nested regular path queries | 2024-01-23 | Paper |
| On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7559409 (Why is no real title available?) | 2022-07-18 | Paper |
\(O_n\) is an \(n\)-MCFL
Journal of Computer and System Sciences | 2022-04-04 | Paper |
The diagonal problem for higher-order recursion schemes is decidable
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| On the decomposition of finite-valued streaming string transducers | 2018-04-19 | Paper |
| A model for behavioural properties of higher-order programs | 2017-08-31 | Paper |
Ordered tree-pushdown systems
(available as arXiv preprint) | 2017-07-13 | Paper |
Typing weak MSOL properties
Logical Methods in Computer Science | 2017-05-08 | Paper |
Simply typed fixpoint calculus and collapsible pushdown automata
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
| Evaluation is MSOL-compatible | 2017-02-21 | Paper |
Typing weak MSOL properties
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Using models to model-check recursive schemes
Logical Methods in Computer Science | 2015-08-25 | Paper |
MIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchies
Journal of Computer and System Sciences | 2015-07-13 | Paper |
The IO and OI hierarchies revisited
Information and Computation | 2015-06-09 | Paper |
The failure of the strong pumping lemma for multiple context-free languages
Theory of Computing Systems | 2015-02-05 | Paper |
Krivine machines and higher-order schemes
Information and Computation | 2014-11-28 | Paper |
Building PMCFG Parsers as Datalog Program Transformations
Logical Aspects of Computational Linguistics | 2014-06-24 | Paper |
On IO-copying and mildly-context sensitive formalisms
Formal Grammar | 2013-08-07 | Paper |
The IO and OI hierarchies revisited
Automata, Languages, and Programming | 2013-08-07 | Paper |
The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars
Formal Grammar | 2013-08-07 | Paper |
On the complexity of free word orders
Formal Grammar | 2013-08-07 | Paper |
Using models to model-check recursive schemes
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Recursive schemes, Krivine machines, and collapsible pushdown automata
Lecture Notes in Computer Science | 2013-01-07 | Paper |
Loader and Urzyczyn are logically related
Automata, Languages, and Programming | 2012-11-01 | Paper |
A Datalog recognizer for almost affine \(\lambda \)-CFGs
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Krivine machines and higher-order schemes
Automata, Languages and Programming | 2011-07-07 | Paper |
Minimalist grammars in the light of logic
Logic and Grammar | 2011-07-07 | Paper |
Well-nestedness properly subsumes strict derivational minimalism
Logical Aspects of Computational Linguistics | 2011-07-01 | Paper |
Game semantics and uniqueness of type inhabitance in the simply-typed \(\lambda \)-calculus
Lecture Notes in Computer Science | 2011-06-17 | Paper |
A note on the complexity of abstract categorial grammars
Lecture Notes in Computer Science | 2010-08-31 | Paper |
On the membership problem for non-linear abstract categorial grammars
Journal of Logic, Language and Information | 2010-05-26 | Paper |
A faithful representation of non-associative Lambek grammars in abstract categorial grammars
Journal of Logic, Language and Information | 2010-05-26 | Paper |
The copying power of well-nested multiple context-free grammars
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Recognizability in the Simply Typed Lambda-Calculus
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2043532 (Why is no real title available?) | 2004-02-16 | Paper |
Meanders in orthoposets and QMV algebras
Demonstratio Mathematica | 2002-07-05 | Paper |
