Claude Kirchner

128 papers A* 11A 7B 6C 2Misc 2Journal 40Unranked 52

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Binding Logic: proofs and models. CoRR Gilles Dowek, Thérèse Hardin, Claude Kirchner
2022	J	`jnl`	Operational Fairness for Facial Authentication Systems. ERCIM News Mélanie Gornet, Claude Kirchner, Catherine Tessier
2021	J	`jnl`	Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402). Dagstuhl Reports Claude Kirchner, Franziska Roesner
2017	J	`jnl`	Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). Dagstuhl Manifestos 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, Matt Turk, Rob van Nieuwpoort, Matthew Vaughn, Jurgen J. Vinju
2016	J	`jnl`	ERCIM Goes to Open Access. ERCIM News Jos C. M. Baeten, Claude Kirchner
2016	J	`jnl`	Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). Dagstuhl Reports Carole A. Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, Jurgen J. Vinju
2014	J	`jnl`	EPISCIENCES - An overlay publication platform. Inf. Serv. Use Christine Berthaud, Laurent Capelli, Jens Gustedt, Claude Kirchner, Kevin Loiseau, Agnès Magron, Maud Medves, Alain Monteil, Gaëlle Riverieux, Laurent Romary
2014	—	`conf`	EPISCIENCES - an overlay publication platform. ELPUB Jens Gustedt, Laurent Romary, Claude Kirchner, Kevin Loiseau, Christine Berthaud, Laurent Capelli, Alain Monteil, Maud Medves, Agnès Magron, Gaëlle Riverieux
2014	—	`ch.`	Equational Logic and Rewriting. Computational Logic Claude Kirchner, Hélène Kirchner
2014	J	`jnl`	Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Manifestos Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing
2014	J	`jnl`	Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Reports Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing
2013	—	`conf`	Narrowing Based Inductive Proof Search. Programming Logics Claude Kirchner, Hélène Kirchner, Fabrice Nahon
2012	—	`conf`	Rho-Calculi for Computation and Logic (Invited Talk). RTA Claude Kirchner
2011	J	`jnl`	On the confluence of lambda-calculus with conditional rewriting CoRR Frédéric Blanqui, Claude Kirchner, Colin Riba
2010	J	`jnl`	Anti-patterns for rule-based languages. J. Symb. Comput. Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
2010	—	`ed.`	Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I ICALP (1) Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
2010	—	`ed.`	Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II ICALP (2) Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
2010	J	`jnl`	On the confluence of lambda-calculus with conditional rewriting. Theor. Comput. Sci. Frédéric Blanqui, Claude Kirchner, Colin Riba
2010	J	`jnl`	Regaining cut admissibility in deduction modulo using abstract completion. Inf. Comput. Guillaume Burel, Claude Kirchner
2009	—	`conf`	A Type System for Tom RULE Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
2009	—	`conf`	Constraint Based Strategies. WFLP Claude Kirchner, Florent Kirchner, Hélène Kirchner
2009	—	`ed.`	Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration Formal to Practical Security Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
2009	J	`jnl`	Inductive proof search modulo. Ann. Math. Artif. Intell. Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
2009	J	`jnl`	Verification of Timed Automata Using Rewrite Rules and Strategies CoRR Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
2008	—	`conf`	Analysis of Rewrite-Based Access Control Policies. SecReT@LICS/CSF Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
2008	C	`conf`	Anti-pattern Matching Modulo. LATA Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
2008	—	`conf`	SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. Concurrency, Graphs and Models Nachum Dershowitz, Claude Kirchner
2007	J	`jnl`	A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2007	J	`jnl`	A rho-calculus of explicit constraint application. High. Order Symb. Comput. Horatiu Cirstea, Germain Faure, Claude Kirchner
2007	A	`conf`	Anti-pattern Matching. ESOP Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
2007	Misc	`conf`	Cut Elimination in Deduction Modulo by Abstract Completion. LFCS Guillaume Burel, Claude Kirchner
2007	A	`conf`	Modular Access Control Via Strategic Rewriting. ESORICS Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
2007	A*	`conf`	Principles of Superdeduction. LICS Paul Brauner, Clément Houtmann, Claude Kirchner
2007	—	`ed.`	Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006 SecReT@ICALP Maribel Fernández, Claude Kirchner
2007	—	`ed.`	Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday Rewriting, Computation and Proof Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
2007	—	`conf`	Superdeduction at Work. Rewriting, Computation and Proof Paul Brauner, Clément Houtmann, Claude Kirchner
2007	B	`conf`	The Rewriting Calculus as a Combinatory Reduction System. FoSSaCS Clara Bertolissi, Claude Kirchner
2007	—	`conf`	Towards a Sharing Strategy for the Graph Rewriting Calculus. WRS@RDP Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2007	—	`conf`	Weaving rewrite-based access control policies. FMSE Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner
2006	J	`jnl`	Abstract canonical presentations. Theor. Comput. Sci. Nachum Dershowitz, Claude Kirchner
2006	—	`conf`	Completion Is an Instance of Abstract Canonical System Inference. Essays Dedicated to Joseph A. Goguen Guillaume Burel, Claude Kirchner
2006	J	`jnl`	Expressing combinatory reduction systems derivations in the rewriting calculus. High. Order Symb. Comput. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2006	—	`conf`	Formal Islands. AMAST Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
2006	—	`conf`	Formal Validation of Pattern Matching code. Trustworthy Software Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
2006	B	`conf`	On the Confluence of FoSSaCS Frédéric Blanqui, Claude Kirchner, Colin Riba
2006	J	`jnl`	On the confluence of lambda-calculus with conditional rewriting CoRR Frédéric Blanqui, Claude Kirchner, Colin Riba
2006	—	`conf`	Preface. SecReT@ICALP Maribel Fernández, Claude Kirchner
2005	—	`conf`	Anchoring Modularity in HTML. WWV Claude Kirchner, Hélène Kirchner, Anderson Santana
2005	—	`conf`	Anchoring modularity in HTML. WWV Claude Kirchner, Hélène Kirchner, Anderson Santana
2005	C	`conf`	Formal validation of pattern matching code. PPDP Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
2004	—	`conf`	A Rewriting Calculus for Cyclic Higher-order Term Graphs. TERMGRAPH Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
2004	—	`conf`	A rho-Calculus of Explicit Constraint Application. WRLA Horatiu Cirstea, Germain Faure, Claude Kirchner
2004	—	`conf`	Rule-Based Programming and Proving: The ELAN Experience Outcomes. ASIAN Claude Kirchner, Hélène Kirchner
2004	—	`conf`	Strategic Rewriting. WRS Claude Kirchner
2003	A*	`conf`	Abstract Saturation-Based Inference. LICS Nachum Dershowitz, Claude Kirchner
2003	A	`conf`	Proof Search and Proof Check for Equational and Inductive Theorems. CADE Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
2003	A*	`conf`	Pure patterns type systems. POPL Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2003	—	`conf`	Rewrite strategies in the rewriting calculus. WRS Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
2003	J	`jnl`	Theorem Proving Modulo. J. Autom. Reason. Gilles Dowek, Thérèse Hardin, Claude Kirchner
2003	—	`conf`	Translating Combinatory Reduction Systems into the Rewriting Calculus. RULE@RDP Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2002	B	`conf`	Binding Logic: Proofs and Models. LPAR Gilles Dowek, Thérèse Hardin, Claude Kirchner
2002	Misc	`conf`	Deduction versus Computation: The Case of Induction. AISC Eric Deplagne, Claude Kirchner
2002	J	`jnl`	ELAN from a rewriting logic point of view. Theor. Comput. Sci. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
2002	—	`conf`	Exceptions in the Rewriting Calculus. RTA Germain Faure, Claude Kirchner
2002	J	`jnl`	External Rewriting for Skeptical Proof Assistants. J. Autom. Reason. Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner
2002	—	`conf`	Probabilistic Rewrite Strategies. Applications to ELAN. RTA Olivier Bournez, Claude Kirchner
2002	—	`conf`	Rewriting Calculus with(out) Types. WRLA Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	J	`jnl`	HOL-λσ: an intentional first-order expression of higher-order logic. Math. Struct. Comput. Sci. Gilles Dowek, Thérèse Hardin, Claude Kirchner
2001	—	`conf`	Matching Power. RTA Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	J	`jnl`	Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
2001	B	`conf`	The Rho Cube. FoSSaCS Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	J	`jnl`	The rewriting calculus - Part I. Log. J. IGPL Horatiu Cirstea, Claude Kirchner
2001	J	`jnl`	The rewriting calculus - Part II. Log. J. IGPL Horatiu Cirstea, Claude Kirchner
2001	J	`jnl`	Verification of Timed Automata Using Rewrite Rules and Strategies CoRR Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
2000	J	`jnl`	Higher Order Unification via Explicit Substitutions. Inf. Comput. Gilles Dowek, Thérèse Hardin, Claude Kirchner
2000	—	`conf`	The simply typed rewriting calculus. WRLA Horatiu Cirstea, Claude Kirchner
1999	J	`jnl`	A Methodological View of Constraint Solving. Constraints An Int. J. Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner
1999	—	`conf`	Constraint Solving on Terms. CCL Hubert Comon, Claude Kirchner
1999	J	`jnl`	Generating Feasible Schedules for a Pick-up and Delivery Problem. Electron. Notes Discret. Math. Eric Domenjoud, Claude Kirchner, Jianyang Zhou
1999	—	`conf`	HOL- RTA Gilles Dowek, Thérèse Hardin, Claude Kirchner
1998	—	`ed.`	1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998 WRLA Claude Kirchner, Hélène Kirchner
1998	—	`conf`	A Functional View of Rewriting and Strategies for a Semantics of ELAN. Fuji International Symposium on Functional and Logic Programming Peter Borovanský, Claude Kirchner, Hélène Kirchner
1998	—	`conf`	An overview of ELAN. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
1998	A	`ed.`	Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings CADE Claude Kirchner, Hélène Kirchner
1998	—	`conf`	Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. FroCoS Horatiu Cirstea, Claude Kirchner
1998	J	`jnl`	Dynamically Typed Computations for Order-Sorted Equational Presentations. J. Symb. Comput. Claus Hintermeier, Claude Kirchner, Hélène Kirchner
1998	A	`conf`	Generating Feasible Schedules for a Pick-Up and Delivery Problem. CP Eric Domenjoud, Claude Kirchner, Jianyang Zhou
1998	—	`conf`	Preface. WRLA Claude Kirchner, Hélène Kirchner
1998	J	`jnl`	Rule-Based Constraint Programming. Fundam. Informaticae Claude Kirchner, Christophe Ringeissen
1998	—	`conf`	The Rewriting Calculus as a Semantics of ELAN. ASIAN Horatiu Cirstea, Claude Kirchner
1997	B	`conf`	A Modular Framework for the Combination of Unification and Built-In Constraints. ICLP Farid Ajili, Claude Kirchner
1997	—	`conf`	Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA Claude Kirchner, Christophe Ringeissen
1996	—	`conf`	Controlling rewriting by rewriting. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner
1996	—	`conf`	ELAN: A logical framework based on computational systems. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
1996	—	`conf`	Fine-Grained Concurrent Completion. RTA Claude Kirchner, Christopher Lynch, Christelle Scharff
1996	—	`conf`	Toward the Concurrent Implementation of Computational Systems. ALP Ilies Alouini, Claude Kirchner
1996	—	`conf`	Unification via Explicit Substitutions: The Case of Higher-Order Patterns. JICSLP Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning
1995	J	`jnl`	Editorial. Theor. Comput. Sci. Claude Kirchner
1995	A*	`conf`	Higher-Order Unification via Explicit Substitutions (Extended Abstract) LICS Gilles Dowek, Thérèse Hardin, Claude Kirchner
1994	A*	`conf`	Dynamically-Typed Computations for Order-Sorted Equational Presentations. ICALP Claus Hintermeier, Claude Kirchner, Hélène Kirchner
1994	—	`conf`	Sort Inheritance for Order-Sorted Equational Presentations. COMPASS/ADT Claus Hintermeier, Claude Kirchner, Hélène Kirchner
1993	—	`conf`	Implementing Computational Systems with Constraints. PPCP Claude Kirchner, Hélène Kirchner, Marian Vittek
1993	—	`ed.`	Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings RTA Claude Kirchner
1992	J	`jnl`	AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. J. Symb. Comput. Mohamed Adi, Claude Kirchner
1992	J	`jnl`	Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. J. Log. Program. Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
1991	J	`jnl`	Completion for Unification. Theor. Comput. Sci. Narjes Doggaz, Claude Kirchner
1991	J	`jnl`	Implementations of Term Rewriting Systems. Comput. J. Miki Hermann, Claude Kirchner, Hélène Kirchner
1991	—	`conf`	Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. Computational Logic - Essays in Honor of Alan Robinson Jean-Pierre Jouannaud, Claude Kirchner
1990	—	`conf`	AC-Unification Race: The System Solving Approach And Its Implementation. DISCO Mohamed Adi, Claude Kirchner
1990	J	`jnl`	Equational Completion in Order-Sorted Algebras. Theor. Comput. Sci. Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
1990	—	`conf`	Implementing Parallel Rewriting. Dagstuhl Seminar on Parallelization in Inference Systems Claude Kirchner, Patrick Viry
1990	—	`conf`	Implementing Parallel Rewriting. PLILP Claude Kirchner, Patrick Viry
1990	A*	`conf`	Syntactic Theories and Unification LICS Claude Kirchner, Francis Klay
1990	A	`conf`	Tutorial on Equational Unification. CADE Claude Kirchner
1989	B	`conf`	Constrained Equational Reasoning. ISSAC Claude Kirchner, Hélène Kirchner
1988	—	`conf`	Equational Completion in Order-Sorted Algebras (Extended Abstract). CAAP Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
1988	—	`conf`	OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
1988	A*	`conf`	Operational Semantics of OBJ-3 (Extended Abstract). ICALP Claude Kirchner, Hélène Kirchner, José Meseguer
1987	—	`conf`	An Introduction to OBJ 3. CTRS Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
1987	J	`jnl`	REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. Sci. Comput. Program. Claude Kirchner, Hélène Kirchner
1987	A*	`conf`	Solving Disequations LICS Claude Kirchner, Pierre Lescanne
1986	A*	`conf`	Computing Unification Algorithms LICS Claude Kirchner
1986	—	`conf`	Concurrent term rewriting as a model of computation. Graph Reduction Joseph A. Goguen, Claude Kirchner, José Meseguer
1985	—	`conf`	Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. European Conference on Computer Algebra (2) Claude Kirchner, Hélène Kirchner
1985	—	`conf`	NARROWER: A New Algorithm for Unification and Its Application to Logic Programming. RTA Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne
1984	A	`conf`	A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm. CADE Claude Kirchner
1983	A*	`conf`	Incremental Construction of Unification Algorithms in Equational Theories. ICALP Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner
1981	A*	`conf`	Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. IJCAI Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud