Publication | Date of Publication | Type |
---|
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages | 2024-01-16 | Paper |
The alphabetic complexity in homomorphic definitions of word, tree and picture languages | 2023-01-18 | Paper |
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes | 2022-09-27 | Paper |
Reducing local alphabet size in recognizable picture languages | 2022-03-25 | Paper |
Two-dimensional models | 2022-02-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016361 | 2021-12-13 | Paper |
Homomorphic characterization of tree languages based on comma-free encoding | 2021-10-04 | Paper |
Star-freeness, first-order definability and aperiodicity of structured context-free languages | 2021-07-08 | Paper |
A deterministic parsing algorithm for ambiguous regular expressions | 2021-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4994946 | 2021-06-22 | Paper |
Deque automata, languages, and planar graph representations | 2020-08-17 | Paper |
Beyond operator-precedence grammars and languages | 2020-06-09 | Paper |
A benchmark production tool for regular expressions | 2020-05-06 | Paper |
Regular languages as local functions with small alphabets | 2020-04-29 | Paper |
Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet | 2019-12-18 | Paper |
Deque languages, automata and planar graphs | 2018-11-22 | Paper |
Fast deterministic parsers for transition networks | 2018-10-09 | Paper |
Counter machines, Petri nets, and consensual computation | 2017-03-16 | Paper |
Toward a theory of input-driven locally parsable languages | 2016-12-19 | Paper |
The Missing Case in Chomsky-Schützenberger Theorem | 2016-04-13 | Paper |
From Regular to Strictly Locally Testable Languages | 2016-03-01 | Paper |
From Ambiguous Regular Expressions to Deterministic Parsing Automata | 2015-09-23 | Paper |
BSP: A Parsing Tool for Ambiguous Regular Expressions | 2015-09-23 | Paper |
Locally Chain-Parsable Languages | 2015-09-16 | Paper |
Complexity of Extended vs. Classic LR Parsers | 2014-08-07 | Paper |
Shift-Reduce Parsers for Transition Networks | 2014-03-31 | Paper |
STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES | 2014-03-10 | Paper |
Formal languages and compilation | 2013-12-05 | Paper |
Deterministic Counter Machines and Parallel Matching Computations | 2013-08-07 | Paper |
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES | 2013-07-30 | Paper |
Operator precedence and the visibly pushdown property | 2012-11-06 | Paper |
Strict Local Testability with Consensus Equals Regularity | 2012-09-20 | Paper |
A unifying approach to picture grammars | 2011-10-10 | Paper |
Consensual languages and matching finite-state computations | 2011-06-10 | Paper |
Efficient recognition of trace languages defined by repeat-until loops | 2010-08-19 | Paper |
Deterministic parsing for augmented context-free grammars | 2010-06-17 | Paper |
Operator Precedence and the Visibly Pushdown Property | 2010-05-26 | Paper |
A CKY parser for picture grammars | 2010-03-24 | Paper |
Traces of Control-Flow Graphs | 2009-07-07 | Paper |
Regional Languages and Tiling: A Unifying Approach to Picture Grammars | 2009-02-03 | Paper |
Formal languages and compilation | 2009-01-15 | Paper |
Consensual Definition of Languages by Regular Sets | 2008-11-20 | Paper |
A SAT-based parser and completer for pictures specified by tiling | 2007-11-07 | Paper |
Picture languages: tiling systems versus tile rewriting grammars. | 2006-05-18 | Paper |
Tile rewriting grammars and picture languages | 2005-08-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738687 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4453192 | 2004-03-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4448364 | 2004-02-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4452063 | 2004-02-11 | Paper |
Associative language descriptions | 2002-03-03 | Paper |
Associative definition of programming languages | 2001-11-08 | Paper |
Grammar partitioning and modular deterministic parsing | 2000-11-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4503953 | 2000-09-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4266545 | 1999-10-03 | Paper |
MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS | 1997-01-22 | 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 |
https://portal.mardi4nfdi.de/entity/Q3798272 | 1988-01-01 | Paper |
On Deterministic Multi-Pass Analysis | 1986-01-01 | Paper |
Operator Precedence Grammars and the Noncounting Property | 1981-01-01 | Paper |
La teoria della complessita’ del calcolo: Un nuovo capitolo dell’algoritmica | 1981-01-01 | Paper |
Algebraic properties of operator precedence languages | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4153615 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5684247 | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5668012 | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5607015 | 1970-01-01 | Paper |