| Publication | Date of Publication | Type |
|---|
| Type theory with explicit universe polymorphism | 2024-11-26 | Paper |
| On generalized algebraic theories and categories with families | 2022-06-24 | Paper |
| Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism | 2022-04-07 | Paper |
| Construction of the circle in \textit{UniMath} | 2021-06-09 | Paper |
| A Note on Generalized Algebraic Theories and Categories with Families | 2020-12-15 | Paper |
| Skolem’s Theorem in Coherent Logic | 2020-01-24 | Paper |
| Construction of the Circle in UniMath | 2019-10-04 | Paper |
| The univalence axiom in cubical sets | 2019-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224684 | 2019-07-24 | Paper |
| Syntactic forcing models for coherent logic | 2018-10-08 | Paper |
| Improving IntSat by expressing disjunctions of bounds as linear constraints | 2017-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277833 | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2968413 | 2017-03-13 | Paper |
| A Kripke model for simplicial sets | 2015-02-24 | Paper |
| A Vernacular for Coherent Logic | 2014-08-07 | Paper |
| On streams that are finitely red | 2012-10-22 | Paper |
| Expressive power of digraph solvability | 2012-04-13 | Paper |
| Hard problems in max-algebra, control theory, hypergraphs and other areas | 2010-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395957 | 2009-09-15 | Paper |
| Developing bounded reasoning | 2009-03-24 | Paper |
| Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra | 2009-03-04 | Paper |
| The Max-Atom Problem and Its Relevance | 2009-01-27 | Paper |
| Automating Coherent Logic | 2008-05-27 | Paper |
| Completeness and Decidability in Sequence Logic | 2008-05-15 | Paper |
| On the mechanization of the proof of Hessenberg's theorem in coherent logic | 2008-02-18 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024822 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665735 | 2005-04-11 | Paper |
| A descriptive characterisation of even linear languages | 2004-05-27 | Paper |
| Automated proof construction in type theory using resolution | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783309 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723415 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702566 | 2000-04-09 | Paper |
| On the computational content of the axiom of choice | 1999-06-21 | Paper |
| Diagram techniques for confluence | 1998-11-10 | Paper |
| Two finite specifications of a queue | 1998-07-23 | Paper |
| Formalizing process algebraic verifications in the calculus of constructions | 1997-08-17 | Paper |
| Polymorphic extensions of simple type structures. With an application to a bar recursive minimization | 1997-05-28 | Paper |
| A simple proof of the undecidability of inhabitation in λP | 1997-03-18 | Paper |
| Undecidable goals for completed acyclic programs | 1995-01-12 | Paper |
| Strong termination of logic programs | 1993-05-16 | Paper |
| Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics | 1993-01-01 | Paper |
| Semantics and Consistency of Rule based Expert Systems | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983042 | 1992-06-26 | Paper |
| Completeness of resolution revisited | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3477990 | 1990-01-01 | Paper |
| Compact and majorizable functionals of finite type | 1989-01-01 | Paper |
| Equivalence of bar recursors in the theory of functionals of finite type | 1988-01-01 | Paper |
| On estimating the complexity of logarithmic decomposition | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811747 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807643 | 1988-01-01 | Paper |
| Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals | 1985-01-01 | Paper |
| Isomorphisms between HEO and HROE, ECF and ICFE | 1985-01-01 | Paper |
| Strong normalization of barrecursive terms without using infinite terms | 1985-01-01 | Paper |
