Theo dõi
Philippe Palanque
Philippe Palanque
Professor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse III
Email được xác minh tại irit.fr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
HUMAN-COMPUTER INTERACTION SERIES VOLUME 5
J Karat, J Vanderdonckt, G Abowd, G Calvary, J Carroll, G Cockton, ...
835*2015
HUMAN-COMPUTER INTERACTION SERIES VOLUME 4
A Crabtree, M Rouncefield, P Tolmie
Springer Science & Business Media, 2012
309*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
2482009
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
199*1996
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
198*2017
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
1422009
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
1392011
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
1302000
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
1241995
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
1202010
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
1102003
Petri net objects for the design, validation and prototyping of user-driven interfaces.
R Bastide, PA Palanque
Interact 90, 625-631, 1990
108*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
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
Formal methods in Human-computer interaction
P Palanque, F Paternò
Springer Science & Business Media, 2012
1002012
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
Synergistic modelling of tasks, users and systems using formal specification techniques
P Palanque, R Bastide
Interacting with computers 9 (2), 129-153, 1997
861997
The handbook of formal methods in human-computer interaction
B Weyers, J Bowen, A Dix, P Palanque
Springer, 2017
842017
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
832004
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20