| 2006 |
| 25 | EE | Giorgio P. Faconti,
Mieke Massink:
Analysis of Pointing Tasks on a White Board.
DSV-IS 2006: 185-198 |
| 2002 |
| 24 | EE | Gavin J. Doherty,
Giorgio P. Faconti,
Mieke Massink,
Michael Wilson:
Continuous interaction in future computing systems.
Universal Access in the Information Society 1(4): 235-236 (2002) |
| 23 | EE | Mieke Massink,
Giorgio P. Faconti:
A reference framework for continuous interaction.
Universal Access in the Information Society 1(4): 237-251 (2002) |
| 2001 |
| 22 | EE | Gavin J. Doherty,
Mieke Massink,
Giorgio P. Faconti:
Reasoning about Interactive Systems with Stochastic Models.
DSV-IS 2001: 144-163 |
| 21 | | Gavin J. Doherty,
Tim Anderson,
Michael Wilson,
Giorgio P. Faconti:
A control centred approach to designing interaction with novel devices.
HCI 2001: 286-290 |
| 20 | | Giorgio P. Faconti,
Mieke Massink:
Continuous interaction with computers: issues and requirements.
HCI 2001: 301-305 |
| 19 | EE | Gavin J. Doherty,
Giorgio P. Faconti,
Mieke Massink:
Formal Verification in the Design of Gestural Interaction.
Electr. Notes Theor. Comput. Sci. 43: (2001) |
| 18 | EE | Howard Bowman,
Giorgio P. Faconti,
Mieke Massink:
Towards Integrated Cognitive and Interface Analysis.
Electr. Notes Theor. Comput. Sci. 43: (2001) |
| 17 | | Gavin J. Doherty,
Mieke Massink,
Giorgio P. Faconti:
Using Hybrid Automata to Support Human Factors Analysis in a Critical System.
Formal Methods in System Design 19(2): 143-164 (2001) |
| 2000 |
| 16 | | Giorgio P. Faconti,
Mieke Massink,
Monica Bordegoni,
Franco De Angelis,
S. Booth:
Haptic Cues for Image Disambiguation.
Comput. Graph. Forum 19(3): (2000) |
| 1999 |
| 15 | EE | David A. Duce,
David J. Duke,
Giorgio P. Faconti,
Ivan Herman:
The Changing Face of Standardization: A Place for Formal Methods?
Formal Asp. Comput. 11(1): 1-20 (1999) |
| 14 | EE | Howard Bowman,
Giorgio P. Faconti:
Analysing Cognitive Behaviour using LOTOS and Mexitl.
Formal Asp. Comput. 11(2): 132-159 (1999) |
| 1998 |
| 13 | | Howard Bowman,
Giorgio P. Faconti,
Mieke Massink:
Specification and Verification of Media Constraints using UPAAL.
DSV-IS 1998: 261-277 |
| 12 | EE | Giorgio P. Faconti,
Mieke Massink:
Modelling and Verification of PREMO Synchronisable Objects.
Formal Asp. Comput. 10(4): 405-434 (1998) |
| 11 | EE | Howard Bowman,
Giorgio P. Faconti,
Joost-Pieter Katoen,
Diego Latella,
Mieke Massink:
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.
Formal Asp. Comput. 10(5-6): 550-575 (1998) |
| 1997 |
| 10 | | Giorgio P. Faconti,
Mieke Massink:
Investigating the behaviour of PREMO synchronizable objects.
DSV-IS 1997: 125-141 |
| 1996 |
| 9 | | Giorgio P. Faconti,
David J. Duke:
Device Models.
DSV-IS 1996: 73-91 |
| 8 | | Monica Bordegoni,
Giorgio P. Faconti:
Architectural Models of Gesture Systems.
Gesture Workshop 1996: 61-73 |
| 7 | | Giorgio P. Faconti,
Monica Bordegoni,
Klaus Kansy,
Panos E. Trahanias,
Thomas Rist,
Michael Wilson:
Formal Framework and Necessary Properties of the Fusion of Input Modes in User Interfaces.
Interacting with Computers 8(2): 134-161 (1996) |
| 1994 |
| 6 | EE | David J. Duke,
Giorgio P. Faconti,
Michael D. Harrison,
Fabio Paternò:
Unifying Views of Interactors.
Advanced Visual Interfaces 1994: 143-152 |
| 5 | | Giorgio P. Faconti,
Angelo Fornari,
Nicola Zani:
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices.
DSV-IS 1994: 349-367 |
| 1993 |
| 4 | | P. Coltelli,
Giorgio P. Faconti,
F. Marfori:
On The Application of Quantization and Dithering Techniques to History of Arts.
Comput. Graph. Forum 12(3): 351-362 (1993) |
| 1992 |
| 3 | EE | Giorgio P. Faconti,
Nicola Zani,
Fabio Paternò:
The Input Model of Standard Graphics Systems Revisited by Formal Specification.
Comput. Graph. Forum 11(3): 237-251 (1992) |
| 2 | | Giorgio P. Faconti,
Fabio Paternò:
A visual environment to define composition of interacting graphical objects.
The Visual Computer 9(2): 73-83 (1992) |
| 1990 |
| 1 | | Giorgio P. Faconti,
R. D. Bettarini,
Fabio Paternò:
A Model of Interaction for Graphical Systems.
DISCO 1990: 255-263 |