[go: up one dir, main page]

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, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
5261987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4591993
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
PK Agarwal, T Akutsu, A Amihood, A Apostolico, C Benham, G Benson, ...
Lecture notes in computer science (including subseries lecture notes in …, 2005
451*2005
Clean—a language for functional graph rewriting
TH Brus, MCJD van Eekelen, MO Van Leer, MJ Plasmeijer
Conference on Functional Programming Languages and Computer Architecture …, 1987
2281987
Term graph rewriting: theory and practice
MR Sleep, MJ Plasmeijer, MCJD van Eekelen
John Wiley and Sons Ltd., 1993
2211993
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
International Conference on Parallel Architectures and Languages Europe, 202-219, 1991
1501991
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
1412015
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
M De Mol, M Van Eekelen, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 55-71, 2001
1122001
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 …, 2005
912005
A software product certification model
P Heck, M Klabbers, M van Eekelen
Software Quality Journal 18 (1), 37-55, 2010
732010
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
692016
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
681998
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
642005
Evaluation of transaction authentication methods for online banking
S Kiljan, H Vranken, M van Eekelen
Future Generation Computer Systems 80, 430-447, 2018
602018
Gamification in educational software development
ALD Buisman, MCJD Van Eekelen
Proceedings of the Computer Science Education Research Conference, 9-20, 2014
562014
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
511998
Implementing a functional spreadsheet in Clean
WACAJ De Hoon, LMWJ Rutten, MCJD van Eekelen
Journal of Functional Programming 5 (3), 383-414, 1995
511995
Clean language report version 2.1
R Plasmeijer, M van Eekelen, J van Groningen
492002
Polynomial size analysis of first-order functions
O Shkaravska, R van Kesteren, M van Eekelen
International Conference on Typed Lambda Calculi and Applications, 351-365, 2007
482007
Applying deep learning on packet flows for botnet detection
J van Roosmalen, H Vranken, M van Eekelen
Proceedings of the 33rd annual ACM symposium on applied computing, 1629-1636, 2018
442018
The system can't perform the operation now. Try again later.
Articles 1–20