| Publication | Date of Publication | Type |
|---|
| Checking equivalence of corecursive streams: an inductive procedure | 2024-08-20 | Paper |
| Checked corecursive streams: expressivity and completeness | 2023-09-18 | Paper |
| A Java-like calculus with heterogeneous coeffects | 2023-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6099600 | 2023-06-20 | Paper |
| Soundness Conditions for Big-Step Semantics | 2022-10-13 | 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/Q5076059 | 2022-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993855 | 2021-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964691 | 2021-03-03 | Paper |
| Flexible coinductive logic programming | 2020-12-13 | Paper |
| Flexible recovery of uniqueness and immutability | 2019-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580225 | 2018-08-13 | 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 |
| Incremental rebinding with name polymorphism | 2016-08-05 | Paper |
| An imperative pure calculus | 2016-08-05 | Paper |
| Aliasing Control in an Imperative Pure Calculus | 2016-01-08 | Paper |
| Principal typings for Java-like languages | 2015-11-11 | Paper |
| A parametric calculus for mobile open code | 2013-12-06 | Paper |
| A calculus for reconfiguration (extended abstract) | 2013-10-02 | Paper |
| A calculus for dynamic reconfiguration with low priority linking | 2013-09-26 | Paper |
| Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages | 2012-05-24 | Paper |
| Extending the lambda-calculus with unbind and rebind | 2011-06-10 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Type Inference by Coinductive Logic Programming | 2009-07-02 | Paper |
| A Framework for Type Safe Exchange of Mobile Code | 2009-03-05 | Paper |
| A calculus of open modules: call-by-need strategy and confluence | 2007-09-06 | Paper |
| Trustworthy Global Computing | 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/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 |
| Deriving proof rules from continuation semantics | 2000-05-07 | Paper |
| Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages | 1999-11-01 | Paper |
| From static to dynamic abstract data-types: An institution transformation | 1999-04-28 | Paper |
| A theory of mixin modules: basic and derived operators | 1999-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375629 | 1998-06-11 | Paper |
| An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) | 1997-02-04 | Paper |
| A free construction of dynamic terms | 1996-07-16 | Paper |
| D-oids: a model for dynamic data-types | 1996-05-28 | Paper |
| Parametric channels via label expressions in CCS | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316569 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969858 | 1981-01-01 | Paper |
