Giorgio Faconti
List of publications from the DBLP Bibliography Server - FAQ
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 |
1 | Tim Anderson | [21] |
2 | Franco De Angelis | [16] |
3 | R. D. Bettarini | [1] |
4 | S. Booth | [16] |
5 | Monica Bordegoni | [7] [8] [16] |
6 | Howard Bowman | [11] [13] [14] [18] |
7 | P. Coltelli | [4] |
8 | Gavin J. Doherty | [17] [19] [21] [22] [24] |
9 | David A. Duce | [15] |
10 | David J. Duke | [6] [9] [15] |
11 | Angelo Fornari | [5] |
12 | Michael D. Harrison | [6] |
13 | Ivan Herman (Iván Herman) | [15] |
14 | Klaus Kansy | [7] |
15 | Joost-Pieter Katoen | [11] |
16 | Diego Latella | [11] |
17 | F. Marfori | [4] |
18 | Mieke Massink | [10] [11] [12] [13] [16] [17] [18] [19] [20] [22] [23] [24] [25] |
19 | Fabio Paternò | [1] [2] [3] [6] |
20 | Thomas Rist | [7] |
21 | Panos E. Trahanias | [7] |
22 | Michael Wilson | [7] [21] [24] |
23 | Nicola Zani | [3] [5] |