Delay-insensitive codes—an overview T Verhoeff Distributed Computing 3 (1), 1-8, 1988 | 373 | 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 | 262 | 1993 |

An updated table of minimum-distance bounds for binary linear codes T Verhoeff IEEE Transactions on Information Theory 33 (5), 665-680, 1987 | 170 | 1987 |

The role of competitions in education T Verhoeff Future World: Educating for the 21st Century, a conference and exhibition at …, 1997 | 108 | 1997 |

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 | 67* | 2002 |

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

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

Transforming process algebra models into UML state machines: Bridging a semantic gap? MF Van Amstel, MGJ van den Brand, Z Protić, T Verhoeff International Conference on Theory and Practice of Model Transformations, 61-75, 2008 | 32 | 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 | 32* | 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 | 30 | 1994 |

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 | 23 | 2010 |

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

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 | 23 | 1998 |

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

Analyzing specifications for delay-insensitive circuits T Verhoeff Proceedings Fourth International Symposium on Advanced Research in …, 1998 | 21 | 1998 |

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 | 20 | 2010 |

Finding the median under IOI conditions G Horváth, T Verhoeff Informatics in Education 1 (1), 73-92, 2002 | 19 | 2002 |

A generic solution for syntax-driven model co-evolution M Van Den Brand, Z Protić, T Verhoeff International Conference on Modelling Techniques and Tools for Computer …, 2011 | 16 | 2011 |

A generic solution for syntax-driven model co-evolution M van den Brand, Z Protić, T Verhoeff Objects, Models, Components, Patterns (Lecture Notes in Computer Science …, 2011 | 16 | 2011 |