More by Philippe Palanque
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
Critical Issues in User Interface Systems Engineering
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Human Error, Safety and Systems Development: IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France
Book 152
Formal Methods in Human-Computer Interaction
Engineering Human Computer Interaction and Interactive Systems: Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings
Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Human-Computer Interaction - INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Human-Computer Interaction - INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
People and Computers XVII — Designing for Society: Proceedings of HCI 2003
The Handbook of Formal Methods in Human-Computer Interaction
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II
Human-Computer Interaction -- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
Human-Computer Interaction -- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
Human-Computer Interaction -- INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I