Follow
Philippe Palanque
Philippe Palanque
Professor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse III
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
HUMAN-COMPUTER INTERACTION SERIES VOLUME 5
J Karat, J Vanderdonckt, G Abowd, G Calvary, J Carroll, G Cockton, ...
869*2015
HUMAN-COMPUTER INTERACTION SERIES VOLUME 4
A Crabtree, M Rouncefield, P Tolmie
Springer Science & Business Media, 2012
323*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
2512009
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
212*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
201*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
1452009
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
1412011
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
1312000
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
1251995
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
1242010
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
1151996
StateWebCharts: A formal description technique dedicated to navigation modelling of web applications
M Winckler, P Palanque
Interactive Systems. Design, Specification, and Verification: 10th …, 2003
1122003
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
1062005
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
1061995
Petri net objects for the design, validation and prototyping of user-driven interfaces.
R Bastide, PA Palanque
Interact 90, 625-631, 1990
103*1990
Formal methods in Human-computer interaction
P Palanque, F Paternò
Springer Science & Business Media, 2012
1022012
The handbook of formal methods in human-computer interaction
B Weyers, J Bowen, A Dix, P Palanque
Springer, 2017
892017
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
872000
Formal specification and prototyping of CORBA systems
R Bastide, O Sy, P Palanque
ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999
851999
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
842001
The system can't perform the operation now. Try again later.
Articles 1–20