Author of the publication

State of the Art on Formal Methods for Interactive Systems.

, , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)

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

Using frustration in the design of adaptive videogames., and . Advances in Computer Entertainment Technology, page 228-232. ACM, (2004)HCI and the Educational Technology Revolution., , and . AVI, page 368-371. ACM, (2016)Modelling the relationship between state and display in interactive systems., and . Informatics and Psychology Workshop, volume 439 of Lecture Notes in Computer Science, page 241-249. Springer, (1988)Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces.. DSV-IS, volume 2545 of Lecture Notes in Computer Science, page 238-252. Springer, (2002)Extended Episodic Experience in Social Mediating Technology: Our Legacy., and . HCI (22), volume 8531 of Lecture Notes in Computer Science, page 452-461. Springer, (2014)Reviewing Designs for a Synchronous-Asynchronous Group Editing Environment, , , , and . Computer Supported Collaborative Writing, Springer Verlag, London, (1993)Exploting Space and Location as a Design Framework for Interactive Mobile Systems, , , , and . ACM Transactions on Computer-Human Interaction, 7 (3): 285-321 (2000)Abstract, Generic Models of Interactive Systems.. BCS HCI, page 63-77. Cambridge University Press, (1988)Query by Browsing., and . IDS, page 236-248. Springer, (1994)Understanding the role of image recognition in mobile tour guides., , , and . Mobile HCI, page 191-198. ACM, (2005)