Publication list of Marko van Eekelen

This is a list of (co-)authored publications of Prof.dr. M.C.J.D. van Eekelen.

Citations:

My work is cited reasonably often. I am somewhere in the middle of Citeseer’s list of the worlds 10.000 most cited computer science authors.  This makes me in the Nijmegen Computer Science Department after Jan-Willem Klop, Henk Barendregt, Frits Vaandrager, Bart Jacobs and Rinus Plasmeijer the 6th most cited author. In the Netherlands I am 54th according to Frits Vaandrager’s list.

This list contains academically reviewed papers, contributions to books and published opinion articles. It is ordered by year of appearance. Attached at the end of this list of papers you can find a list of (contributions to) technical reports also ordered by year of appearance. Most papers are written in English. Many items include a reference to a (gnu zipped) PostScript file and an abstract (ASCII). If you encounter problems, please send an e-mail to marko@cs.ru.nl. Some publications are not available electronically. If you like to have a copy by surface-mail, just send me an e-mail.

 

The 195 references on this page are divided into references to 84 academic (11 Books/Monographs, 6 Contributions to academic books, 14 Journal articles, 53 Scientific Papers) and 111 professional (30 Professional publications/opinion articles, and 81 Technical Reports). This year, 2013, is in bold (1 journal article, 3 conference papers, 1 professional publication, 1 technical report). Next year, 2014, in italic.

Books/Monographs:

11.        Gerrit van der Veer, Peter Sloep, Marko van Eekelen, Marcin Sikorski. Proceedings CSERC '12. September 10 and 11, 2012. Computer Science Education Research Conference 2012. Wroclaw, Poland. ACM In-Cooperation. ACM Digital Library 2012.

10.        Ricardo Peña, Marko van Eekelen and Olha Shkaravska (Eds.). Foundational and Practical Aspects of Resource Analysis (FOPARA 2011). Proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis (2011). Madrid. Spain. Lecture Notes in Computer Science. Volume 7177. 143 pages. August 2012, ISBN 978-3-642-32494-9, Springer Verlag, 2012.

9.           Patricia Johann, Peter Achten, Marko van Eekelen, Pieter Koopman, Marco T. Morazán. (Eds.) Higher Order and Symbolic Computing. Volume 23, nr. 2 and 4. Special Issue of higher order and symbolic computing dedicated to TFP2007 and TFP2008. Springer Verlag. 2012.

8.           Marko van Eekelen, Herman Geuvers, Julien Schmalz, Freek Wiedijk (Eds.). Interactive Theorem Proving. Proceedings of the Second International Conference on Interactive Theorem Proving (ITP2011). Berg en Dal. The Netherlands. Lecture Notes in Computer Science. Volume 6898. 382 pages. Springer Verlag. 2011.

7.           Gerrit van der Veer, Peter Sloep, Marko van Eekelen (Eds.). Proceedings of the Computer Science Education Research Conference (CSERC’11). April 7 and 8, 2011. Heerlen. ACM In-cooperation. The Netherlands. ISBN 978 90 358 1987 0. 95 pages. ACM Digital Library. 2011.

6.           Olha Shkaravska and Marko van Eekelen (2010) Eds. Foundational and Practical Aspects of Resource Analysis. Proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2009). November 2009. Eindhoven. Workshop of Formal Methods Europe 2009. Lecture Notes in Computer Science. Volume 6324. 170 pages. Springer Verlag. Berlin. ISBN: 978-3-642-15330-3. 2010.

5.            Marko van Eekelen (2010), 'Leven Lang Computeren, Leven Lang Foeteren? Er valt nog veel te leren!'', 5 maart 2010. Oratie Open Universiteit. 36 pages. Datawyse Maastricht. ISBN: 978-90-5291-108-3. abstract. pdf. video (in Dutch).

4.            Marko van Eekelen (2007) Ed. Trends in Functional Programming Volume 6. Selected papers from the Sixth Symposium on Trends in Functional Programming (TFP 2005).  Intellect Books.  ISBN 9781841501765. 2007. bibtex. tableofcontentwithbibtexs.

3.            Sleep, M.R., M.J. Plasmeijer and M.C.J.D. van Eekelen. (1993) Eds. Term  Graph Rewriting - Theory and Practice, John Wiley & Sons, Chichester , ISBN 0-47193-567-0. 

2.            Plasmeijer, M.J. and M.C.J.D. van Eekelen (1993), Functional  Programming and Parallel Graph Rewriting, Addison Wesley, Reading MA, ISBN 0-201-41663-8. bibtex. Not in press anymore but available via the Amazon Functional Bestsellers list.

1.            Eekelen, M.C.J.D. van (1988), Parallel  graph rewriting, some contributions to its theory, its  implementation and its application, Promotor Henk Barendreg. Co-promotor Rinus Plasmeijer. Ph.D. Thesis, University of Nijmegen. abstract

 

Academic peer-reviewed contributions to books:

 

6.            Marko van Eekelen and Maarten de Mol. Proving Lazy Folklore with Mixed Lazy/Strict Semantics. In: (eds) Erik Barendsen, Venanzio Capretta, Herman Geuvers and Milad Niqui. Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday. ISBN 978-90-9022446-6. Radboud University Nijmegen, 2007. pp. 87-101. bibtex. pdf.

5.             Rinus Plasmeijer, Marko van Eekelen, Marko Pil and Pascal Serrarens (1999), Parallel and Distributed Programming in Concurrent Clean, in Research Directions in Parallel Functional  Programming, K. Hammond and G Michaelson (Eds),  Springer Verlag, pp. 323-338.

4.             Eekelen, M.C.J.D. van, E. Goubault, C. Hankin and E.G.J.M.H. Nöcker (1993), Abstract  Reduction: Towards a Theory via Abstract Interpretation, In Term Graph Rewriting - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons,  pp. 117-129.

3.             Eekelen, M.C.J.D van and M.J. Plasmeijer (1993), Process  Annotations and Process  Types, In Term Graph Rewriting - Theory and Practice,  Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons, pp. 347-362. abstract.

2.            Koopman, P.W.M., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer (1993), Graph  Rewriting using the Annotated Functional Strategy, In Term Graph Rewriting  - Theory and Practice , Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons,  pp. 317-332.

1.           Toyama, Yoshihito, Sjaak Smetsers, Marko van Eekelen and Rinus Plasmeijer (1993), The Functional Strategy and Transitive Term Rewriting Systems, In Term Graph Rewriting  - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons,  pp. 61-75. abstract.

 

Journal articles:

14.        Olha Shkaravska and Marko van Eekelen. Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations. Under submission (accepted under the condition of minor revisions). Journal of Symbolic Computation. Elsevier. To appear.

13.        Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. EditorArrow: An arrow-based model for editor-based programming. doi:10.1017/S0956796812000421. Journal of Functional Programming, volume 23, part 02, pp. 185-224, March 2013.

