| Graph Reduction: a Retrospective | 1995/01/01 | English | |
| Failures, Finiteness and Full Abstraction | 1997/01/01 | English | |
| An Incremental Model for Concurrent Objects | 1998/01/01 | English | |
| Languages for Coalgebras on Datafunctors | 1999/01/01 | English | |
| The evaluation strategy for head normal form with and without on-demand flags | 2000/01/01 | English | |
| Scalable Distributed Model Checking: Experiences, Lessons, and Expectations | 2003/09/01 | English | |
| Lexically scoped distribution: what you see is what you get | 2003/09/01 | English | |
| On a Simple Sampling Lemma | 2000/01/01 | English | |
| An Overview of Edison | 2001/08/01 | English | |
| The space of maximal elements in a compact domain | 2001/03/01 | English | |
| Combinator Parsers: From Toys to Tools | 2001/08/01 | English | |
| Default Theories Over Monadic Languages | 2005/03/01 | English | |
| A Natural Deduction System for Keisler's Quantification | 2005/03/01 | English | |
| Preface | 2005/03/01 | English | |
| Fragments of Monadic Second-Order Logics Over Word Structures | 2005/03/01 | English | |
| Living with Paradoxes | 2005/03/01 | English | |
| Probabilistically Checkable Proofs Over the Reals | 2005/03/01 | English | |
| Abstract Conditions for the Confluence of Explicit Substitution Calculi | 2005/03/01 | English | |
| Context-Free Tree Languages for Descendants | 2005/03/02 | English | |
| A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems | 2008/04/01 | English | |
| Exploiting User-definable Synchronizations in Graph Transformation | 2008/04/01 | English | |
| Copying Subgraphs Within Model Repositories | 2008/04/01 | English | |
| Preface | 2008/04/01 | English | |
| Towards a Notion of Transaction in Graph Rewriting | 2008/04/01 | English | |
| The York Abstract Machine | 2008/04/01 | English | |
| Transformational Pattern System – Some Assembly Required | 2008/04/01 | English | |
| Extending Lustre with Timeout Automata | 2008/06/01 | English | |
| Instantaneous Transitions in Esterel | 2008/06/01 | English | |
| Securing Ad Hoc Storage through Probabilistic Cooperation Assessment | 2008/05/01 | English | |
| Modifying Contracts with Larissa Aspects | 2008/06/01 | English | |