Michel Billaud Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2009
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Zimmer, Michel Billaud, Didier Geoffroy: Integration of remote lab exercises into standard course packages. iJOE 3(3) (2007)
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Geoffroy, Thomas Zimmer, Michel Billaud: A remote laboratory for electrical engineering education. iJOE 2(3) (2006)
1996
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud: Fatal Errors in Conditional Expressions (Extended Abstract). ICALP 1996: 146-157
1992
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud: Axiomatizations of Backtracking. STACS 1992: 71-82
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud: The ANIGRAF System. STACS 1992: 603-604
1991
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud: ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities. RTA 1991: 437-438
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud: Axiomatizations of Backtracking. JTASPEFT/WSA 1991: 111-116
1990
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud: Simple Operational and Denotational Semantics for Prolog with Cut. Theor. Comput. Sci. 71(2): 193-208 (1990)
1989
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud, Pierre Lafon, Yves Métivier, Eric Sopena: Graph Rewriting Systems with Priorities. WG 1989: 94-106
1985
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Billaud: Formalisation des structures de contrôle de PROLOG. SPLT 1985

Coauthor Index

1Philippe Cazenave
[j4]
2Didier Geoffroy
[j4] [j3] [j2]
3Pierre Lafon
[c2]
4Noëlle Lewis
[j4]
5Yves Métivier
[c2]
6Eric Sopena
[c2]
7Thomas Zimmer
[j4] [j3] [j2]

Colors in the list of coauthors

Last update Mon May 20 22:42:30 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page