Tom Verhoeff - RankMe

33 papers B 2C 1Misc 1Journal 12Unranked 17

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