12.        Peter Achten, Marko van Eekelen, Pieter Koopman, Marco T. Morazán. Trends in Trends in Functional Programming. 1999/200 vs 2007/2008. In Higher Order and Symbolic Computing. Volume 23, Number 4. pp 465-487. June 2011, Springer Verlag. Online First. (The original publication is available at www.springerlink.com).

11.         Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. In Science of Computer Programming Volume 76. Issue 2. pp. 82-99. Selected papers from the workshops on Formal Methods for Industrial Critical Systems - FMICS 2007 + FMICS 2008. Elsevier. bibtex, pdf. February 2011.

10.         Luc Rutten and Marko van Eekelen. Efficient and Formally Proven Reduction of Large Integers by Small Moduli. In ACM Transactions on Mathematical Software. Vol. 37, No. 2, Article 16, ACM Press. April 2010. © ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Mathematical Software, {VOL 37, ISS2,April 2010} .

9.           Petra Heck. Martijn Klabbers, Marko van Eekelen. A Software Product Certification Model. OPEN ACCESS. In Software Quality Journal. Springer Verlag. Volume 18, nr 1, March 2010, pp 37-55. bibtex, pdf.

8.           Olha Shkaravska, Marko van Eekelen, Ron van Kesteren. Polynomial Size Analysis of First-Order Shapely Functions. In Logical Methods in Computer Science Vol 5, issue 2, paper 10. Special Issue with Selected Papers from TLCA 2007. pp 1-35. 2009. bibtex, pdf

7.            Ron van Kesteren, Olha Shkaravska, Marko van Eekelen, Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Revised Selected Papers of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007. Electronic Notes in Theoretical Computer Science. (ENTCS). Volume 216C. pp. 45-63. Elsevier, 2008. bibtex. pdf.

6.            Marko van Eekelen, Piet Geelen, Adriaan de Groot, Sebastian Kügler, Donna Metzlar, Jasper Stein. CodeYard: ict-onderwijs in de spirit van Open Source. Reviewed Artikel in TINFON, Tijdschrift voor Informatica Onderwijs. Jaargang 15. Nummer 4. pp 96-101. December 2006. bibtex. pdf.

5.            Rinus Plasmeijer and Marko van Eekelen (1999), Keep it Clean: A unique approach to functional programming, ACM Sigplan Notices, Volume 34 (6), pp 23-31, ACM Press, June 1999. bibtex.

4.            Hoon, W.A.C.A.J. de, L.M.W.J. Rutten and M.C.J.D. van Eekelen (1995), Implementing  a  Functional Spreadsheet in CLEAN, In Journal of Functional Programming 5:3, pp. 383-414. abstract. bibtex.

3.            Koopman, P.W.M., M.C.J.D. van Eekelen and M.J. Plasmeijer (1995), Operational  machine  specification in a functional programming language, In Software-Practice  and Experience 25:5, pp. 463-499. abstract. bibtex.

2.            Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer  and M.R. Sleep (1988), LEAN:  An intermediate language based on graph rewriting , In Parallel Computing 9, pp. 163-177, North Holland abstract . bibtex.

1.            Barendregt, H.P., M.C.J.D. van Eekelen, P.H. Hartel, L.O. Hertzberger, M.J. Plasmeijer  and W.G. Vree (1987), The  Dutch Parallel Reduction Machine Project, In Future Generations Computer Systems 3, pp. 261-270. Proceedings of the International Conference on Frontiers of Computing (Amsterdam, December 1987). abstract.

 

Scientific Peer Reviewed Publications:

 

53.        Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers and Marko van Eekelen. Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. In: G. Brat, N. Rungta, and A. Venet (Eds.): NASA Formal Methods (NFM 2013), LNCS 7871, pp. 63--77. Springer, Heidelberg (2013).

52.        Sjaak Smetsers and Marko van Eekelen. Higher-Order Strictness Typing. In: Eds Hans-Wolfgang Loidl and Kevin Hammond, Proceedings of the 13th International Symposium on Trends in functional Programming (TFP2012). St. Andrews, U.K., LNCS 7829, Springer Verlag,2013, to appear.

51.       Attila Gobi, Olha Shkaravska, and Marko van Eekelen. Higher-order size checking without subtyping. In: Eds Hans-Wolfgang Loidl and Kevin Hammond, Proceedings of the 13th International Symposium on Trends in functional Programming (TFP2012). St. Andrews, U.K., LNCS 7829, Springer Verlag, 2013, to appear.      

50.       Sylvia Stuurman, Marko van Eekelen, Bastiaan Heeren. A new method for sustainable development of Open Educational Resources. Proceedings of Computer Science Education Research Conference 2012 (CSERC2012). Wroclaw, Poland. ACM Digital Library. 2012.

49.        Haag, J., Karsch, S., Vranken H. and van Eekelen, M. 2012. A Virtual Computer Security Lab As Learning Environment For Networking and Security Courses. In Proceedings of the 3rd Annual International Conference Computer Science Education: Innovation and Technology (Singapore, November 19 - 20, 2012). CSEIT 2012. Global Science & Technology Forum, pp. 61-68.  

48.        Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, and Marko van Eekelen. Making Resource Analysis Practical for Real-Time Java. In: Eds Martin Schoeberl and Andy Wellings, Procceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES2012). Copenhagen, Danmark. pp. 135-144. ACM Digital Library 2012. bibtex.

47.        Leonard Lensink, Sjaak Smetsers and Marko Van Eekelen. Generating Verifiable Java Code from verified PVS specifications. In: Eds. Alwyn Goodloe and Suzette Person. Proceedings of the 4th NASA Formal Methods Symposium (NFM2012). Nasa Langley Research Center. Lecture Notes Computer Science. Volume 7226. pp 310-523. Springer Verlag. 2012. bibtex.

46.        Manuel Montenegro, Olha Shkaravska,Marko van Eekelen, and Ricardo Peña. Interpolation-based height analysis for improving a recurrence solver. In Selected Revised Papers of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011), Madrid, Spain. Ricardo Peña, Marko van Eekelen and Olha Shkaravska (Ed.). Lecture Notes Computer Science 7177. pp 36-53. Springer Verlag. 2012. bibtex

45.        Leonard Lensink, Sjaak Smetsers and Marko Van Eekelen. A Proof Framework for Concurrent Programs. In: Eds. Diego Latella and Helen Treharne. Proceedings of the 9th International Conference on Integrated Formal Methods (IFM2012). Pisa. Lecture Notes Computer Science 7321, pp 174-190, Springer Verlag. 2012. bibtex.  

