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 |