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
Hoofdstuk

Zoekresultaten

  • 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. (redactie). Springer, Vol. 11011. blz. 610-633 24 blz. (Lecture Notes in Computer Science; vol. 11011).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    Open Access
    1 Citaat (Scopus)
    2 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/CongresprocedureHoofdstukAcademicpeer review

    Open Access
    Bestand
    7 Citaten (Scopus)
    123 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. (redactie). Berlin: Springer, blz. 21-57 (Lecture Notes in Computer Science; vol. 7320).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    3 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. (redactie). London: Springer, blz. 45-58 14 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    1 Citaat (Scopus)
    1 Downloads (Pure)
  • 2007

    Wiskunde en creativiteit

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 2004

    Hoe veilig is PGP?

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

    1 Downloads (Pure)
  • 1999

    week 34 en week 48

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukPopulair

  • 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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 307-313

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

  • 1990

    A parallel program that generates the Möbius sequence

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review