Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaude Kirchner
Person information
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[i9]Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Binding Logic: proofs and models. CoRR abs/2305.15782 (2023)- 2022
- [i8]Mélanie Gornet, Claude Kirchner, Catherine Tessier:
Operational Fairness for Facial Authentication Systems. ERCIM News 2022(131) (2022) - 2021
- [i7]Claude Kirchner, Franziska Roesner:
Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402). Dagstuhl Reports 11(9): 28-44 (2021)
2010 – 2019
- 2017
- [j30]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:
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). Dagstuhl Manifestos 6(1): 1-20 (2017) - 2016
- [i6]Carole A. Goble, James Howison, Claude Kirchner, Oscar Nierstrasz, Jurgen J. Vinju:
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). Dagstuhl Reports 6(6): 62-87 (2016) - 2014
- [j29]Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing:
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Manifestos 4(1): 1-27 (2014) - [j28]Christine Berthaud, Laurent Capelli, Jens Gustedt, Claude Kirchner, Kevin Loiseau, Agnès Magron, Maud Medves, Alain Monteil, Gaëlle Riverieux, Laurent Romary:
EPISCIENCES - An overlay publication platform. Inf. Serv. Use 34(3-4): 269-277 (2014) - [c79]Jens Gustedt, Laurent Romary, Claude Kirchner, Kevin Loiseau, Christine Berthaud, Laurent Capelli, Alain Monteil, Maud Medves, Agnès Magron, Gaëlle Riverieux:
EPISCIENCES - an overlay publication platform. ELPUB 2014: 78-87 - [r1]Claude Kirchner, Hélène Kirchner:
Equational Logic and Rewriting. Computational Logic 2014: 255-282 - [i5]Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing:
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Reports 4(3): 47-61 (2014) - 2013
- [c78]Claude Kirchner, Hélène Kirchner, Fabrice Nahon:
Narrowing Based Inductive Proof Search. Programming Logics 2013: 216-238 - 2012
- [c77]Claude Kirchner:
Rho-Calculi for Computation and Logic (Invited Talk). RTA 2012: 2-4 - 2011
- [i4]Frédéric Blanqui, Claude Kirchner, Colin Riba:
On the confluence of lambda-calculus with conditional rewriting. CoRR abs/1109.4353 (2011) - 2010
- [j27]Guillaume Burel, Claude Kirchner:
Regaining cut admissibility in deduction modulo using abstract completion. Inf. Comput. 208(2): 140-164 (2010) - [j26]Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010) - [j25]Frédéric Blanqui, Claude Kirchner, Colin Riba:
On the confluence of lambda-calculus with conditional rewriting. Theor. Comput. Sci. 411(37): 3301-3327 (2010) - [e8]Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis:
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6198, Springer 2010, ISBN 978-3-642-14164-5 [contents] - [e7]Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis:
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6199, Springer 2010, ISBN 978-3-642-14161-4 [contents]
2000 – 2009
- 2009
- [j24]Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner:
Inductive proof search modulo. Ann. Math. Artif. Intell. 55(1-2): 123-154 (2009) - [c76]Claude Kirchner, Florent Kirchner, Hélène Kirchner:
Constraint Based Strategies. WFLP 2009: 13-26 - [c75]Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares:
A Type System for Tom. RULE 2009: 51-63 - [e6]Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada:
Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration. Lecture Notes in Computer Science 5458, Springer 2009, ISBN 978-3-642-02001-8 [contents] - [i3]Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner:
Verification of Timed Automata Using Rewrite Rules and Strategies. CoRR abs/0907.3123 (2009) - 2008
- [c74]Nachum Dershowitz, Claude Kirchner:
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. Concurrency, Graphs and Models 2008: 194-208 - [c73]Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-pattern Matching Modulo. LATA 2008: 275-286 - [c72]Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira:
Analysis of Rewrite-Based Access Control Policies. SecReT@LICS/CSF 2008: 55-75 - 2007
- [j23]Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-calculus of explicit constraint application. High. Order Symb. Comput. 20(1-2): 37-72 (2007) - [j22]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17(3): 363-406 (2007) - [c71]Paul Brauner, Clément Houtmann, Claude Kirchner:
Superdeduction at Work. Rewriting, Computation and Proof 2007: 132-166 - [c70]Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner:
Weaving rewrite-based access control policies. FMSE 2007: 71-80 - [c69]Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-pattern Matching. ESOP 2007: 110-124 - [c68]Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira:
Modular Access Control Via Strategic Rewriting. ESORICS 2007: 578-593 - [c67]Clara Bertolissi, Claude Kirchner:
The Rewriting Calculus as a Combinatory Reduction System. FoSSaCS 2007: 78-92 - [c66]Guillaume Burel, Claude Kirchner:
Cut Elimination in Deduction Modulo by Abstract Completion. LFCS 2007: 115-131 - [c65]Paul Brauner, Clément Houtmann, Claude Kirchner:
Principles of Superdeduction. LICS 2007: 41-50 - [c64]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Towards a Sharing Strategy for the Graph Rewriting Calculus. WRS@RDP 2007: 111-127 - [e5]Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner:
Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 4600, Springer 2007, ISBN 978-3-540-73146-7 [contents] - [e4]Maribel Fernández, Claude Kirchner:
Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006. Electronic Notes in Theoretical Computer Science 171(4), Elsevier 2007 [contents] - 2006
- [j21]Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Expressing combinatory reduction systems derivations in the rewriting calculus. High. Order Symb. Comput. 19(4): 345-376 (2006) - [j20]Nachum Dershowitz, Claude Kirchner:
Abstract canonical presentations. Theor. Comput. Sci. 357(1-3): 53-69 (2006) - [c63]Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau:
Formal Islands. AMAST 2006: 51-65 - [c62]Guillaume Burel, Claude Kirchner:
Completion Is an Instance of Abstract Canonical System Inference. Essays Dedicated to Joseph A. Goguen 2006: 497-520 - [c61]Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
Formal Validation of Pattern Matching code. Trustworthy Software 2006 - [c60]Frédéric Blanqui, Claude Kirchner, Colin Riba:
On the Confluence of lambda-Calculus with Conditional Rewriting. FoSSaCS 2006: 382-397 - [c59]Maribel Fernández, Claude Kirchner:
Preface. SecReT@ICALP 2006: 1-2 - [i2]Frédéric Blanqui, Claude Kirchner, Colin Riba:
On the confluence of lambda-calculus with conditional rewriting. CoRR abs/cs/0609002 (2006) - 2005
- [c58]Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
Formal validation of pattern matching code. PPDP 2005: 187-197 - [c57]Claude Kirchner, Hélène Kirchner, Anderson Santana:
Anchoring modularity in HTML. WWV 2005: 139-151 - [c56]Claude Kirchner, Hélène Kirchner, Anderson Santana:
Anchoring Modularity in HTML. WWV 2005: 133-146 - 2004
- [c55]Claude Kirchner, Hélène Kirchner:
Rule-Based Programming and Proving: The ELAN Experience Outcomes. ASIAN 2004: 363-379 - [c54]Claude Kirchner:
Strategic Rewriting. WRS 2004: 3-9 - [c53]Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner:
A Rewriting Calculus for Cyclic Higher-order Term Graphs. TERMGRAPH 2004: 21-41 - [c52]Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-Calculus of Explicit Constraint Application. WRLA 2004: 51-67 - 2003
- [j19]Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Theorem Proving Modulo. J. Autom. Reason. 31(1): 33-72 (2003) - [c51]Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen:
Proof Search and Proof Check for Equational and Inductive Theorems. CADE 2003: 297-316 - [c50]Nachum Dershowitz, Claude Kirchner:
Abstract Saturation-Based Inference. LICS 2003: 65-74 - [c49]Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Pure patterns type systems. POPL 2003: 250-261 - [c48]Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Translating Combinatory Reduction Systems into the Rewriting Calculus. RULE@RDP 2003: 28-44 - [c47]Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack:
Rewrite strategies in the rewriting calculus. WRS 2003: 593-624 - 2002
- [j18]Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner:
External Rewriting for Skeptical Proof Assistants. J. Autom. Reason. 29(3-4): 309-336 (2002) - [j17]Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau:
ELAN from a rewriting logic point of view. Theor. Comput. Sci. 285(2): 155-185 (2002) - [c46]Eric Deplagne, Claude Kirchner:
Deduction versus Computation: The Case of Induction. AISC 2002: 4-6 - [c45]Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Binding Logic: Proofs and Models. LPAR 2002: 130-144 - [c44]Germain Faure, Claude Kirchner:
Exceptions in the Rewriting Calculus. RTA 2002: 66-82 - [c43]Olivier Bournez, Claude Kirchner:
Probabilistic Rewrite Strategies. Applications to ELAN. RTA 2002: 252-266 - [c42]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Rewriting Calculus with(out) Types. WRLA 2002: 3-19 - 2001
- [j16]Horatiu Cirstea, Claude Kirchner:
The rewriting calculus - Part I. Log. J. IGPL 9(3): 339-375 (2001) - [j15]Horatiu Cirstea, Claude Kirchner:
The rewriting calculus - Part II. Log. J. IGPL 9(3): 377-410 (2001) - [j14]Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen:
Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. 12(1): 69-95 (2001) - [j13]Gilles Dowek, Thérèse Hardin, Claude Kirchner:
HOL-λσ: an intentional first-order expression of higher-order logic. Math. Struct. Comput. Sci. 11(1): 21-45 (2001) - [c41]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
The Rho Cube. FoSSaCS 2001: 168-183 - [c40]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Matching Power. RTA 2001: 77-92 - [i1]Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner:
Verification of Timed Automata Using Rewrite Rules and Strategies. CoRR cs.PL/0109024 (2001) - 2000
- [j12]Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Higher Order Unification via Explicit Substitutions. Inf. Comput. 157(1-2): 183-235 (2000) - [c39]Horatiu Cirstea, Claude Kirchner:
The simply typed rewriting calculus. WRLA 2000: 24-42
1990 – 1999
- 1999
- [j11]Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner:
A Methodological View of Constraint Solving. Constraints An Int. J. 4(4): 337-361 (1999) - [j10]Eric Domenjoud, Claude Kirchner, Jianyang Zhou:
Generating Feasible Schedules for a Pick-up and Delivery Problem. Electron. Notes Discret. Math. 1: 36-47 (1999) - [c38]Hubert Comon, Claude Kirchner:
Constraint Solving on Terms. CCL 1999: 47-103 - [c37]Gilles Dowek, Thérèse Hardin, Claude Kirchner:
HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic. RTA 1999: 317-331 - 1998
- [j9]Claude Kirchner, Christophe Ringeissen:
Rule-Based Constraint Programming. Fundam. Informaticae 34(3): 225-262 (1998) - [j8]Claus Hintermeier, Claude Kirchner, Hélène Kirchner:
Dynamically Typed Computations for Order-Sorted Equational Presentations. J. Symb. Comput. 25(4): 455-526 (1998) - [c36]Horatiu Cirstea, Claude Kirchner:
The Rewriting Calculus as a Semantics of ELAN. ASIAN 1998: 84-85 - [c35]Eric Domenjoud, Claude Kirchner, Jianyang Zhou:
Generating Feasible Schedules for a Pick-Up and Delivery Problem. CP 1998: 467 - [c34]Peter Borovanský, Claude Kirchner, Hélène Kirchner:
A Functional View of Rewriting and Strategies for a Semantics of ELAN. Fuji International Symposium on Functional and Logic Programming 1998: 143-166 - [c33]Horatiu Cirstea, Claude Kirchner:
Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. FroCoS 1998: 95-120 - [c32]Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen:
An overview of ELAN. WRLA 1998: 55-70 - [c31]Claude Kirchner, Hélène Kirchner:
Preface. WRLA 1998: 367-368 - [e3]Claude Kirchner, Hélène Kirchner:
Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings. Lecture Notes in Computer Science 1421, Springer 1998, ISBN 3-540-64675-2 [contents] - [e2]Claude Kirchner, Hélène Kirchner:
1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998. Electronic Notes in Theoretical Computer Science 15, Elsevier 1998 [contents] - 1997
- [c30]Claude Kirchner, Christophe Ringeissen:
Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA 1997: 61-75 - [c29]Farid Ajili, Claude Kirchner:
A Modular Framework for the Combination of Unification and Built-In Constraints. ICLP 1997: 331-345 - 1996
- [c28]Ilies Alouini, Claude Kirchner:
Toward the Concurrent Implementation of Computational Systems. ALP 1996: 1-31 - [c27]Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning:
Unification via Explicit Substitutions: The Case of Higher-Order Patterns. JICSLP 1996: 259-273 - [c26]Claude Kirchner, Christopher Lynch, Christelle Scharff:
Fine-Grained Concurrent Completion. RTA 1996: 3-17 - [c25]Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek:
ELAN: A logical framework based on computational systems. WRLA 1996: 35-50 - [c24]Peter Borovanský, Claude Kirchner, Hélène Kirchner:
Controlling rewriting by rewriting. WRLA 1996: 169-189 - 1995
- [j7]Claude Kirchner:
Editorial. Theor. Comput. Sci. 142(2): 139-140 (1995) - [c23]Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Higher-Order Unification via Explicit Substitutions (Extended Abstract). LICS 1995: 366-374 - 1994
- [c22]Claus Hintermeier, Claude Kirchner, Hélène Kirchner:
Sort Inheritance for Order-Sorted Equational Presentations. COMPASS/ADT 1994: 319-335 - [c21]Claus Hintermeier, Claude Kirchner, Hélène Kirchner:
Dynamically-Typed Computations for Order-Sorted Equational Presentations. ICALP 1994: 450-461 - 1993
- [c20]Claude Kirchner, Hélène Kirchner, Marian Vittek:
Implementing Computational Systems with Constraints. PPCP 1993: 156-165 - [e1]Claude Kirchner:
Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Lecture Notes in Computer Science 690, Springer 1993, ISBN 3-540-56868-9 [contents] - 1992
- [j6]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): 257-279 (1992) - [j5]Mohamed Adi, Claude Kirchner:
AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. J. Symb. Comput. 14(1): 51-70 (1992) - 1991
- [j4]Miki Hermann, Claude Kirchner, Hélène Kirchner:
Implementations of Term Rewriting Systems. Comput. J. 34(1): 20-33 (1991) - [j3]Narjes Doggaz, Claude Kirchner:
Completion for Unification. Theor. Comput. Sci. 85(2): 231-251 (1991) - [c19]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: 257-321 - 1990
- [j2]Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner:
Equational Completion in Order-Sorted Algebras. Theor. Comput. Sci. 72(2&3): 169-202 (1990) - [c18]Claude Kirchner:
Tutorial on Equational Unification. CADE 1990: 682 - [c17]Claude Kirchner, Patrick Viry:
Implementing Parallel Rewriting. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 123-138 - [c16]Mohamed Adi, Claude Kirchner:
AC-Unification Race: The System Solving Approach And Its Implementation. DISCO 1990: 174-183 - [c15]Claude Kirchner, Francis Klay:
Syntactic Theories and Unification. LICS 1990: 270-277 - [c14]Claude Kirchner, Patrick Viry:
Implementing Parallel Rewriting. PLILP 1990: 1-15
1980 – 1989
- 1989
- [c13]Claude Kirchner, Hélène Kirchner:
Constrained Equational Reasoning. ISSAC 1989: 382-389 - 1988
- [c12]Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis:
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP 1988: 41-52 - [c11]Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner:
Equational Completion in Order-Sorted Algebras (Extended Abstract). CAAP 1988: 165-184 - [c10]Claude Kirchner, Hélène Kirchner, José Meseguer:
Operational Semantics of OBJ-3 (Extended Abstract). ICALP 1988: 287-301 - 1987
- [j1]Claude Kirchner, Hélène Kirchner:
REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. Sci. Comput. Program. 8(1): 69-86 (1987) - [c9]Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler:
An Introduction to OBJ 3. CTRS 1987: 258-263 - [c8]Claude Kirchner, Pierre Lescanne:
Solving Disequations. LICS 1987: 347-352 - 1986
- [c7]Joseph A. Goguen, Claude Kirchner, José Meseguer:
Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93 - [c6]Claude Kirchner:
Computing Unification Algorithms. LICS 1986: 206-216 - 1985
- [c5]