| Publication | Date of Publication | Type |
|---|
| Seurat games on Stockmeyer graphs | 2023-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884961 | 2023-03-24 | Paper |
| The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms | 2022-11-09 | Paper |
| Relation algebras of intervals | 2022-09-23 | Paper |
| FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH | 2022-08-29 | Paper |
| EXPTIME-hardness of higher-dimensional Minkowski spacetime | 2022-06-14 | Paper |
| Temporal Logic of Minkowski Spacetime | 2022-02-04 | Paper |
| Undecidability of Algebras of Binary Relations | 2021-12-10 | Paper |
| A corrected strategy for proving no finite variable axiomatisation exists for RRA | 2021-09-03 | Paper |
| Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition | 2021-05-14 | Paper |
| Finite representability of semigroups with demonic refinement | 2021-05-06 | Paper |
| Axioms for signatures with domain and demonic composition | 2021-04-16 | Paper |
| Marxism, Logic and the Rate of Profit | 2020-09-17 | Paper |
| Finite Representability of Semigroups with Demonic Refinement | 2020-09-15 | Paper |
| First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth | 2020-08-04 | Paper |
| The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable | 2019-07-24 | Paper |
| Algebraic foundations for qualitative calculi and networks | 2019-03-26 | Paper |
| Meet-completions and ordered domain algebras | 2019-01-08 | Paper |
| Decidability of equational theories for subsignatures of relation algebra | 2018-11-08 | Paper |
| THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE | 2018-10-26 | Paper |
| Disjoint-union partial algebras | 2017-07-13 | Paper |
| THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS | 2017-05-31 | Paper |
| The algebra of functions with antidomain and range | 2016-02-04 | Paper |
| THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS | 2014-09-30 | Paper |
| Probabilistic Logic over Paths | 2014-05-13 | Paper |
| Ordered domain algebras | 2014-04-17 | Paper |
| Corrigendum to: “Relation Algebra Reducts of Cylindric Algebras and Complete Representations” | 2014-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853709 | 2013-10-16 | Paper |
| Undecidability of representability as binary relations | 2013-01-07 | Paper |
| Completely representable lattices | 2012-05-16 | Paper |
| Weak representations of relation algebras and relational bases | 2011-10-10 | Paper |
| POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS | 2011-06-10 | Paper |
| Axiomatizability of representable domain algebras | 2011-02-09 | Paper |
| The Complexity of the Warranted Formula Problem in Propositional Argumentation | 2010-04-21 | Paper |
| Strongly representable atom structures of cylindric algebras | 2009-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509079 | 2008-07-01 | Paper |
| Representable semilattice-ordered monoids | 2008-03-05 | Paper |
| Peirce Algebras and Boolean Modules | 2007-12-17 | Paper |
| Relation algebra reducts of cylindric algebras and complete representations | 2007-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3424681 | 2007-03-05 | Paper |
| The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable | 2005-09-28 | Paper |
| Perturbed phase-space dynamics of hard-disk fluids | 2004-08-10 | Paper |
| Provability with Finitely Many Variables | 2003-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4432324 | 2003-10-22 | Paper |
| Relation algebras from cylindric algebras. I | 2002-12-11 | Paper |
| Relation algebras from cylindric algebras. II | 2002-12-11 | Paper |
| Relation algebra reducts of cylindric algebras and an application to proof theory | 2002-10-29 | Paper |
| Relation algebras by games | 2002-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329275 | 2002-04-29 | Paper |
| Strongly representable atom structures of relation algebras | 2002-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709115 | 2001-08-20 | Paper |
| Representability is not decidable for finite relation algebras | 2001-02-19 | Paper |
| Relation algebras with \(n\)-dimensional relational bases | 2001-01-29 | Paper |
| Tractable approximations for temporal constraint handling | 2000-06-04 | Paper |
| A finite relation algebra with undecidable network satisfaction problem | 1999-11-01 | Paper |
| Step by step – Building representations in algebraic logic | 1997-12-22 | Paper |
| Complete representations in algebraic logic | 1997-12-17 | Paper |
| Expressive power and complexity in algebraic logic | 1997-07-17 | Paper |
| Axiomatising Various Classes of Relation and Cylindric Algebras | 1997-06-02 | Paper |
| Completely Representable Relation Algebras | 1995-11-28 | Paper |
| From points to intervals | 1994-08-28 | Paper |
| An axiomatisation of the temporal logic of two dimensional Minkowski spacetime | N/A | Paper |
