Giorgio P. Faconti

Giorgio Faconti

	2009
30		Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink: A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS 2009: 211-220
29		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
28		Giorgio P. Faconti, Mieke Massink: Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198
	2002
27		Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson: Continuous interaction in future computing systems. Universal Access in the Information Society 1(4): 235-236 (2002)
26		Mieke Massink, Giorgio P. Faconti: A reference framework for continuous interaction. Universal Access in the Information Society 1(4): 237-251 (2002)
	2001
25		Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti: Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163
24		Gavin J. Doherty, Tim Anderson, Michael D. Wilson, Giorgio P. Faconti: A control centred approach to designing interaction with novel devices. HCI 2001: 286-290
23		Giorgio P. Faconti, Mieke Massink: Continuous interaction with computers: issues and requirements. HCI 2001: 301-305
22		Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink: Formal Verification in the Design of Gestural Interaction. Electr. Notes Theor. Comput. Sci. 43: 75-96 (2001)
21		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: 97-112 (2001)
20		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
19		Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth: Haptic Cues for Image Disambiguation. Comput. Graph. Forum 19(3): 169-178 (2000)
	1999
18		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)
17		Howard Bowman, Giorgio P. Faconti: Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Asp. Comput. 11(2): 132-159 (1999)
	1998
16		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
15		Giorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. Formal Asp. Comput. 10(4): 405-434 (1998)
14		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
13		Giorgio P. Faconti, Mieke Massink: Investigating the behaviour of PREMO synchronizable objects. DSV-IS 1997: 125-141
12		Thomas Rist, Giorgio Faconti, Michael D. Wilson: Editorial. Computer Standards & Interfaces 18(6-7): 473-475 (1997)
11		Monica Bordegoni, Giorgio P. Faconti, Steven Feiner, Mark T. Maybury, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson: A standard reference model for intelligent multimedia presentation systems. Computer Standards & Interfaces 18(6-7): 477-496 (1997)
	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 D. 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 D. 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		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page