| Publication | Date of Publication | Type |
|---|
| On a higher-order calculus of computational fields | 2024-02-06 | Paper |
| Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala | 2023-03-22 | Paper |
| On logical and extensional characterizations of attributed feature models | 2022-04-01 | Paper |
| Refinement types for program analysis | 2022-02-16 | Paper |
| On two characterizations of feature models | 2021-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964722 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151035 | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129944 | 2020-11-03 | Paper |
| From distributed coordination to field calculus and aggregate computing | 2019-11-28 | Paper |
| Standard Type Soundness for Agents and Artifacts | 2019-02-08 | Paper |
| A Higher-Order Calculus of Computational Fields | 2019-02-07 | Paper |
| A core calculus for dynamic delta-oriented programming | 2018-06-26 | Paper |
| Polymorphic bytecode | 2017-07-14 | Paper |
| Verifying traits: an incremental proof system for fine-grained reuse | 2016-08-05 | Paper |
| Type-based Self-stabilisation for Computational Fields | 2016-01-07 | Paper |
| On flexible dynamic trait replacement for Java-like languages | 2014-04-02 | Paper |
| Compositional type checking of delta-oriented software product lines | 2013-06-26 | Paper |
| Combining traits with boxes and ownership types in a Java-like setting | 2013-06-06 | Paper |
| Simulation techniques for the calculus of wrapped compartments | 2012-05-30 | 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 |
| A type safe state abstraction for coordination in JAVA-like languages | 2009-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601885 | 2009-02-12 | Paper |
| On Polymorphic Recursion, Type Systems, and Abstract Interpretation | 2008-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3593500 | 2007-07-20 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024904 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472544 | 2004-08-04 | Paper |
| A conjunctive type system for useless-code elimination | 2003-06-23 | Paper |
| Fickle: Dynamic Object Re-classification | 2002-04-15 | Paper |
| Strictness, totality, and non-standard-type inference | 2002-03-03 | Paper |
| Automatic useless-code elimination for HOT functional programs | 2001-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508295 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490757 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246944 | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699353 | 1999-11-10 | Paper |
| A filter model for mobile processes | 1999-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4368373 | 1998-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364386 | 1997-11-17 | Paper |
