Claude Kirchner

According to our database, Claude Kirchner authored at least 107 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Operational Fairness for Facial Authentication Systems.

Mélanie Gornet, Claude Kirchner, Catherine Tessier

ERCIM News, 2022

2021

Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402).

Claude Kirchner, Franziska Roesner

Dagstuhl Reports, 2021

2017

Engineering Academic Software (Dagstuhl Perspectives Workshop 16252).

Alice Allen, Cecilia R. Aragon, Christoph Becker, Jeffrey C. Carver, Andrei Chis, Benoît Combemale, Mike Croucher, Kevin Crowston, Daniel Garijo, Ashish Gehani, Carole A. Goble, Robert Haines, Robert Hirschfeld, James Howison, Kathryn D. Huff, Caroline Jay, Daniel S. Katz, Claude Kirchner, Katie Kuksenok, Ralf Lämmel, Oscar Nierstrasz, Matthew J. Turk, Rob van Nieuwpoort, Matthew Vaughn, Jurgen J. Vinju

Dagstuhl Manifestos, 2017

2016

Engineering Academic Software (Dagstuhl Perspectives Workshop 16252).

Carole A. Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, Jurgen J. Vinju

Dagstuhl Reports, 2016

2014

Equational Logic and Rewriting.

Claude Kirchner, Hélène Kirchner

Proceedings of the Computational Logic, 2014

EPISCIENCES - An overlay publication platform.

Christine Berthaud, Laurent Capelli, Jens Gustedt, Claude Kirchner, Kevin Loiseau, Agnès Magron, Maud Medves, Alain Monteil, Gaëlle Riverieux, Laurent Romary

Inf. Serv. Use, 2014

Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).

Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing

Dagstuhl Reports, 2014

Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).

Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing

Dagstuhl Manifestos, 2014

2013

Narrowing Based Inductive Proof Search.

Claude Kirchner, Hélène Kirchner, Fabrice Nahon

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Rho-Calculi for Computation and Logic (Invited Talk).

Claude Kirchner

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2010

On the confluence of lambda-calculus with conditional rewriting.

Frédéric Blanqui, Claude Kirchner, Colin Riba

Theor. Comput. Sci., 2010

Anti-patterns for rule-based languages.

Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

J. Symb. Comput., 2010

Regaining cut admissibility in deduction modulo using abstract completion.

Guillaume Burel, Claude Kirchner

Inf. Comput., 2010

2009

A Type System for Tom

Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

Inductive proof search modulo.

Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner

Ann. Math. Artif. Intell., 2009

Constraint Based Strategies.

Claude Kirchner, Florent Kirchner, Hélène Kirchner

Proceedings of the Functional and Constraint Logic Programming, 2009

2008

Analysis of Rewrite-Based Access Control Policies.

Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Anti-pattern Matching Modulo.

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

Proceedings of the Language and Automata Theory and Applications, 2008

SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.

Nachum Dershowitz, Claude Kirchner

Proceedings of the Concurrency, 2008

2007

A rho-calculus of explicit constraint application.

Horatiu Cirstea, Germain Faure, Claude Kirchner

High. Order Symb. Comput., 2007

Towards a Sharing Strategy for the Graph Rewriting Calculus.

Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Principles of Superdeduction.

Paul Brauner, Clément Houtmann, Claude Kirchner

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Cut Elimination in Deduction Modulo by Abstract Completion.

Guillaume Burel, Claude Kirchner

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

The Rewriting Calculus as a Combinatory Reduction System.

Clara Bertolissi, Claude Kirchner

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Modular Access Control Via Strategic Rewriting.

Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira

Proceedings of the Computer Security, 2007

Anti-pattern Matching.

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

Proceedings of the Programming Languages and Systems, 2007

Weaving rewrite-based access control policies.

Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

Superdeduction at Work.

Paul Brauner, Clément Houtmann, Claude Kirchner

Proceedings of the Rewriting, 2007

2006

Abstract canonical presentations.

Nachum Dershowitz, Claude Kirchner

Theor. Comput. Sci., 2006

