Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987 | 504 | 1987 |
Functional programming and parallel graph rewriting R Plasmeijer, M Van Eekelen, MJ Plasmeijer Addison-wesley, 1993 | 449 | 1993 |
Term graph rewriting: theory and practice MR Sleep, M Jacobus, MCJD van Eekelen Wiley, 1993 | 230 | 1993 |
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 | 213 | 1987 |
Concurrent clean E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991 | 150 | 1991 |
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 | 112 | 2002 |
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 | 106 | 2015 |
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 | 80 | 1994 |
A software product certification model P Heck, M Klabbers, M van Eekelen Software Quality Journal 18, 37-55, 2010 | 69 | 2010 |
Concurrent Clean language report-version 1.3 R Plasmeijer, M van Eekelen Nijmegen: Computer Science Institute, 1998 | 69 | 1998 |
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 | 61 | 2016 |
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 | 60 | 2005 |
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 | 58 | 2012 |
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 | 57 | 1987 |
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 | 51 | 2007 |
Implementing a functional spreadsheet in Clean WACAJ De Hoon, LMWJ Rutten, MCJD van Eekelen Journal of Functional Programming 5 (3), 383-414, 1995 | 51 | 1995 |
Evaluation of transaction authentication methods for online banking S Kiljan, H Vranken, M van Eekelen Future Generation Computer Systems 80, 430-447, 2018 | 50 | 2018 |
Gamification in educational software development ALD Buisman, MCJD Van Eekelen Proceedings of the Computer Science Education Research Conference, 9-20, 2014 | 49 | 2014 |
Concurrent clean language report R Plasmeijer, M van Eekelen High Level Software Tools BV and University of Nijmegen, version 1, 1998 | 49 | 1998 |
Clean language report version 2.1 R Plasmeijer, M van Eekelen, J van Groningen | 43 | 2002 |