Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Bibliography of Claude Marché
[go: Go Back, main page]

Here are all my publications

(sorted by date, from newest to oldest)

[1]
Salvador Lucas, Claude Marché, and José Meseguer. Operational termination of conditional term rewriting systems. Research Report DSIC II/01/05, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain, February 2005.
[ bib ]
[2]
Thierry Hubert and Claude Marché. A case study of C source code verification: the Schorr-Waite algorithm. submitted, 2005.
[ bib | .ps ]
[3]
Jean-Christophe Filliâtre and Claude Marché. Multi-prover verification of C programs. In Jim Davies, Wolfram Schulte, and Mike Barnett, editors, Sixth International Conference on Formal Engineering Methods, volume 3308 of Lecture Notes in Computer Science, pages 15-29, Seattle, WA, USA, November 2004. Springer-Verlag.
[ bib | .ps.gz ]
[4]
Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, and Xavier Urbain. Proving termination of membership equational programs. In ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, Verona, Italy, August 2004. ACM Press.
[ bib ]
[5]
Evelyne Contejean, Claude Marché, Ana-Paula Tomás, and Xavier Urbain. Mechanically proving termination using polynomial interpretations. Research Report 1382, LRI, 2004.
[ bib | .ps.gz ]
[6]
Bart Jacobs, Claude Marché, and Nicole Rauch. Formal verification of a commercial smart card applet with multiple tools. In Algebraic Methodology and Software Technology, volume 3116 of Lecture Notes in Computer Science, Stirling, UK, July 2004. Springer-Verlag.
[ bib ]
[7]
Claude Marché, Christine Paulin-Mohring, and Xavier Urbain. The Krakatoa tool for certification of Java/JavaCard programs annotated in JML. Journal of Logic and Algebraic Programming, 58(1-2):89-106, 2004. http://krakatoa.lri.fr.
[ bib | http ]
[8]
Claude Marché and Xavier Urbain. Modular and incremental proofs of AC-termination. Journal of Symbolic Computation, 38:873-897, 2004.
[ bib | http ]
[9]
Evelyne Contejean, Claude Marché, Benjamin Monate, and Xavier Urbain. Proving termination of rewriting with cime. In Albert Rubio, editor, Extended Abstracts of the 6th International Workshop on Termination, WST'03, pages 71-73, June 2003. http://cime.lri.fr.
[ bib | http ]
[10]
Enno Ohlebusch, Claus Claves, and Claude Marché. The talp tool for termination analysis of logic programs. In Albert Rubio, editor, Extended Abstracts of the 6th International Workshop on Termination, WST'03, June 2003. http://bibiserv.techfak.uni-bielefeld.de/talp/.
[ bib | http ]
[11]
Néstor Cataño, M. Gawlowski, Marieke Huisman, Bart Jacobs, Claude Marché, Christine Paulin, Erik Poll, Nicole Rauch, and Xavier Urbain. Logical techniques for applet verification. Deliverable 5.2, IST VerifiCard project, 2003. http://www.cs.kun.nl/VerifiCard/files/deliverables/deliverable_5_2.pdf.
[ bib | .pdf ]
[12]
Keiichirou Kusakari, Claude Marché, and Xavier Urbain. Termination of associative-commutative rewriting using dependency pairs criteria. Research Report 1304, LRI, 2002. http://www.lri.fr/~urbain/textes/rr1304.ps.gz.
[ bib | .ps.gz ]
[13]
Hubert Comon, Claude Marché, and Ralf Treinen, editors. Constraints in Computational Logics, volume 2002 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
[ bib ]
[14]
Evelyne Contejean, Claude Marché, Benjamin Monate, and Xavier Urbain. CiME version 2, 2000. Available at http://cime.lri.fr/.
[ bib | http ]
[15]
Enno Ohlebusch, Claus Claves, and Claude Marché. TALP: A tool for the termination analysis of logic programs. In Leo Bachmair, editor, 11th International Conference on Rewriting Techniques and Applications, volume 1833 of Lecture Notes in Computer Science, pages 270-273, Norwich, UK, July 2000. Springer-Verlag. Available at http://bibiserv.techfak.uni-bielefeld.de/talp/.
[ bib | http ]
[16]
Claude Marché. Normalized Rewriting: an unified view of Knuth-Bendix completion and Gröbner bases computation. Progress in Computer Science and Applied Logic, 15:193-208, 1998.
[ bib | .ps.gz | Abstract ]
[17]
Claude Marché and Xavier Urbain. Termination of associative-commutative rewriting by dependency pairs. In Tobias Nipkow, editor, 9th International Conference on Rewriting Techniques and Applications, volume 1379 of Lecture Notes in Computer Science, pages 241-255, Tsukuba, Japan, April 1998. Springer-Verlag.
[ bib | .ps.gz | Abstract ]
[18]
Evelyne Contejean, Claude Marché, and Landy Rabehasaina. Rewrite systems for natural, integral, and rational arithmetic. In Hubert Comon, editor, 8th International Conference on Rewriting Techniques and Applications, volume 1232 of Lecture Notes in Computer Science, Barcelona, Spain, June 1997. Springer-Verlag.
[ bib | .ps.gz | Abstract ]
[19]
Alexandre Boudet, Evelyne Contejean, and Claude Marché. AC-complete unification and its application to theorem proving. In Harald Ganzinger, editor, 7th International Conference on Rewriting Techniques and Applications, volume 1103 of Lecture Notes in Computer Science, pages 18-32, New Brunswick, NJ, USA, July 1996. Springer-Verlag.
[ bib | .ps.gz | Abstract ]
[20]
Evelyne Contejean and Claude Marché. CiME: Completion Modulo E. In Harald Ganzinger, editor, 7th International Conference on Rewriting Techniques and Applications, volume 1103 of Lecture Notes in Computer Science, pages 416-419, New Brunswick, NJ, USA, July 1996. Springer-Verlag. System Description available at http://cime.lri.fr/.
[ bib | .ps.gz | http | Abstract ]
[21]
Claude Marché. Normalized rewriting: an alternative to rewriting modulo a set of equations. Journal of Symbolic Computation, 21(3):253-288, 1996.
[ bib | .ps.gz | Abstract ]
[22]
Claude Marché. Associative-commutative reduction orderings via head-preserving interpretations. Technical Report 95-2, LIFAC, E.N.S. de Cachan, January 1995.
[ bib | .ps.gz | Abstract ]
[23]
Claude Marché. Normalized rewriting - application to ground completion and standard bases. In Hubert Comon and Jean-Pierre Jouannaud, editors, Term Rewriting, volume 909 of Lecture Notes in Computer Science, pages 154-169. French Spring School of Theoretical Computer Science, Springer-Verlag, 1995.
[ bib | .ps.Z | Abstract ]
[24]
Claude Marché. Normalized Rewriting: an unified view of Knuth-Bendix completion and Gröbner bases computation. In Manuel Bronstein and Volker Weispfenning, editors, Proceedings of the Conference on Symbolic Rewriting Techniques, Monte Verita, Switzerland, 1995.
[ bib | .ps.gz | Abstract ]
[25]
Claude Marché. Normalised rewriting and normalised completion. In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, pages 394-403, Paris, France, July 1994. IEEE Comp. Soc. Press.
[ bib | .ps.Z | Abstract ]
[26]
Claude Marché. Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories équationnelles. Thèse de doctorat, Université Paris-Sud, Orsay, France, October 1993.
[ bib | .ps.Z | Abstract ]
[27]
Claude Marché. Normalized rewriting - application to ground completion and standard bases. Notes de cours de l'école de printemps, 1993.
[ bib | .ps.Z | Abstract ]
[28]
Jean-Pierre Jouannaud and Claude Marché. Termination and completion modulo associativity, commutativity and identity. Theoretical Computer Science, 104:29-51, 1992.
[ bib | .ps.Z | Abstract ]
[29]
Claude Marché. The word problem of ACD-ground theories is undecidable. International Journal of Foundations of Computer Science, 3(1):81-92, 1992.
[ bib | .ps.Z | Abstract ]
[30]
Claude Marché. The word problem of ACD-ground theories is undecidable. Research Report 663, Laboratoire de Recherche en Informatique, Université de Paris-Sud, Orsay, France, April 1991.
[ bib ]
[31]
Claude Marché. On ground AC-completion. In Ronald. V. Book, editor, 4th International Conference on Rewriting Techniques and Applications, volume 488 of Lecture Notes in Computer Science, Como, Italy, April 1991. Springer-Verlag.
[ bib ]
[32]
Claude Marché. On AC-termination and ground AC-completion. Research Report 598, Laboratoire de Recherche en Informatique, Université de Paris-Sud, Orsay, France, October 1990.
[ bib ]
[33]
Jean-Pierre Jouannaud and Claude Marché. Completion modulo associativity, commutativity and identity. In Alfonso Miola, editor, Proc. Int. Symposium on Design and Implementation of Symbolic Computation Systems, LNCS 429, pages 111-120, Capri, Italy, April 1990. Springer-Verlag.
[ bib ]
[34]
Claude Marché. Complétion modulo associativité, commutativité et élément neutre. Research Report 513, Laboratoire de Recherche en Informatique, Université de Paris-Sud, Orsay, France, September 1989.
[ bib ]

This file has been generated by bibtex2html 1.74

Back to home page