Benjamin Weyers is a Senior Researcher at the Virtual Reality and Immersive Visualization Group at RWTH Aachen University, Germany. Benjamin is strongly involved in the FET-flagship project “The Human Brain Project” and co-leads the work package on interactive visualization. He studied Computer Science at the University of Duisburg-Essen and received his doctorate with the Computer Graphics and Scientific Computing Group at the University of Duisburg-Essen. His research interests include human-computer interaction (HCI), formal modelling, information visualization and virtual reality (VR).
Judy Bowen is a Senior Lecturer at the University of Waikato in New Zealand. For the past ten years she has been working in the area of formal modelling for interactive systems, specifically safety-critical interactive systems. Her work includes projects that consider safety-properties of systems, contexts of use for non-context aware systems and the use of technologyin hazardous work-places and environments.
Alan Dix is a Professor in the Human–Computer Interaction Centre at the University of Birmingham and a Senior Researcher at Talis. He has worked in HCI for over thirty years and his research has included foundational work on formal methods in HCI, some of the earliest work on privacy in HCI and the ethics of machine learning, and more recently has included learning analytics, IT and data issues for marginal communities as well as walking one thousand miles around Wales. He runs the twice-yearly Tiree Tech Wave.
Philippe Palanque is a Professor of Computer Science at the University of Toulouse and leads the ICS Research Group. Since the late 80″s, he has worked on the development and application of formal description techniques for interactive systems. The main aim of his research has been to address Usability, Safety and Dependability in order to build trustable safety-critical Interactive Systems.
28 Ebooks par Philippe Palanque
Benjamin Weyers & Judy Bowen: The Handbook of Formal Methods in Human-Computer Interaction
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and …
PDF
Anglais
€309.23
T. C. Nicholas Graham & Philippe Palanque: Interactive Systems. Design, Specification, and Verification
The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic …
PDF
Anglais
DRM
€63.06
Philippe Palanque & Jean Vanderdonckt: Human Error, Safety and Systems Development
th HESSD 2009 was the 7 IFIP WG 13.5 Working Conference in the series on Human Error, Safety and Systems Development which looks at integration of usability, human factors and human–computer interact …
PDF
Anglais
DRM
€71.39
David England & Philippe Palanque: Task Models and Diagrams for User Interface Design
This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2009, held in Brussels, Belgium, in September 2009. The …
PDF
Anglais
DRM
€71.39
Pedro Campos & Nicholas Graham: Human-Computer Interaction — INTERACT 2011
The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in Septe …
PDF
Anglais
DRM
€130.89
Pedro Campos & Nicholas Graham: Human-Computer Interaction — INTERACT 2011
The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in Septe …
PDF
Anglais
DRM
€130.89
Pedro Campos & Nicholas Graham: Human-Computer Interaction — INTERACT 2011
The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in Septe …
PDF
Anglais
DRM
€130.89
Chris Johnson & Philippe Palanque: Human Error, Safety and Systems Development
Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human erro …
PDF
Anglais
DRM
€166.48
David Benyon & Philippe Palanque: Critical Issues in User Interface Systems Engineering
This book developed from an IFIP workshop which brought together methods and architecture researchers in Human Computer Interaction and Software Engineering. To an extent this introduction is a littl …
PDF
Anglais
DRM
€57.99
Philippe Palanque & Fabio Paterno: Formal Methods in Human-Computer Interaction
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the fiel …
PDF
Anglais
DRM
€58.12
Peter Johnson & Eamonn O’Neill: People and Computers XVII – Designing for Society
HCI is a fundamental and multidisciplinary research area. It is fundamental to the development and use of computing technologies. Without good HCI, computing technologies provide less benefit to soci …
PDF
Anglais
DRM
€57.05
Julio Abascal & Simone Barbosa: Human-Computer Interaction – INTERACT 2015
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in Septe …
PDF
Anglais
DRM
€57.74
Julio Abascal & Simone Barbosa: Human-Computer Interaction – INTERACT 2015
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in Septe …
PDF
Anglais
DRM
€114.94
Julio Abascal & Simone Barbosa: Human-Computer Interaction – INTERACT 2015
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in Septe …
PDF
Anglais
DRM
€57.17
Regina Bernhaupt & Cristian Bogdan: Human-Centered and Error-Resilient Systems Development
This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th Internationa …
PDF
Anglais
DRM
€57.78
Remi Bastide & Philippe Palanque: Engineering Human Computer Interaction and Interactive Systems
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a con …
PDF
Anglais
DRM
€57.61
Philippe Palanque & Fabio Paterno: Interactive Systems. Design, Specification, and Verification
The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether – ganising this event would have ge …
PDF
Anglais
DRM
€57.99
Julio Abascal & Cecilia Baranauskas: Human-Computer Interaction – INTERACT 2007
…
PDF
Anglais
DRM
€114.94
Julio Abascal & Cecilia Baranauskas: Human-Computer Interaction – INTERACT 2007
…
PDF
Anglais
DRM
€115.37
Hilary Johnson & Philippe Palanque: Task Models and Diagrams for User Interface Design
…
PDF
Anglais
DRM
€57.88
Jan Gulliksen & Morten Borup Harning: Engineering Interactive Systems
Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, …
PDF
Anglais
DRM
€113.72
Tom Gross & Jan Gulliksen: Human-Computer Interaction – INTERACT 2009
INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFIP Technical Committee 13 on Human-Computer Interaction. This year, INTERACT washeld in Uppsala (Sweden …
PDF
Anglais
DRM
€165.95
Tom Gross & Jan Gulliksen: Human-Computer Interaction – INTERACT 2009
INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFIP Technical Committee 13 on Human-Computer Interaction. This year, INTERACT washeld in Uppsala (Sweden …
PDF
Anglais
DRM
€166.59
Pedro Campos & Nicholas Graham: Human-Computer Interaction — INTERACT 2011
The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in Septe …
PDF
Anglais
DRM
€115.37
Remi Bastide & Philippe Palanque: Design, Specification and Verification of Interactive Systems ’95
This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the sec …
PDF
Anglais
DRM
€57.90
Cristian Bogdan & Kati Kuusinen: Human-Centered Software Engineering
This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in …
EPUB
Anglais
DRM
€57.88
Jose Creissac Campos & Uwe Glasser: Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers includ …
EPUB
Anglais
DRM
€83.40
Michael Harrison & Celia Martinie: Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium
This book presents a series of revised papers selected from the Doctoral Consortium (DC) and the Workshops organized in conjunction with the 15th ACM SIGCHI Symposium on Engineering Interactive Compu …
EPUB
Anglais
DRM
€114.55