Tom Verhoeff

According to our database, Tom Verhoeff authored at least 32 papers between 1987 and 2018.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2018

Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod.

Ana-Maria Sutîi, Mark van den Brand, Tom Verhoeff

Comput. Lang. Syst. Struct., 2018

A Master Class on Recursion.

Tom Verhoeff

Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

2017

The spurs of D. H. Lehmer - Hamiltonian paths in neighbor-swap graphs of permutations.

Tom Verhoeff

Des. Codes Cryptogr., 2017

2016

Towards Statistical Comparison and Analysis of Models.

Önder Babur, Loek Cleophas, Tom Verhoeff, Mark van den Brand

Proceedings of the MODELSWARD 2016, 2016

Modular multilevel metamodeling with MetaMod.

Ana-Maria Sutîi, Tom Verhoeff, Mark van den Brand

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

Modular modeling with a computational twist in MetaMod.

Ana-Maria Sutîi, Tom Verhoeff, Mark van den Brand

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

A Survey of Open Source Multiphysics Frameworks in Engineering.

Önder Babur, Vít Smilauer, Tom Verhoeff, Mark van den Brand

Proceedings of the International Conference on Computational Science, 2015

2013

Applying Model Transformation and Event-B for Specifying an Industrial DSL.

Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Self-consistent Peer Ranking for Assessing Student Work - Dealing with Large Populations.

Kees van Overveld, Tom Verhoeff

Proceedings of the CSEDU 2013, 2013

2012

MDE Basics with a DSL Focus.

Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff

Proceedings of the Turing-100, 2012

2011

A Generic Solution for Syntax-Driven Model Co-evolution.

Mark van den Brand, Zvezdan Protic, Tom Verhoeff

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Assessing the quality of model-comparison tools: a method and a benchmark data set.

Mark van den Brand, Albert T. Hofkamp, Tom Verhoeff, Zvezdan Protic

Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

2010

3D turtle geometry: artwork, theory, program equivalence and symmetry.

Tom Verhoeff

Int. J. Arts Technol., 2010

Halting Still Standing - Programs versus Specifications.

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Generic tool for visualization of model differences.

Mark van den Brand, Zvezdan Protic, Tom Verhoeff

Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010

Fine-grained metamodel-assisted model comparison.

Mark van den Brand, Zvezdan Protic, Tom Verhoeff

Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010

2008

Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.

Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff

Proceedings of the Theory and Practice of Model Transformations, 2008

2006

The IOI is (not) a Science Olympiad.

Tom Verhoeff

Informatics Educ., 2006

A Master Class Software Engineering for Secondary Education.

Tom Verhoeff

Proceedings of the Informatics Education - The Bridge between Using and Understanding Computers, International Conference in Informatics in Secondary Schools, 2006

2004

Settling Multiple Debts Efficiently: An Invitation to Computing Science.

Tom Verhoeff

Informatics Educ., 2004

2003

Numerical Difficulties in Pre-University Informatics Education and Competitions.

Gyula Horváth, Tom Verhoeff

Informatics Educ., 2003

2002

On computing a longest path in a tree.

R. W. Bulterman, F. W. van der Sommen, Gerard Zwaan, Tom Verhoeff, A. J. M. van Gasteren, W. H. J. Feijen

Inf. Process. Lett., 2002

1999

Analysis and Applications of the XDI model.

Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Some New Binary, Quasi-Cyclic Codes.

Petra Heijnen, Henk C. A. van Tilborg, Tom Verhoeff, Sander Weijs

IEEE Trans. Inf. Theory, 1998

Analyzing Specifications for Delay-Insensitive Circuits.

Tom Verhoeff

Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998

1994

Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra.

Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1993

An updated table of minimum-distance bounds for binary linear codes.

Andries E. Brouwer, Tom Verhoeff

IEEE Trans. Inf. Theory, 1993

1992

High-Level Design of an Asynchronous Packet-Routing Chip.

Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev

Proceedings of the Designing Correct Circuits, 1992

1989

Networks of Communicating Processes and Their (De-)Composition.

Wei Chen, Jan Tijmen Udding, Tom Verhoeff

Proceedings of the Mathematics of Program Construction, 1989

1988

Delay-Insensitive Codes - an Overview.

Tom Verhoeff

Distributed Comput., 1988

1987

An updated table of minimum-distance bounds for binary linear codes.

Tom Verhoeff

IEEE Trans. Inf. Theory, 1987