| Publication | Date of Publication | Type |
|---|
| Rooting gene trees via phylogenetic networks | 2023-08-10 | Paper |
| Untyped lambda-calculus with input-output | 2023-02-23 | Paper |
| Type reconstruction with recursive types and atomic subtyping | 2022-11-02 | Paper |
| Substructural logic and partial correctness | 2017-06-13 | Paper |
| Equational axiomatization of bicoercibility for polymorphic types | 2017-01-19 | Paper |
| SIZE DISTRIBUTION OF GENE FAMILIES IN A GENOME | 2014-05-16 | Paper |
| Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model | 2012-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457138 | 2008-04-14 | Paper |
| On Genome Evolution with Innovation | 2007-09-05 | Paper |
| A DISCRETE MODEL OF EVOLUTION OF SMALL PARALOG FAMILIES | 2007-08-01 | Paper |
| A model for the evolution of paralog families in genomes | 2007-06-12 | Paper |
| Comparative Genomics | 2006-10-19 | Paper |
| DLS-trees: a model of evolutionary scenarios | 2006-09-14 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823140 | 2004-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789445 | 2003-01-29 | Paper |
| Alpha-conversion and typability | 2003-01-14 | Paper |
| Discrimination by parallel observers: the algorithm. | 2003-01-14 | Paper |
| A sequent calculus for subtyping polymorphic types | 2003-01-14 | Paper |
| On the completeness of propositional Hoare logic | 2002-06-23 | Paper |
| The subtyping problem for second-order types is undecidable. | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3146272 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757850 | 2001-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525781 | 2001-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941848 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385540 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364505 | 1998-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375803 | 1998-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332422 | 1997-06-03 | Paper |
| An analysis of ML typability | 1995-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281477 | 1994-03-10 | Paper |
| The undecidability of the semi-unification problem | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027630 | 1993-02-21 | Paper |
| Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus | 1992-09-27 | Paper |
| On the expressive power of finitely typed and universally polymorphic recursive procedures | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976029 | 1992-06-26 | Paper |
| Fixed points in free process algebras. II | 1990-01-01 | Paper |
| A simplified proof of \(DDL<DL\) | 1989-01-01 | Paper |
| Fixed points in free process algebras. I | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033318 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204025 | 1989-01-01 | Paper |
| Some relationships between logics of programs and complexity theory | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776607 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3736898 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785901 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3678651 | 1985-01-01 | Paper |
| Equivalences among logics of programs | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3345772 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3678664 | 1984-01-01 | Paper |
| Unbounded program memory adds to the expressive power of first-order programming logic | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5186728 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316584 | 1983-01-01 | Paper |
| Floyd's principle, correctness theories and program equivalence | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3327706 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957927 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968454 | 1982-01-01 | Paper |
| Another incompleteness result for Hoare's logic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922158 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947105 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948578 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953824 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960142 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745815 | 1981-01-01 | Paper |
| Unique fixed points vs. least fixed points | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878741 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3938490 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851588 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877027 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906395 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3908458 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3908459 | 1979-01-01 | Paper |
| Some results on the decomposition of finite automata | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917490 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164781 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4185836 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131680 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133089 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136572 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174213 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4181303 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106370 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094405 | 1975-01-01 | Paper |
