| Publication | Date of Publication | Type |
|---|
| Checked corecursive streams: expressivity and completeness | 2023-09-18 | Paper |
| Enhancing expressivity of checked corecursive streams | 2022-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091145 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020942 | 2022-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993855 | 2021-06-10 | Paper |
| Comparing trace expressions and linear temporal logic for runtime verification | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151011 | 2021-02-16 | Paper |
| Flexible coinductive logic programming | 2020-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580225 | 2018-08-13 | Paper |
| An abstract machine for asynchronous programs with closures and priority queues | 2017-12-20 | Paper |
| Polymorphic bytecode | 2017-07-14 | Paper |
| Generalizing Inference Systems by Coaxioms | 2017-05-19 | Paper |
| Type safe incremental rebinding | 2017-04-04 | Paper |
| An algebraic approach to mixins and modularity | 2017-01-19 | Paper |
| A Theoretical Perspective of Coinductive Logic Programming | 2016-08-15 | Paper |
| Incremental rebinding with name polymorphism | 2016-08-05 | Paper |
| Principal typings for Java-like languages | 2015-11-11 | Paper |
| A Coalgebraic Foundation for Coinductive Union Types | 2014-07-01 | Paper |
| A Parametric Calculus for Mobile Open Code | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848693 | 2013-09-26 | Paper |
| Static Single Information Form for Abstract Compilation | 2012-09-21 | Paper |
| Idealized coinductive type systems for imperative object-oriented programs | 2011-06-10 | Paper |
| Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? | 2011-01-21 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Type Inference by Coinductive Logic Programming | 2009-07-02 | Paper |
| Trustworthy Global Computing | 2006-11-01 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673423 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046765 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449178 | 2004-02-08 | Paper |
| A calculus of module systems | 2002-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767194 | 2002-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779264 | 2002-04-15 | Paper |
| A theory of mixin modules: algebraic laws and reduction semantics | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722015 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941922 | 2000-03-19 | Paper |
| A theory of mixin modules: basic and derived operators | 1999-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375629 | 1998-06-11 | Paper |
