| Publication | Date of Publication | Type |
|---|
| Two First-Order Theories of Ordinals | 2022-11-09 | Paper |
| Axiomatization of Typed First-Order Logic | 2019-12-19 | Paper |
| A tableau calculus for first-order branching time logic | 2019-04-29 | Paper |
| Proving JDK's dual pivot quicksort correct | 2018-12-07 | Paper |
| A mechanizable first-order theory of ordinals | 2018-02-02 | Paper |
| Information Flow in Object-Oriented Software | 2015-11-30 | Paper |
| Dynamic Frames in Java Dynamic Logic | 2011-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3407725 | 2010-03-04 | Paper |
| KeY: A Formal Method for Object-Oriented Systems | 2007-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738337 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043800 | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436034 | 2003-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536314 | 2002-11-25 | Paper |
| Implementing semantic tableaux | 2001-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524769 | 2001-01-15 | Paper |
| Triples of prototiles (with prescribed properties) in space | 1999-03-14 | Paper |
| Spacefilling knots | 1998-03-19 | Paper |
| A description of the tableau method using abstract state machines | 1997-11-04 | Paper |
| Automated Deduction with Shannon Graphs | 1996-09-15 | Paper |
| The liberalized \(\delta\)-rule in free variable semantic tableaux | 1995-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282596 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4274010 | 1994-01-03 | Paper |
| Theory of logic programming. An elementary introduction | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013974 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013973 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4001636 | 1992-09-18 | Paper |
| Disks with special properties of densest packings | 1991-01-01 | Paper |
| n-homeohedral types of tilings | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3200598 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815282 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816969 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3822777 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3825657 | 1988-01-01 | Paper |
| Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing) | 1987-01-01 | Paper |
| \(\sigma\)-morphic sets of prototiles | 1987-01-01 | Paper |
| Sets of tiles with a prescribed number of tilings | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786473 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3741619 | 1986-01-01 | Paper |
| Pairs of tiles which admit finitely or countably infinitely many tilings | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030843 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709427 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728918 | 1985-01-01 | Paper |
| The Theory of Ordered Abelian Groups does not have the Independence Property | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184895 | 1984-01-01 | Paper |
| Undecidable theories of valuated abelian groups | 1984-01-01 | Paper |
| Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem | 1984-01-01 | Paper |
| The $L^t$-theory of profinite abelian groups | 1983-01-01 | Paper |
| Algebraically complete lattices | 1983-01-01 | Paper |
| Locally pure topological Abelian groups: Elementary invariants | 1983-01-01 | Paper |
| The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup | 1982-01-01 | Paper |
| Undecidable Lt theories of topological abelian groups | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206888 | 1979-01-01 | Paper |
| Normal double Stone algebras | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121893 | 1976-01-01 | Paper |
| Spreading information by conferences | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063243 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4104034 | 1975-01-01 | Paper |
| Erzeugung äquivalenter Summierungsverfahren durch Matrizenprodukte | 1974-01-01 | Paper |
| Lineare Gleichverteilung | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4059338 | 1973-01-01 | Paper |
