Tom Verhoeff
According to our database^{1},
Tom Verhoeff
authored at least 32 papers
between 1987 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2018
Exploration of modularity and reusability of domainspecific languages: an expression DSL in MetaMod.
Comput. Lang. Syst. Struct., 2018
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018
2017
The spurs of D. H. Lehmer  Hamiltonian paths in neighborswap graphs of permutations.
Des. Codes Cryptogr., 2017
2016
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016
2015
Proceedings of the International Conference on Computational Science, 2015
2013
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013
Selfconsistent Peer Ranking for Assessing Student Work  Dealing with Large Populations.
Proceedings of the CSEDU 2013, 2013
2012
Proceedings of the Formal Methods for ModelDriven Engineering, 2012
Generalizations of Rice's Theorem, Applicable to Executable and NonExecutable Formalisms.
Proceedings of the Turing100, 2012
2011
Proceedings of the Objects, Models, Components, Patterns  49th International Conference, 2011
Assessing the quality of modelcomparison tools: a method and a benchmark data set.
Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011
2010
Int. J. Arts Technol., 2010
Proceedings of the Unifying Theories of Programming  Third International Symposium, 2010
Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010
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
Informatics Educ., 2006
Proceedings of the Informatics Education  The Bridge between Using and Understanding Computers, International Conference in Informatics in Secondary Schools, 2006
2004
Informatics Educ., 2004
2003
Informatics Educ., 2003
2002
Inf. Process. Lett., 2002
1999
Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999
1998
IEEE Trans. Inf. Theory, 1998
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
IEEE Trans. Inf. Theory, 1993
1992
HighLevel Design of an Asynchronous PacketRouting Chip.
Proceedings of the Designing Correct Circuits, 1992
1989
Proceedings of the Mathematics of Program Construction, 1989
1988
Distributed Comput., 1988
1987
IEEE Trans. Inf. Theory, 1987