Michel Billaud

15 papers A* 1A 2B 1Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	HeliosLab: A remote photovoltaic laboratory. exp.at Thomas Zimmer, Michel Billaud, Emmanouil D. Fylladitakis, Petros J. Axaopoulos
2015	J	`jnl`	Remote Lab Experiments in Electronics for Use and Reuse. Int. J. Interact. Mob. Technol. Thomas Zimmer, Michel Billaud, M. Pic, Didier Geoffroy
2009	J	`jnl`	A Distance Measurement Platform Dedicated to Electrical Engineering. IEEE Trans. Learn. Technol. Noëlle Lewis, Michel Billaud, Didier Geoffroy, Philippe Cazenave, Thomas Zimmer
2007	J	`jnl`	Integration of remote lab exercises into standard course packages. Int. J. Online Eng. Thomas Zimmer, Michel Billaud, Didier Geoffroy
2006	J	`jnl`	A remote laboratory for electrical engineering education. Int. J. Online Eng. Didier Geoffroy, Thomas Zimmer, Michel Billaud
1996	A*	`conf`	Fatal Errors in Conditional Expressions (Extended Abstract). ICALP Michel Billaud
1992	—	`ed.`	Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings WSA Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1992	A	`conf`	Axiomatizations of Backtracking. STACS Michel Billaud
1992	A	`conf`	The ANIGRAF System. STACS Michel Billaud
1991	—	`conf`	ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities. RTA Michel Billaud
1991	—	`ed.`	Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings JTASPEFL/WSA Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1991	—	`conf`	Axiomatizations of Backtracking. JTASPEFT/WSA Michel Billaud
1990	J	`jnl`	Simple Operational and Denotational Semantics for Prolog with Cut. Theor. Comput. Sci. Michel Billaud
1989	B	`conf`	Graph Rewriting Systems with Priorities. WG Michel Billaud, Pierre Lafon, Yves Métivier, Éric Sopena
1985	—	`conf`	Formalisation des structures de contrôle de PROLOG. SPLT Michel Billaud