Follow
Marko van Eekelen
Marko van Eekelen
Open Universiteit Nederland & Radboud Universiteit
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
5041987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4491993
Term graph rewriting: theory and practice
MR Sleep, M Jacobus, MCJD van Eekelen
Wiley, 1993
2301993
Clean—a language for functional graph rewriting
TH Brus, MCJD van Eekelen, MO Van Leer, MJ Plasmeijer
Functional Programming Languages and Computer Architecture: Portland, Oregon …, 1987
2161987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991
1511991
Measuring dependency freshness in software systems
J Cox, E Bouwers, M Van Eekelen, J Visser
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
1132015
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
M De Mol, M Van Eekelen, R Plasmeijer
Implementation of Functional Languages: 13th International Workshop, IFL …, 2002
1122002
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
S Smetsers, E Barendsen, M van Eekelen, R Plasmeijer
Graph Transformations in Computer Science: International Workshop Dagstuhl …, 1994
821994
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
P Anthony, M Ishizuka, D Lukose
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2012
732012
A software product certification model
P Heck, M Klabbers, M van Eekelen
Software Quality Journal 18, 37-55, 2010
732010
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
701998
A survey of authentication and communications security in online banking
S Kiljan, K Simoens, DD Cock, MV Eekelen, H Vranken
ACM Computing Surveys (CSUR) 49 (4), 1-35, 2016
642016
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
R Peña, M Van Eekelen, O Shkaravska
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2012
612012
There and back again: arrows for invertible programming
A Alimarine, S Smetsers, A van Weelden, M van Eekelen, R Plasmeijer
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 86-97, 2005
602005
Towards an intermediate language based on graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
581987
Evaluation of transaction authentication methods for online banking
S Kiljan, H Vranken, M van Eekelen
Future Generation Computer Systems 80, 430-447, 2018
542018
Gamification in educational software development
ALD Buisman, MCJD Van Eekelen
Proceedings of the Computer Science Education Research Conference, 9-20, 2014
542014
Polynomial size analysis of first-order functions
O Shkaravska, R van Kesteren, M van Eekelen
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
512007
Implementing a functional spreadsheet in Clean
WACAJ De Hoon, LMWJ Rutten, MCJD van Eekelen
Journal of Functional Programming 5 (3), 383-414, 1995
511995
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
501998
The system can't perform the operation now. Try again later.
Articles 1–20