Accéder directement au contenu

Claude Kirchner

4
Documents
Identifiants chercheurs

Présentation

Publications

831023

Anti-patterns for Rule-based Languages

 Horatiu Cirstea , Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
Journal of Symbolic Computation, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
Article dans une revue inria-00429226v1
Image document

Anti-Pattern Matching Modulo

 Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩
Communication dans un congrès inria-00337722v1
Image document

Formal Islands

 Emilie Balland , Claude Kirchner , Pierre-Etienne Moreau
11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
Communication dans un congrès inria-00001146v1
Image document

Production Systems and Rete Algorithm Formalisation

 Horatiu Cirstea , Claude Kirchner , Michael Mm Moossen , Pierre-Etienne Moreau
[Research Report] 2004, pp.21
Rapport inria-00280938v1