CNR Institutional Research Information System

FACONTI, GIORGIO

FACONTI, GIORGIO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autore(i) File
Analysis of a pointing task on a white board 1-gen-2007 Faconti, G; Massink, M
A reference framework for continuous interaction 1-gen-2002 Massink M.; Faconti G.
Continuous interaction in future computing systems 1-gen-2002 Doherty, G.; Faconti, G.; Massink, M.; Wilson, M.
Continuous interaction in future computing systems 1-gen-2002 Doherty, G; Faconti, G; Massink, M; Wilson, M
Formal verification in the design of gestural interaction 1-gen-2001 Doherty, G; Faconti, G; Massink, M
Towards integrated cognitive and interface analysis 1-gen-2001 Bowman, H; Faconti, G; Massink, M
Using hybrid automata to support human factors analysis in a critical system 1-gen-2001 Doherty G.; Massink M.; Faconti G.
Haptic cues for image disambiguation 1-gen-2000 Faconti, G; Massink, M; Bordegoni, M; De Angelis, F; Booth, S
Analysing cognitive behaviour using LOTOS and Mexitl 1-gen-1999 Bowman, H; Faconti, G
The changing face of standardization: a place for formal methods? 1-gen-1999 Duce D.; Duke D.; Faconti G.; Herman I.
A standard reference model for intelligent multimedia presentation systems 1-gen-1998 Bordegoni M.; Faconti G.; Feiner S.; Maybury M.T.; Rist T.; Ruggieri S.; Trahanias P.; Wilson M.
Automatic verification of a lip-synchronisation protocol using UPPAAL 1-gen-1998 Bowman, H; Faconti, G; Katoen, J; Latella, D; Massink, M
Guest editorial Intelligent multimedia presentation systems 1-gen-1998 Rist T.; Faconti G.; Wilson M.
Modelling and verification of PREMO synchronisable objects 1-gen-1998 Faconti G.; MASSINK M.
Modelling and verification of PREMO synchronizable objects 1-gen-1998 Faconti, G; Massink, M