44.        Ken Madlener, Sjaak Smetsers, Marko van Eekelen. Formal Component-Based Semantics. In Michel Reniers and Pawel Sobocinski (Eds.) Proceedings Eighth Workshop on Structural Operational Semantics (SOS'11). Southampton, UK, 2011. Electronic Proceedings of Theoretical Computer Science (EPTCS) Volume 62, pp 17-29, 2011.

43.        Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet. Collected Size Semantics for Functional Programs over Lists. In Sven-Bodo Scholz (Ed.) Selected Papers of the 20th Symposium on Implementation and Application of Functional Programming, IFL 2008, University of Hertfordshire, UK, 2008, LNCS, Volume 5836. Springer Verlag, pp. 118-137, 2011.

42.         Ken Madlener, Sjaak Smetsers, Marko van Eekelen. A Formal Verification Study on the Rotterdam Storm Surge Barrier. In Jin Song Dong, Huibiao Zhu (Eds.) Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM2010). Shanghai, China, November 2010. LNCS 6447. pp. 287-302. Springer. 2010.

41.         Olha Shkaravska, Rody Kersten, Marko van Eekelen. Test-Based Inference of Polynomial Loop-Bound Functions. In Proceedings of the 8th International Conference on Principles and Practice of Programming in Java (PPPJ2010). Vienna, September 2010. ACM International Proceedings Series, Pages 99-108. ACM 2010. bibtex, pdf.

40.         Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko van Eekelen, Sjaak Smetsers. Preemption Abstraction - A Lightweight Approach to Modelling Concurrency. In M. Alpuente and B. Cook (eds). Proceedings 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009). LNCS 5825. Springer. pp 149-164. 2009. bibtex, pdf.

39.         Alejandro Tamalet, Olha Shkaravska, and Marko van Eekelen. Size Analysis of Algebraic Data Types. in Peter Achten, Pieter Koopman, and Marco T. Morazán. Trends in Functional Programming volume 9, Selected Papers of the Ninth Symposium on Trends in Functional Programming, TFP 2008, Radboud University Nijmegen, 2008, Intellect Publishers 2009. pp. 33-49. bibtex, pdf.

38.         Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving. In D. Cofer and A. Fantechi (eds). Revised selected papers of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L’Aquila, Italy . LNCS 5596. Springer. 2009. pp. 85-103. bibtex, pdf. (The original publication is available at www.springerlink.com)
This paper received the FMICS2008 Best Paper Award recognizing it as the ‘Best Software Science Paper’.

37.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof Assistants. Andy Schürr, Manfred Nagl, Albert Zündorf (eds). Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Revised Selected and Invited Papers. Kassel, Germany , 2007, LNCS, Volume 5088, Springer Verlag. 2008, pp 184-200. bibtex, pdf. (The original publication is available at www.springerlink.com)

36.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer.  Proving Properties of Lazy Functional Programs with SPARKLE. In Zoltan Horvath ed: 2nd Central-European Functional Programming School. CEFP 2007. Cluj-Napoca, June 23-30, 2007, LNCS. Springer. Volume 5161. pp 41-86. 2008. bibtex, pdf. (The original publication is available at www.springerlink.com)

35.         Marko van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007). LNCS. Springer. Volume 4916. pp. 182-199. 2008. bibtex. pdf. (The original publication is available at www.springerlink.com)

34.         Leonard Lensink, Sjaak Smetsers, Marko van Eekelen. Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007). LNCS. Springer. Volume 4916. pp 115-132. bibtex. pdf. (The original publication is available at www.springerlink.com)

33.         Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll and Sjaak Smetsers. AHA: Amortized Heap Space Usage Analysis. Project Paper.  In Marco Morazán and Henrik Nillsson (eds). Trends in Functional Programming volume 8, Selected Papers of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 april 2007. Intellect Publishers 2008. pp. 36-53. bibtex. pdf.

32.         Olha Shkaravska, Ron van Kesteren, Marko van Eekelen, Polynomial Size Analysis of First-Order Functions. In S. Ronchi Della Rocca (Ed.). Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA) 2007. June 26-28. Paris . 2007. LNCS 4583. Springer. pp. 351-366. bibtex. pdf. (The original publication is available at www.springerlink.com)

31.         Ron van Kesteren, Olha Shkaravska, Marko van Eekelen, Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Proceedings of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007. June 25. Paris. 2007. pp. 123-139. bibtex. pdf.

30.         Adriaan de Groot, Sebastian Kügler, Donna Metzlar, Jasper Stein, Marko van Eekelen. Exposing High-School Students to Open Source Development with CodeYard. Working Joint IFIP Conference: WG3.1 Secondary Education, WG3.5 Primary Education. “Informatics, Mathematics, and ICT: a ‘golden triangle’”. College of Computer and Information Science Northeastern University Boston, Massachusetts, USA, 27th – 29th June 2007. ISBN 978-0-615-14623-2. bibtex. pdf.

29.         Marko van Eekelen, Maarten de Mol. Proof Tool Support for Explicit Strictness Proof Tool Support for Explicit Strictness. Selected Papers of the 17th International Workshop Proceedings of Implementation and Application of Functional Languages, IFL'05, Dublin, Ireland , IFL 2005, LNCS 4015, pp 37-54. bibtex. pdf. (The original publication is available at www.springerlink.com)

28.         Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, and Rinus Plasmeijer, There and Back Again – Arrows for Invertible Programming. Proceedings Haskell Workshop 2005, Tallinn, pp 86-98. ACM Press, ACM Digital Library. bibtex. pdf.

27.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. In Vene, Varmo; Uustalu, Tarmo (Eds.). Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. LNCS, 3622, pp 210-245.  bibtex. pdf. (The original publication is available at www.springerlink.com)

26.         Ron van Kesteren, Marko van Eekelen, Maarten de Mol. Proof Support for General Type Classes, Trends in Functional Programming Volume 5, Selected papers from the Fifth Symposium on Trends in Functional Programming (TFP 2004), editor Hans Wolfgang Loidl. Intellect Publishers, pp 1-16. bibtex. pdf.
This paper received by unanimous vote the Best Student Paper Award of TFP04.

25.         Malcolm Dowse, Andrew Butterfield, Marko van Eekelen, Reasoning about Deterministic Concurrent Functional I/O.  Selected Papers of the 16th International Workshop Proceedings of Implementation and Application of Functional Languages, IFL'04, Lübeck, Germany , IFL 2004, LNCS 3474, pp 177-195. abstract. bibtex. pdf. (The original publication is available at www.springerlink.com)

24.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Automatic Generation of Editors for Higher-Order Data Structures. In Wei-Ngan Chin (Ed.): Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan , November 4-6, 2004. Proceedings, pp 262-279. Lecture Notes in Computer Science 3302. Springer 2004, ISBN 3-540-23724-0. abstract. bibtex. pdf. (The original publication is available at www.springerlink.com)
(Also available as Technical Report NIII-R0427).

