Tom Verhoeff

Orcid: 0000-0002-5114-5985

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod.
Comput. Lang. Syst. Struct., 2018

A Master Class on Recursion.
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.
Des. Codes Cryptogr., 2017

2016
Towards Statistical Comparison and Analysis of Models.
Proceedings of the MODELSWARD 2016, 2016

Modular multilevel metamodeling with MetaMod.
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.
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.
Proceedings of the International Conference on Computational Science, 2015

2013
Applying Model Transformation and Event-B for Specifying an Industrial DSL.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Self-consistent Peer Ranking for Assessing Student Work - Dealing with Large Populations.
Proceedings of the CSEDU 2013, 2013

2012
MDE Basics with a DSL Focus.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.
Proceedings of the Turing-100, 2012

2011
A Generic Solution for Syntax-Driven Model Co-evolution.
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.
Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

2010
3D turtle geometry: artwork, theory, program equivalence and symmetry.
Int. J. Arts Technol., 2010

Halting Still Standing - Programs versus Specifications.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Generic tool for visualization of model differences.
Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010

Fine-grained metamodel-assisted model comparison.
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?.
Proceedings of the Theory and Practice of Model Transformations, 2008

2006
The IOI is (not) a Science Olympiad.
Informatics Educ., 2006

A Master Class Software Engineering for Secondary Education.
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.
Informatics Educ., 2004

2003
Numerical Difficulties in Pre-University Informatics Education and Competitions.
Informatics Educ., 2003

2002
On computing a longest path in a tree.
Inf. Process. Lett., 2002

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

1998
Some New Binary, Quasi-Cyclic Codes.
IEEE Trans. Inf. Theory, 1998

Analyzing Specifications for Delay-Insensitive Circuits.
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.
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.
IEEE Trans. Inf. Theory, 1993

1992
High-Level Design of an Asynchronous Packet-Routing Chip.
Proceedings of the Designing Correct Circuits, 1992

1989
Networks of Communicating Processes and Their (De-)Composition.
Proceedings of the Mathematics of Program Construction, 1989

1988
Delay-Insensitive Codes - an Overview.
Distributed Comput., 1988

1987
An updated table of minimum-distance bounds for binary linear codes.
IEEE Trans. Inf. Theory, 1987


  Loading...