HUMAN-COMPUTER INTERACTION SERIES VOLUME 5 J Karat, J Vanderdonckt, G Abowd, G Calvary, J Carroll, G Cockton, ... | 787* | 2015 |
HUMAN-COMPUTER INTERACTION SERIES VOLUME 4 A Crabtree, M Rouncefield, P Tolmie Springer Science & Business Media, 2012 | 281* | 2012 |
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability D Navarre, P Palanque, JF Ladry, E Barboni ACM Transactions on Computer-Human Interaction (TOCHI) 16 (4), 1-56, 2009 | 246 | 2009 |
Making the field of computing more inclusive J Lazar, EF Churchill, T Grossman, G Van Der Veer, P Palanque, ... Communications of the ACM 60 (3), 50-59, 2017 | 195* | 2017 |
A design life-cycle for the formal design of user interfaces P Palanque, R Bastide Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer …, 1996 | 193* | 1996 |
Fusion engines for multimodal input: a survey D Lalanne, L Nigay, P Palanque, P Robinson, J Vanderdonckt, JF Ladry Proceedings of the 2009 international conference on Multimodal interfaces …, 2009 | 140 | 2009 |
Structuring and composition mechanisms to address scalability issues in task models C Martinie, P Palanque, M Winckler Human-Computer Interaction–INTERACT 2011: 13th IFIP TC 13 International …, 2011 | 136 | 2011 |
Formal specification of CORBA services: experience and lessons learned R Bastide, P Palanque, O Sy, D Navarre Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000 | 126 | 2000 |
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models E Barboni, JF Ladry, D Navarre, P Palanque, M Winckler Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive …, 2010 | 121 | 2010 |
Petri net based design of user-driven interfaces using the interactive cooperative objects formalism PA Palanque, R Bastide Interactive Systems: Design, Specification, and Verification: 1st …, 1995 | 120 | 1995 |
Validating interactive system design through the verification of formal task and system models P Palanque, R Bastide, V Sengès Engineering for Human-Computer Interaction: Proceedings of the IFIP TC2/WG2 …, 1996 | 116 | 1996 |
StateWebCharts: A formal description technique dedicated to navigation modelling of web applications M Winckler, P Palanque Interactive Systems. Design, Specification, and Verification: 10th …, 2003 | 112 | 2003 |
Petri net objects for the design, validation and prototyping of user-driven interfaces. R Bastide, PA Palanque Interact 90, 625-631, 1990 | 111* | 1990 |
A formal description of multimodal interaction techniques for immersive virtual reality applications D Navarre, P Palanque, R Bastide, A Schyn, M Winckler, LP Nedel, ... Human-Computer Interaction-INTERACT 2005: IFIP TC13 International Conference …, 2005 | 107 | 2005 |
A Petri net based environment for the design of event-driven interfaces R Bastide, P Palanque Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 107 | 1995 |
Formal methods in Human-computer interaction P Palanque, F Paternò Springer Science & Business Media, 2012 | 99 | 2012 |
A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers D Navarre, P Palanque, R Bastide Elsevier 15 (3), 309-328, 2003 | 98* | 2003 |
Synergistic modelling of tasks, users and systems using formal specification techniques P Palanque, R Bastide Interacting with computers 9 (2), 129-153, 1997 | 86 | 1997 |
A framework for organizing web usability guidelines D Scapin, C Leulier, J Vanderdonckt, C Mariage, C Bastien, C Farenc, ... 6th Conference on Human Factors and the Web (HF Web 2000), 2000 | 83 | 2000 |
A model-based approach for real-time embedded multimodal systems in military aircrafts R Bastide, D Navarre, P Palanque, A Schyn, P Dragicevic Proceedings of the 6th international conference on Multimodal interfaces …, 2004 | 81 | 2004 |