23.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Generic Graphical User Interfaces. Proceedings 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Edinburgh , Scotland , September 8-10, 2003. LNCS 3145, pp 152-168, Springer Verlag 2004. abstract, bibtex, pdf. (The original publication is available at www.springerlink.com)

22.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Compositional Model-Views with Generic Graphical User Interfaces. In Jayaraman, ed. Proceedings Practical Aspects of Declarative Programming, PADL04, Dallas, Texas, USA, June 18-19 2004. Springer, LNCS 3057. abstract, bibtex, pdf. (The original publication is available at www.springerlink.com)
(Also available as Technical Report NIII-R0408).

21.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Theorem Proving for Functional Programmers - SPARKLE: A Functional Theorem Prover. In: Arts, Th., Mohnen M., eds. Proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, Selected Papers, Älvsjö, Sweden , September 24-26, 2001, Springer-Verlag, LNCS 2312, pages 55-71. abstract, bibtex, pdf. (The original publication is available at www.springerlink.com)

20.         Thorsten Zoerner, Pieter Koopman, Marko van Eekelen and Rinus Plasmeijer (2001) Polygonizing Implicit Surfaces in a Purely Functional Way In: Mohnen M, Koopman P., eds. Proceedings of the 12th International workshop on the Implementation of Functional Languages, selected papers, IFL'00, Aachen, Germany, September 4-7, 2000, Selected Papers. Springer-Verlag, LNCS 2011, pages 158-175. bibtex. (The original publication is available at www.springerlink.com)

19.         Maarten de Mol and Marko van Eekelen (1999), A Proof Tool Dedicated to Clean, Selected Papers of Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99,  Kerkrade, The Netherlands, Springer-Verlag, LNCS 1799, pages 271-278. bibtex.

18.         Rinus Plasmeijer and Marko van Eekelen (2000), Term Graph Rewriting and Mobile  Expressions in Functional Languages, Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99, Kerkrade, The Netherlands, Invited Paper,  Springer-Verlag, LNCS 1799, pages 1-13. abstract, (pdf version). bibtex. (The original publication is available at www.springerlink.com)

17.         Eekelen, M.C.J.D. van, J.W.M. Smetsers, M.J. Plasmeijer (1997), Graph  Rewriting  Semantics for Functional Programming Languages, In Proc. of CSL  '96, Fifth Annual  conference of the European Association for Computer Science Logic  (EACSL), Utrecht, Dirk van Dalen Ed., Springer Verlag, LNCS 1258, pp. 106-128. (The original publication is available at www.springerlink.com)
Explains the importance of Graph Rewriting Semantics and Uniqueness typing for  functional programming languages. abstract. bibtex.

16.         Plasmeijer, M.J., Eekelen, M.C.J.D. van, Smetsers, J.W.M. (1996), The  Functional Programming Language Concurrent CLEAN, In Proc. of Talen en tools, een nieuwe toren van babel?, NLUUG-Najaarsconferentie  1996, "De Reehorst", Ede, NL, NLUUG Ed., pp. 57-73.

15.         Eekelen, M.C.J.D., van and M.J. Plasmeijer (1995), Constructing  Medium Sized Efficient Functional Programs in CLEAN, In Proc. of First International Spring School on Advanced Functional Programming  Techniques, Båstad, Sweden , Jeuring and Meijer Eds., Springer Verlag, LNCS  925, pp. 183-228.  bibtex. (The original publication is available at www.springerlink.com)

14.         Smetsers, Sjaak, Erik Barendsen, Marko van Eekelen and Rinus Plasmeijer (1994), Guaranteeing  safe destructive updates through a type system with uniqueness information for graphs ,  In Proc. of Graph Transformations in Computers Science, International Workshop, Dagstuhl Castle, Germany, Schneider and Ehrig Eds., Springer-Verlag, LNCS 776, pp. 358-379. abstract. bibtex. (The original publication is available at www.springerlink.com)

13.         Plasmeijer, M.J. and M.C.J.D. van Eekelen (1992), Concurrent CLEAN, European Strategic Program for Research in Information Technology (ESPRIT), Catalogus "Strategic Research Centre" CEBIT'92, March 1992.

12.         Plasmeijer, M.J. and M.C.J.D. van Eekelen (1992), Exploiting  parallelism with functional neural network specifications, In Proc. of 2nd  Symposium on Neural Networks, Nijmegen, Gielen and Kappen Eds., University of  Nijmegen, pp. 11-16.

11.         Rutten, L.M.W.J., M.C.J.D. van Eekelen and M.J. Plasmeijer (1992), Transforming  neural network specifications to parallel programs, In Proc. of Artificial  Neural Networks II,  Brighton, UK, Aleksander and Taylor Eds., Elsevier Science  Publishers, Volume 2, pp. 1277-1281.

