Jean-Pierre Jouannaud

ORCID

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 14

Top Venues

CoRR

LPAR

Theor. Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas
Drag Rewriting. CoRR (2024)
Jean-Pierre Jouannaud, Fernando Orejas
Unification of drags and confluence of drag rewriting. J. Log. Algebraic Methods Program. 131 (2023)
Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. Math. Struct. Comput. Sci. 32 (7) (2022)
Gaspard Férey, Jean-Pierre Jouannaud
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. PPDP (2021)
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
Corrigendum to "Inductive-data-type systems" [Theoret. Comput. Sci. 272 (1-2) (2002) 41-68]. Theor. Comput. Sci. 817 (2020)
Jean-Pierre Jouannaud, Fernando Orejas
Unification of Drags. UNIF (2020)
Nachum Dershowitz, Jean-Pierre Jouannaud
Drags: A compositional algebraic framework for graph rewriting. Theor. Comput. Sci. 777 (2019)
Nachum Dershowitz, Jean-Pierre Jouannaud
Graph Path Orderings. LPAR (2018)
Jean-Pierre Jouannaud, Pierre-Yves Strub
Coq without Type Casts: A Complete Proof of Coq Modulo Theory. LPAR (2017)
Jean-Pierre Jouannaud, Albert Rubio
Normal Higher-Order Termination. ACM Trans. Comput. Log. 16 (2) (2015)
Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa
Confluence of Layered Rewrite Systems. CSL (2015)
Jean-Pierre Jouannaud, Jianqi Li
Termination of Dependently Typed Rewrite Rules. TLCA (2015)
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
Confluence of Layered Rewrite Systems. CoRR (2015)
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
The computability path ordering. Log. Methods Comput. Sci. 11 (4) (2015)
Jiaxiang Liu, Jean-Pierre Jouannaud
Confluence: The Unifying, Expressive Power of Locality. Specification, Algebra, and Software (2014)
Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud
Confluence by Critical Pair Analysis. RTA-TLCA (2014)
Jean Goubault-Larrecq, Jean-Pierre Jouannaud
The Blossom of Finite Semantic Trees. Programming Logics (2013)
Jean-Pierre Jouannaud, Jianqi Li
Church-Rosser Properties of Normal Rewriting. CSL (2012)
Jean-Pierre Jouannaud, Jiaxiang Liu
From diagrammatic confluence to modularity. Theor. Comput. Sci. 464 (2012)
Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang
CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. LICS (2011)
Jean-Pierre Jouannaud, Benjamin Monate
Infinite Families of Finite String Rewriting Systems and Their Confluence. LPAR (Yogyakarta) (2010)
Jean-Pierre Jouannaud, Vincent van Oostrom
Diagrammatic Confluence and Completion. ICALP (2) (2009)
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
The computability path ordering: the end of a quest CoRR (2008)
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
The Computability Path Ordering: The End of a Quest. CSL (2008)
Jean-Pierre Jouannaud, Yoshihito Toyama
Modular Church-Rosser Modulo: The Complete Picture. Int. J. Softw. Informatics 2 (1) (2008)
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures CoRR (2008)
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures. IFIP TCS (2008)
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
HORPO with Computability Closure: A Reconstruction. LPAR (2007)
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
Building Decision Procedures in the Calculus of Inductive Constructions CoRR (2007)
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
HORPO with Computability Closure : A Reconstruction CoRR (2007)
Jean-Pierre Jouannaud, Ian Mackie
Preface. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Jean-Pierre Jouannaud, Albert Rubio
Polymorphic higher-order recursive path orderings. J. ACM 54 (1) (2007)
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
Building Decision Procedures in the Calculus of Inductive Constructions. CSL (2007)
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
Inductive-data-type Systems CoRR (2006)
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
The Calculus of Algebraic Constructions CoRR (2006)
Jean-Pierre Jouannaud, Albert Rubio
Higher-Order Orderings for Normal Rewriting. RTA (2006)
Jean-Pierre Jouannaud, Weiwen Xu
Automatic Complexity Analysis for Programs Extracted from Coq Proof. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
Joseph Goguen (1941-2006). Bull. EATCS 90 (2006)
Jean-Pierre Jouannaud
Modular Church-Rosser Modulo. RTA (2006)
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
Higher-Order Termination: From Kruskal to Computability. LPAR (2006)
Jacek Chrzaszcz, Jean-Pierre Jouannaud
From OBJ to ML to Coq. Essays Dedicated to Joseph A. Goguen (2006)
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
Higher-Order Termination: from Kruskal to Computability CoRR (2006)
Jean-Pierre Jouannaud
Higher-Order Rewriting: Framework, Confluence and Termination. Processes, Terms and Cycles (2005)
Jean-Pierre Jouannaud
Twenty Years Later. RTA (2005)
Jean-Pierre Jouannaud
Theorem Proving Languages for Verification. ATVA (2004)
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
Inductive-data-type systems. Theor. Comput. Sci. 272 (1-2) (2002)
Adel Bouhoula, Jean-Pierre Jouannaud
Automata-Driven Automated Induction. Inf. Comput. 169 (1) (2001)
Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
Specification and proof in membership equational logic. Theor. Comput. Sci. 236 (1-2) (2000)
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
The Calculus of algebraic Constructions. RTA (1999)
Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner
A Methodological View of Constraint Solving. Constraints An Int. J. 4 (4) (1999)
Jean-Pierre Jouannaud, Albert Rubio
The Higher-Order Recursive Path Ordering. LICS (1999)
Jean-Pierre Jouannaud, Ralf Treinen
Constraints and Constraint Solving: An Introduction. CCL (1999)
Jean-Pierre Jouannaud
Membership equational logic, calculus of inductive instructions, and rewrite logic. WRLA (1998)
Jean-Pierre Jouannaud, Albert Rubio
Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering. Theor. Comput. Sci. 208 (1-2) (1998)
Jean-Pierre Jouannaud, Mitsuhiro Okada
Abstract Data Type Systems. Theor. Comput. Sci. 173 (2) (1997)
Adel Bouhoula, Jean-Pierre Jouannaud
Automata-Driven Automated Induction. LICS (1997)
Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
Specification and Proof in Membership Equational Logic. TAPSOFT (1997)
Jean-Pierre Jouannaud, Albert Rubio
-Normal Form. RTA (1996)
Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop
Problems in Rewriting III. RTA (1995)
Maribel Fernández, Jean-Pierre Jouannaud
Modular Termination of Term Rewriting Systems Revisited. COMPASS/ADT (1994)
Jean-Pierre Jouannaud, Walid Sadfi
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. CTRS (1994)
Jean-Pierre Jouannaud
Book Review: A Proof Theory for General Unification. By Wayne Snyder. (Birkhauser, 1991. vi+175 pages. ISBN 0-8176-3593-9. $28.00). SIGACT News 25 (2) (1994)
Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud
Syntacticness, Cycle-Syntacticness, and Shallow Theories Inf. Comput. 111 (1) (1994)
Jean-Pierre Jouannaud
Introduction to Rewriting. Term Rewriting (1993)
Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop
More Problems in Rewriting. RTA (1993)
Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud
Decidable Problems in Shallow Equational Theories (Extended Abstract) LICS (1992)
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. J. Log. Program. 12 (3&4) (1992)
Jean-Pierre Jouannaud, Claude Marché
Termination and Completion Modulo Associativity, Commutativity and Identity. Theor. Comput. Sci. 104 (1) (1992)
Jean-Pierre Jouannaud
Rewriting Techniques for Software Engineering. COMPASS/ADT (1992)
Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop
Open Problems in Rewriting. RTA (1991)
Nachum Dershowitz, Jean-Pierre Jouannaud
Notations for Rewting. Bull. EATCS 43 (1991)
Jean-Pierre Jouannaud, Mitsuhiro Okada
A Computation Model for Executable Higher-Order Algebraic Specification Languages LICS (1991)
Jean-Pierre Jouannaud, Claude Kirchner
Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. Computational Logic - Essays in Honor of Alan Robinson (1991)
Jean-Pierre Jouannaud, Mitsuhiro Okada
Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable. ICALP (1991)
Jean-Pierre Jouannaud
Executable Higher-Order Algebraic Specifications. STACS (1991)
Jieh Hsiang, Jean-Pierre Jouannaud
Tutorial on Rewrite-Based Theorem Proving. CADE (1990)
Jean-Pierre Jouannaud, Claude Marché
Completion modulo Associativity, Commutativity and Identity (AC1). DISCO (1990)
Jean-Pierre Jouannaud
Syntactic Theories. MFCS (1990)
Jean-Pierre Jouannaud, Emmanuel Kounalis
Automatic Proofs by Induction in Theories without Constructors Inf. Comput. 82 (1) (1989)
Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß
Unification in Boolean Rings and Abelian Groups. J. Symb. Comput. 8 (5) (1989)
Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß
Unification in Free Extensions of Boolean Rings and Abelian Groups LICS (1988)
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP (1988)
Jean-Pierre Jouannaud, B. Waldmann
Reductive conditional term rewriting systems. Formal Description of Programming Concepts (1987)
Jean-Pierre Jouannaud, Hélène Kirchner
Completion of a Set of Rules Modulo a Set of Equations. SIAM J. Comput. 15 (4) (1986)
Jean-Pierre Jouannaud, Emmanuel Kounalis
Automatic Proofs by Induction in Equational Theories Without Constructors LICS (1986)
Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
Operational Semantics for Order-Sorted Algebra. ICALP (1985)
Jean-Pierre Jouannaud, Emmanuel Kounalis
Proofs by induction in equational theories without constructors. Bull. EATCS 27 (1985)
Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
Principles of OBJ2. POPL (1985)
Jean-Pierre Jouannaud, Hélène Kirchner
Completion of a Set of Rules Modulo a Set of Equations. POPL (1984)
Jean-Pierre Jouannaud, Miguel Munoz
Termination of a Set of Rules Modulo a Set of Equations. CADE (1984)
Jean-Pierre Jouannaud, Hélène Kirchner
Construction D'un Plus Petit Odre de Simplification. RAIRO Theor. Informatics Appl. 18 (3) (1984)
Jean-Pierre Jouannaud
Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types. CAAP (1983)
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner
Incremental Construction of Unification Algorithms in Equational Theories. ICALP (1983)
Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. IJCAI (1983)
Jean-Pierre Jouannaud
Programming and Checking Data Types with REVE. ADT (1983)
Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig
Recursive Decomposition Ordering. Formal Description of Programming Concepts (1982)
Jean-Pierre Jouannaud, Pierre Lescanne
On Multiset Orderings. Inf. Process. Lett. 15 (2) (1982)
Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud
Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. IJCAI (1981)
Jean-Pierre Jouannaud, Yves Kodratoff
Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique. IJCAI (1979)
Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil
SISP/1: An Interactive System Able to Synthesize Functions from Examples. IJCAI (1977)

Jean-Pierre Jouannaud.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Pierre Jouannaud