Philippe Palanque

Human-Computer Interaction – INTERACT 2015

2015

Human Error, Safety and Systems Development

2010

Formal methods in human-computer interaction

1998

Design, Specification and Verification of Interactive Systems '95

2012

Critical issues in user interface systems engineering

2012

Chi'14

2014

The Handbook of Formal Methods in Human-Computer Interaction

2018

Human-Computer Interaction - INTERACT 2009

2009

Human-Computer Interaction - INTERACT 2007

2007

CHI 2014

2014

Task Models and Diagrams for User Interface Design

2010

Proceedings of the 31st European Conference on Cognitive Ergonomics

2013

People and Computers XVII -- Designing for Society

2013

Interactive systems

2001

Human-Computer Interaction -- INTERACT 2011 Pt. 1

2011

Human-Centered and Error-Resilient Systems Development

2016

HCI-Aero '12

2012

HCI-Aero '10

2010