10.         Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers (1991), Parallel  Graph  Rewriting on Loosely Coupled Machine Architectures, In Proc. of Conditional  and Typed  Rewriting Systems (CTRS '90), Montreal CA, Kaplan and Okada Eds., Springer-Verlag,  LNCS 516, pp. 354-369. (The original publication is available at www.springerlink.com)
Explains parallel Graph Rewriting and process communication via Lazy Copying . abstract. bibtex.

9.           Nöcker, E.G.J.M.H., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer  (1991), Concurrent CLEAN, In Proc. of Parallel  Architectures and Languages Europe (PARLE '91),  Eindhoven, the Netherlands, Aarts,  Leeuwen and Rem Eds., Springer-Verlag, LNCS 505, pp. 202-219. (The original publication is available at www.springerlink.com)
Gives an overview of the language Concurrent CLEAN (version 0.7) as well as of its implementation. abstract bibtex.

8.            Plasmeijer, M.J., M.C.J.D. van Eekelen, E.G.J.M.H. Nöcker and J.E.W. Smetsers  (1991), The  Concurrent CLEAN System, functional  programming on the Macintosh, In Proc. of 7th  Internernational Conference  of the Apple European University Consortium, Paris, Apple consortium, pp. 19-24. abstract.

7.           Rutten, L.M.W.J., Koopman, P.W.M., Eekelen, M.C.J.D. v., Plasmeijer, M.J. (1991), Functional  Specification of a Neural Network, In Proc. of Artificial Neural Networks,  Espoo,  Kohonen Ed., Elsevier Science Publishers, Volume 2, pp. 1485-1488.

6.           Koopman P.W.M., Rutten, L.M.W.J., M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1990), Functional  Descriptions of Neural Networks, In Proceedings of the International Neural Network Conference, Volume 2, Kluwer Academic Publishers, pages 701-704.

5.           Plasmeijer, M.J. and M.C.J.D. van Eekelen (1990), Concurrent  Functional Programming, In Proc. of Conference on Unix & Parallelism, pp. 75-98. 

4.           Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer  and M.R. Sleep (1987), Term  Graph Rewriting, In Proc. of Parallel Architectures and  Languages Europe (PARLE  '87), Eindhoven, Bakker, Nijman and Treleaven Eds., Springer-Verlag, LNCS 259,  pp. 141-158. First Paper on Term Graph Rewriting, the computational model CLEAN is based upon. abstract. bibtex. (The original publication is available at www.springerlink.com)

3.           Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer  and M.R. Sleep (1987), Towards  an intermediate language based on graph rewriting , In  Proc. of Parallel Architectures and Languages Europe (PARLE '87), Eindhoven, Bakker, Nijman and Treleaven Eds., Springer-Verlag, LNCS 259, pp. 159-175. abstract. bibtex. (The original publication is available at www.springerlink.com)

2.           Brus, T., M.C.J.D. van Eekelen, M. van Leer, M.J. Plasmeijer and H.P. Barendregt  (1987), CLEAN - A Language for Functional Graph Rewriting, In Proc. of Conference on Functional  Programming Languages and Computer Architecture  (FPCA '87), Portland, Oregon, USA , Kahn Ed., Springer-Verlag, LNCS 274, pp. 364-384. First paper on CLEAN. abstract. bibtex. (The original publication is available at www.springerlink.com)

1.           Eekelen, M.C.J.D, van and Plasmeijer M.J. (1986), Specification  of reduction strategies in  term rewriting systems, In Proc. of Int. Workshop  on Graph Reduction, Santa Fe, NM, Fasel and Keller Eds., Springer-Verlag, LNCS  279, pp. 215-239. bibtex. (The original publication is available at www.springerlink.com)

 

Professional contributions to journals, conferences, books, opinion articles, interviews:

 

30.   Paul Klint en Marko van Eekelen. Software ís Sleuteltechnologie - Academische software engineers moeten brug slaan tuseen theorie en praktijk. Automatiseringgids 11. 5 Juni 2013. pp. 26-27.

29.   Christian Köppe and Marko van Eekelen. Report of Computer Science Research Conference 2012 (CSERC'12). In ACM Inroads. Volume 4 Issue 1, March 2013. pp. 80. ACM.
Pages 80-80. ACM Special Interest Group on Computer Science Education(SIGCSE) Magazine.

28.   Marko van Eekelen. Analysing Java progams with ResAna (Abstract). In Software Development. NLUUG Najaarsconferentie. 8 November 2012. Reehorst Ede. Page 5.

27.   Rutger Leukfeldt, Marko van Eekelen, Erik de Jong and Harald Vranken. Basic Cybercriminal Techniques and Techniques to Cause Damage. pp 167-180. In E.R. Leukfeldt and W.Ph. Stol (Eds.), Cyber Safety: An Introduction. 348 pages. Eleven International Publishing. Den Haag 2012. ISBN 978-94-90947-75-0. NUR 741.

26.   Marko van Eekelen and Harald Vranken. The Internet: Historical and Technical Background. pp 31-44. In E.R. Leukfeldt and W.Ph. Stol (Eds.), Cyber Safety: An Introduction. 348 pages. Eleven International Publishing. Den Haag 2012. ISBN 978-94-90947-75-0. NUR 741.

25.   Geuvers, H., Wiedijk, F., Eekelen, M.C.J.D. van & Schmaltz, J. (2011). Preface. In M. Van Eekelen, H. Geuvers, J. Schmaltz & F. Wiedijk (Eds.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science. Theoretical Computer Science and General issues, 6898) (pp. V-VI). Berlin: Springer. 2011.

24.    Anda Counotte, Theo Thiadens en Marko van Eekelen, "Mogelijke opzet voor een cursus Duurzaamheid van ict", in NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 52-56.

23.    Marko van Eekelen, "Modularisering van sterk afhankelijke cursussusen", in NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 92-98.

22.       Marko van Eekelen en Marleen Sint, "Ontwerp van een 1-jarige Master Software Engineering aan de Open Universiteit", in NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 82-91.

21.       Arjen de Boer, "Zware computers nodig om beveiliging te kraken", De Gelderlander, 15 december 2010.

20.       Marko van Eekelen, Rody Kersten en Bernard van Gastel. Software en energiegebruik. In. Duurzame ICT - Grondstof en energiebron voor een duurzame wereld. Roel Croes (Ed). pp 23-34. ISBN 9789012582285. Academic Service, NL. 2010.

19.       Anda Counotte-Potman en Marko van Eekelen. Duurzaamheid van ICT-intensieve organisaties. In. Duurzame ICT - Grondstof en energiebron voor een duurzame wereld. Roel Croes (Ed). pp 117-138. ISBN 9789012582285. Academic Service, NL. 2010.

18.       Marko van Eekelen, 'Het belang van software-analyse', Modulair, Jaargang 25, nr 5, pp 26-27, 19 maart 2010, Open Universiteit Nederland.

17.       Peter van Ammelrooy, 'Wiskundig model moet foutloze software opleveren',Wetenschapsbijlage, De Volkskrant, 13 maart 2010, jpg.

16.       Miranda de Kort. Computeren = foeteren en ploeteren. Maart 2010. Werkwijzer Volume 2, Jaargang 24. Open Universiteit Nederland.

15.      Francisco van Jole en Peter de Bie. 'Te weinig analyse van software', Tros Radio Online, 6 maart 2010. RadioOpname.

14.       Rian van Heur, 'Analyse moet softwarekwaliteit verbeteren', Computable, 5 maart 2010.

13.       Esther Schop, "Hoogleraar: 'leven lang computeren, leven lang foeteren?'", Automatisering Gids, 3 maart 2010.

12.       Pieter Edelman, 'Wiskundige notatie temt multicore processor', Bits & Chips, 18 december 2009, 11e jaargang, nr. 19/20, pp 40-42. pdf.

11.       Marko van Eekelen, Op weg naar een Informatica-onderzoeksgemeenschap. Modulair. Jaargang 25, nr 3, p 24, 18 december 2009. Open Universiteit Nederland.

10.       Frits de Jong, Afstandsonderwijs over vrije software en open standaarden. 21 Juli 2009. Nederland Open In Verbinding.

9.           Chris Nap, ‘van Eekelen: Informatici, daal af uit ivoren toren’. Automatisering Gids. 21 November 2008. pp 24-25. pdf.

8.           Sjaak Smetsers and Marko van Eekelen. LaQuSo: Using Formal Methods for Analysis, Verification and Improvement of Safety Critical Software. Quarterly Magazine of the European Research Consortium for Informatics and Mathematics. Special Theme Safety-Critical Software (ed. Pedro Merino and Erwin Schoitsch). ERCIM NEWS.  Volume 75, October 2008. pp 38-39. pdf.

7.           Marko van Eekelen, Engelbert Hubbers. Security, Privacy and AMR systems: Small Issues or Sources of Future Problems? Conference Proceedings of Metering Europe 2008. 22-24 September 2008. Amsterdam RAI. page 41.

6.           Marko van Eekelen, Engelbert Hubbers. Slimme Meters: Energie wordt ICT? Energie+, Jaargang 28, nr 4, Juli 2008, pp 23-24. pdf.

5.           Marko van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. Testen van proces-communicatie en synchronisatie van LoadBalancer software via model-checking. Presentation abstracts van de 12e Nederlandse Testdag. pp. 23-25. November 17, 2006. ASML, Veldhoven. bibtex. pdf (in Dutch).

4.           Marko van Eekelen. Evolutionaire Ontwikkelingen in het Nijmeegs Informatica-onderwijs. In Andrew Wolters, Bart van der Linden (eds) Lustrumboek 2006. Informatica 25 jaar in Nijmegen. pp 12-14. bibtex.

3.           Marko van Eekelen, Jan Tretmans, Tim Willemse. Vastleggen van kwaliteit is essentieel. In Onderwijs en Offshoring discussie deel 4, 18 maart 2005, Automatisering gids, jaargang 39, nummer 11, pp 13.

2.           Plasmeijer, M.J. and M.C.J.D. van Eekelen (1990), Functionele  talen en Parallellisme, In Voorlichtingsboekje Informatica.

1.           Plasmeijer, M.J., M.C.J.D. van Eekelen, J. Vytopil and T. Schouten (1990), Parallel  Processing, videotape on the advantages of parallel processing highlighting several  transputer applications, Chriet Titulaer Produkties bv. Tekst bijdragen, regie en montage ondersteuning.

 

Technical Reports:

81. M. van Eekelen, R. Ben Moussa, E. Hubbers and R. Verdult, Institute for Computing and Information Sciences, Radboud University Nijmegen, Technical Report ICIS-R13004, April 2013, Radboud University Nijmegen. pdf. bibtex.

80. Marcin Sikorski, Evert van de Vrie, Gerrit van der Veer, Peter Sloep and Marko van Eekelen. Preprints of the 2nd Computer Science Education Research Conference (CSERC2012). FedCSIS September 9–12, 2012. Wroclaw, Poland. pdf.

79.   Attila Gobi, Olha Shkaravska, and Marko van Eekelen. A higher-order size system for a higher-order functional language. Technical report: ICIS-R12005, July, Radboud University Nijmegen, 2012. pdf, bibtex.

78.   Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. A Proof Framework for Concurrent Programs. Technical report: ICIS-R12001, January, Radboud University Nijmegen, 2012. pdf, bibtex.

77.    Arjan Lamers and Marko van Eekelen. Analyzing Isoefficiency of Partition Local Algorithms. Technical report: ICIS-R12003, February, Radboud University Nijmegen, 2012. bibtex, pdf.

76.        Ricardo Peña & Marko van Eekelen (Eds.). Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011). Madrid, Spain. Tech. Rep. SIC-07/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. 355 pages. May 2011.

75.        Attila Gobi, Olha Shkaravska, and Marko van Eekelen. Size Analysis of Higher-Order Functions. In Ricardo Peña & Marko van Eekelen (Eds.). Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011). Madrid, Spain. Tech. Rep. SIC-07/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. pp. 77-91. May 2011.

74.        Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña. Interpolation-based height analysis for improving a recrurrence solver. In Ricardo Peña (ed.) Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011). Madrid, Spain. Tech. Rep. SIC-08/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. pp. 95-110. May 2011.

73.        Rody Kersten and Marko van Eekelen. Ranking Functions for Loops with Disjunctive Exit-Conditions. In Ricardo Peña (ed.) Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011). Madrid, Spain. Tech. Rep. SIC-08/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. pp. 111-126. May 2011.

72.         Olha Shkaravska, and Marko van Eekelen. Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations. Technical report: ICIS-R10003, April, Radboud University Nijmegen, 2010. bibtex, pdf.

71.         Marko van Eekelen (editor) and Olha Shkaravska (editor). Proceedings International Workshop on Foundational and Practical Aspects of Resource Analysis FOPARA. Technical Report ICIS-R09008, Radboud University Nijmegen, December 2009. bibtex. pdf.

70.         Olha Shkaravska, Marko van Eekelen and Alejandro Tamalet. Collected size semantics for functional programs over polymorphic nested lists. In 10th Symposium on Trends in Functional Programming, pages 207-221. Eötvös Loránd University, Budapest, Komarno, Slovakia, June 2009.

69.        Olha Shkaravska, Marko van Eekelen and Alejandro Tamalet. Collected Size Semantics for Functional Programs over Polymorphic Nested Lists. Full version: 28 pages. Technical Report ICIS-R09003, Radboud University Nijmegen, July 2009. bibtex. pdf.

68.        Alejandro Tamalet, Olha Shkaravska, Marko van Eekelen. Non-monotonic Polynomial Size Bounds for Functional Programs. In Sven-Bodo Scholz (ed) Proceedings of the 20th Symposium on Implementation and Application of Functional Languages, IFL 2008, Hartfield, Hertfordshire, UK, Sept. 10-12 2008. Technical Report 274, September 2008, Published by the School of Computer Science, University of Hertfordshire, UK, pp 145-148.

67.         Hendrik Tews, Tjark Weber, Marcus Völp, Erik Poll, Marko van Eekelen, and Peter van Rossum. Nova Micro-Hypervisor Verification. Technical report: ICIS-R08012, May, Radboud University Nijmegen, 2008, Robin deliverable D13. bibtex. pdf.

66.         Hendrik Tews, Tjark Weber, Erik Poll, and Marko van Eekelen. Formal Nova interface specification. Technical report: ICIS-R08011, May, 2008, Robin deliverable D12. bibtex. pdf.

65.         Alejandro Tamalet, Olha Shkaravska, and Marko van Eekelen. Size Analysis of Algebraic Data Types. in Peter Achten, Pieter Koopman, and Marco T. Morazán. Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP). Technical report: ICIS-R08007, May, Radboud University Nijmegen, 2008, Chapter XVI. pp 209-224. bibtex. pdf.

64.         Alejandro Tamalet, Olha Shkaravska, and Marko van Eekelen. A Size-Aware Type System with Algebraic Data Types, with proofs of soundness and decidability. Technical report: ICIS-R08006, April, Radboud University Nijmegen, 2008. bibtex. pdf.

63.         Marko van Eekelen. Outsourcing and LaQuSo Certification. Paper in: Pieter Koopman (ed). Proceedings of Verification and Validation of Software Systems (VVSS 2008), LaQuSo, Technical University Eindhoven. pp 166-180. bibtex. pdf.

62.         Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving. Technical report: ICIS-R08005, April, Radboud University Nijmegen, 2008. bibtex. pdf.

61.         P.M. Heck, Marko C.J.D. van Eekelen. The LaQuSo Software Product Certification Model: (LSPCM). TUE Computer Science Reports 08-03. bibtex. pdf.

60.         Luc Rutten and Marko van Eekelen. Efficient and Formally Proven Reduction of Large Integers by Small Moduli. Technical report: ICIS-R08001, February, Radboud University Nijmegen, 2008. bibtex. pdf.

59.         Olha Shkaravska and Marko van Eekelen. Static Inference of Polynomial Size-Aware Types. Technical report: ICIS-R07028, November, Radboud University Nijmegen, 2007. bibtex. pdf.

