Patrick Girard
Affiliations:- University of Poitiers, LIAS/ISAE-ENSMA
According to our database1,
Patrick Girard
authored at least 40 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on lias-lab.fr
On csauthors.net:
Bibliography
2024
EURO J. Comput. Optim., 2024
2021
Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems.
Proceedings of the Model and Data Engineering - 10th International Conference, 2021
2019
Proceedings of the Human-Computer Interaction. Perspectives on Design, 2019
2018
Proceedings of the HCI International 2018, 2018
2016
Proceedings of the Human-Computer Interaction. Theory, Design, Development and Practice, 2016
Proceedings of the Human-Computer Interaction. Theory, Design, Development and Practice, 2016
Proceedings of the 15th Ergo'IA "Ergonomie Et Informatique Avancée" Conference, 2016
2015
Teaching task analysis for user interface design: lessons learned from three pilot studies.
Proceedings of the 27th Conference on l'Interaction Homme-Machine, 2015
2014
BINOS4DNA: Bitmap Indexes and NoSQL for Identifying Species with DNA Signatures through Metagenomics Samples.
Proceedings of the Information Technology in Bio- and Medical Informatics, 2014
Proceedings of the 2014 Ergonomie et Informatique Avancée Conference, 2014
2012
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012
Proceedings of the Ergonomie et Interaction Homme-Machine, 2012
2011
Vérification de cohérence entre modèles de tâches et de dialogue en conception centrée-utilisateur.
Ingénierie des Systèmes d Inf., 2011
Proceedings of the 23th French speaking Conference on Human-Computer Interaction, 2011
2010
Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models.
Interact. Comput., 2010
Prise en compte de l'utilisateur dans le processus de conception d'une application d'édition de modèles de tâches.
Proceedings of the Ergonomie et Informatique Avancee Conference, 2010
2009
Proceedings of the Task Models and Diagrams for User Interface Design, 2009
Agent-Based Architecture for Interactive System Design: Current Approaches, Perspectives and Evaluation.
Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009
Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model.
Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009
2008
Proceedings of the Engineering Interactive Systems, 2008
Proceedings of the 20th international conference on Association Francophone d'Interaction Homme-Machine, 2008
2007
Proceedings of the Task Models and Diagrams for User Interface Design, 2007
Protocoles et métriques pour l'analyse de l'activité dans un environnement interactif d'apprentissage de l'algorithmique.
Proceedings of the 19th Conference on l'Interaction Homme-Machine, 2007
2006
Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, 2006
2005
Validation d'une approche " basée sur exemples " pour l'apprentissage de la programmation.
Proceedings of the 17th international conference on Francophone sur l'Interaction Homme-Machine, 2005
2004
Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.
Proceedings of the Human Error, 2004
Proceedings of the working conference on Advanced visual interfaces, 2004
2003
Formal Validation of HCI User Tasks.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Programming by example and computer-aided teaching of algorithmics: the MELBA project.
Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine, 2003
Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine, 2003
2002
SUIDT: A task model based GUI-Builder.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, 2002
2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
The dialog tool set: a new way to create the dialog component.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001
Proceedings of the Engineering for Human-Computer Interaction, 2001
Proceedings of the Your Wish is My Command, 2001
1999
1998
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems.
Proceedings of the Engineering for Human-Computer Interaction, 1998
A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
Proceedings of the Design, 1998
1995
Formal Specification and Metaprogramming in the EXPRESS Language.
Proceedings of the SEKE'95, 1995
1990
End User Programming Environments : Interactive Programming-on-Example in CAD parametric Design.
Proceedings of the 11th European Computer Graphics Conference and Exhibition, 1990