Tom Verhoeff

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 6

Top Topics

Temporal Structure

Attribute Grammars

Top Venues

MODULARITY (Companion)

Des. Codes Cryptogr.

Adventures Between Lower Bounds and Higher Altitudes

Comput. Lang. Syst. Struct.

Publications

Tom Verhoeff
A Master Class on Recursion. Adventures Between Lower Bounds and Higher Altitudes (2018)
Ana-Maria Sutîi, Mark van den Brand, Tom Verhoeff
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod. Comput. Lang. Syst. Struct. 51 (2018)
Tom Verhoeff
The spurs of D. H. Lehmer - Hamiltonian paths in neighbor-swap graphs of permutations. Des. Codes Cryptogr. 84 (1-2) (2017)
Önder Babur, Loek Cleophas, Tom Verhoeff, Mark van den Brand
Towards Statistical Comparison and Analysis of Models. MODELSWARD (2016)
Ana-Maria Sutîi, Tom Verhoeff, Mark van den Brand
Modular modeling with a computational twist in MetaMod. MODULARITY (Companion) (2016)
Ana-Maria Sutîi, Tom Verhoeff, Mark van den Brand
Modular multilevel metamodeling with MetaMod. MODULARITY (Companion) (2016)
Önder Babur, Vít Smilauer, Tom Verhoeff, Mark van den Brand
A Survey of Open Source Multiphysics Frameworks in Engineering. ICCS (2015)
Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff
Applying Model Transformation and Event-B for Specifying an Industrial DSL. MoDeVVa@MoDELS (2013)
Kees van Overveld, Tom Verhoeff
Self-consistent Peer Ranking for Assessing Student Work - Dealing with Large Populations. CSEDU (2013)
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 (2012)
Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff
MDE Basics with a DSL Focus. SFM (2012)
Mark van den Brand, Albert T. Hofkamp, Tom Verhoeff, Zvezdan Protic
Assessing the quality of model-comparison tools: a method and a benchmark data set. IWMCP@ICMT (2011)
Mark van den Brand, Zvezdan Protic, Tom Verhoeff
A Generic Solution for Syntax-Driven Model Co-evolution. TOOLS (49) (2011)
Mark van den Brand, Zvezdan Protic, Tom Verhoeff
Fine-grained metamodel-assisted model comparison. IWMCP@ICMT (2010)
Mark van den Brand, Zvezdan Protic, Tom Verhoeff
Generic tool for visualization of model differences. IWMCP@ICMT (2010)
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
Halting Still Standing - Programs versus Specifications. UTP (2010)
Tom Verhoeff
3D turtle geometry: artwork, theory, program equivalence and symmetry. Int. J. Arts Technol. 3 (2/3) (2010)
Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. ICMT@TOOLS (2008)
Tom Verhoeff
A Master Class Software Engineering for Secondary Education. ISSEP (2006)
Tom Verhoeff
The IOI is (not) a Science Olympiad. Informatics Educ. 5 (1) (2006)
Tom Verhoeff
Settling Multiple Debts Efficiently: An Invitation to Computing Science. Informatics Educ. 3 (1) (2004)
Gyula Horváth, Tom Verhoeff
Numerical Difficulties in Pre-University Informatics Education and Competitions. Informatics Educ. 2 (1) (2003)
R. W. Bulterman, F. W. van der Sommen, Gerard Zwaan, Tom Verhoeff, A. J. M. van Gasteren, W. H. J. Feijen
On computing a longest path in a tree. Inf. Process. Lett. 81 (2) (2002)
Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff
Analysis and Applications of the XDI model. ASYNC (1999)
Tom Verhoeff
Analyzing Specifications for Delay-Insensitive Circuits. ASYNC (1998)
Petra Heijnen, Henk C. A. van Tilborg, Tom Verhoeff, Sander Weijs
Some New Binary, Quasi-Cyclic Codes. IEEE Trans. Inf. Theory 44 (5) (1998)
Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff
Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. ASYNC (1994)
Andries E. Brouwer, Tom Verhoeff
An updated table of minimum-distance bounds for binary linear codes. IEEE Trans. Inf. Theory 39 (2) (1993)
Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev
High-Level Design of an Asynchronous Packet-Routing Chip. Designing Correct Circuits (1992)
Wei Chen, Jan Tijmen Udding, Tom Verhoeff
Networks of Communicating Processes and Their (De-)Composition. MPC (1989)
Tom Verhoeff
Delay-Insensitive Codes - an Overview. Distributed Comput. 3 (1) (1988)
Tom Verhoeff
An updated table of minimum-distance bounds for binary linear codes. IEEE Trans. Inf. Theory 33 (5) (1987)