Philippe Palanque
24 works on record
Works
Interactive systems
Design, Specification and Verification of Interactive Systems '95
Human Error, Safety and Systems Development
Human-Computer Interaction – INTERACT 2015
Human-Centered and Error-Resilient Systems Development
The Handbook of Formal Methods in Human-Computer Interaction
Task Models and Diagrams for User Interface Design
People and Computers XVII -- Designing for Society
Engineering Interactive Systems
Human-Computer Interaction - INTERACT 2009
Human-Computer Interaction - INTERACT 2015
Human-Computer Interaction - INTERACT 2007
Engineering Human Computer Interaction and Interactive Systems
Formal Methods in Human-Computer Interaction
Human-Computer Interaction -- INTERACT 2011 Pt. 1
Chi'14
CHI'14 Vol. 4
Proceedings of the 31st European Conference on Cognitive Ergonomics
HCI-Aero '10
CHI 2014
CHI'14 Vol. 2A
HCI-Aero '12
Modélisation par objets coopératifs interactifs d'interfaces homme-machine dirigées par l'utilisateur
Engineering Interactive Computer Systems. EICS 2023 International Workshops