Formalisation des structures de contrôle de PROLOG. - Michel Billaud (SPLT, 1985)

Graph Rewriting Systems with Priorities. - Michel Billaud; Pierre Lafon; Yves Métivier; Éric Sopena (WG, 1989)

Simple Operational and Denotational Semantics for Prolog with Cut. - Michel Billaud (Theor. Comput. Sci., 1990)

ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities. - Michel Billaud (RTA, 1991)

Axiomatizations of Backtracking. - Michel Billaud (STACS, 1992)

The ANIGRAF System. - Michel Billaud (STACS, 1992)

Fatal Errors in Conditional Expressions (Extended Abstract). - Michel Billaud (ICALP, 1996)

A remote laboratory for electrical engineering education. - Didier Geoffroy; Thomas Zimmer; Michel Billaud (Int. J. Online Eng., 2006)

Integration of remote lab exercises into standard course packages. - Thomas Zimmer; Michel Billaud; Didier Geoffroy (Int. J. Online Eng., 2007)

A Distance Measurement Platform Dedicated to Electrical Engineering. - Noëlle Lewis; Michel Billaud; Didier Geoffroy; Philippe Cazenave; Thomas Zimmer (IEEE Trans. Learn. Technol., 2009)

HeliosLab: A remote photovoltaic laboratory. - Thomas Zimmer; Michel Billaud; Emmanouil D. Fylladitakis; Petros J. Axaopoulos (exp.at, 2015)

Remote Lab Experiments in Electronics for Use and Reuse. - Thomas Zimmer; Michel Billaud; M. Pic; Didier Geoffroy (Int. J. Interact. Mob. Technol., 2015)