Giorgio P. Faconti

Publication Activity (10 Years)

Years Active: 1982-2009
Publications (10 Years): 0

Publications

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)
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)
Giorgio P. Faconti, Mieke Massink
Analysis of Pointing Tasks on a White Board. DSV-IS (2006)
Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson
Continuous interaction in future computing systems. Univers. Access Inf. Soc. 1 (4) (2002)
Mieke Massink, Giorgio P. Faconti
A reference framework for continuous interaction. Univers. Access Inf. Soc. 1 (4) (2002)
Giorgio P. Faconti, Mieke Massink
Continuous interaction with computers: issues and requirements. HCI (2001)
Howard Bowman, Giorgio P. Faconti, Mieke Massink
Towards Integrated Cognitive and Interface Analysis. Electron. Notes Theor. Comput. Sci. 43 (2001)
Gavin J. Doherty, Tim Anderson, Michael D. Wilson, Giorgio P. Faconti
A control centred approach to designing interaction with novel devices. HCI (2001)
Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink
Formal Verification in the Design of Gestural Interaction. Electron. Notes Theor. Comput. Sci. 43 (2001)
Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
Using Hybrid Automata to Support Human Factors Analysis in a Critical System. Formal Methods Syst. Des. 19 (2) (2001)
Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
Reasoning about Interactive Systems with Stochastic Models. DSV-IS (2001)
Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth
Haptic Cues for Image Disambiguation. Comput. Graph. Forum 19 (3) (2000)
Giorgio P. Faconti, Mieke Massink
Continuity in human computer interaction. CHI Extended Abstracts (2000)
Howard Bowman, Giorgio P. Faconti
Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects Comput. 11 (2) (1999)
David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
The Changing Face of Standardization: A Place for Formal Methods? Formal Aspects Comput. 11 (1) (1999)
Giorgio P. Faconti, Mieke Massink
Modelling and Verification of PREMO Synchronisable Objects. Formal Aspects Comput. 10 (4) (1998)
Howard Bowman, Giorgio P. Faconti, Mieke Massink
Specification and Verification of Media Constraints using UPAAL. DSV-IS (1998)
Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. 10 (5-6) (1998)
Giorgio P. Faconti, Mieke Massink
Investigating the behaviour of PREMO synchronizable objects. DSV-IS (1997)
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. Comput. Stand. Interfaces 18 (6-7) (1997)
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. Interact. Comput. 8 (2) (1996)
Monica Bordegoni, Giorgio P. Faconti
Architectural Models of Gesture Systems. Gesture Workshop (1996)
Giorgio P. Faconti, David J. Duke
Device Models. DSV-IS (1996)
Giorgio P. Faconti
Reasoning on gestural interfaces through syndetic modelling]. ACM SIGCHI Bull. 28 (3) (1996)
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)
Giorgio P. Faconti, Angelo Fornari, Nicola Zani
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. DSV-IS (1994)
David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
Unifying Views of Interactors. Advanced Visual Interfaces (1994)
Primo Coltelli, Giorgio P. Faconti, F. Marfori
On The Application of Quantization and Dithering Techniques to History of Arts. Comput. Graph. Forum 12 (3) (1993)
Giorgio P. Faconti, Nicola Zani, Fabio Paternò
The Input Model of Standard Graphics Systems Revisited by Formal Specification. Comput. Graph. Forum 11 (3) (1992)
Giorgio P. Faconti, Fabio Paternò
A visual environment to define composition of interacting graphical objects. Vis. Comput. 9 (2) (1992)
Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò
A Model of Interaction for Graphical Systems. DISCO (1990)
Giorgio P. Faconti, Fabio Paternò
An Approach to the Formal Specification of the Components of an Interaction. Eurographics (1990)
Giorgio P. Faconti, Patrizia Palamidese
Practicing on the CORE Graphics System. APL (1982)