| Publication | Date of Publication | Type |
|---|
| On the bipartition polynomials for rooted caterpillars | 2026-04-29 | Paper |
On using SAT solvers for graph computations
Discrete Applied Mathematics | 2025-12-16 | Paper |
On regular trees defined from unfoldings and coverings
Information and Computation | 2025-02-28 | Paper |
The monadic second-order logic of graphs : Definable sets of finite graphs
Graph-Theoretic Concepts in Computer Science | 2024-02-28 | Paper |
Unfoldings and Coverings of Weighted Graphs
Fundamenta Informaticae | 2023-09-14 | Paper |
Betweenness in order-theoretic trees
Fields of Logic and Computation III | 2022-11-09 | Paper |
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity
Fundamenta Informaticae | 2022-10-07 | Paper |
Induced betweenness in order-theoretic trees
Discrete Mathematics & Theoretical Computer Science | 2022-09-30 | Paper |
Induced betweenness in order-theoretic trees
Discrete Mathematics & Theoretical Computer Science | 2022-09-30 | Paper |
Recognizable sets of graphs of bounded tree-width
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Betweenness of partial orders
RAIRO - Theoretical Informatics and Applications | 2022-01-12 | Paper |
Axiomatization of betweenness in order-theoretic trees
(available as arXiv preprint) | 2021-03-26 | Paper |
| Axiomatization of betweenness in order-theoretic trees | 2021-03-26 | Paper |
On defining linear orders by automata
Moscow Journal of Combinatorics and Number Theory | 2020-11-10 | Paper |
Grammars and clique-width bounds from split decompositions
Discrete Applied Mathematics | 2020-04-21 | Paper |
On quasi-planar graphs: clique-width and logical description
Discrete Applied Mathematics | 2020-04-21 | Paper |
Axiomatization of betweenness in order-theoretic trees
(available as arXiv preprint) | 2020-04-21 | Paper |
The obstructions of a minor-closed set of graphs defined by hyperedge replacement can be constructed
Lecture Notes in Computer Science | 2019-01-10 | Paper |
The definition in monadic second-order logic of modular decompositions of ordered graphs
Lecture Notes in Computer Science | 2019-01-10 | Paper |
From tree-decompositions to clique-width terms
Discrete Applied Mathematics | 2018-09-17 | Paper |
Fly-automata for checking \(\mathrm{MSO}_2\) graph properties
Discrete Applied Mathematics | 2018-05-24 | Paper |
Algebraic and logical descriptions of generalized trees
(available as arXiv preprint) | 2017-10-12 | Paper |
Several notions of rank-width for countable graphs
Journal of Combinatorial Theory. Series B | 2017-01-26 | Paper |
| Fly-automata for checking monadic second-order properties of graphs of bounded tree-width | 2016-10-17 | Paper |
| Clique-width of countable graphs: a compactness property | 2016-07-01 | Paper |
Computations by fly-automata beyond monadic second-order logic
Theoretical Computer Science | 2016-02-26 | Paper |
Regularity equals monadic second-order definability for quasi-trees
Fields of Logic and Computation II | 2015-09-22 | Paper |
Clique-width and edge contraction
Information Processing Letters | 2015-06-25 | Paper |
A characterisation of clique-width through nested partitions
Discrete Applied Mathematics | 2015-06-10 | Paper |
The common structure of the curves having a same Gauss word
Automata, Universality, Computation | 2015-04-14 | Paper |
Monadic second-order definable graph orderings
Logical Methods in Computer Science | 2014-01-22 | Paper |
Model-checking by infinite fly-automata
Algebraic Informatics | 2013-09-20 | Paper |
Connectivity check in 3-connected planar graphs with obstacles
Electronic Notes in Discrete Mathematics | 2013-06-28 | Paper |
Graph operations, graph transformations and monadic second-order logic: a survey
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Automata for the verification of monadic second-order graph properties
Journal of Applied Logic | 2013-05-02 | Paper |
| Special tree-width and the verification of monadic second-order graph properties | 2012-08-29 | Paper |
On the model-checking of monadic second-order formulas with edge set quantifications
Discrete Applied Mathematics | 2012-05-11 | Paper |
Fly-automata, their properties and applications
Implementation and Application of Automata | 2011-07-29 | Paper |
| scientific article; zbMATH DE number 5872389 (Why is no real title available?) | 2011-03-30 | Paper |
| Graph structure and monadic second-order logic. A language-theoretic approach | 2011-02-18 | Paper |
Compact labelings for efficient first-order model-checking
Journal of Combinatorial Optimization | 2011-02-18 | Paper |
Constrained-path labellings on graphs of bounded clique-width
Theory of Computing Systems | 2010-10-06 | Paper |
On the monadic second-order transduction hierarchy
Logical Methods in Computer Science | 2010-07-27 | Paper |
Linear delay enumeration and monadic second-order logic
Discrete Applied Mathematics | 2010-04-28 | Paper |
| scientific article; zbMATH DE number 5666835 (Why is no real title available?) | 2010-02-05 | Paper |
| Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations | 2010-02-05 | Paper |
On Several Proofs of the Recognizability Theorem
Algebraic Informatics | 2009-11-05 | Paper |
Graph operations characterizing rank-width
Discrete Applied Mathematics | 2009-06-30 | Paper |
A multivariate interlace polynomial and its computation for graphs of bounded clique-width
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
A multivariate interlace polynomial and its computation for graphs of bounded clique-width
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
Language and Automata Theory and Applications | 2009-04-02 | Paper |
| Graph equivalences and decompositions definable in monadic second-order logic. The case of circle graphs | 2009-03-24 | Paper |
Circle graphs and monadic second-order logic
Journal of Applied Logic | 2008-09-23 | Paper |
Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects
Automata, Languages and Programming | 2008-08-28 | Paper |
Graph Operations Characterizing Rank-Width and Balanced Graph Expressions
Graph-Theoretic Concepts in Computer Science | 2008-07-01 | Paper |
Efficient First-Order Model-Checking Using Short Labels
Frontiers in Algorithmics | 2008-06-19 | Paper |
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
Theoretical Computer Science | 2008-04-15 | Paper |
The monadic second-order logic of graphs XVI : Canonical graph decompositions
Logical Methods in Computer Science | 2007-10-11 | Paper |
Compact Forbidden-Set Routing
STACS 2007 | 2007-09-03 | Paper |
Graph decompositions definable in monadic second-order logic
Electronic Notes in Discrete Mathematics | 2007-05-29 | Paper |
Vertex-minors, monadic second-order logic, and a conjecture by Seese
Journal of Combinatorial Theory. Series B | 2007-01-11 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Recognizability, hypergraph operations, and logical types
Information and Computation | 2006-07-12 | Paper |
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese
Journal of Applied Logic | 2006-06-30 | Paper |
Developments in Language Theory
Lecture Notes in Computer Science | 2005-12-22 | Paper |
The recognizability of sets of graphs is a robust property
Theoretical Computer Science | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2087418 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2079025 (Why is no real title available?) | 2004-07-21 | Paper |
Clique-width of countable graphs: A compactness property.
Discrete Mathematics | 2004-02-14 | Paper |
| scientific article; zbMATH DE number 2016096 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1995142 (Why is no real title available?) | 2003-10-22 | Paper |
| scientific article; zbMATH DE number 1995117 (Why is no real title available?) | 2003-10-21 | Paper |
Query efficient implementation of graphs of bounded clique-width
Discrete Applied Mathematics | 2003-09-25 | Paper |
The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions.
Theoretical Computer Science | 2003-05-25 | Paper |
Map genus, forbidden maps, and monadic second-order logic
The Electronic Journal of Combinatorics | 2003-05-13 | Paper |
Map genus, forbidden maps, and monadic second-order logic
The Electronic Journal of Combinatorics | 2003-05-13 | Paper |
Linear time solvable optimization problems on graphs of bounded clique-width
Theory of Computing Systems | 2003-03-18 | Paper |
Fusion in relational structures and the verification of monadic second-order properties
Mathematical Structures in Computer Science | 2002-10-16 | Paper |
| scientific article; zbMATH DE number 1696755 (Why is no real title available?) | 2002-07-22 | Paper |
The evaluation of first-order substitution is monadic second-order compatible
Theoretical Computer Science | 2002-07-15 | Paper |
A monadic second-order definition of the structure of convex hypergraphs.
Information and Computation | 2002-01-01 | Paper |
On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
Discrete Applied Mathematics | 2001-11-09 | Paper |
Upper bounds to the clique width of graphs
Discrete Applied Mathematics | 2001-03-30 | Paper |
| scientific article; zbMATH DE number 1543064 (Why is no real title available?) | 2001-02-26 | Paper |
The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings
Theoretical Computer Science | 2000-08-21 | Paper |
The monadic second-order logic of graphs. XII: Planar graphs and planar maps
Theoretical Computer Science | 2000-06-04 | Paper |
The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1262783 (Why is no real title available?) | 1999-12-13 | Paper |
Monadic second-order logic, graph coverings and unfoldings of transition systems
Annals of Pure and Applied Logic | 1999-11-03 | Paper |
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.)
Annales de l’institut Fourier | 1999-07-12 | Paper |
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.)
Annales de l’institut Fourier | 1999-07-12 | Paper |
| scientific article; zbMATH DE number 1231484 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1222597 (Why is no real title available?) | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 1142315 (Why is no real title available?) | 1998-05-14 | Paper |
| scientific article; zbMATH DE number 1142319 (Why is no real title available?) | 1998-05-14 | Paper |
| scientific article; zbMATH DE number 1059243 (Why is no real title available?) | 1998-03-23 | Paper |
The obstructions of a minor-closed set of graphs defined by a context-free grammar
Discrete Mathematics | 1998-02-25 | Paper |
| scientific article; zbMATH DE number 1047873 (Why is no real title available?) | 1997-11-09 | Paper |
The monadic second-order logic of graphs. X: Linear orderings
Theoretical Computer Science | 1997-09-18 | Paper |
Basic notions of universal algebra for language theory and graph grammars
Theoretical Computer Science | 1997-02-27 | Paper |
The monadic second-order logic of graphs. IX: Machines and their behaviours
Theoretical Computer Science | 1997-02-27 | Paper |
Equivalent definitions of recognizability for sets of graphs of bounded tree-width
Mathematical Structures in Computer Science | 1996-09-12 | Paper |
Mineurs d'arbres avec racines
RAIRO - Theoretical Informatics and Applications | 1996-05-27 | Paper |
Erratum to ``The monadic second-order logic of graphs. VI: On several representations of graphs by relational structures''
Discrete Applied Mathematics | 1996-02-18 | Paper |
The monadic second-order logic of graphs. VIII: Orientations
Annals of Pure and Applied Logic | 1996-01-30 | Paper |
