Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module. - Pierre Dauchy; Bruno Marre (ESEC, 1991)

Joint speech and gesture analysis some experimental results on multimodal interface. - Pierre Dauchy; Christophe Mignot; Claude Valot (EUROSPEECH, 1993)

Using algebraic specifications in software testing: A case study on the software of an automatic subway. - Pierre Dauchy; Marie-Claude Gaudel; Bruno Marre (J. Syst. Softw., 1993)

A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. - Marie-Claude Gaudel; Pierre Dauchy; Carole Khoury (Formal Methods for Industrial Applications, 1995)

How Do Users Manipulate Graphical Icons? An Empirical Study. - Sandrine Robbe; Noelle Carbonell; Pierre Dauchy (Gesture Workshop, 1996)

Constrained vs spontaneous speech and gestures for interacting with computers: A comparative empirical study. - Sandrine Robbe; Noelle Carbonell; Pierre Dauchy (INTERACT, 1997)

Empirical data on the use of speech and gestures in a multimodal human-computer environment. - Noelle Carbonell; Pierre Dauchy (HCI (1), 1999)

Expression constraints in multimodal human-computer interaction. - Sandrine Robbe-Reiter; Noelle Carbonell; Pierre Dauchy (IUI, 2000)