| Publication | Date of Publication | Type |
|---|
On a higher-order calculus of computational fields
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
Logical Methods in Computer Science | 2023-03-22 | Paper |
On logical and extensional characterizations of attributed feature models
Theoretical Computer Science | 2022-04-01 | Paper |
Refinement types for program analysis
Static Analysis | 2022-02-16 | Paper |
| On two characterizations of feature models | 2021-07-08 | Paper |
| Type inference for bimorphic recursion | 2021-03-03 | Paper |
Type inference for bimorphic recursion
(available as arXiv preprint) | 2021-03-03 | Paper |
| scientific article; zbMATH DE number 7311342 (Why is no real title available?) | 2021-02-16 | Paper |
scientific article; zbMATH DE number 7269248 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269248 (Why is no real title available?) | 2020-11-03 | Paper |
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
Standard type soundness for agents and artifacts
Scientific Annals of Computer Science | 2019-02-08 | Paper |
A higher-order calculus of computational fields
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
A core calculus for dynamic delta-oriented programming
Acta Informatica | 2018-06-26 | Paper |
Polymorphic bytecode
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Verifying traits: an incremental proof system for fine-grained reuse
Formal Aspects of Computing | 2016-08-05 | Paper |
Type-based self-stabilisation for computational fields
Logical Methods in Computer Science | 2016-01-07 | Paper |
On flexible dynamic trait replacement for Java-like languages
Science of Computer Programming | 2014-04-02 | Paper |
Compositional type checking of delta-oriented software product lines
Acta Informatica | 2013-06-26 | Paper |
Combining traits with boxes and ownership types in a Java-like setting
Science of Computer Programming | 2013-06-06 | Paper |
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science | 2012-05-30 | Paper |
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
Formal Verification of Object-Oriented Software | 2011-01-21 | Paper |
Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract)
Lecture Notes in Computer Science | 2010-02-23 | Paper |
A type safe state abstraction for coordination in JAVA-like languages
Acta Informatica | 2009-03-20 | Paper |
| Alias types and effects for ``environments-aware computations | 2009-02-12 | Paper |
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
Static Analysis | 2008-08-28 | Paper |
| Rank 2 intersection for recursive definitions | 2007-07-20 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2185712 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2080290 (Why is no real title available?) | 2004-08-04 | Paper |
A conjunctive type system for useless-code elimination
Mathematical Structures in Computer Science | 2003-06-23 | Paper |
Fickle: Dynamic Object Re-classification
ECOOP 2001 — Object-Oriented Programming | 2002-04-15 | Paper |
Strictness, totality, and non-standard-type inference
Theoretical Computer Science | 2002-03-03 | Paper |
Automatic useless-code elimination for HOT functional programs
Journal of Functional Programming | 2001-09-20 | Paper |
| scientific article; zbMATH DE number 1512611 (Why is no real title available?) | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1479641 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1301731 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1361535 (Why is no real title available?) | 1999-11-10 | Paper |
A filter model for mobile processes
Mathematical Structures in Computer Science | 1999-04-13 | Paper |
| scientific article; zbMATH DE number 1094307 (Why is no real title available?) | 1998-03-30 | Paper |
| scientific article; zbMATH DE number 1088038 (Why is no real title available?) | 1997-11-17 | Paper |
