Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FMIS@BCS HCI 2007: Lancaster, UK
- Antonio Cerone, Paul Curzon:
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007. Electronic Notes in Theoretical Computer Science 208, Elsevier 2008 - Antonio Cerone, Paul Curzon
:
Preface. 1-3 - Judy Bowen, Steve Reeves:
Refinement for User Interface Designs. 5-22 - Alan J. Dix, Masitah Ghazali, Devina Ramduny-Ellis:
Modelling Devices for Natural Interaction. 23-40 - Michael D. Harrison, Christian Kray, José Creissac Campos:
Exploring an Option Space to Engineer a Ubiquitous Computing System. 41-55 - Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford:
Formal Modelling of Salience and Cognitive Load. 57-75 - José Luís Silva, José Creissac Campos, Ana C. R. Paiva:
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. 77-93 - Li Su, Howard Bowman, Philip J. Barnard:
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. 95-111 - Michael Westergaard:
A Game-theoretic Approach to Behavioural Visualisation. 113-129
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-06 21:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
