• 1772 Citaties
1974 …2015

Research output per year

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

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Kees M. van Hee actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 1 Soortgelijke profielen

Onderzoeksoutput

Modeling hybrid systems with petri nets

Bera, D., van Hee, K. M. & Nijmeijer, H., 2015, Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers. Dordrecht: Springer, blz. 17-42 26 blz. (Advances in Intelligent Systems and Computing; vol. 402).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 3 Citaten (Scopus)

    Relationship between Simulink and Petri nets

    Bera, D., Hee, van, K. M. & Nijmeijer, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 1406)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand
  • Relationship between Simulink and Petri nets

    Bera, D., van Hee, K. M. & Nijmeijer, H., 2014, Proceedings of SIMULTECH 2014 : Fourth International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 28-30 August, 2014, Vienna, Austria. Obaidat, M. S., Kacprzyk, J. & Tuncer Oren, X. (redactie). s.l.: s.n., blz. 44-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Tele-operated service robots : ROSE

    Osch, van, M. P. W. J., Bera, D., Hee, van, K. M., Koks, Y. & Zeegers, H., 2014, In : Automation in Construction. 39, 1, blz. 152-160 9 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 21 Citaten (Scopus)
    3 Downloads (Pure)

    Business process modeling using Petri nets

    Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (redactie). Berlin: Springer, blz. 116-161 (Lecture Notes in Computer Science; vol. 7480).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 12 Citaten (Scopus)
    11 Downloads (Pure)

    Scriptie

    Aanzet tot de ontwikkeling van een informatiesysteem voor het werken met Markov-modellen

    Auteur: van den Elzen, J., 31 aug 1986

    Begeleider: Wessels, J. (Afstudeerdocent 1), van Hee, K. (Afstudeerdocent 2) & Venema, W. (Externe persoon) (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Aanzet tot het ontwerp van een informatiesysteem voor het werken met Markov-modellen

    Auteur: Reynaerts, J., 31 aug 1986

    Begeleider: van Hee, K. (Afstudeerdocent 1), Wessels, J. (Afstudeerdocent 2) & Venema, W. (Externe persoon) (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Adaptive architecture for polis system

    Auteur: Bera, D., 31 aug 2008

    Begeleider: van Hee, K. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Afleiden en bewijzen van functionele programma's

    Auteur: Robinson, R., 31 aug 1986

    Begeleider: Rem, M. (Afstudeerdocent 1), van Hee, K. (Afstudeerdocent 2) & Boots, P. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    A mathematical view on entity-relationship models

    Auteur: van der Lee, P., 1 dec 1986

    Begeleider: van Hee, K. (Afstudeerdocent 1) & Rem, M. (Afstudeerdocent 2)

    Scriptie/masterproef: Master