Giorgio P. Faconti Vis

Giorgio Faconti

*	2009
27	EE	Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler: Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) 2009: 494-509
	2006
26	EE	Giorgio P. Faconti, Mieke Massink: Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198
	2002
25	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)
24	EE	Mieke Massink, Giorgio P. Faconti: A reference framework for continuous interaction. Universal Access in the Information Society 1(4): 237-251 (2002)
	2001
23	EE	Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti: Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163
22		Gavin J. Doherty, Tim Anderson, Michael Wilson, Giorgio P. Faconti: A control centred approach to designing interaction with novel devices. HCI 2001: 286-290
21		Giorgio P. Faconti, Mieke Massink: Continuous interaction with computers: issues and requirements. HCI 2001: 301-305
20	EE	Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink: Formal Verification in the Design of Gestural Interaction. Electr. Notes Theor. Comput. Sci. 43: (2001)
19	EE	Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: (2001)
18		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
17		Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth: Haptic Cues for Image Disambiguation. Comput. Graph. Forum 19(3): (2000)
	1999
16	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)
15	EE	Howard Bowman, Giorgio P. Faconti: Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Asp. Comput. 11(2): 132-159 (1999)
	1998
14		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
13	EE	Giorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. Formal Asp. Comput. 10(4): 405-434 (1998)
12	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
11		Giorgio P. Faconti, Mieke Massink: Investigating the behaviour of PREMO synchronizable objects. DSV-IS 1997: 125-141
	1996
10		Giorgio P. Faconti, David J. Duke: Device Models. DSV-IS 1996: 73-91
9		Monica Bordegoni, Giorgio P. Faconti: Architectural Models of Gesture Systems. Gesture Workshop 1996: 61-73
8		Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael Wilson: Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. MMM 1996: 3-20
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	EE	Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò: A Model of Interaction for Graphical Systems. DISCO 1990: 255-263

Coauthor Index

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

Colors in the list of coauthors