| Publication | Date of Publication | Type |
|---|
Cyclic operator precedence grammars for parallel parsing
Information and Computation | 2025-12-15 | Paper |
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Logical Methods in Computer Science | 2024-01-16 | Paper |
Verification of programs with exceptions through operator precedence automata
Software Engineering and Formal Methods | 2023-05-26 | Paper |
scientific article; zbMATH DE number 7577575 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577575 (Why is no real title available?) | 2022-08-30 | Paper |
| Model-checking structured context-free languages | 2022-03-25 | Paper |
Weighted operator precedence languages
Information and Computation | 2022-01-06 | Paper |
Weighted operator precedence languages
Information and Computation | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7447741 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447741 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| Higher-order operator precedence languages | 2021-12-13 | Paper |
Higher-order operator precedence languages
(available as arXiv preprint) | 2021-12-13 | Paper |
| Star-freeness, first-order definability and aperiodicity of structured context-free languages | 2021-07-08 | Paper |
Operator precedence temporal logic and model checking
Theoretical Computer Science | 2020-12-15 | Paper |
Beyond operator-precedence grammars and languages
Journal of Computer and System Sciences | 2020-06-09 | Paper |
| Weighted operator precedence languages | 2020-05-26 | Paper |
Generalizing input-driven languages: theoretical and practical benefits
Computer Science Review | 2018-03-22 | Paper |
Toward a theory of input-driven locally parsable languages
Theoretical Computer Science | 2016-12-19 | Paper |
First-order logic definability of free languages
Lecture Notes in Computer Science | 2015-10-20 | Paper |
Locally chain-parsable languages
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Operator precedence languages: their automata-theoretic and logic characterization
SIAM Journal on Computing | 2015-09-02 | Paper |
Logic characterization of invisibly structured languages: the case of Floyd languages
Lecture Notes in Computer Science | 2014-11-04 | Paper |
| Deterministic recognizability of picture languages with Wang automata | 2014-05-06 | Paper |
Operator precedence \(\omega \)-languages
Developments in Language Theory | 2013-06-28 | Paper |
Parallel parsing of operator precedence grammars
Information Processing Letters | 2013-03-20 | Paper |
A unifying approach to picture grammars
Information and Computation | 2011-10-10 | Paper |
Towards more expressive 2D deterministic automata
Implementation and Application of Automata | 2011-07-29 | Paper |
Precedence automata and languages
Computer Science – Theory and Applications | 2011-06-17 | Paper |
Strategies to scan pictures with automata based on Wang tiles
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
A CKY parser for picture grammars
Information Processing Letters | 2010-03-24 | Paper |
Picture recognizability with automata based on Wang tiles
SOFSEM 2010: Theory and Practice of Computer Science | 2010-01-28 | Paper |
Picture Languages: From Wang Tiles to 2D Grammars
Algebraic Informatics | 2009-11-05 | Paper |
Snake-Deterministic Tiling Systems
Mathematical Foundations of Computer Science 2009 | 2009-10-16 | Paper |
Regional Languages and Tiling: A Unifying Approach to Picture Grammars
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Model Checking Temporal Metric Specifications with Trio2Promela
Lecture Notes in Computer Science | 2008-07-01 | Paper |
A SAT-based parser and completer for pictures specified by tiling
Pattern Recognition | 2007-11-07 | Paper |
Picture languages: tiling systems versus tile rewriting grammars.
Theoretical Computer Science | 2006-05-18 | Paper |
Tile rewriting grammars and picture languages
Theoretical Computer Science | 2005-08-01 | Paper |
| scientific article; zbMATH DE number 2040907 (Why is no real title available?) | 2004-02-11 | Paper |
| scientific article; zbMATH DE number 1690077 (Why is no real title available?) | 2002-01-14 | Paper |
Associative definition of programming languages
Computer Languages | 2001-11-08 | Paper |
