Search the dblp DataBase
Claude Marché :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Claude Marché Normalized Rewriting - Application to Ground Completion and Standard Bases. [Citation Graph (0, 0)][DBLP ] Term Rewriting, 1993, pp:154-169 [Conf ] Bart Jacobs , Claude Marché , Nicole Rauch Formal Verification of a Commercial Smart Card Applet with Multiple Tools. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:241-257 [Conf ] Jean-Pierre Jouannaud , Claude Marché Completion modulo Associativity, Commutativity and Identity (AC1). [Citation Graph (0, 0)][DBLP ] DISCO, 1990, pp:111-120 [Conf ] Jean-Christophe Filliâtre , Claude Marché Multi-prover Verification of C Programs. [Citation Graph (0, 0)][DBLP ] ICFEM, 2004, pp:15-29 [Conf ] Claude Marché Normalised Rewriting and Normalised Completion [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:394-403 [Conf ] Francisco Durán , Salvador Lucas , José Meseguer , Claude Marché , Xavier Urbain Proving termination of membership equational programs. [Citation Graph (0, 0)][DBLP ] PEPM, 2004, pp:147-158 [Conf ] Evelyne Contejean , Claude Marché Ci ME: Completi on Modulo E . [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:416-419 [Conf ] Evelyne Contejean , Claude Marché , Landy Rabehasaina Rewrite Systems for Natural, Integral, and Rational Arithmetic. [Citation Graph (0, 0)][DBLP ] RTA, 1997, pp:98-112 [Conf ] Alexandre Boudet , Evelyne Contejean , Claude Marché AC-Complete Unification and its Application to Theorem Proving. [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:18-32 [Conf ] Claude Marché On Ground AC-Completion. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:411-422 [Conf ] Claude Marché , Xavier Urbain Termination of Associative-Commutative Rewriting by Dependency Pairs. [Citation Graph (0, 0)][DBLP ] RTA, 1998, pp:241-255 [Conf ] Enno Ohlebusch , Claus Claves , Claude Marché TALP: A Tool for the Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] RTA, 2000, pp:270-273 [Conf ] Thierry Hubert , Claude Marché A case study of C source code verification: the Schorr-Waite algorithm. [Citation Graph (0, 0)][DBLP ] SEFM, 2005, pp:190-199 [Conf ] Claude Marché , Nicolas Rousset Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. [Citation Graph (0, 0)][DBLP ] SEFM, 2006, pp:137-146 [Conf ] Claude Marché , Christine Paulin-Mohring Reasoning About Java Programs with Aliasing and Frame Conditions. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2005, pp:179-194 [Conf ] Claude Marché The Word Problem of ACD-Ground Theories is Undecidable. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:1, pp:81-97 [Journal ] Salvador Lucas , Claude Marché , José Meseguer Operational termination of conditional term rewriting systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:95, n:4, pp:446-453 [Journal ] Evelyne Contejean , Claude Marché , Ana Paula Tomás , Xavier Urbain Mechanically Proving Termination Using Polynomial Interpretations. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:34, n:4, pp:325-363 [Journal ] Claude Marché , Christine Paulin-Mohring , Xavier Urbain The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:89-106 [Journal ] Claude Marché Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1996, v:21, n:3, pp:253-288 [Journal ] Claude Marché , Xavier Urbain Modular and incremental proofs of AC-termination. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2004, v:38, n:1, pp:873-897 [Journal ] Jean-Pierre Jouannaud , Claude Marché Termination and Completion Modulo Associativity, Commutativity and Identity. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:104, n:1, pp:29-51 [Journal ] Claude Marché Towards Modular Algebraic Specifications for Pointer Programs: A Case Study. [Citation Graph (0, 0)][DBLP ] Rewriting, Computation and Proof, 2007, pp:235-258 [Conf ] Jean-Christophe Filliâtre , Claude Marché The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:173-177 [Conf ] Claude Marché , Hans Zantema The Termination Competition. [Citation Graph (0, 0)][DBLP ] RTA, 2007, pp:303-313 [Conf ] Claude Marché Jessie: an intermediate language for Java and C verification. [Citation Graph (0, 0)][DBLP ] PLPV, 2007, pp:1-2 [Conf ] Multi-Prover Verification of Floating-Point Programs. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.005secs