58.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025. Radboud University Nijmegen. November 2007. bibtex. pdf.

57.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof Assistants. Andy Schürr, Manfred Nagl, Albert Zündorf (eds). Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Selected and Invited Papers. Kassel, Germany, 2007, pp 181-197.

56.         Marko van Eekelen, Olha Shkaravska, Static Inference of Non-Monotonic Polynomial Sized Types. Olaf Chitil (ed) Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007. Technical Report 12-07, September 2007, Published by the Computing Laboratory, University of Kent, Canterbury, UK, pp 254-258.

55.         Marko van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation. In local proceedings of 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS`07). 1-2 July. Berlin. 2007. Organizers Stefan Leue, University of Konstanz, Germany and Pedro Merino, University of Malaga, Spain. pp. 181-199.

54.         Leonard Lensink, Sjaak Smetsers, Marko van Eekelen. Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. In local proceedings of 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS`07). 1-2 July. Berlin. 2007. Organizers Stefan Leue, University of Konstanz, Germany and Pedro Merino, University of Malaga, Spain. pp. 115-133.

53.         Marko van Eekelen, Stefan ten Hoedt, René Schreurs, and Yaroslav Usenko. Modeling and verifying a Real-Life Industrial Session-Layer Protocol in mCRL2. Technical report: ICIS-R07014, June, Radboud University Nijmegen, 2007.

52.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Confluent Term-Graph Reduction for Computer-Aided Formal Reasoning. Technical Report ICIS-R07012. Radboud University Nijmegen. May 2007.

51.         Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll and Sjaak Smetsers. AHA: Amortized Heap Space Usage Analysis. Project Paper.  In Marco Morazán and Henrik Nillsson (eds). Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 april 2007. pp XVI-1-16, Seton Hall University. TR-SHU-CS-2007-04-1.

50.         Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. An Arrow Based Semantics for Interactive Applications. In Marco Morazán and Henrik Nillsson (eds). Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 april 2007. pp IX-1-16, Seton Hall University. TR-SHU-CS-2007-04-1.

49.         Yaroslav S. Usenko, Marko van Eekelen, Stefan ten Hoedt, René Schreurs. Testing of inter-process communication and synchronization of ITP LoadBalancer software via model-checking. Presentation in Proceedings of Verification and Validation of Software Systems (VVSS 2007), TUE Computer Science Reports 07-04. pp 201-208.

48.         Perry Groot, Alexander Serebrenik, Marko van Eekelen (eds). Proceedings of Verification and Validation of Software Systems (VVSS 2007), LaQuSo: Laboratory for Quality Software, March 23, 2007, Eindhoven. TUE Computer Science Reports 07-04. ISSN 0926-4515.

47.         Olha Shkaravska, Ron van Kesteren, Marko van Eekelen. Polynomial Size Analysis of First-Order Functions. Technical Report ICIS-R07004, Radboud University Nijmegen, January 2007.

46.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. A Unified Semantic Model For Interactive Applications Using IData And Generic Editors abstract. In Zoltan Horvath, Viktoria Zsok (eds) Proceedings of the 18th Symposium on Implementation and Application of Functional Programming, IFL 2006, Budapest, Hungary, Sept. 4-6 2006. Technical Report 2006-S01, ISBN 9634638767. pp 205.

45.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Towards A Unified Semantic Model For Interactive Applications Using Arrows And Generic Editors. In Henrik Nillsson (ed). Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, 19-21 april 2006. pp 279-292, University of Nottingham.

44.         Teade Punter, Marko van Eekelen (eds). Proceedings of Verification and Validation of Software Systems (VVSS 2005), LaQuSo: Laboratory for Quality Software, November 24, 2005, Eindhoven, Eindhoven Computing Science Technical Report: CS-Report 05-30. (Table of Contents).

43.         Marko van Eekelen (ed). Proceedings of the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. 442 pages. Institute of Cybernetics at Tallinn Technical University, Tallinn 2005, ISBN 9985-894-88-X.

42.         Marko van Eekelen, Maarten de Mol. Effects of Changing Strictness Properties abstract. In Implementation and Application of Functional Languages. 17th International Workshop, IFL’05. Andrew Butterfield (ed.), Dublin, 2005. Technical Report TCD-CS-2005-60, Trinity College Dublin.

41.         Leonard Lensink, Marko van Eekelen. Induction and Co-induction in Sparkle. Technical Report NIII-R0502, Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. 20 pages.

40.         Ron van Kesteren, Marko van Eekelen, Maarten de Mol. An Effective Proof Rule for General Type Classes.  Proc. of the Fifth Symposium on Trends in Functional Programming (TFP 2004), editor Hans Wolfgang Loidl, November 2004, München, pp 149-165, Ludwig Maximilians Universität München. Abstract.

39.         Leonard Lensink, Marko van Eekelen. Induction and Co-induction in Sparkle.  Proc. of the Fifth Symposium on Trends in Functional Programming (TFP 2004), editor Hans Wolfgang Loidl, November 2004, München, pp 273-295, Ludwig Maximilians Universität München. abstract.

38.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Summer School on Advanced Functional Programming, University of Tartu, August 14-21, 2004. Lecture Notes. abstract, pdf.

37.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Arrows for Generic Graphical Editor Components. Technical Report NIII-R0416, Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. abstract, pdf.

36.         Malcolm Dowse, Andrew Butterfield, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. Towards Machine-Verified Proofs for I/O. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Lübeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universität zu Kiel, pp. 469-480.

35.        Marko van Eekelen, Maarten de Mol. Mixed Lazy/Strict Graph Semantics. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universität zu Kiel, pp.245-260. 

34.        Marko van Eekelen and Maarten de Mol. Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics. In: Peña, R. ed. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, pages 357-373. abstract, pdf.

33.        Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer. Theorem Proving for Functional Programmers. In: Arts, Th., Mohnen, M. eds. Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01, Älvsjö, Sweden, September 24-26, 2001, Ericsson Computer Science Laboratory, pp.99-118. powerpoint presentation

32.        Koopman, P.W.M., Van Eekelen, M, Plasmeijer, M, et al: Functional programming in Clean . Draft part I. July 1999. 

31.        Maarten de Mol and Marko van Eekelen (1999), A Prototype Dedicated Theorem Prover for Clean, Technical report CSI-R9913, October, Computing Science Institute, University of Nijmegen.

