Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Philippe Palanque
Rapid Task-Models Development Using Sub-Models, Sub-Routines and Generic Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Role of Conferences in Shaping the Field of HCI
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Erratum To: Engineering Interactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Erratum To: The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Trends and Gaps
The Handbook of Formal Methods in Human-Computer Interaction
PetriNect: A Tool for Executable Modeling of Gestural Interaction
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards the Maturation of IT Usability Evaluation (MAUSE)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Description of Low Level Interaction and Its Application to Multimodal Interactive Systems
Design, Specification and Verification of Interactive Systems ’96
A Formal Specification of the CORBA Event Service
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
1
2
›