Tom Verhoeff

View Scopus Profile

Tom Verhoeff

dr.ir.

 https://orcid.org/0000-0002-5114-5985
  • 785
    Citations - based on content available in repository [source: Scopus]
1985 …2025

Content available in repository

Filter
Conference contribution

Search results

  • 2024

    Looking for Lovely Links in Lattices

    Bakker, A. & Verhoeff, T., Aug 2024, Proceedings of Bridges 2024: Mathematics, Art, Music, Architecture, Culture. Verrill, V., Kattchee, K., Gould, S. L. & Torrence, E. (eds.). Phoenix, Arizona: Tessellations Publishing, p. 349-352 4 p. (Bridges Conference Proceedings; vol. 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2023

    Domain-Specific Languages for Efficient Composition of Paths in 3D

    Bakker, A. & Verhoeff, T., 17 Jul 2023, Proceedings of Bridges 2023: Mathematics, Art, Music, Architecture, Culture. Holdener, J., Torrence, E., Fong, C. & Seaton, K. (eds.). Tessellations Publishing, p. 259-266 8 p. (Proceedings of Bridges).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

  • The Looping Theorem in 2D and 3D Turtle Geometry

    Verhoeff, T., 17 Jul 2023, Proceedings of Bridges 2023: Mathematics, Art, Music, Architecture, Culture. Holdener, J., Torrence, E., Fong, C. & Seaton, K. (eds.). Tessellations Publishing, p. 425-428 4 p. (Bridges Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
  • 2022

    Algorithms to Construct Designs for Foundation Paper Piecing of Quilt Patchwork Layers

    Bakker, A. & Verhoeff, T., 6 Jul 2022, Proceedings of Bridges 2022: Mathematics, Art, Music, Architecture, Culture. Reimann, D., Norton, D. & Torrence, E. (eds.). Phoenix, Arizona, USA: Tessellations Publishing, p. 347-350 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    59 Downloads (Pure)
  • 2021

    Pretty 3D Polygons: Exploration and Proofs

    van Veenendaal, M. & Verhoeff, T., 5 Jul 2021, Proceedings of Bridges 2021: Mathematics, Art, Music, Architecture, Culture. Swart, D., Farris, F. & Torrence, E. (eds.). Phoenix, Arizona, USA: Tessellations Publishing, p. 111-118 8 p. 31

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    82 Downloads (Pure)
  • 2020

    Four Mathematical Designs for EGMO 2020, the European Girls' Mathematical Olympiad in the Netherlands

    Verhoeff, T., Jul 2020, Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture. Phoenix, Arizona, USA: Tessellations Publishing, p. 289-296 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
  • 2019

    Lehmer's dance: a lecture performance

    Verhoeff, T. & van Berkel, R., Jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (eds.). Phoenix: Tessellations Publishing, p. 375-378 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    53 Downloads (Pure)

  • Programming, software development, and computer science: the golden triangle

    Verhoeff, T., Jul 2019, Olympiads in Informatics. Dagiene, V. (ed.). Vilnius: Vilnius University, p. 157-170 14 p. (Olympiads in Informatics; vol. 13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    189 Downloads (Pure)

  • The obtetrahedrille as a modular building block for 3D mathematical art

    Verhoeff, T. & Verhoeff, K., Jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (eds.). Phoenix: Tessellations Publishing, p. 407-410 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    156 Downloads (Pure)
  • 2018

    Some memories of Koos Verhoeff - 1927–2018

    Verhoeff, T., Jul 2018, Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture. Torrence, E., Torrence, B., Séquin, C. & Fenyvesi, K. (eds.). Phoenix, Arizona, USA: Tessellations Publishing, p. 3-6

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    98 Downloads (Pure)
  • 2017

    Artistic rendering of curves via lattice paths

    Bakker, A. & Verhoeff, T., Jul 2017, Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture. Swart, D., Séquin, C. H. & Fenyvesi, K. (eds.). Phoenix, Arizona, USA: Tessellations Publishing, p. 447-450 4 p. (Bridges Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    66 Downloads (Pure)

  • Hopeless love and other lattice walks

    Verhoeff, T. & Verhoeff, K., Jul 2017, Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture. Swart, D., Séquin, C. H. & Fenyvesi, K. (eds.). Phoenix, Arizona, USA: Tessellations Publishing, p. 197-204 8 p. (Bridges Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    99 Downloads (Pure)
  • 2016

    Modular modeling with a computational twist in Metamod

    Sutii, A.-M., Verhoeff, T. & Van Den Brand, M. G. J., 14 Mar 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain. New York: Association for Computing Machinery, Inc, p. 4-7 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Downloads (Pure)

  • Modular multilevel metamodeling with metaMod

    Sutii, A.-M., Verhoeff, T. & Van Den Brand, M. G. J., 14 Mar 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain. Association for Computing Machinery, Inc, p. 212-217 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
    1 Downloads (Pure)

  • Problem solving, presenting, and programming: a matter of giving and taking

    Verhoeff, T., 2016, International Olympiad in Informatics (IOI) Conference 2016, 14-16 August 2016, Kazan, Russian Federation. p. 231-235 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Three mathematical sculptures for the mathematikon

    Verhoeff, T. & Verhoeff, K., Jul 2016, Proceedings of Bridges 2016 : Mathematics, Music, Art, Architecture, Education, Culture, 9-13 August 2016, Jyväskylä, Finland . Torrence, E., Torrence, B., Séquin, C., Fenyvesi, K. & Sarhangi, R. (eds.). Phoenix: Tessellations Publishing, p. 105-110 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2015

    A survey of open source multiphysics frameworks in engineering

    Babur, O., Smilauer, V., Verhoeff, T. & Brand, van den, M. G. J., 2015, ICCS 2015 International Conference On Computational Science (Reykjavik, Iceland, June 1-3, 2015). p. 1088-1097 (Procedia Computer Science; vol. 51).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    15 Citations (Scopus)
    402 Downloads (Pure)

  • Chains of antiprisms

    Verhoeff, T. & Stoel, M., 2015, Bridges Baltimore 2015 : Mathematics, Music, Art, Architecture, Culture, Baltimore, MD, USA, July 29 - August 1, 2015. The Bridges Organization, p. 347-350 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3806 Downloads (Pure)

  • Three families of mitered Borromean ring sculptures

    Verhoeff, T. & Verhoeff, K., 2015, Bridges Beltimore 2015 : Mathematics, Music, Art, Architecture, Culture, 29 July–1 August 2015, Baltimore, MD, USA. Delp, K., Kaplan, C. S., McKenna, D. & Sarhangi, R. (eds.). The Bridges Organization, p. 53-60 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    224 Downloads (Pure)
  • 2014

    Lobke, and other constructions from conical segments

    Verhoeff, T. & Verhoeff, K., 2014, Proceedings of Bridges 2014 : Mathematics, Music, Art, Architecture, Culture (Seoul, Korea, August 14-19, 2014). Greenfield, G., Hart, G. & Sarhangi, R. (eds.). Phoenix AZ: Tessellations Publishing, p. 309-316

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    131 Downloads (Pure)
  • 2013

    Applying model transformation and Event-B for specifying an industrial DSL

    Tikhonova, U., Manders, M. W., Brand, van den, M. G. J., Andova, S. & Verhoeff, T., 2013, MoDeVVa 2013 : Workshop on Model Driven Engineering, Verification and Validation : Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Miami, Florida, October 1st, 2013. Boulanger, F., Famelis, M. & Ratiu, D. (eds.). CEUR-WS.org, p. 41-50 (CEUR Workshop Proceedings; vol. 1069).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    12 Citations (Scopus)
    120 Downloads (Pure)

  • Folded strips of rhombuses, and a plea for the √2 : 1 rhombus

    Verhoeff, T. & Verhoeff, K., 2013, Proceedings of Bridges 2013: Mathematics, Music, Art, Architecture, Culture (Enschede, The Netherlands, July 27-31, 2013). Hart, G. & Sarhangi, R. (eds.). Phoenix AZ: Tessellations Publishing, p. 71-78

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Self-consistent peer ranking for assessing student work : dealing with large populations

    Overveld, van, C. W. A. M. & Verhoeff, T., 2013, 5th International Conference on Computer Supported Education (CSEDU 2013), May 6-8, 2013, Aachen, Germany. Foley, O., Restivo, M. T., Onohuome Uhomoibhi, J. & Helfert, M. (eds.). Aachen, Germany: SciTePress Digital Library, p. 399-404

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
  • 2012

    Combinatorial choreography

    Verhoeff, T., 2012, Proceedings of Bridges Towson: Mathematics, Music, Art, Architecture, Culture (15th Annual Bridges Conference, Towson MD, USA, July 25-29, 2012). Bosch, R., McKenna, D. & Sarhangi, R. (eds.). Tessellations Publishing, p. 607-612

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Generalizations of Rice's theorem, applicable to executable and non-executable formalisms

    Huizing, C., Kuiper, R. & Verhoeff, T., 2012, Turing-100. Voronkov, A. (ed.). EasyChair, p. 168-180 (EPiC Series; vol. 10).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Mitered fractal trees: constructions and properties

    Verhoeff, T. & Verhoeff, K., 2012, Proceedings of Bridges Towson: Mathematics, Music, Art, Architecture, Culture (15th Annual Bridges Conference, Towson MD, USA, July 25-29, 2012). Bosch, R., McKenna, D. & Sarhangi, R. (eds.). Tessellations Publishing, p. 25-32

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2011

    A generic solution for syntax-driven model co-evolution

    Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 2011, Objects, Models, Components, Patterns (49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings). Bishop, J. & Vallecillo, A. (eds.). Berlin: Springer, p. 36-51 (Lecture Notes in Computer Science; vol. 6705).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)

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

    Brand, van den, M. G. J., Hofkamp, A. T., Verhoeff, T. & Protic, Z., 2011, Proceedings of the 2nd International Workshop on Model Comparison in Practice (IWMCP 2011) June 30, 2011; held in conjunction with TOOLS 2011 , Zurich, Switzerland. New York NY: Association for Computing Machinery, Inc, p. 2-11

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)

  • From chain-link fence to space-spanning mathematical structures

    Verhoeff, T. & Verhoeff, K., 2011, Proceedings of Bridges 2011: Mathematics, Music, Art, Architecture, Culture (14th Annual Conference, Coimbra, Portugal, July 2011). Tessellations Publishing, p. 1-8

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    82 Downloads (Pure)

  • On abstraction and informatics

    Verhoeff, T., 2011, Informatics in Schools: Situation, Evolution and Perspectives (5th International Conference, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011, Selected Papers). Bezáková, D. & Kalas, I. (eds.). Bratislava: Comenius University, p. 40-40 (+12 pages on CD-ROM)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    140 Downloads (Pure)

  • RCVDiff - a stand-alone tool for representation, calculation and visualization of model differences

    Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 2011, ME 2010 - International Workshop on Models and Evolution (Oslo, Norway, October 3, 2010; co-located with ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems). Association for Computing Machinery, Inc, p. ...-

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    99 Downloads (Pure)
  • 2010

    Branching miter joints : principles and artwork

    Verhoeff, T. & Verhoeff, K., 2010, Bridges Renaissance Pécs (Proceedings 13th Annual Bridges Conference, Pécs, Hungary, July 24-28, 2010). Hart, G. W. & Sarhangi, R. (eds.). p. 1-8

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    296 Downloads (Pure)

  • Fine-grained metamodel-assisted model comparison

    Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 2010, Proceedings of the 1st International Workshop on Model Comparison in Practice (IWMCP, Malaga, Spain, July 1, 2010; in conjunction with ICMT 2010). De Ruscio, D. & Kolovos, D. S. (eds.). New York NY: Association for Computing Machinery, Inc, p. 11-20 (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    13 Citations (Scopus)
    1 Downloads (Pure)

  • Generic tool for visualization of model differences

    Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 2010, Proceedings of the 1st International Workshop on Model Comparison in Practice (IWMCP, Malaga, Spain, July 1, 2010; in conjunction with ICMT 2010). De Ruscio, D. & Kolovos, D. S. (eds.). New York NY: Association for Computing Machinery, Inc, p. 66-75 (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    14 Citations (Scopus)

  • Halting still standing - Programs versus specifications

    Huizing, C., Kuiper, R. & Verhoeff, T., 2010, Unifying Theories of Programming (Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings). Qin, S. (ed.). Berlin: Springer, p. 226-233 (Lecture Notes in Computer Science; vol. 6445).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
    1 Downloads (Pure)
  • 2009

    Regular 3D polygonal circuits of constant torsion

    Verhoeff, T. & Verhoeff, K., 2009, Bridges Renaissance Banff II: Mathematics, Music, Art, Architecture, Culture (Proceedings 12th Annual Bridges Conference, Banff, Alberta, Canada, July 26-29, 2009). p. 223-230

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    256 Downloads (Pure)
  • 2008

    The mathematics of mitering and its artful application

    Verhoeff, T. & Verhoeff, K., 2008, Bridges Leeuwarden: Mathematical Connections in Art, Music, and Science (Proceedings 11th Annual Bridges Conference, Leeuwarden, The Netherlands, July 24-28, 2008). Sarhangi, R. & Séquin, C. (eds.). p. 225-234

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  • Transforming process algebra models into UML state machines : Bridging a semantic gap?

    Amstel, van, M. F., Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 2008, Theory and Practice of Model Transformations (First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings). Vallecillo, A., Gray, J. & Pierantonio, A. (eds.). Berlin: Springer, p. 61-75 (Lecture Notes in Computer Science; vol. 5063).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    15 Citations (Scopus)
    2 Downloads (Pure)
  • 2006

    A master class software engineering for secondary education

    Verhoeff, T., 2006, Informatics Education - The Bridge between Using and Understanding Computers (Proceedings International Conference on Informatics in Secondary Schools, Evolution and Perspectives, ISSEP2006, Vilnius, Lithuania, November 7-11, 2006). Mittermeir, R. T. (ed.). Berlin: Springer, p. 150-158 (Lecture Notes in Computer Science; vol. 4226).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)
    1 Downloads (Pure)
  • 2004

    Reward variance in Markov chains : a calculational approach

    Verhoeff, T., 2004, Proceedings of the Eindhoven FASTAR Days 2004 (Eindhoven, The Netherlands, September 3-4, 2004). Cleophas, L. G. W. A. & Watson, B. W. (eds.). Eindhoven: Technische Universiteit Eindhoven, (Computer Science Reports; vol. 04-40).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    125 Downloads (Pure)
  • 1999

    Analysis and applications of the XDI model

    Mallon, W. C., Udding, J. T. & Verhoeff, T., 1999, Proceedings 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'99, Barcelona, Spain, April 19-22, 1999). Los Alamitos CA: IEEE Computer Society, p. 231-242

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    11 Citations (Scopus)
  • 1998

    Analyzing specifications for delay-insensitive circuits

    Verhoeff, T., 1998, Proceedings 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'98, San Diego CA, USA, March 30-April 2, 1998). IEEE Computer Society, p. 172-183

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    15 Citations (Scopus)
    52 Downloads (Pure)
  • 1994

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

    Josephs, M. B., Lucassen, P., Udding, J. T. & Verhoeff, T., 1994, Proceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems (Salt Lake City UT, USA, November 3-5, 1994). p. 206-215

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    8 Citations (Scopus)
  • 1992

    High-level design of an asynchronous packet-routing chip

    Josephs, M. B., Mak, R. H., Udding, J. T., Verhoeff, T. & Yantchev, J. T., 1992, Designing correct circuits (Proceedings 2nd IFIP WG 10.2/ WG 10.5 Workshop, Lyngby, Denmark, January 6-8, 1992). Staunstrup, J. & Sharp, R. (eds.). Amsterdam: North-Holland Publishing Company, p. 261-274 (IFIP Transactions A : Computer science and technology; vol. 5).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1991

    Asynchronous design of a router

    Josephs, M. B., Mak, R. H. & Verhoeff, T., 1991, Proceedings of the IEEE/ProRISC Symposium on Circuits, Systems and Signal Processing, Veldhoven, The Netherlands, April 3-4, 1991. Veen, J. P. (ed.). Utrecht: STW Technology Foundation, p. 173-179

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1989

    Networks of communicating processes and their (de-)composition

    Chen, W., Udding, J. T. & Verhoeff, T., 1989, Mathematics of Program Construction (Proceedings International Conference on the occasion of the 375th Anniversary of the Groningen University, Groningen, The Netherlands, June 26-30, 1989). Jeuring, J. & Snepscheut, van de, J. L. A. (eds.). Berlin: Springer, p. 174-196 (Lecture Notes in Computer Science; vol. 375).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    8 Citations (Scopus)
    2 Downloads (Pure)