| Publication | Date of Publication | Type |
|---|
| The monadic second-order logic of graphs : Definable sets of finite graphs | 2024-02-28 | Paper |
| Unfoldings and Coverings of Weighted Graphs | 2023-09-14 | Paper |
| Betweenness in Order-Theoretic Trees | 2022-11-09 | Paper |
| Order-theoretic Trees: Monadic Second-order Descriptions and Regularity | 2022-10-07 | Paper |
| Induced betweenness in order-theoretic trees | 2022-09-30 | Paper |
| Recognizable sets of graphs of bounded tree-width | 2022-08-16 | Paper |
| Betweenness of partial orders | 2022-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856415 | 2021-03-26 | Paper |
| On defining linear orders by automata | 2020-11-10 | Paper |
| Axiomatization of betweenness in order-theoretic trees | 2020-04-21 | Paper |
| Grammars and clique-width bounds from split decompositions | 2020-04-21 | Paper |
| On quasi-planar graphs: clique-width and logical description | 2020-04-21 | Paper |
| The obstructions of a minor-closed set of graphs defined by hyperedge replacement can be constructed | 2019-01-10 | Paper |
| The definition in monadic second-order logic of modular decompositions of ordered graphs | 2019-01-10 | Paper |
| From tree-decompositions to clique-width terms | 2018-09-17 | Paper |
| Fly-automata for checking \(\mathrm{MSO}_2\) graph properties | 2018-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367045 | 2017-10-12 | Paper |
| Several notions of rank-width for countable graphs | 2017-01-26 | Paper |
| Fly-automata for checking monadic second-order properties of graphs of bounded tree-width | 2016-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2816072 | 2016-07-01 | Paper |
| Computations by fly-automata beyond monadic second-order logic | 2016-02-26 | Paper |
| Regularity Equals Monadic Second-Order Definability for Quasi-trees | 2015-09-22 | Paper |
| Clique-width and edge contraction | 2015-06-25 | Paper |
| A characterisation of clique-width through nested partitions | 2015-06-10 | Paper |
| The Common Structure of the Curves Having a Same Gauss Word | 2015-04-14 | Paper |
| Monadic second-order definable graph orderings | 2014-01-22 | Paper |
| Model-Checking by Infinite Fly-Automata | 2013-09-20 | Paper |
| Connectivity check in 3-connected planar graphs with obstacles | 2013-06-28 | Paper |
| Graph Operations, Graph Transformations and Monadic Second-Order Logic: | 2013-05-24 | Paper |
| Automata for the verification of monadic second-order graph properties | 2013-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908834 | 2012-08-29 | Paper |
| On the model-checking of monadic second-order formulas with edge set quantifications | 2012-05-11 | Paper |
| Fly-Automata, Their Properties and Applications | 2011-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086924 | 2011-03-30 | Paper |
| Compact labelings for efficient first-order model-checking | 2011-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3077955 | 2011-02-18 | Paper |
| Constrained-path labellings on graphs of bounded clique-width | 2010-10-06 | Paper |
| On the Monadic Second-Order Transduction Hierarchy | 2010-07-27 | Paper |
| Linear delay enumeration and monadic second-order logic | 2010-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400628 | 2010-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400629 | 2010-02-05 | Paper |
| On Several Proofs of the Recognizability Theorem | 2009-11-05 | Paper |
| Graph operations characterizing rank-width | 2009-06-30 | Paper |
| A multivariate interlace polynomial and its computation for graphs of bounded clique-width | 2009-04-07 | Paper |
| Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications | 2009-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3615812 | 2009-03-24 | Paper |
| Circle graphs and monadic second-order logic | 2008-09-23 | Paper |
| Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects | 2008-08-28 | Paper |
| Graph Operations Characterizing Rank-Width and Balanced Graph Expressions | 2008-07-01 | Paper |
| Efficient First-Order Model-Checking Using Short Labels | 2008-06-19 | Paper |
| The modular decomposition of countable graphs. Definition and construction in monadic second-order logic | 2008-04-15 | Paper |
| The monadic second-order logic of graphs XVI : Canonical graph decompositions | 2007-10-11 | Paper |
| Compact Forbidden-Set Routing | 2007-09-03 | Paper |
| Graph decompositions definable in monadic second-order logic | 2007-05-29 | Paper |
| Vertex-minors, monadic second-order logic, and a conjecture by Seese | 2007-01-11 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Recognizability, hypergraph operations, and logical types | 2006-07-12 | Paper |
| The monadic second-order logic of graphs. XV: On a conjecture by D. Seese | 2006-06-30 | Paper |
| Developments in Language Theory | 2005-12-22 | Paper |
| The recognizability of sets of graphs is a robust property | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738213 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474837 | 2004-07-21 | Paper |
| Clique-width of countable graphs: A compactness property. | 2004-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438805 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431361 | 2003-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431332 | 2003-10-21 | Paper |
| Query efficient implementation of graphs of bounded clique-width | 2003-09-25 | Paper |
| The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions. | 2003-05-25 | Paper |
| Map genus, forbidden maps, and monadic second-order logic | 2003-05-13 | Paper |
| Linear time solvable optimization problems on graphs of bounded clique-width | 2003-03-18 | Paper |
| Fusion in relational structures and the verification of monadic second-order properties | 2002-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767003 | 2002-07-22 | Paper |
| The evaluation of first-order substitution is monadic second-order compatible | 2002-07-15 | Paper |
| A monadic second-order definition of the structure of convex hypergraphs. | 2002-01-01 | Paper |
| On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic | 2001-11-09 | Paper |
| Upper bounds to the clique width of graphs | 2001-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520519 | 2001-02-26 | Paper |
| The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings | 2000-08-21 | Paper |
| The monadic second-order logic of graphs. XII: Planar graphs and planar maps | 2000-06-04 | Paper |
| The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4232773 | 1999-12-13 | Paper |
| Monadic second-order logic, graph coverings and unfoldings of transition systems | 1999-11-03 | Paper |
| Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.) | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222789 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218137 | 1998-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385531 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385535 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353558 | 1998-03-23 | Paper |
| The obstructions of a minor-closed set of graphs defined by a context-free grammar | 1998-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4347951 | 1997-11-09 | Paper |
| The monadic second-order logic of graphs. X: Linear orderings | 1997-09-18 | Paper |
| Basic notions of universal algebra for language theory and graph grammars | 1997-02-27 | Paper |
| The monadic second-order logic of graphs. IX: Machines and their behaviours | 1997-02-27 | Paper |
| Equivalent definitions of recognizability for sets of graphs of bounded tree-width | 1996-09-12 | Paper |
| Mineurs d'arbres avec racines | 1996-05-27 | Paper |
| Erratum to ``The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures | 1996-02-18 | Paper |
| The monadic second-order logic of graphs. VIII: Orientations | 1996-01-30 | Paper |
| Structural properties of context-free sets of graphs generated by vertex replacement | 1996-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4852905 | 1995-11-30 | Paper |
| Monadic second-order definable graph transductions: a survey | 1995-01-26 | Paper |
| The monadic second order logic of graphs. VI: On several representations of graphs by relational structures | 1994-11-03 | Paper |
| An algebraic theory of graph reduction | 1994-09-11 | Paper |
| Recognizable sets of graphs: equivalent definitions and closure properties | 1994-04-26 | Paper |
| Coverings and minors: Application to local computations in graphs | 1994-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284239 | 1994-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273663 | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273871 | 1994-01-06 | Paper |
| Handle-rewriting hypergraph grammars | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037294 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037299 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037312 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037313 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029594 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005197 | 1992-09-27 | Paper |
| The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues | 1992-09-27 | Paper |
| The monadic second-order logic of graphs. VII: Graphs as relational structures | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975133 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713368 | 1992-06-25 | Paper |
| The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability | 1992-06-25 | Paper |
| Recursive queries and context-free graph grammars | 1991-01-01 | Paper |
| A geometrical view of the determinization and minimization of finite-state automata | 1991-01-01 | Paper |
| The monadic second-order logic of graphs. IV: Definability properties of equational graphs | 1990-01-01 | Paper |
| The monadic second-order logic of graphs. I: Recognizable sets of finite graphs | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205068 | 1989-01-01 | Paper |
| The monadic second-order logic of graphs, II: Infinite graphs of bounded width | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729378 | 1988-01-01 | Paper |
| Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787506 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830540 | 1988-01-01 | Paper |
| An axiomatic definition of context-free rewriting and its application to NLC graph grammars | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3756502 | 1987-01-01 | Paper |
| Decidable subcases of the equivalence problem for recursive program schemes | 1987-01-01 | Paper |
| Graph expressions and graph rewritings | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785986 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785987 | 1987-01-01 | Paper |
| Equivalences and transformations of regular systems - applications to recursive program schemes and grammars | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742748 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776662 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3692880 | 1985-01-01 | Paper |
| The solutions of two star-height problems for regular trees | 1984-01-01 | Paper |
| Some negative results concerning DPDA's | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3675498 | 1984-01-01 | Paper |
| Fundamental properties of infinite trees | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667929 | 1983-01-01 | Paper |
| An axiomatic approach to the Korenjak-Hopcroft algorithms | 1983-01-01 | Paper |
| Attribute grammars and recursive program schemes. I. II | 1982-01-01 | Paper |
| On the equivalence problem for attribute systems | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659160 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907115 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912007 | 1981-01-01 | Paper |
| The Rational Index: A Complexity Measure for Languages | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3959406 | 1981-01-01 | Paper |
| The simultaneous accessibility of two configurations of two equivalent DPDA's | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912630 | 1980-01-01 | Paper |
| Infinite trees in normal form and recursive equations having a unique solution | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192947 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164787 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192990 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198080 | 1978-01-01 | Paper |
| A representation of trees by languages. II | 1978-01-01 | Paper |
| A representation of trees by languages. I | 1978-01-01 | Paper |
| On some classes of interpretations | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3868789 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4127365 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140410 | 1977-01-01 | Paper |
| On jump-deterministic pushdown automata | 1977-01-01 | Paper |
| Completeness results for the equivalence of recursive schemas | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4057634 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4130957 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4772711 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4772720 | 1974-01-01 | Paper |
