Tom Verhoeff

dr.ir.

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

  • Bron: Scopus
1985 …2021

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.
Filter
Conferentiebijdrage

Zoekresultaten

  • 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, blz. 289-296 8 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Phoenix: Tessellations Publishing, blz. 375-378 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    15 Downloads (Pure)
  • Programming, software development, and computer science: the golden triangle

    Verhoeff, T., jul 2019, Olympiads in Informatics. Dagiene, V. (redactie). Vilnius: Vilnius University, blz. 157-170 14 blz. (Olympiads in Informatics; vol. 13).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    40 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. (redactie). Phoenix: Tessellations Publishing, blz. 407-410 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    34 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. (redactie). Phoenix, Arizona, USA: Tessellations Publishing, blz. 3-6

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    22 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. (redactie). Phoenix, Arizona, USA: Tessellations Publishing, blz. 447-450 4 blz. (Bridges Conference Proceedings).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    40 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. (redactie). Phoenix, Arizona, USA: Tessellations Publishing, blz. 197-204 8 blz. (Bridges Conference Proceedings).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Bestand
    52 Downloads (Pure)
  • 2016

    Modular modeling with a computational twist in Metamod

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Downloads (Pure)
  • Modular multilevel metamodeling with metaMod

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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. blz. 231-235 5 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Phoenix: Tessellations Publishing, blz. 105-110 6 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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). blz. 1088-1097 (Procedia Computer Science; vol. 51).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    11 Citaten (Scopus)
    327 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, blz. 347-350 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    3746 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. (redactie). The Bridges Organization, blz. 53-60 8 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    180 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. (redactie). Phoenix AZ: Tessellations Publishing, blz. 309-316

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    100 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. (redactie). CEUR-WS.org, blz. 41-50 (CEUR Workshop Proceedings; vol. 1069).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    8 Citaten (Scopus)
    62 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. (redactie). Phoenix AZ: Tessellations Publishing, blz. 71-78

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Aachen, Germany: SCITEPRESS-Science and Technology Publications, Lda., blz. 399-404

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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. (redactie). Tessellations Publishing, blz. 607-612

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Tessellations Publishing, blz. 25-32

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 36-51 (Lecture Notes in Computer Science; vol. 6705).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (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, blz. 2-11

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (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, blz. 1-8

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    47 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. (redactie). Bratislava: Comenius University, blz. 40-40 (+12 pages on CD-ROM)

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    66 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, blz. ...-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    56 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. (redactie). blz. 1-8

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    259 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. (redactie). New York NY: Association for Computing Machinery, Inc, blz. 11-20 (ACM International Conference Proceeding Series).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    12 Citaten (Scopus)
  • 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. (redactie). New York NY: Association for Computing Machinery, Inc, blz. 66-75 (ACM International Conference Proceeding Series).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (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. (redactie). Berlin: Springer, blz. 226-233 (Lecture Notes in Computer Science; vol. 6445).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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). blz. 223-230

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    251 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. (redactie). blz. 225-234

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • 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. (redactie). Berlin: Springer, blz. 61-75 (Lecture Notes in Computer Science; vol. 5063).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    14 Citaten (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. (redactie). Berlin: Springer, blz. 150-158 (Lecture Notes in Computer Science; vol. 4226).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (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. (redactie). Eindhoven: Technische Universiteit Eindhoven, (Computer Science Reports; vol. 04-40).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    42 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, blz. 231-242

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (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, blz. 172-183

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    13 Citaten (Scopus)
  • 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). blz. 206-215

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    8 Citaten (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. (redactie). Amsterdam: North-Holland Publishing Company, blz. 261-274 (IFIP Transactions A : Computer science and technology; vol. 5).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Utrecht: STW Technology Foundation, blz. 173-179

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 174-196 (Lecture Notes in Computer Science; vol. 375).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
    2 Downloads (Pure)