| Delay-insensitive codes—an overview T Verhoeff Distributed Computing 3, 1-8, 1988 | 433 | 1988 |
| An updated table of minimum-distance bounds for binary linear codes AE Brouwer, T Verhoeff IEEE Transactions on Information Theory 39 (2), 662-677, 1993 | 283 | 1993 |
| The role of competitions in education T Verhoeff Future World: Educating for the 21st Century, a conference and exhibition at …, 1997 | 179 | 1997 |
| An updated table of minimum-distance bounds for binary linear codes T Verhoeff IEEE Transactions on Information Theory 33 (5), 665-680, 1987 | 169 | 1987 |
| On computing a longest path in a tree RW Bulterman, FW van der Sommen, G Zwaan, T Verhoeff, ... Information processing letters 81 (2), 93-96, 2002 | 83* | 2002 |
| A theory of delay-insensitive systems T Verhoeff Eindhoven University of Technology, Department of Mathematics and Computing …, 1994 | 72 | 1994 |
| A proposal for an IOI Syllabus T Verhoeff, G Horváth, K Diks, G Cormack Teaching Mathematics and Computer Science 4 (1), 193-216, 2006 | 41 | 2006 |
| The IOI is (not) a Science Olympiad. T Verhoeff Informatics in education 5 (1), 147-159, 2006 | 39 | 2006 |
| Programming Task Packages: Peach Exchange Format T Verhoeff Olympiads in Informatics 2, 192-207, 2008 | 38 | 2008 |
| Model Transformations Supporting Concurrency and Time-Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? MF Amstel, MGJ Brand, Z Protic, T Verhoeff Lecture Notes in Computer Science 5063, 61-75, 2008 | 33* | 2008 |
| Transforming process algebra models into UML state machines: Bridging a semantic gap? MF Van Amstel, MGJ van den Brand, Z Protić, T Verhoeff Theory and Practice of Model Transformations: First International Conference …, 2008 | 33 | 2008 |
| Formal design of an asynchronous DSP counterflow pipeline: A case study in handshake algebra MB Josephs, PG Lucassen, JT Udding, T Verhoeff Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous …, 1994 | 31 | 1994 |
| Analysis and applications of the XDI model WC Mallon, JT Udding, T Verhoeff Proceedings. Fifth International Symposium on Advanced Research in …, 1999 | 29 | 1999 |
| 3D turtle geometry: artwork, theory, program equivalence and symmetry T Verhoeff International Journal of Arts and Technology 3 (2), 288-319, 2010 | 28 | 2010 |
| Generic tool for visualization of model differences M van den Brand, Z Protić, T Verhoeff Proceedings of the 1st International Workshop on Model Comparison in …, 2010 | 26 | 2010 |
| Fine-grained metamodel-assisted model comparison M van den Brand, Z Protić, T Verhoeff Proceedings of the 1st International Workshop on Model Comparison in …, 2010 | 26 | 2010 |
| Some new binary, quasi-cyclic codes P Heijnen, H Van Tilborg, T Verhoeff, S Weijs IEEE Transactions on Information Theory 44 (5), 1994-1996, 1998 | 25 | 1998 |
| Analyzing specifications for delay-insensitive circuits T Verhoeff Proceedings Fourth International Symposium on Advanced Research in …, 1998 | 25 | 1998 |
| The trader’s dilemma: A continuous version of the prisoner’s dilemma T Verhoeff Eindhoven University of Technology, Eindhoven, Netherlands, 1998 | 25 | 1998 |
| Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod AM Şutîi, M van den Brand, T Verhoeff Computer Languages, Systems & Structures 51, 48-70, 2018 | 23 | 2018 |
