| Publication | Date of Publication | Type |
|---|
| Verification with common knowledge of rationality for graph games | 2025-05-23 | Paper |
| Semidirect product decompositions for periodic regular languages | 2025-01-31 | Paper |
| Automata and grammars for data words | 2025-01-20 | Paper |
| A game-theoretic approach to indistinguishability of winning objectives as user privacy | 2024-09-13 | Paper |
When is context-freeness distinguishable from regularity? An extension of Parikh's theorem
Implementation and Application of Automata | 2024-02-28 | Paper |
An ambiguity hierarchy of weighted context-free grammars
Theoretical Computer Science | 2023-09-18 | Paper |
Active learning for deterministic bottom-up nominal tree automata
Lecture Notes in Computer Science | 2023-07-28 | Paper |
| An ambiguity hierarchy of weighted context-free grammars | 2022-08-16 | Paper |
Complexity results on register context-free grammars and related formalisms
Theoretical Computer Science | 2022-06-13 | Paper |
| Reactive synthesis from visibly register pushdown automata | 2022-03-31 | Paper |
| Node query preservation for deterministic linear top-down tree transducers | 2021-06-17 | Paper |
Node query preservation for deterministic linear top-down tree transducers
(available as arXiv preprint) | 2021-06-17 | Paper |
Optimal run problem for weighted register automata
Theoretical Computer Science | 2020-12-16 | Paper |
Optimal run problem for weighted register automata
Theoretical Aspects of Computing – ICTAC 2019 | 2019-12-12 | Paper |
| Generalized register context-free grammars | 2019-12-04 | Paper |
| Complexity results on register context-free grammars and register tree automata | 2018-11-23 | Paper |
Determinacy and subsumption for single-valued bottom-up tree transducers
Language and Automata Theory and Applications | 2013-03-18 | Paper |
Automatic generation of history-based access control from information flow specification
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Chomsky-Schützenberger-type characterization of multiple context-free languages
Language and Automata Theory and Applications | 2010-05-26 | Paper |
| scientific article; zbMATH DE number 5708984 (Why is no real title available?) | 2010-05-17 | Paper |
An extension of pushdown system and its model checking method.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
A grammatical approach to RNA-RNA interaction prediction
Pattern Recognition | 2009-04-17 | Paper |
Languages Modulo Normalization
Frontiers of Combining Systems | 2008-09-16 | Paper |
Parallel Processing and Applied Mathematics
Lecture Notes in Computer Science | 2007-09-25 | Paper |
An equational logic based approach to the security problem against inference attacks on object-oriented databases
Journal of Computer and System Sciences | 2007-05-30 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Temporal Reasoning about Two Concurrent Sequences of Events
SIAM Journal on Computing | 2005-02-21 | Paper |
| scientific article; zbMATH DE number 2090067 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2080702 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2043549 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 1980976 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1788715 (Why is no real title available?) | 2002-08-26 | Paper |
Refinements of complexity results on type consistency for object-oriented databases
Journal of Computer and System Sciences | 2001-10-14 | Paper |
| scientific article; zbMATH DE number 1615242 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1322319 (Why is no real title available?) | 1999-11-08 | Paper |
On multiple context-free grammars
Theoretical Computer Science | 1992-06-26 | Paper |
Analysis of functional programs to detect run-time garbage cells
ACM Transactions on Programming Languages and Systems | 1988-01-01 | Paper |
Compiling and optimizing methods for the functional language ASL/F
Science of Computer Programming | 1986-01-01 | Paper |
