dblp.uni-trier.dewww.uni-trier.de

Giorgio P. Faconti

Giorgio Faconti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
25EEGiorgio P. Faconti, Mieke Massink: Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198
2002
24EEGavin 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)
23EEMieke Massink, Giorgio P. Faconti: A reference framework for continuous interaction. Universal Access in the Information Society 1(4): 237-251 (2002)
2001
22EEGavin 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
19EEGavin J. Doherty, Giorgio P. Faconti, Mieke Massink: Formal Verification in the Design of Gestural Interaction. Electr. Notes Theor. Comput. Sci. 43: (2001)
18EEHoward 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
15EEDavid 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)
14EEHoward 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
12EEGiorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. Formal Asp. Comput. 10(4): 405-434 (1998)
11EEHoward 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
6EEDavid 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
3EEGiorgio 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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)