MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Patrick Girard" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

From onion to broccoli: Generalizing lewis’s counterfactual logic
by Patrick Girard — 2005 — ILLC Prepublication Series
…From Onions to Broccoli: Generalizing Lewis’s counterfactual logic ∗ Patrick Girard Stanford…
Cited by 1 (0 self) – Add To MetaCart

Bringing Robustness to End-User Programming
by Mickaël Baron, Patrick Girard — 2001 — in Proc. 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (Stresa
…), Entergraphica, 2001, pp. 142-149. Bringing Robustness to End-User Programming Mickaël Baron, Patrick Girard…
Cited by 1 (1 self) – Add To MetaCart

SUIDT: A task model based GUI-Builder
by Mickaël Baron, Patrick Girard — 2002 — Proceedings of the TAMODIA : Task
… House, 2002, pp. 64-71. SUIDT: A task model based GUI-Builder Mickaël Baron, Patrick Girard Laboratoire…
Cited by 4 (1 self) – Add To MetaCart

Bringing Programming by Demonstration to CAD Users
by Cad Users, Patrick Girard
… Programming by Demonstration to CAD Users Patrick Girard Laboratoire d’Informatique Scientifique et…
Cited by 1 (0 self) – Add To MetaCart

High Quality TPG for Delay Faults in Look-Up Tables of FPGAs
by Patrick Girard, Olivier Héron, Serge Pravossoudovitch, Michel Renovell, Olivier Héron, Patrick Girard, Olivier Héron, Serge Pravossoudovitch, Michel Renovell
…High Quality TPG for Delay Faults in Look-Up Tables of FPGAs Patrick Girard Olivier Héron Serge…
Add To MetaCart

Interactive System Safety and Usability enforced with the development process
by Francis Jambon, Patrick Girard, Yamine Aït-ameur — 2001 — 8th IFIP International Conference, EHCI'01
… Process Francis JAMBON, Patrick GIRARD and Yamine AÏT-AMEUR 1 Laboratory of Applied Computer Science LISI…
Cited by 3 (3 self) – Add To MetaCart

A Uniform Approach for Specification and Design of Interactive Systems: the B Method
by Yamine Ait-ameur, Patrick Girard, Francis Jambon — 1998 — in Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS'98), Vol. Proceedings (Eds, Markopoulos
… and Design of Interactive Systems: the B Method Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON LISI / ENSMA…
Cited by 8 (7 self) – Add To MetaCart

Dialogue Validation from Task Analysis
by Francis Jambon, Patrick Girard, Yohann Boisdron — 1999 — In Proceedings of Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'99) (2-4 June, Universidade do Minho
… from Task Analysis Francis JAMBON, Patrick GIRARD and Yohann BOISDRON LISI / ENSMA 1 , Téléport 2, B…
Cited by 2 (1 self) – Add To MetaCart

Comparison Between Random and Pseudo-Random Generation for
by Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel — 2000 — BIST of Delay, Stuck-at and Bridging Faults”, IEEE On-Line Testing Workshop
… Faults Patrick GIRARD Christian LANDRAULT Serge PRAVOSSOUDOVITCH Arnaud VIRAZEL Laboratoire d…
Cited by 3 (2 self) – Add To MetaCart

Integrating formal approaches in Human-Computer Interaction
by Patrick Girard, Mickaël Baron, Francis Jambon — 2003 — In Proceedings of INTERACT 2003 - Bringing the Bits togETHer - Ninth IFIP TC13 International Conference on Human-Computer Interaction - Workshop <<Closing
… Patrick Girard 1 , Mickaël Baron 1 , Francis Jambon 2 1 LISI/ENSMA, 1 rue Clément Ader, Téléport 2, BP…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB