Tom Verhoeff - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2018

Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaModAna-Maria Sutîi, Mark van den Brand, Tom Verhoeff. Comp. Lang., Syst. \& Struct., 51:48-70, 2018. [doi]

A Master Class on RecursionTom Verhoeff. BIRTHDAY 2018: 610-633 [doi]

2017

The spurs of D. H. Lehmer - Hamiltonian paths in neighbor-swap graphs of permutationsTom Verhoeff. dcc, 84(1-2):295-310, 2017. [doi]

2016

Modular modeling with a computational twist in MetaModAna-Maria Sutîi, Tom Verhoeff, Mark van den Brand. AOSD 2016: 4-7 [doi]

Modular multilevel metamodeling with MetaModAna-Maria Sutîi, Tom Verhoeff, Mark van den Brand. AOSD 2016: 212-217 [doi]

Towards Statistical Comparison and Analysis of ModelsÖnder Babur, Loek Cleophas, Tom Verhoeff, Mark van den Brand. modelsward 2016: 361-367 [doi]

2015

A Survey of Open Source Multiphysics Frameworks in EngineeringÖnder Babur, Vít Smilauer, Tom Verhoeff, Mark van den Brand. iccs 2015: 1088-1097 [doi]

2013

Applying Model Transformation and Event-B for Specifying an Industrial DSLUlyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff. MoDELS 2013: 41-50 [doi]

Self-consistent Peer Ranking for Assessing Student Work - Dealing with Large PopulationsKees van Overveld, Tom Verhoeff. csedu 2013: 399-404 [doi]

2012

MDE Basics with a DSL FocusSuzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff. sfm 2012: 21-57 [doi]

Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable FormalismsCornelis Huizing, Ruurd Kuiper, Tom Verhoeff. BIRTHDAY 2012: 168-180 [doi]

2011

Assessing the quality of model-comparison tools: a method and a benchmark data setMark van den Brand, Albert T. Hofkamp, Tom Verhoeff, Zvezdan Protic. ICMT 2011: 2-11 [doi]

A Generic Solution for Syntax-Driven Model Co-evolutionMark van den Brand, Zvezdan Protic, Tom Verhoeff. TOOLS 2011: 36-51 [doi]

2010

2008

Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?Marcel van Amstel, Mark G. J. van den Brand, Z. Protic, Tom Verhoeff. ICMT 2008: 61-75 [doi]

2006

A Master Class Software Engineering for Secondary EducationTom Verhoeff. issep 2006: 150-158 [doi]

The IOI is (not) a Science OlympiadTom Verhoeff. iie, 5(1):147-159, 2006. [doi]

2004

Settling Multiple Debts Efficiently: An Invitation to Computing ScienceTom Verhoeff. iie, 3(1):105-126, 2004. [doi]

2003

Numerical Difficulties in Pre-University Informatics Education and CompetitionsGyula Horváth, Tom Verhoeff. iie, 2(1):21-38, 2003. [doi]

2002

On computing a longest path in a treeR. W. Bulterman, F. W. van der Sommen, Gerard Zwaan, Tom Verhoeff, A. J. M. van Gasteren, W. H. J. Feijen. ipl, 81(2):93-96, 2002. [doi]

1999

Analysis and Applications of the XDI modelWillem C. Mallon, Jan Tijmen Udding, Tom Verhoeff. async 1999: 231-242 [doi]

1998

Some New Binary, Quasi-Cyclic CodesPetra Heijnen, Henk C. A. van Tilborg, Tom Verhoeff, Sander Weijs. TIT, 44(5):1994-1996, 1998.

Analyzing Specifications for Delay-Insensitive CircuitsTom Verhoeff. async 1998: 172-183 [doi]

1994

Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebraMark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff. async 1994: 206-215 [doi]

1993

An updated table of minimum-distance bounds for binary linear codesAndries E. Brouwer, Tom Verhoeff. TIT, 39(2):662, 1993.

1992

High-Level Design of an Asynchronous Packet-Routing ChipMark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio T. Yantchev. ifip10-2 1992: 261-274

1989

Networks of Communicating Processes and Their (De-)CompositionWei Chen, Jan Tijmen Udding, Tom Verhoeff. mpc 1989: 174-196

1988

Delay-Insensitive Codes - an OverviewTom Verhoeff. dc, 3(1):1-8, 1988.

1987

An updated table of minimum-distance bounds for binary linear codesTom Verhoeff. TIT, 33(5):665-680, 1987.

Sign in or sign up to see more results.

runs on WebDSL