From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism., и . BCS HCI, стр. 213-231. Cambridge University Press, (1995)A Formal Specification of the CORBA Event Service., , , и . FMOODS, том 177 из IFIP Conference Proceedings, стр. 371-395. Kluwer, (2000)Model-Based Interactive Prototyping of Highly Interactive Applications., , и . CADUI, стр. 205-216. Kluwer, (2002)A model-based tool for interactive prototyping of highly interactive applications., , и . CHI Extended Abstracts, стр. 516-517. ACM, (2002)Paper Ontology-Driven Customization of Home-Care Workflows., , , и . DEXA Workshops, стр. 498-502. IEEE Computer Society, (2011)SADS: Generic Web access to space data., и . WebNet, AACE, (1996)DAVID: A Multimedia Tool for Accident Investigation., и . BCS HCI, стр. 349-368. Springer, (1996)Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)., и . ECOOP Workshops, том 1357 из Lecture Notes in Computer Science, стр. 221-255. Springer, (1997)Validating interactive system design through the verification of formal task and system models., , и . EHCI, том 45 из IFIP Conference Proceedings, стр. 189-212. Chapman & Hall, (1995)Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues., и . CADUI, стр. 285-302. Presses Universitaires de Namur, (1996)