30.        Maarten de Mol and Marko van Eekelen (1999), A Proof Tool Dedicated to Clean, Proceedings of Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99, Kerkrade, The Netherlands, University of Aachen.

29.        Rinus Plasmeijer, Marko van Eekelen (1998), Concurrent Clean Language Report - version 1.3 , Technical Report CSI-R9816, June 1998, Computing Science Institute, University of Nijmegen, 180 pages.

28.        Pieter Koopman, Jeroen Fokker, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer (1998), Functional Programming in Clean, draft, 450 pages, University of Nijmegen. 

27.        Rinus Plasmeijer, Marko van Eekelen (1995), Concurrent Clean Language Report - version 1.1, University of Nijmegen, available on internet, 160 pages, www.cs.ru.nl/~clean

26.        Eekelen, M., van, Hoon, W., de (1994), A Functional Spreadsheet, In Proc. of Workshop on Functional Programming in the Real World, Wadern, Germany, Giegerich R. and Hughes Ed. Dagstuhl Seminar Report 89, pp. 7.

25.        Hoon, W., de,, L. Rutten and M.C.J.D. Eekelen, van (1994), FunSheet:  a functional spreadsheet, In Proc. of 6th International Workshop on the Implementation  of Functional Languages, UEA , Norwich,UK, Glauert Ed., pp. 11.2-11.24.

24.        Plasmeijer, M.J. and M.C.J.D. Eekelen, van (1994), Concurrent CLEAN 1.0 - Language Manual, draft  version, Katholieke Universiteit Nijmegen, Manual, Oktober 1994. 

23.        Eekelen, M.C.J.D. van, Huitema H., Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1993), Concurrent Clean, Language Manual - Version 0.8 (revised version), Technical Report 93-13, University of Nijmegen.

22.        Koopman, P.W.M., M.C.J.D. van Eekelen, and M.J. Plasmeijer (1993). Operational Machine Specification in a functional programming language. Technical Report 93-16, RijksUniversiteit Leiden.

21.        Plasmeijer, Rinus and Marko van Eekelen Eds.(1993), Proceedings  of the 5th International Workshop on Implementation of Functional Languages,  Nijmegen, Technical Report 93-21, Nijmegen University.

20.        Smetsers, Sjaak, Erik Barendsen, Marko van Eekelen and Rinus Plasmeijer (1993), Guaranteeing  safe destructive updates through a type system with uniqueness information  for graphs,  University of Nijmegen, Technical report 93-04, June 1993.

19.        Eekelen, M.C.J.D. van, Huitema H., Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1992), Concurrent Clean, Language Manual - Version 0.8, Technical Report 92-18, University of Nijmegen.

18.        Plasmeijer, M.J., Eekelen, M.C.J.D. v, Nöcker, E., Smetsers, J.E.W. (1991), Concurrent CLEAN - Status report, In  Proc. of Functional languages: Optimization for parallelism,  Schloss Dagstuhl,  Saarbrucken, Wilhelm Ed., Schloss Dagstuhl, Saarbrucken, pp. 23. 

17.        Plasmeijer, M.J. and M.C.J.D. v Eekelen (1991), Concurrent  functional programming, In Proc. of Functional languages: optimization for  parallelism, Schloss Dagstuhl,  Saarbrucken, Wilhelm Ed., Schloss Dagstuhl, Saarbrucken,  pp. 22.

16.        Rutten, L.M.W.J., Koopman P.W.M., M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1991), Functional  Specification of a Neural Network, University of Nijmegen, Technical Report 91-9,  April 1991.

15.        Koopman P.W.M., Rutten, L.M.W.J., M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1990), Functional  Descriptions of Neural Networks, University of Nijmegen, Technical Report 90-10,  May 1990.

14.        Pepels, B., M.J. Plasmeijer and M.C.J.D. van Eekelen (1990), Processen  en hun wisselwerking, University of Nijmegen Dictaat (deel1,2a en2b). 

13.        Eekelen, M.C.J.D. van, Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1990), Concurrent Clean, Version 0.6, Technical Report 90-21, University of Nijmegen.

12.        Koopman, P.W.M., M.C.J.D. van Eekelen, and M.J. Plasmeijer (1990), Operational Machine Specification in a Functional Programming Language, Technical Report 90-21, University of Nijmegen.

11.        Koopman, P.W.M., M.C.J.D. van Eekelen, and M.J. Plasmeijer (1990), Specification of Abstract Machines. In Proc. Second International Workshop on Implementation of Functional Languages on Parallel Architectures (Plasmeijer, M.J. ed.), pp. 297-321, Nijmegen, The Netherlands, Technical Report 90-16, University of Nijmegen (1990).

10.        Koopman, P.W.M., Eekelen, M.C.J.D. van, Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1990), The ABC-machine: A Sequential Stack-based Abstract Machine For Graph Rewriting, Technical Report 90-22, University of Nijmegen.

9.           Rutten, L.M.W.J., P.W.M. Koopman, M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1990), Inventory  and Functional Prototypes of Neural Networks, University of Nijmegen, Technical  Report 90-15, October 1990.

8.            Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers (1989), Communicating  Functional Processes, University of Nijmegen, Technical Report 89-3, March 1989.

7.           Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers (1989), Parallel  Graph Rewriting on Loosely Coupled Machine Architectures, University of Nijmegen.  Technical report 89-9.

6.           Eekelen, M.C.J.D. van, Plasmeijer M.J. , Smetsers J.E.W. and Nöcker E.G.J.M.H. (1989), Concurrent Clean  0.5, Technical Report 89-18, University of Nijmegen.

5.           Rutten, L.M.W.J., M.C.J.D. van Eekelen and M.J. Plasmeijer (1989), Unifying  Functional and Logic Languages by Integrating their Operational Semantics, University  of Nijmegen, Technical Report 89-4. 

4.           Eekelen, M.C.J.D. van, E.J.H. Pepels and M.J. Plasmeijer (1988), A  cyclic reference counting algorithm and its proof, University of Nijmegen Internal  Report 10 (1988).

3.           Eekelen, M.C.J.D., van, Barendregt H.P., Glauert J.R.W., Kennaway J.R., Plasmeijer  M.J. and Sleep M.R. (1987), Term  Graph Rewriting, Department of Computer Science, University of Nijmegen Internal  Report 87.
Also appeared as Report SYS-C87-01, School of Information Systems, University of East Anglia.

2.           Plasmeijer, M.J. and M.C.J.D. van Eekelen (1987), Modules as First-Class Citizens in the Context of Functional Programming, University of Nijmegen, Technical Report 86.

1.           Eekelen, M.C.J.D, van, P. Hartel and M.J. Plasmeijer (1985), Report of a trip to the United Kingdom, University of Nijmegen, Internal Report 58, January 1985, Sponsored by the Dutch Parallel Reduction Machine Project.