Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Maarten de Mol

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c11]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/HuntMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HuntMR14
James J. Hunt, Maarten de Mol, Arend Rensink:
Noninvasive regelbasierte Graphtransformation für Java. Software Engineering 2014: 91-92
2013
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AchtenEMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AchtenEMP13
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): 185-224 (2013)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MolE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MolE13
Maarten de Mol, Marko C. J. D. van Eekelen:
Beautiful Code, Beautiful Proof? The Beauty of Functional Code 2013: 1-7
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GhamarianMRZZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GhamarianMRZZ12
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): 15-40 (2012)
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MolRH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MolRH12
Maarten de Mol, Arend Rensink, James J. Hunt:
Graph Transforming Java Data. FASE 2012: 209-223
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-4754
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-4754
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
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MolR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MolR10
Maarten de Mol, Arend Rensink:
On A Graph Formalism for Ordered Edges. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/CorradiniM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/CorradiniM10
Andrea Corradini, Maarten de Mol:
ICGT 2010 Doctoral Symposium. ICGT 2010: 379-380

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/agtive/MolEP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agtive/MolEP07
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
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/MolEP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/MolEP07
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/EekelenM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/EekelenM05
Marko C. J. D. van Eekelen, Maarten de Mol:
Proof Tool Support for Explicit Strictness. IFL 2005: 37-54
2004
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sfp/KesterenEM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KesterenEM04
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
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MolEP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MolEP01
Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Theorem Proving for Functional Programmers. IFL 2001: 55-71

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/agtive/MolE99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agtive/MolE99
Maarten de Mol, Marko C. J. D. van Eekelen:
A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE 1999: 271-278

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.