| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5874208 | 2023-02-07 | Paper |
| Undecidability results on two-variable logics | 2022-11-09 | Paper |
| Finite approximation of free groups with an application to the Henckell--Rhodes problem | 2022-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091133 | 2022-07-21 | Paper |
| A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC | 2022-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384064 | 2021-12-14 | Paper |
| INQUISITIVE BISIMULATION | 2021-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144618 | 2021-01-19 | Paper |
| Graded modal logic and counting bisimulation | 2019-09-30 | Paper |
| Cayley structures and common knowledge | 2019-09-25 | Paper |
| Inquisitive bisimulation | 2018-03-09 | Paper |
| Amalgamation and Symmetry: From Local to Global Consistency in The Finite | 2017-08-31 | Paper |
| Groupoids, Hypergraphs, and Symmetries in Finite Models | 2017-07-03 | Paper |
| Back and forth between guarded and modal logics | 2017-06-13 | Paper |
| PEBBLE GAMES AND LINEAR EQUATIONS | 2015-11-09 | Paper |
| Expressive completeness through logically tractable models | 2015-08-27 | Paper |
| The Freedoms of (Guarded) Bisimulation | 2015-05-11 | Paper |
| Bisimulation and Coverings for Graphs and Hypergraphs | 2015-01-06 | Paper |
| Decidability results for the boundedness problem | 2014-09-05 | Paper |
| Querying the Guarded Fragment | 2014-05-22 | Paper |
| Highly acyclic groups, hypergraph covers, and the guarded fragment | 2014-02-17 | Paper |
| Pebble Games and Linear Equations | 2012-11-22 | Paper |
| Small substructures and decidability issues for first-order logic with two variables | 2012-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172386 | 2011-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085171 | 2011-03-30 | Paper |
| Modal characterisation theorems over special classes of frames | 2009-10-09 | Paper |
| Boundedness of Monadic Second-Order Formulae over Finite Words | 2009-07-14 | Paper |
| Boundedness of Monadic FO over Acyclic Structures | 2007-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5494236 | 2006-10-17 | Paper |
| Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures | 2005-02-09 | Paper |
| Modal and guarded characterisation theorems over finite transition systems | 2004-11-18 | Paper |
| Adding for-loops to first-order logic | 2003-01-14 | Paper |
| Two variable first-order logic over ordered domains | 2002-07-25 | Paper |
| An interpolation theorem | 2001-07-26 | Paper |
| Epsilon-logic is more expressive than first-order logic over finite structures | 2001-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938431 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936118 | 2000-01-24 | Paper |
| On logics with two variables | 2000-01-12 | Paper |
| Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus | 2000-01-12 | Paper |
| Undecidability results on two-variable logics | 1999-12-13 | Paper |
| Bounded variable logics: Two, three, and more | 1999-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251069 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376070 | 1998-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362929 | 1997-11-13 | Paper |
| Canonization for two variables and puzzles on the square | 1997-09-10 | Paper |
| A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\) | 1997-02-28 | Paper |
| First-order queries on databases embedded in an infinite structure | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332930 | 1997-02-18 | Paper |
| The expressive power of fixed-point logic with counting | 1997-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283240 | 1994-08-07 | Paper |
| EM constructions for a class of generalized quantifiers | 1993-03-01 | Paper |
| Automorphism properties of stationary logic | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997427 | 1992-09-17 | Paper |
| A reduction scheme for phase spaces with almost Kähler symmetry. Regularity results for momentum level sets | 1987-01-01 | Paper |
| WITHDRAWN: On Groupoids and Hypergraphs | N/A | Paper |
| WITHDRAWN: Finite Groupoids, Finite Coverings and Symmetries in Finite Structures | N/A | Paper |
| Acyclicity in finite groups and groupoids | N/A | Paper |
| On the expressive power of inquisitive epistemic logic | N/A | Paper |
