Maarten de Mol

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Automatic Analysis

Myocardial Infarction

Top Venues

The Beauty of Functional Code

J. Funct. Program.

Int. J. Softw. Tools Technol. Transf.

Publications

James J. Hunt, Maarten de Mol, Arend Rensink
Noninvasive regelbasierte Graphtransformation für Java. Software Engineering (2014)
Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer
EditorArrow: An arrow-based model for editor-based programming. J. Funct. Program. 23 (2) (2013)
Maarten de Mol, Marko C. J. D. van Eekelen
Beautiful Code, Beautiful Proof? The Beauty of Functional Code (2013)
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova
Modelling and analysis using GROOVE. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Maarten de Mol, Arend Rensink, James J. Hunt
Graph Transforming Java Data. FASE (2012)
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case TTC (2011)
Andrea Corradini, Maarten de Mol
ICGT 2010 Doctoral Symposium. ICGT (2010)
Maarten de Mol, Arend Rensink
On A Graph Formalism for Ordered Edges. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE (2007)
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
Proving Properties of Lazy Functional Programs with Sparkle. CEFP (2007)
Marko C. J. D. van Eekelen, Maarten de Mol
Proof Tool Support for Explicit Strictness. IFL (2005)
Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol
Proof support for generic type classes. Trends in Functional Programming (2004)
Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Theorem Proving for Functional Programmers. IFL (2001)
Maarten de Mol, Marko C. J. D. van Eekelen
A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE (1999)