| Publication | Date of Publication | Type |
|---|
| A proof system for finite trees | 2024-06-21 | Paper |
| Completeness results for two-sorted metric temporal logics | 2022-08-16 | Paper |
| Bayesian feature interaction selection for factorization machines | 2021-12-13 | Paper |
| Incremental sparse Bayesian ordinal regression | 2020-05-26 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| PDL for ordered trees | 2009-11-30 | Paper |
| Recent Advances in Constraints | 2009-05-05 | Paper |
| A note on the expressive power of probabilistic context free grammars | 2006-11-17 | Paper |
| Model checking hybrid logics (with an application to semistructured data) | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465442 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817194 | 2004-09-22 | Paper |
| A Modal Perspective on Path Constraints | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430391 | 2003-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789185 | 2003-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707699 | 2003-06-11 | Paper |
| Deciding the guarded fragments by resolution | 2003-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532129 | 2002-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329229 | 2002-10-08 | Paper |
| Encoding two-valued nonclassical logics in classical logic | 2002-09-16 | Paper |
| Resolution in modal, description and hybrid logic | 2002-07-28 | Paper |
| Expressiveness of concept expressions in first-order description logics | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762866 | 2002-01-13 | Paper |
| Ensemble-based prediction of SAT search behaviour | 2001-09-24 | Paper |
| Modal logic | 2001-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518807 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518426 | 2000-11-28 | Paper |
| Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information | 2000-07-13 | Paper |
| A note on graded modal logic | 2000-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263164 | 2000-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250041 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263019 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246969 | 1999-06-16 | Paper |
| Simulating without Negation | 1998-11-24 | Paper |
| A system of dynamic modal logic | 1998-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394915 | 1998-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838816 | 1998-08-13 | Paper |
| Two-sorted metric temporal logics | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349286 | 1998-01-28 | Paper |
| Bisimulations for temporal logic | 1998-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362889 | 1997-12-14 | Paper |
| Why combine logics? | 1997-10-26 | Paper |
| Zooming in, zooming out | 1997-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691490 | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691491 | 1997-04-21 | Paper |
| The logic of Peirce algebras | 1996-05-08 | Paper |
| Editors' introduction to the special issue on combining logics | 1996-01-01 | Paper |
| Counting Objects | 1995-06-06 | Paper |
| Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras | 1995-02-22 | Paper |
| Generalized quantifiers and modal logic | 1994-02-22 | Paper |
| The modal logic of inequality | 1993-04-01 | Paper |
| Unary interpretability logic | 1993-02-22 | Paper |
| A note on the interpretability logic of finitely axiomatized theories | 1992-06-27 | Paper |
