Maarten de Mol

	2012
11		Maarten de Mol, Arend Rensink, James J. Hunt: Graph Transforming Java Data. FASE 2012: 209-223
10		Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova: Modelling and analysis using GROOVE. STTT 14(1): 15-40 (2012)
	2011
9		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: 215-222
	2010
8		Andrea Corradini, Maarten de Mol: ICGT 2010 Doctoral Symposium. ICGT 2010: 379-380
7		Maarten de Mol, Arend Rensink: On A Graph Formalism for Ordered Edges. ECEASST 29: (2010)
	2007
6		Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200
5		Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
	2005
4		Marko C. J. D. van Eekelen, Maarten de Mol: Proof Tool Support for Explicit Strictness. IFL 2005: 37-54
	2004
3		Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol: Proof support for generic type classes. Trends in Functional Programming 2004: 1-16
	2001
2		Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
	1999
1		Maarten de Mol, Marko C. J. D. van Eekelen: A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE 1999: 271-278

Coauthor Index

1	Andrea Corradini	[8]
2	Marko C. J. D. van Eekelen	[1] [2] [3] [4] [5] [6]
3	Amir Hossein Ghamarian	[9] [10]
4	James J. Hunt	[11]
5	Ron van Kesteren	[3]
6	Marinus J. Plasmeijer (Rinus Plasmeijer)	[2] [5] [6]
7	Arend Rensink	[7] [9] [10] [11]
8	Eduardo Zambon	[9] [10]
9	Maria Zimakova	[10]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page