Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques
Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction
Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach
Marco Antônio Alba Winckler
Philippe PALANQUE
David NAVARRE
Christelle FARENC
J. F. LADRY
C. MARTINIE