Foto van Tom Verhoeff

Bekijk Scopus-profiel

Tom Verhoeff

dr.ir.

 https://orcid.org/0000-0002-5114-5985
  • 780
    Citaties
1985 …2025

Onderzoeksresultaten per jaar

Filter
Conferentiebijdrage

Zoekresultaten

  • 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. (uitgave). Phoenix, Arizona: Tessellations Publishing, blz. 349-352 4 blz. (Bridges Conference Proceedings; vol. 2024).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • 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. (uitgave). Tessellations Publishing, blz. 259-266 8 blz. (Proceedings of Bridges).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Tessellations Publishing, blz. 425-428 4 blz. (Bridges Conference Proceedings).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Phoenix, Arizona, USA: Tessellations Publishing, blz. 347-350 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    55 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. (uitgave). Phoenix, Arizona, USA: Tessellations Publishing, blz. 111-118 8 blz. 31

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    79 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, blz. 289-296 8 blz.

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    51 Downloads (Pure)

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

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    1 Citaat (Scopus)
    186 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. (uitgave). Phoenix: Tessellations Publishing, blz. 407-410 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Bestand
    98 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    3 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/Congresprocedure › Conferentiebijdrage › Academic › peer 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/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Phoenix: Tessellations Publishing, blz. 105-110 6 blz.

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    14 Citaten (Scopus)
    400 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Aachen, Germany: SciTePress Digital Library, blz. 399-404

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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. (uitgave). Tessellations Publishing, blz. 607-612

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). EasyChair, blz. 168-180 (EPiC Series; vol. 10).

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

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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/Congresprocedure › Conferentiebijdrage › Academic › peer 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    139 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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/Congresprocedure › Conferentiebijdrage › Academic

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Berlin: Springer, blz. 61-75 (Lecture Notes in Computer Science; vol. 5063).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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. (uitgave). Eindhoven: Technische Universiteit Eindhoven, (Computer Science Reports; vol. 04-40).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

    Open Access
    Bestand
    122 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    11 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    15 Citaten (Scopus)
    49 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). blz. 206-215

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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. (uitgave). Amsterdam: North-Holland Publishing Company, blz. 261-274 (IFIP Transactions A : Computer science and technology; vol. 5).

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

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    8 Citaten (Scopus)
    2 Downloads (Pure)