| Publication | Date of Publication | Type |
|---|
| Vats: a safe, reactive storage abstraction | 2021-05-20 | Paper |
| Coordination via interaction constraints. I: Local logic | 2021-02-09 | Paper |
Fully abstract trace semantics for protected module architectures
Computer Languages, Systems & Structures | 2018-05-15 | Paper |
Abstract delta modelling
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
A secure compiler for ML modules
Programming Languages and Systems | 2016-01-08 | Paper |
Dependency-style generic Haskell
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Coordination models Orc and Reo compared
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Calculating graph algorithms for dominance and shortest path
Lecture Notes in Computer Science | 2012-09-05 | Paper |
A model of context-dependent component connectors
Science of Computer Programming | 2012-07-20 | Paper |
Towards incrementalization of holistic hyperproperties
Lecture Notes in Computer Science | 2012-06-29 | Paper |
Gradual ownership types
Programming Languages and Systems | 2012-06-22 | Paper |
A correspondence between type checking via reduction and type checking via evaluation
Information Processing Letters | 2012-03-09 | Paper |
Modular modelling of software product lines with feature nets
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Channel-based coordination via constraint satisfaction
Science of Computer Programming | 2011-06-07 | Paper |
Concurrent objects à la carte
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Tiles for Reo
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects | 2009-02-12 | Paper |
| A basic logic for reasoning about connector reconfiguration | 2008-04-14 | Paper |
A Complete Guide to the Future
Programming Languages and Systems | 2007-09-04 | Paper |
Connector colouring. I: Synchronisation and context dependency
Science of Computer Programming | 2007-07-16 | Paper |
Featherweight generic confinement
Journal of Functional Programming | 2007-03-08 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2100543 (Why is no real title available?) | 2004-09-14 | Paper |
| scientific article; zbMATH DE number 1728235 (Why is no real title available?) | 2002-04-15 | Paper |
| scientific article; zbMATH DE number 1304000 (Why is no real title available?) | 1999-06-17 | Paper |
