Marko C. J. D. van Eekelen

	2012
49		Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Generating Verifiable Java Code from Verified PVS Specifications. NASA Formal Methods 2012: 310-325
	2011
48		Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk: Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings Springer 2011
47		Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen: Formal Component-Based Semantics SOS 2011: 17-29
46		Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. Sci. Comput. Program. 76(2): 82-99 (2011)
	2010
45		Marko C. J. D. van Eekelen, Olha Shkaravska: Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers Springer 2010
44		Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen: A Formal Verification Study on the Rotterdam Storm Surge Barrier. ICFEM 2010: 287-302
43		Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen: Test-based inference of polynomial loop-bound functions. PPPJ 2010: 99-108
42		Luc M. W. J. Rutten, Marko C. J. D. van Eekelen: Efficient and formally proven reduction of large integers by small moduli. ACM Trans. Math. Softw. 37(2): (2010)
41		Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán: Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. Higher-Order and Symbolic Computation 23(4): 465-487 (2010)
40		Petra Heck, Martijn Klabbers, Marko C. J. D. van Eekelen: A software product certification model. Software Quality Journal 18(1): 37-55 (2010)
	2009
39		Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers: Preemption Abstraction. FMICS 2009: 149-164
38		Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren: Polynomial Size Analysis of First-Order Shapely Functions Logical Methods in Computer Science 5(2): (2009)
	2008
37		Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS 2008: 85-102
36		Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet: Collected Size Semantics for Functional Programs over Lists. IFL 2008: 118-137
35		Sjaak Smetsers, Marko C. J. D. van Eekelen: LaQuSo: Using Formal Methods for Analysis of Safety-Cr. ERCIM News 2008(75): (2008)
34		Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen: Inferring Static Non-monotone Size-aware Types Through Testing. Electr. Notes Theor. Comput. Sci. 216: 45-63 (2008)
	2007
33		Marko C. J. D. van Eekelen: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. Intellect 2007
32		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
31		Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
30		Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS 2007: 115-132
29		Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko: Analysis of a Session-Layer Protocol in mCRL2. FMICS 2007: 182-199
28		Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen: Polynomial Size Analysis of First-Order Functions. TLCA 2007: 351-365
	2005
27		Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer: There and back again: arrows for invertible programming. Haskell 2005: 86-97
26		Marko C. J. D. van Eekelen, Maarten de Mol: Proof Tool Support for Explicit Strictness. IFL 2005: 37-54
	2004
25		Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden: Automatic Generation of Editors for Higher-Order Data Structures. APLAS 2004: 262-279
24		Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden: GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming 2004: 210-244
23		Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194
22		Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55
21		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
	2003
20		Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
	2001
19		Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
	2000
18		Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Polygonizing Implicit Surfaces in a Purely Functional Way. IFL 2000: 158-175
	1999
17		Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13
16		Maarten de Mol, Marko C. J. D. van Eekelen: A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE 1999: 271-278
15		Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Keep it Clean: A Unique Approach to Functional Programming. SIGPLAN Notices 34(6): 23-31 (1999)
	1996
14		Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer: Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128
	1995
13		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227
12		Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen: Implementing a Functional Spreadsheet in Clean. J. Funct. Program. 5(3): 383-414 (1995)
11		Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Operational Machine Specification in a Functional Programming Language. Softw., Pract. Exper. 25(5): 463-499 (1995)
	1993
10		Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Functional Programming and Parallel Graph Rewriting Addison-Wesley 1993
9		Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 358-379
	1991
8		E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Concurrent Clean. PARLE (2) 1991: 202-219
	1990
7		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers: Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS 1990: 354-369
	1989
6		Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep: LEAN: an intermediate language based on graph rewriting. Parallel Computing 9(2): 163-177 (1989)
	1988
5		Marko C. J. D. van Eekelen: Parallel graph rewriting - some contributions to its theory, its implementation and its application. University Nijmegen 1988: I-IX, 1-165
	1987
4		T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer: CLEAN: A language for functional graph writing. FPCA 1987: 364-384
3		Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep: Term Graph Rewriting. PARLE (2) 1987: 141-158
2		Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep: Towards an Intermediate Language based on Graph Rewriting. PARLE (2) 1987: 159-175
	1986
1		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239

Coauthor Index

1	Peter Achten	[20] [22] [24] [25] [41]
2	Artem Alimarine	[27]
3	Hendrik Pieter Barendregt (Henk Barendregt)	[2] [3] [6]
4	Erik Barendsen	[9]
5	T. H. Brus	[4]
6	Andrew Butterfield	[23]
7	Malcolm Dowse	[23]
8	Bernard van Gastel	[37] [46]
9	Herman Geuvers	[48]
10	John R. W. Glauert	[2] [3] [6]
11	Petra Heck	[40]
12	Stefan ten Hoedt	[29]
13	Walter A. C. A. J. de Hoon	[12]
14	Richard Kennaway	[2] [3] [6]
15	Rody Kersten	[43]
16	Ron van Kesteren	[21] [28] [34] [38]
17	Martijn Klabbers	[40]
18	Pieter W. M. Koopman	[11] [18] [41]
19	M. O. van Leer	[4]
20	Leonard Lensink	[30] [37] [46] [49]
21	Ken Madlener	[44] [47]
22	Maarten de Mol	[16] [19] [21] [26] [31] [32]
23	Marco T. Morazán	[41]
24	E. G. J. M. H. Nöcker	[8]
25	Marinus J. Plasmeijer (Rinus Plasmeijer)	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [22] [24] [25] [27] [31] [32]
26	Luc M. W. J. Rutten	[12] [42]
27	Erik Schierboom	[39]
28	Julien Schmaltz	[48]
29	René Schreurs	[29]
30	Olha Shkaravska	[28] [34] [36] [38] [43] [45]
31	M. Ronan Sleep	[2] [3] [6]
32	Sjaak Smetsers (J. E. W. Smetsers)	[7] [8] [9] [14] [27] [30] [35] [37] [39] [44] [46] [47] [49]
33	Alejandro Tamalet	[36] [39]
34	Hendrik Tews	[39]
35	Yaroslav S. Usenko	[29]
36	Arjen van Weelden	[24] [25] [27]
37	Freek Wiedijk	[48]
38	Thorsten H.-G. Zörner	[18]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page