 | 2009 |
|---|
| 11 |       | Noëlle Lewis,
Michel Billaud,
Didier Geoffroy,
Philippe Cazenave,
Thomas Zimmer:
A Distance Measurement Platform Dedicated to Electrical Engineering.
TLT 2(4): 312-319 (2009) |
| 2007 |
|---|
| 10 | | Thomas Zimmer,
Michel Billaud,
Didier Geoffroy:
Integration of remote lab exercises into standard course packages.
iJOE 3(3): (2007) |
| 2006 |
|---|
| 9 | | Didier Geoffroy,
Thomas Zimmer,
Michel Billaud:
A remote laboratory for electrical engineering education.
iJOE 2(3): (2006) |
| 1996 |
|---|
| 8 | | Michel Billaud:
Fatal Errors in Conditional Expressions (Extended Abstract).
ICALP 1996: 146-157 |
| 1992 |
|---|
| 7 | | Michel Billaud:
The ANIGRAF System.
STACS 1992: 603-604 |
| 6 | | Michel Billaud:
Axiomatizations of Backtracking.
STACS 1992: 71-82 |
| 1991 |
|---|
| 5 |  | Michel Billaud:
Axiomatizations of Backtracking.
JTASPEFT/WSA 1991: 111-116 |
| 4 | | Michel Billaud:
ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities.
RTA 1991: 437-438 |
| 1990 |
|---|
| 3 | | Michel Billaud:
Simple Operational and Denotational Semantics for Prolog with Cut.
Theor. Comput. Sci. 71(2): 193-208 (1990) |
| 1989 |
|---|
| 2 | | Michel Billaud,
Pierre Lafon,
Yves Métivier,
Eric Sopena:
Graph Rewriting Systems with Priorities.
WG 1989: 94-106 |
| 1985 |
|---|
| 1 | | Michel Billaud:
Formalisation des structures de contrôle de PROLOG.
SPLT 1985 |
Data released under the ODC-BY 1.0 license — See also our legal information page