Foto van Tom Verhoeff

Bekijk Scopus-profiel

Tom Verhoeff

dr.ir.

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

Onderzoeksresultaten per jaar

Filter
Hoofdstuk

Zoekresultaten

  • 2024

    Handling Sub-symmetry in Integer Programming using Activation Handlers

    Hojny, C., Verhoeff, T. & Wessel, S., 2024, Graphs and Combinatorial Optimization: from Theory to Applications. CTW 2023. Springer, blz. 95-107 13 blz. (AIRO Springer Series; vol. 13).

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

    Open Access
  • 2018

    A master class on recursion

    Verhoeff, T., 6 sep. 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H.-J., Komm, D. & Unger, W. (uitgave). Springer, blz. 610-633 24 blz. (Lecture Notes in Computer Science; vol. 11011).

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

    Open Access
    4 Citaten (Scopus)
    3 Downloads (Pure)
  • 2016

    Towards statistical comparison and analysis of models

    Babur, Ö., Cleophas, L., Verhoeff, T. & van den Brand, M., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . blz. 361-367

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

    Open Access
    Bestand
    12 Citaten (Scopus)
    211 Downloads (Pure)
  • 2012

    MDE basics with a DSL focus

    Andova, S., Brand, van den, M. G. J., Engelen, L. J. P. & Verhoeff, T., 2012, Formal Methods for Model-Driven Engineering (12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures). Bernardo, M., Cortellassa, V. & Pierantonio, A. (uitgave). Berlin: Springer, blz. 21-57 (Lecture Notes in Computer Science; vol. 7320).

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

    9 Citaten (Scopus)
    1 Downloads (Pure)

  • Model-driven software engineering

    Amstel, van, M. F., Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 1 jun. 2012, Automation in Warehouse Development. Hamberg, R. & Verriet, J. (uitgave). London: Springer, blz. 45-58 14 blz.

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

    2 Citaten (Scopus)
    1 Downloads (Pure)
  • 2007

    Wiskunde en creativiteit

    Verhoeff, T., 2007, Liber Amicorum Jan de Graaf. Meer, van der, J. C. (uitgave). Eindhoven: Technische Universiteit Eindhoven, blz. 132-136

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

  • 2004

    Hoe veilig is PGP?

    Verhoeff, T., 2004, WIRE Jarenboek 2001-2003. Eindhoven: WIRE, blz. 37-42

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

    1 Downloads (Pure)
  • 1999

    week 34 en week 48

    Verhoeff, T., 1999, Wiskundekalender 2000. Göbel, F. (uitgave). Amsterdam: Stichting Vierkant, (Doeboekjes; vol. 20).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Populair

  • 1995

    The lost group chart and related problems

    Verhoeff, T., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (uitgave). Eindhoven: Technische Universiteit Eindhoven, blz. 307-313

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • 1990

    A parallel program that generates the Möbius sequence

    Verhoeff, T. & Rem, M., 1990, Formal development of programs and proofs. Dijkstra, E. W. (uitgave). Reading MA: Addison-Wesley, blz. 171-182

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