Expressing combinatory reduction systems derivations in the rewriting calculus.

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

High. Order Symb. Comput., 2006

Preface.

Maribel Fernández, Claude Kirchner

Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006

On the Confluence of <i>lambda</i>-Calculus with Conditional Rewriting.

Frédéric Blanqui, Claude Kirchner, Colin Riba

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Completion Is an Instance of Abstract Canonical System Inference.

Guillaume Burel, Claude Kirchner

Proceedings of the Algebra, Meaning, and Computation, 2006

Formal Islands.

Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Anchoring Modularity in HTML.

Claude Kirchner, Hélène Kirchner, Anderson Santana

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Formal validation of pattern matching code.

Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004

Strategic Rewriting.

Claude Kirchner

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

A Rewriting Calculus for Cyclic Higher-order Term Graphs.

Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Rule-Based Programming and Proving: The ELAN Experience Outcomes.

Claude Kirchner, Hélène Kirchner

Proceedings of the Advances in Computer Science, 2004

2003

Theorem Proving Modulo.

Gilles Dowek, Thérèse Hardin, Claude Kirchner

J. Autom. Reason., 2003

Rewrite strategies in the rewriting calculus.

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

Translating Combinatory Reduction Systems into the Rewriting Calculus.

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Pure patterns type systems.

Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Abstract Saturation-Based Inference.

Nachum Dershowitz, Claude Kirchner

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Proof Search and Proof Check for Equational and Inductive Theorems.

Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

ELAN from a rewriting logic point of view.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau

Theor. Comput. Sci., 2002

External Rewriting for Skeptical Proof Assistants.

Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner

J. Autom. Reason., 2002

Rewriting Calculus with(out) Types.

Horatiu Cirstea, Claude Kirchner, Luigi Liquori

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Exceptions in the Rewriting Calculus.

Germain Faure, Claude Kirchner

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Probabilistic Rewrite Strategies. Applications to ELAN.

Olivier Bournez, Claude Kirchner

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Binding Logic: Proofs and Models.

Gilles Dowek, Thérèse Hardin, Claude Kirchner

Proceedings of the Logic for Programming, 2002

Deduction versus Computation: The Case of Induction.

Eric Deplagne, Claude Kirchner

Proceedings of the Artificial Intelligence, 2002

2001

HOL-λσ: an intentional first-order expression of higher-order logic.

Gilles Dowek, Thérèse Hardin, Claude Kirchner

Math. Struct. Comput. Sci., 2001

Rewriting with Strategies in ELAN: A Functional Semantics.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen

Int. J. Found. Comput. Sci., 2001

The rewriting calculus - Part II.

Horatiu Cirstea, Claude Kirchner

Log. J. IGPL, 2001

The rewriting calculus - Part I.

Horatiu Cirstea, Claude Kirchner

Log. J. IGPL, 2001

Verification of Timed Automata Using Rewrite Rules and Strategies

Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner

CoRR, 2001

Matching Power.

Horatiu Cirstea, Claude Kirchner, Luigi Liquori

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

The Rho Cube.

Horatiu Cirstea, Claude Kirchner, Luigi Liquori

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Higher Order Unification via Explicit Substitutions.

Gilles Dowek, Thérèse Hardin, Claude Kirchner

Inf. Comput., 2000

The simply typed rewriting calculus.

Horatiu Cirstea, Claude Kirchner

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

1999

Generating Feasible Schedules for a Pick-up and Delivery Problem.

Eric Domenjoud, Claude Kirchner, Jianyang Zhou

Electron. Notes Discret. Math., 1999

A Methodological View of Constraint Solving.

Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner

Constraints An Int. J., 1999

HOL-<i>lambdasigma</i>: An Intentional First-Order Expression of Higher-Order Logic.

Gilles Dowek, Thérèse Hardin, Claude Kirchner

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Constraint Solving on Terms.

Hubert Comon, Claude Kirchner

Proceedings of the Constraints in Computational Logics: Theory and Applications, 1999

1998

Dynamically Typed Computations for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hélène Kirchner

