Claude Marché
发表
Yannick Moy,
Nikolai Kosmatov,
Claude Marché,
2016,
ISoLA.
Claude Marché,
Paolo Herms,
Benjamin Monate,
2012,
VSTTE.
Claude Marché,
Asma Tafat,
2011
.
Guillaume Melquiond,
Claude Marché,
Raphaël Rieu-Helft,
2017,
VSTTE.
Jean-Pierre Jouannaud,
Claude Marché,
J. Jouannaud,
1992,
Theor. Comput. Sci..
Claude Marché,
Andrei Paskevich,
Martin Clochard,
2014,
PLPV '14.
Claude Marché,
Nicolas Rousset,
2006,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Claude Marché,
1992,
Int. J. Found. Comput. Sci..
Claude Marché,
C. Marché,
1998
.
Claude Marché,
Jean-Christophe Filliâtre,
2013
.
Claude Marché,
Yann Régis-Gianas,
Ralf Treinen,
2020,
TACAS.
Claude Marché,
Jean-Christophe Filliâtre,
J. Filliâtre,
2004,
ICFEM.
Hans Zantema,
Claude Marché,
2007,
RTA.
Yannick Moy,
Claude Marché,
Yannick Moy,
2009
.
Claude Marché,
Jean-Christophe Filliâtre,
David Mentré,
2012,
ABZ.
Claude Marché,
2007,
PLPV '07.
Claude Marché,
Sylvain Boulmé,
Asma Tafat,
2010
.
Bernhard Beckert,
Claude Marché,
2011
.
Enno Ohlebusch,
Claude Marché,
Claus Claves,
2000,
RTA.
Claude Marché,
Johannes Kanig,
2015,
ERCIM News.
François Bobot,
Guillaume Melquiond,
Claude Marché,
2013
.
Claude Marché,
C. Marché,
1993,
Term Rewriting.
Claude Marché,
Jean-Christophe Filliâtre,
Andrei Paskevich,
2014,
VSTTE.
Claude Marché,
Krishnamani Kalyanasundaram,
2011
.
Ran Chen,
Claude Marché,
Martin Clochard,
2017,
J. Formaliz. Reason..
Claude Marché,
Xavier Urbain,
Christine Paulin-Mohring,
2004,
J. Log. Algebraic Methods Program..
Claude Marché,
Andrei Paskevich,
Martin Clochard,
2018
.
Hans Zantema,
Claude Marché,
2006
.
Claude Marché,
Thierry Hubert,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Yannick Moy,
Claude Marché,
David Hauzar,
2018,
J. Log. Algebraic Methods Program..
Guillaume Melquiond,
Claude Marché,
Sylvain Conchon,
2014
.
Francisco Durán,
José Meseguer,
Salvador Lucas,
2008,
High. Order Symb. Comput..
Claude Marché,
Sylvain Boulmé,
Asma Tafat,
2010,
FoVeOOS.
François Bobot,
Guillaume Melquiond,
Claude Marché,
2013,
VSTTE.
Yannick Moy,
Claude Marché,
Jean-Christophe Filliâtre,
2006
.
Claude Marché,
Jean-Christophe Filliâtre,
J. Filliâtre,
2007,
CAV.
Claude Marché,
Claire Dross,
Clément Fumex,
2016,
NFM.
Claude Marché,
Xavier Urbain,
C. Marché,
2004,
J. Symb. Comput..
Claude Marché,
Ali Ayad,
2010,
IJCAR.
Francisco Durán,
José Meseguer,
Salvador Lucas,
2004,
PEPM '04.
François Bobot,
Claude Marché,
Jean-Christophe Filliâtre,
2011
.
Claude Marché,
Sylvie Boldo,
S. Boldo,
2011,
Math. Comput. Sci..
Yannick Moy,
Claude Marché,
David Hauzar,
2016,
IEEE International Conference on Software Engineering and Formal Methods.
Yannick Moy,
Claude Marché,
Clément Fumex,
2017,
VSTTE.
Claude Marché,
Sylvie Boldo,
Nguyen Thi Minh Tuyen,
2010
.
Claude Marché,
Christine Paulin-Mohring,
C. Paulin-Mohring,
2005,
TPHOLs.
Claude Marché,
Nguyen Thi Minh Tuyen,
2011
.
Jean-Pierre Jouannaud,
Claude Marché,
J. Jouannaud,
1990,
DISCO.
Claude Marché,
C. Marché,
2007,
Rewriting, Computation and Proof.
Claude Marché,
Andrei Paskevich,
Jean-Christophe Filliâtre,
2011
.
Claude Marché,
Andrei Paskevich,
Xavier Urbain,
2010
.
Bart Jacobs,
Claude Marché,
Nicole Rauch,
2004,
AMAST.
José Meseguer,
Salvador Lucas,
Claude Marché,
2005,
Inf. Process. Lett..
Benoit Robert,
Claude Marché,
2002,
J. Decis. Syst..
Claude Marché,
Ralf Treinen,
Hebert Comon,
2001
.
Claude Marché,
Evelyne Contejean,
Xavier Urbain,
2005,
Journal of Automated Reasoning.
Claude Marché,
Benedikt Becker,
Benedikt F. H. Becker,
2019,
VSTTE.
Claude Marché,
C. Marché,
2014,
Sci. Comput. Program..
Gidon Ernst,
Radu Grigore,
Vladimir Klebanov,
2011,
FoVeOOS.
Claude Marché,
Andrei Paskevich,
Evelyne Contejean,
2013
.
Claude Marché,
Xavier Urbain,
1998,
RTA.
Yannick Moy,
Claude Marché,
Sylvain Dailler,
2018,
F-IDE@FLoC.
Guillaume Melquiond,
Claude Marché,
Jean-Christophe Filliâtre,
2013
.
Claude Marché,
Alain Giorgetti,
Olga Kouchnarenko,
2010,
LDTA.
Claude Marché,
Evelyne Contejean,
Alexandre Boudet,
1996,
RTA.
Claude Marché,
Alain Giorgetti,
Olga Kouchnarenko,
2009
.
Claude Marché,
Andrei Paskevich,
Martin Clochard,
2020,
Proc. ACM Program. Lang..
Gerhard Goos,
Juris Hartmanis,
Jan van Leeuwen,
2001,
Lecture Notes in Computer Science.
Bernhard Beckert,
Claude Marché,
C. Marché,
2010
.
Claude Marché,
C. Marché,
1996,
J. Symb. Comput..
Claude Marché,
C. Marché,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Claude Marché,
Claire Dross,
Clément Fumex,
2015
.
Guillaume Melquiond,
Claude Marché,
Jean-Christophe Filliâtre,
2013
.
Claude Marché,
Evelyne Contejean,
Evelyne Contejean,
1996,
RTA.
Yannick Moy,
Claude Marché,
Jean-Christophe Filliâtre,
2008
.
Claude Marché,
Romain Bardou,
2010
.
Yannick Moy,
Claude Marché,
Clément Fumex,
2017
.
Yannick Moy,
Claude Marché,
2010,
J. Symb. Comput..
Claude Marché,
C. Marché,
1991,
RTA.
François Bobot,
Guillaume Melquiond,
Claude Marché,
2010
.
Claude Marché,
Ralf Treinen,
Nicolas Jeannerod,
2017,
VSTTE.
Ran Chen,
Claude Marché,
Martin Clochard,
2016
.
Claude Marché,
David Mentré,
David Delahaye,
2014,
ABZ.
François Bobot,
Claude Marché,
Jean-Christophe Filliâtre,
2014,
International Journal on Software Tools for Technology Transfer.
Claude Marché,
Yann Régis-Gianas,
Ralf Treinen,
2019
.
Claude Marché,
Evelyne Contejean,
Landy Rabehasaina,
1997,
RTA.
Denis Cousineau,
Claude Marché,
David Mentré,
2021,
International Workshop on Formal Methods for Industrial Critical Systems.
Claude Marché,
Cláudio Belo Lourenço,
Benedikt F. H. Becker,
2021,
Electronic Proceedings in Theoretical Computer Science.
Claude Marché,
Evelyne Contejean,
Benjamin Monate,
2003
.
Claude Marché,
Ali Ayad,
2009
.
Claude Marché,
Asma Tafat,
C. Marché,
2012
.