|
Search the dblp DataBase
Giorgio P. Faconti:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
Unifying Views of Interactors. [Citation Graph (0, 0)][DBLP] Advanced Visual Interfaces, 1994, pp:143-152 [Conf]
- Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò
A Model of Interaction for Graphical Systems. [Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:255-263 [Conf]
- Giorgio P. Faconti, David J. Duke
Device Models. [Citation Graph (0, 0)][DBLP] DSV-IS, 1996, pp:73-91 [Conf]
- Giorgio P. Faconti, Angelo Fornari, Nicola Zani
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. [Citation Graph (0, 0)][DBLP] DSV-IS, 1994, pp:349-367 [Conf]
- Giorgio P. Faconti, Mieke Massink
Investigating the behaviour of PREMO synchronizable objects. [Citation Graph (0, 0)][DBLP] DSV-IS, 1997, pp:125-141 [Conf]
- Howard Bowman, Giorgio P. Faconti, Mieke Massink
Specification and Verification of Media Constraints using UPAAL. [Citation Graph (0, 0)][DBLP] DSV-IS, 1998, pp:261-277 [Conf]
- Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
Reasoning about Interactive Systems with Stochastic Models. [Citation Graph (0, 0)][DBLP] DSV-IS, 2001, pp:144-163 [Conf]
- Giorgio P. Faconti, Mieke Massink
Analysis of Pointing Tasks on a White Board. [Citation Graph (0, 0)][DBLP] DSV-IS, 2006, pp:185-198 [Conf]
- Monica Bordegoni, Giorgio P. Faconti
Architectural Models of Gesture Systems. [Citation Graph (0, 0)][DBLP] Gesture Workshop, 1996, pp:61-73 [Conf]
- Giorgio P. Faconti, Mieke Massink
Continuous interaction with computers: issues and requirements. [Citation Graph (0, 0)][DBLP] HCI, 2001, pp:301-305 [Conf]
- Gavin J. Doherty, Tim Anderson, Michael Wilson, Giorgio P. Faconti
A control centred approach to designing interaction with novel devices. [Citation Graph (0, 0)][DBLP] HCI, 2001, pp:286-290 [Conf]
- P. Coltelli, Giorgio P. Faconti, F. Marfori
On The Application of Quantization and Dithering Techniques to History of Arts. [Citation Graph (0, 0)][DBLP] Comput. Graph. Forum, 1993, v:12, n:3, pp:351-362 [Journal]
- Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth
Haptic Cues for Image Disambiguation. [Citation Graph (0, 0)][DBLP] Comput. Graph. Forum, 2000, v:19, n:3, pp:- [Journal]
- Giorgio P. Faconti, Nicola Zani, Fabio Paternò
The Input Model of Standard Graphics Systems Revisited by Formal Specification. [Citation Graph (0, 0)][DBLP] Comput. Graph. Forum, 1992, v:11, n:3, pp:237-251 [Journal]
- Howard Bowman, Giorgio P. Faconti, Mieke Massink
Towards Integrated Cognitive and Interface Analysis. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
- Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink
Formal Verification in the Design of Gestural Interaction. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
- Howard Bowman, Giorgio P. Faconti
Analysing Cognitive Behaviour using LOTOS and Mexitl. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1999, v:11, n:2, pp:132-159 [Journal]
- David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
The Changing Face of Standardization: A Place for Formal Methods? [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1999, v:11, n:1, pp:1-20 [Journal]
- Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1998, v:10, n:5-6, pp:550-575 [Journal]
- Giorgio P. Faconti, Mieke Massink
Modelling and Verification of PREMO Synchronisable Objects. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1998, v:10, n:4, pp:405-434 [Journal]
- Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
Using Hybrid Automata to Support Human Factors Analysis in a Critical System. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:2, pp:143-164 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Interacting with Computers, 1996, v:8, n:2, pp:134-161 [Journal]
- Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael Wilson
Continuous interaction in future computing systems. [Citation Graph (0, 0)][DBLP] Universal Access in the Information Society, 2002, v:1, n:4, pp:235-236 [Journal]
- Mieke Massink, Giorgio P. Faconti
A reference framework for continuous interaction. [Citation Graph (0, 0)][DBLP] Universal Access in the Information Society, 2002, v:1, n:4, pp:237-251 [Journal]
- Giorgio P. Faconti, Fabio Paternò
A visual environment to define composition of interacting graphical objects. [Citation Graph (0, 0)][DBLP] The Visual Computer, 1992, v:9, n:2, pp:73-83 [Journal]
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. [Citation Graph (, )][DBLP]
Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. [Citation Graph (, )][DBLP]
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.281secs
|