Tom Verhoeff
Tom Verhoeff
Assistant Professor of Computer Science at Eindhoven University of Technology
Verified email at tue.nl
TitleCited byYear
Delay-insensitive codes—an overview
T Verhoeff
Distributed Computing 3 (1), 1-8, 1988
3701988
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
2601993
An updated table of minimum-distance bounds for binary linear codes
T Verhoeff
IEEE Transactions on Information Theory 33 (5), 665-680, 1987
1701987
The role of competitions in education
T Verhoeff
Future World: Educating for the 21st Century, a conference and exhibition at …, 1997
1011997
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
66*2002
A theory of delay-insensitive systems
T Verhoeff
Eindhoven University of Technology, Department of Mathematics and Computing …, 1994
631994
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
382006
The IOI is (not) a Science Olympiad.
T Verhoeff
Informatics in education 5 (1), 147-159, 2006
372006
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
312008
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
31*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
301994
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
231998
Programming Task Packages: Peach Exchange Format
T Verhoeff
Olympiads in Informatics 2, 192-207, 2008
222008
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
212010
Analysis and applications of the XDI model
WC Mallon, JT Udding, T Verhoeff
Proceedings. Fifth International Symposium on Advanced Research in …, 1999
211999
Analyzing specifications for delay-insensitive circuits
T Verhoeff
Proceedings Fourth International Symposium on Advanced Research in …, 1998
211998
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
202010
Finding the median under IOI conditions
G Horváth, T Verhoeff
Informatics in Education 1 (1), 73-92, 2002
192002
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
162011
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
162011
The system can't perform the operation now. Try again later.
Articles 1–20