Modelling and analysis using GROOVE AH Ghamarian, M de Mol, A Rensink, E Zambon, M Zimakova International journal on software tools for technology transfer 14 (1), 15-40, 2012 | 199 | 2012 |

Theorem proving for functional programmers. Sparkle: A functional theorem prover M De Mol, M Van Eekelen, R Plasmeijer Lecture notes in computer science, 55-71, 2002 | 94 | 2002 |

Theorem proving for functional programmers M Mol, M Eekelen, R Plasmeijer Symposium on Implementation and Application of Functional Languages, 55-71, 2001 | 24 | 2001 |

Proof tool support for explicit strictness M Eekelen, M Mol Symposium on Implementation and Application of Functional Languages, 37-54, 2005 | 22 | 2005 |

Proof support for general type classes R Van Kesteren, M Van Eekelen, M De Mol Trends in Functional Programming 5, 1-16, 2006 | 16 | 2006 |

A proof tool dedicated to Clean M Mol, M Eekelen International Workshop on Applications of Graph Transformations with …, 1999 | 13 | 1999 |

Proving Properties of Lazy Functional Programs with Sparkle M Mol, M Eekelen, R Plasmeijer Central European Functional Programming School, 41-86, 2007 | 11 | 2007 |

Reflections on Type Theory, λ-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday M van Eekelen, M de Mol Chapter Proving Lazy Folklore with Mixed Lazy/Strict Semantics, 2007 | 11 | 2007 |

Mixed lazy/strict graph semantics M van Eekelen, MJ de Mol [Sl]: Christian-Albrechts-Universitaet zu Kiel, 2004 | 11 | 2004 |

Towards machine-verified proofs for I/O M Dowse, A Butterfield, M van Eekelen, MJ de Mol, MJ Plasmeijer [Sl]: Christian-Albrechts-Universitaet zu Kiel, 2004 | 10 | 2004 |

The mathematical foundation of the proof assistant Sparkle M De Mol, M Van Eekelen, R Plasmeijer | 9 | 2007 |

Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics M van Eekelen, M Mol [Sl]: Departamento de Sistemas Informaticos y Programacion, Univer, 2002 | 9 | 2002 |

Reasoning about Functional Programs: Sparkle, a proof assistant for Clean MJ De Mol [Sl: sn], 2009 | 8 | 2009 |

Graph transforming Java data M Mol, A Rensink, JJ Hunt International Conference on Fundamental Approaches to Software Engineering …, 2012 | 6 | 2012 |

On a graph formalism for ordered edges M De Mol, A Rensink Electronic Communications of the EASST 29, 2010 | 6 | 2010 |

Proving lazy folklore with mixed lazy/strict semantics M van Eekelen, M Mol Nijmegen: Radboud University Nijmegen, 2007 | 6 | 2007 |

Sparkle: A functional theorem prover M de Mol, M van Eekelen, R Plasmeijer Proceedings of the 13th International Workshop, IFL2001, number LNCS2312, 55, 0 | 6 | |

A common arrow based semantics for GEC and iData applications PM Achten, M van Eekelen, MJ de Mol, MJ Plasmeijer onbekend: Institute for Computing and Information Sciences, 2008 | 5 | 2008 |

A single-step term-graph reduction system for proof assistants M Mol, M Eekelen, R Plasmeijer International Symposium on Applications of Graph Transformations with …, 2007 | 5 | 2007 |

An Arrow based semantics for interactive applications P Achten, M van Eekelen, M Mol, R Plasmeijer City College, New York: Seton Hall University, 2007 | 5 | 2007 |