publication venue for
- Gaussian Elimination: A case study in efficient genericity with MetaOCaml 2006
- Categorical semantics of parallel program design 1997
- Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering. 234:103091-103091. 2024
- Preface to the special issue on success stories in model driven engineering. 233:103072-103072. 2024
- Reversible computation vs. reversibility in Petri nets. 151:48-60. 2018
- Formal verification of function blocks applied to IEC 61131-3. 113:149-190. 2015
- Signature required: Making Simulink data flow and interfaces explicit. 113:29-50. 2015
- Implementability of Requirements in the Four-Variable Model. 111:339-362. 2015
- A tutorial on metamodelling for grammar researchers. 96:396-416. 2014
- Guest editorial to the special issue on Success Stories in Model Driven Engineering. 89:69-70. 2014
- “ Adore ”, a logical meta-model supporting business process evolution. 78:1035-1054. 2013
- Step coverability algorithms for communicating systems. 77:955-967. 2012
- Partial evaluation of Maple. 76:469-491. 2011
- Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. 76:349-375. 2011
- Defining the meaning of tabular mathematical expressions. 75:980-1000. 2010
- Framed temporal logic programming. 70:31-61. 2008
- On a formal semantics of tabular expressions. 39:189-213. 2001
- Functional documents for computer systems. 25:41-61. 1995