Delay-insensitive codes—an overview T Verhoeff Distributed Computing 3, 1-8, 1988 | 438 | 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 | 184 | 1997 |

An updated table of minimum-distance bounds for binary linear codes T Verhoeff IEEE Transactions on Information Theory 33 (5), 665-680, 1987 | 168 | 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 | 84 | 2002 |

A theory of delay-insensitive systems T Verhoeff Eindhoven University of Technology, Department of Mathematics and Computing …, 1994 | 73 | 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 |

Programming Task Packages: Peach Exchange Format T Verhoeff Olympiads in Informatics 2, 192-207, 2008 | 40 | 2008 |

The IOI is (not) a Science Olympiad. T Verhoeff Informatics in education 5 (1), 147-159, 2006 | 39 | 2006 |

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 | 34* | 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 | 34 | 2008 |

Analysis and applications of the XDI model WC Mallon, JT Udding, T Verhoeff Proceedings. Fifth International Symposium on Advanced Research in …, 1999 | 32 | 1999 |

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 |

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 | 27 | 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 |

The trader’s dilemma: A continuous version of the prisoner’s dilemma T Verhoeff Eindhoven University of Technology, Eindhoven, Netherlands, 1998 | 26 | 1998 |

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 |

A Survey of Open Source Multiphysics Frameworks in Engineering Ö Babur, V Smilauer, T Verhoeff, M van den Brand Procedia Computer Science 51, 1088-1097, 2015 | 23 | 2015 |