The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giorgio P. Faconti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Giorgio P. Faconti, David J. Duke
    Device Models. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:73-91 [Conf]
  4. 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]
  5. Giorgio P. Faconti, Mieke Massink
    Investigating the behaviour of PREMO synchronizable objects. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:125-141 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. Monica Bordegoni, Giorgio P. Faconti
    Architectural Models of Gesture Systems. [Citation Graph (0, 0)][DBLP]
    Gesture Workshop, 1996, pp:61-73 [Conf]
  10. Giorgio P. Faconti, Mieke Massink
    Continuous interaction with computers: issues and requirements. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:301-305 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]

  26. Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. [Citation Graph (, )][DBLP]


  27. Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. [Citation Graph (, )][DBLP]


  28. A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002