| Publication | Date of Publication | Type |
|---|
| Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages | 2024-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101344 | 2022-08-30 | Paper |
| Model-checking structured context-free languages | 2022-03-25 | Paper |
| Weighted operator precedence languages | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384888 | 2021-12-17 | Paper |
| Star-freeness, first-order definability and aperiodicity of structured context-free languages | 2021-07-08 | Paper |
| Operator precedence temporal logic and model checking | 2020-12-15 | Paper |
| Weighted Operator Precedence Languages | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3176705 | 2018-07-23 | Paper |
| Generalizing input-driven languages: theoretical and practical benefits | 2018-03-22 | Paper |
| Toward a theory of input-driven locally parsable languages | 2016-12-19 | Paper |
| A temporal logic for micro- and macro-step-based real-time systems: foundations and applications | 2016-08-01 | Paper |
| First-Order Logic Definability of Free Languages | 2015-10-20 | Paper |
| Locally Chain-Parsable Languages | 2015-09-16 | Paper |
| Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization | 2015-09-02 | Paper |
| Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages | 2014-11-04 | Paper |
| Operator precedence \(\omega \)-languages | 2013-06-28 | Paper |
| Parallel parsing of operator precedence grammars | 2013-03-20 | Paper |
| Operator precedence and the visibly pushdown property | 2012-11-06 | Paper |
| Modeling time in computing. | 2012-10-11 | Paper |
| Precedence automata and languages | 2011-06-17 | Paper |
| Operator precedence and the visibly pushdown property | 2010-05-26 | Paper |
| Automated compositional proofs for real-time systems | 2007-05-23 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045257 | 2004-08-12 | Paper |
| Using TRIO for designing a CORBA-based application | 2003-01-27 | Paper |
| Dealing with zero-time transitions in axiom systems. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4293540 | 1994-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692942 | 1993-06-05 | Paper |
| QRT FIFO automata, breadth-first grammars and their relations | 1992-06-28 | Paper |
| BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA | 1990-01-01 | Paper |
| Symbolic execution of concurrent systems using Petri nets | 1989-01-01 | Paper |
| On Deterministic Multi-Pass Analysis | 1986-01-01 | Paper |
| Language constructs for real-time distributed systems | 1982-01-01 | Paper |
| Operator Precedence Grammars and the Noncounting Property | 1981-01-01 | Paper |
| Invito alla teoria dei linguaggi formali | 1981-01-01 | Paper |
| Augmenting Parsers to Support Incrementality | 1980-01-01 | Paper |
| Separate Compilation and Partial Specification in Pascal | 1980-01-01 | Paper |
| SIMPLE: A program development system | 1980-01-01 | Paper |
| Incremental Parsing | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194410 | 1979-01-01 | Paper |
| Algebraic properties of operator precedence languages | 1978-01-01 | Paper |
| An integrated model of problem solver | 1977-01-01 | Paper |
| A note on petri net languages | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105507 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4153626 | 1976-01-01 | Paper |
| n-reconstructability of context-free grammars | 1976-01-01 | Paper |
| Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali | 1974-01-01 | Paper |
| Pseudoequilibrium in dynamical systems† | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4120428 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4770848 | 1972-01-01 | Paper |
