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 verification of a pervasive messaging system., , , and . Formal Aspects Comput., 26 (4): 677-694 (2014)Ontonym: a collection of upper ontologies for developing pervasive systems., , , and . CIAO@ESWC, page 9:1-9:8. ACM, (2009)Contextual design: an emergent view of system design., , and . CHI, page 329-336. ACM, (1990)A first approach to the closed-form specification and analysis of an autonomic control system., , , , and . ICECCS, page 229-237. IEEE Computer Society, (2007)An open-source data manager for network models., , , , , , and . Environ. Model. Softw., (2019)Modeling the Cost of Software Quality.. Digit. Tech. J., (1993)A Proposed Approach to Evaluate the Accuracy of Tag-based Location Systems, , , , , and . In USE 07: Workshop on Ubiquitous Systems Evaluation, Innsbruck, Austria, 2007. UbiComp 2007 Workshop Proceedings, page 292--296. (September 2007)An interoperable software ecosystem to store, visualize, and publish water resources systems modelling data., , , , and . Environ. Model. Softw., (2022)Integrating Multiple Contexts and Ontologies in a Pervasive Computing Framework., , , , , and . C&O@ECAI, volume 210 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Towards Scatterbox: a Context-Aware Message Forwarding Platform, , , , , , and . Fourth International Workshop on Modeling and Reasoning in Context (MRC 2007), page 13--24. (August 2007)