default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiorgio P. Faconti
Person information
- affiliation: National Research Council, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
[c21]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- [c20]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
- [c19]Giorgio P. Faconti, Mieke Massink:
Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198 - 2002
- [j15]Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson:
Continuous interaction in future computing systems. Univers. Access Inf. Soc. 1(4): 235-236 (2002) - [j14]Mieke Massink, Giorgio P. Faconti:
A reference framework for continuous interaction. Univers. Access Inf. Soc. 1(4): 237-251 (2002) - 2001
- [j13]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): 143-164 (2001) - [c18]Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti:
Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163 - [c17]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 - [c16]Giorgio P. Faconti, Mieke Massink:
Continuous interaction with computers: issues and requirements. HCI 2001: 301-305 - 2000
- [j12]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) - [c15]Giorgio P. Faconti, Mieke Massink:
Continuity in human computer interaction. CHI Extended Abstracts 2000: 364 - [c14]Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink:
Formal Verification in the Design of Gestural Interaction. FM-Everywhere@FORTE/PSTV 2000: 75-96 - [c13]Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Towards Integrated Cognitive and Interface Analysis. FM-Everywhere@FORTE/PSTV 2000: 97-112
1990 – 1999
- 1999
- [j11]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): 1-20 (1999) - [j10]Howard Bowman, Giorgio P. Faconti:
Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects Comput. 11(2): 132-159 (1999) - 1998
- [j9]Giorgio P. Faconti, Mieke Massink:
Modelling and Verification of PREMO Synchronisable Objects. Formal Aspects Comput. 10(4): 405-434 (1998) - [j8]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): 550-575 (1998) - [c12]Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277 - 1997
- [j7]Thomas Rist, Giorgio Faconti, Michael D. Wilson:
Editorial. Comput. Stand. Interfaces 18(6-7): 473-475 (1997) - [j6]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): 477-496 (1997) - [c11]Giorgio P. Faconti, Mieke Massink:
Investigating the behaviour of PREMO synchronizable objects. DSV-IS 1997: 125-141 - 1996
- [j5]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): 134-161 (1996) - [j4]Giorgio P. Faconti:
Reasoning on gestural interfaces through syndetic modelling]. ACM SIGCHI Bull. 28(3): 71-76 (1996) - [c10]Giorgio P. Faconti, David J. Duke:
Device Models. DSV-IS 1996: 73-91 - [c9]Monica Bordegoni, Giorgio P. Faconti:
Architectural Models of Gesture Systems. Gesture Workshop 1996: 61-73 - [c8]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
- [c7]David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò:
Unifying Views of Interactors. Advanced Visual Interfaces 1994: 143-152 - [c6]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]Primo 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. Vis. Comput. 9(2): 73-83 (1992) - 1990
- [c5]Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò:
A Model of Interaction for Graphical Systems. DISCO 1990: 255-263 - [c4]Giorgio P. Faconti, Fabio Paternò:
An Approach to the Formal Specification of the Components of an Interaction. Eurographics 1990
1980 – 1989
- 1985
- [c3]R. D. Bettarini, Giorgio Faconti, Laura Moltedo:
Extending GKS to a Distributed Architecture. Eurographics 1985 - 1984
- [c2]Renzo Beltrame, Giorgio Faconti, Patrizia Palamidese:
An APL interface to the open systems interconnection for large scale application systems. APL 1984: 25-31 - 1982
- [c1]Giorgio P. Faconti, Patrizia Palamidese:
Practicing on the CORE Graphics System. APL 1982: 105-112
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
