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

Task-Based Assessment of Web Navigation Design., , , and . TAMODIA, page 161-169. INFOREC Publishing House Bucharest, (2002)Mobile Context-Aware Applications for Ubiquitous Computing., , and . J. UCS, 16 (15): 1927-1928 (2010)A Formal Specification of the CORBA Event Service., , , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 371-395. Kluwer, (2000)Proposta de um framework para visualização de dados agregados por similaridade para auxiliar consultas durante a navegação na web., , , , , , and . IHC, page 148-157. Brazilian Computer Society / ACM, (2013)Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism., and . BCS HCI, page 213-231. Cambridge University Press, (1995)Using complementary models-based approaches for representing and analysing ATM systems' variability., , , , , and . ATACCS, page 146-157. IRIT Press Toulouse, France / ACM DL, (2012)Exploiting gaming research and practice for engineering interactive critical systems., , , and . ATACCS, page 41-49. IRIT Press Toulouse, France / ACM DL, (2011)Model-Based Interactive Prototyping of Highly Interactive Applications., , and . CADUI, page 205-216. Kluwer, (2002)Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?, , , , , and . CHI Extended Abstracts, page 2133-2136. ACM, (2007)Safety-critical interaction: usability in incidents and accidents., , , , and . CHI Extended Abstracts, page 1600-1601. ACM, (2004)