Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Giorgio P. Faconti
Giorgio Faconti
2000 – 2009
- 2009
[c14]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- [c13]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
- [c12]Giorgio P. Faconti, Mieke Massink: Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198
- 2002
- [j16]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)
- [j15]Mieke Massink, Giorgio P. Faconti: A reference framework for continuous interaction. Universal Access in the Information Society 1(4): 237-251 (2002)
- 2001
- [j14]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)
- [j13]Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: 97-112 (2001)
- [j12]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)
- [c11]Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti: Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163
- [c10]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
- [c9]Giorgio P. Faconti, Mieke Massink: Continuous interaction with computers: issues and requirements. HCI 2001: 301-305
- 2000
- [j11]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)
1990 – 1999
- 1999
- [j10]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)
- [j9]Howard Bowman, Giorgio P. Faconti: Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Asp. Comput. 11(2): 132-159 (1999)
- 1998
- [j8]Giorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. Formal Asp. Comput. 10(4): 405-434 (1998)
- [j7]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)
- [c8]Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
- 1997
- [j6]Thomas Rist, Giorgio Faconti, Michael D. Wilson: Editorial. Computer Standards & Interfaces 18(6-7): 473-475 (1997)
- [j5]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)
- [c7]Giorgio P. Faconti, Mieke Massink: Investigating the behaviour of PREMO synchronizable objects. DSV-IS 1997: 125-141
- 1996
- [j4]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)
- [c6]
- [c5]Monica Bordegoni, Giorgio P. Faconti: Architectural Models of Gesture Systems. Gesture Workshop 1996: 61-73
- [c4]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
- 1994
- [c3]David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò: Unifying Views of Interactors. Advanced Visual Interfaces 1994: 143-152
- [c2]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
- [j3]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
- [j2]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)
- [j1]Giorgio P. Faconti, Fabio Paternò: A visual environment to define composition of interacting graphical objects. The Visual Computer 9(2): 73-83 (1992)
- 1990
- [c1]Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò: A Model of Interaction for Graphical Systems. DISCO 1990: 255-263
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:00 CET by the dblp team