Philippe Palanque
Philippe Palanque
Professor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse III
Verified email at irit.fr - Homepage
TitleCited byYear
HUMAN-COMPUTER INTERACTION SERIES VOLUME 5
J Karat, J Vanderdonckt, G Abowd, G Calvary, J Carroll, G Cockton, ...
820*2015
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), 18, 2009
1912009
HCI Series volume 4 Doing design ethnography
A Crabtree, M Rouncefield, P Tolmie
Springer Science & Business Media, 2012
168*2012
Web accessibility: a foundation for research
S Harper, Y Yesilada
Springer Science & Business Media, 2008
1272008
Formal specification of CORBA services: experience and lessons learned
R Bastide, P Palanque, O Sy, D Navarre
ACM SIGPLAN Notices 35 (10), 105-117, 2000
1232000
Human-centered software engineering-integrating usability in the software development lifecycle
A Seffah, J Gulliksen, MC Desmarais
Springer Science & Business Media, 2005
1082005
StateWebCharts: A formal description technique dedicated to navigation modelling of web applications
M Winckler, P Palanque
International Workshop on Design, Specification, and Verification of …, 2003
1062003
Petri net objects for the design, validation and prototyping of user-driven interfaces.
R Bastide, PA Palanque
Interact 90, 625-631, 1990
106*1990
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
1052009
Petri net based design of user-driven interfaces using the interactive cooperative objects formalism
PA Palanque, R Bastide
Interactive systems: Design, specification, and verification, 383-400, 1995
1051995
Structuring and composition mechanisms to address scalability issues in task models
C Martinie, P Palanque, M Winckler
IFIP Conference on Human-Computer Interaction, 589-609, 2011
1012011
Validating interactive system design through the verification of formal task and system models
P Palanque, R Bastide, V Sengès
IFIP International Conference on Engineering for Human-Computer Interaction …, 1995
1011995
A Petri net based environment for the design of event-driven interfaces
R Bastide, P Palanque
International Conference on Application and Theory of Petri Nets, 66-83, 1995
961995
A formal description of multimodal interaction techniques for immersive virtual reality applications
D Navarre, P Palanque, R Bastide, A Schyn, M Winckler, LP Nedel, ...
IFIP Conference on Human-Computer Interaction, 170-183, 2005
942005
Formal methods in Human-computer interaction
P Palanque, F Paternò
Springer Science & Business Media, 2012
932012
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
922010
Formal specification and prototyping of CORBA systems
R Bastide, O Sy, P Palanque
European Conference on Object-Oriented Programming, 474-494, 1999
771999
Synergistic modelling of tasks, users and systems using formal specification techniques
P Palanque, R Bastide
Interacting with Computers 9 (2), 129-153, 1997
771997
A framework for organizing web usability guidelines
D Scapin, C Leulier, J Vanderdonckt, C Mariage, C Bastien, C Farenc, ...
732000
A tool suite for integrating task and system models through scenarios
D Navarre, P Palanque, F Paternò, C Santoro, R Bastide
International Workshop on Design, Specification, and Verification of …, 2001
702001
The system can't perform the operation now. Try again later.
Articles 1–20