Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism., and . BCS HCI, page 213-231. Cambridge University Press, (1995)Model-Based Interactive Prototyping of Highly Interactive Applications., , and . CADUI, page 205-216. Kluwer, (2002)A Formal Specification of the CORBA Event Service., , , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 371-395. Kluwer, (2000)Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)., and . ECOOP Workshops, volume 1357 of Lecture Notes in Computer Science, page 221-255. Springer, (1997)DAVID: A Multimedia Tool for Accident Investigation., and . BCS HCI, page 349-368. Springer, (1996)SADS: Generic Web access to space data., and . WebNet, AACE, (1996)A model-based tool for interactive prototyping of highly interactive applications., , and . CHI Extended Abstracts, page 516-517. ACM, (2002)Paper Ontology-Driven Customization of Home-Care Workflows., , , and . DEXA Workshops, page 498-502. IEEE Computer Society, (2011)Contextual Help for Free with Formal Dialogue Design., , and . HCI (2), page 615-620. Elsevier, (1993)0-444-89540-X.A scalable semantic framework for IoT healthcare applications., , , , , and . J. Ambient Intell. Humaniz. Comput., 14 (5): 4883-4901 (2023)