J. Symb. Comput., 1998

Rule-Based Constraint Programming.

Claude Kirchner, Christophe Ringeissen

Fundam. Informaticae, 1998

Preface.

Claude Kirchner, Hélène Kirchner

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

An overview of ELAN.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN.

Horatiu Cirstea, Claude Kirchner

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

A Functional View of Rewriting and Strategies for a Semantics of ELAN.

Peter Borovanský, Claude Kirchner, Hélène Kirchner

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

The Rewriting Calculus as a Semantics of ELAN.

Horatiu Cirstea, Claude Kirchner

Proceedings of the Advances in Computing Science, 1998

1997

A Modular Framework for the Combination of Unification and Built-In Constraints.

Farid Ajili, Claude Kirchner

Proceedings of the Logic Programming, 1997

Higher-Order Equational Unification via Explicit Substitutions.

Claude Kirchner, Christophe Ringeissen

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996

ELAN: A logical framework based on computational systems.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Controlling rewriting by rewriting.

Peter Borovanský, Claude Kirchner, Hélène Kirchner

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Fine-Grained Concurrent Completion.

Claude Kirchner, Christopher Lynch, Christelle Scharff

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning

Proceedings of the Logic Programming, 1996

Toward the Concurrent Implementation of Computational Systems.

Ilies Alouini, Claude Kirchner

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995

Editorial.

Claude Kirchner

Theor. Comput. Sci., 1995

Higher-Order Unification via Explicit Substitutions (Extended Abstract)

Gilles Dowek, Thérèse Hardin, Claude Kirchner

Proceedings of the Proceedings, 1995

1994

Sort Inheritance for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hélène Kirchner

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Implementing Computational Systems with Constraints.

Claude Kirchner, Hélène Kirchner, Marian Vittek

Proceedings of the Principles and Practice of Constraint Programming, 1993

1992

AC-Unification Race: The System Solving Approach, Implementation and Benchmarks.

Mohamed Adi, Claude Kirchner

J. Symb. Comput., 1992

Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

J. Log. Program., 1992

1991

Completion for Unification.

Narjes Doggaz, Claude Kirchner

Theor. Comput. Sci., 1991

Implementations of Term Rewriting Systems.

Miki Hermann, Claude Kirchner, Hélène Kirchner

Comput. J., 1991

Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.

Jean-Pierre Jouannaud, Claude Kirchner

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

Equational Completion in Order-Sorted Algebras.

Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner

Theor. Comput. Sci., 1990

Implementing Parallel Rewriting.

Claude Kirchner, Patrick Viry

Proceedings of the Programming Language Implementation and Logic Programming, 1990

Syntactic Theories and Unification

Claude Kirchner, Francis Klay

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

AC-Unification Race: The System Solving Approach And Its Implementation.

Mohamed Adi, Claude Kirchner

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

Tutorial on Equational Unification.

Claude Kirchner

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Constrained Equational Reasoning.

Claude Kirchner, Hélène Kirchner

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

Operational Semantics of OBJ-3 (Extended Abstract).

Claude Kirchner, Hélène Kirchner, José Meseguer

Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

Equational Completion in Order-Sorted Algebras (Extended Abstract).

Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner

Proceedings of the CAAP '88, 1988

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

Proceedings of the Algebraic and Logic Programming, 1988

1987

REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.

Claude Kirchner, Hélène Kirchner

Sci. Comput. Program., 1987

Solving Disequations

Claude Kirchner, Pierre Lescanne

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

An Introduction to OBJ 3.

Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

Computing Unification Algorithms

Claude Kirchner

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Concurrent term rewriting as a model of computation.

Joseph A. Goguen, Claude Kirchner, José Meseguer

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985

NARROWER: A New Algorithm for Unification and Its Application to Logic Programming.

Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.

Claude Kirchner, Hélène Kirchner

Proceedings of the EUROCAL '85, 1985

1984

A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm.

Claude Kirchner

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

Incremental Construction of Unification Algorithms in Equational Theories.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner

Proceedings of the Automata, 1983

1981

Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees.

Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981