• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
2002

Timed process algebras

Baeten, J. C. M., 2002, Proceedings Models for Time-Critical Systems (MTCS 2001, Aalborg, Denmark, August 25, 2001), Satellite event of CONCUR 2001. Corradini, F. & Vogler, W. (redactie). blz. 207-208 (Electronic Notes in Theoretical Computer Science; vol. 52(3)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

VIPwin : a general-purpose platform of natural user interface in Windows based on VIP technology

Hou, Y., Hao, L., Zuo, F., Kong, J., Wesselink, J. W. & Greef, de, H. P., 2002, Proceedings 5th Asia Pacific Conference on Computer Human Interaction (APCHI '02, Beijing, China, November 2002). Beijing, China: APCHI, blz. 785-798

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2001

Metric semantics and full abstractness for action refinement and probabilistic choice

Hartog, den, J. I., Vink, de, E. P. & Bakker, de, J. W., 2001, Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000). Hurley, T., Mac an Airchinnigh, M., Schellekens, M. & Seda, A. (redactie). blz. 72-99 (Electronic Notes in Theoretical Computer Science; vol. 40).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)