Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Claude Kirchner »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Claude Jard < Claude Kirchner < Claude Laurenco  Facettes :

List of bibliographic references indexed by Claude Kirchner

Number of relevant bibliographic references: 235.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000A94 (2014-06-19) Christine Berthaud [France] ; Laurent Capelli [France] ; Jens Gustedt [France] ; Claude Kirchner [France] ; Kevin Loiseau [France] ; Agnès Magron [France] ; Maud Medves [Allemagne] ; Alain Monteil [France] ; Gaëlle Riverieux [France] ; Laurent Romary [Allemagne]EPISCIENCES - an overlay publication platform
001268 (2013-03-25) Antoine Rousseau [France] ; Aurélie Darnaud [France] ; Brice Goglin [France] ; Céline Acharian [France] ; Christine Leininger [France] ; Christophe Godin [France] ; Clarisse Holik [France] ; Claude Kirchner [France] ; Diane Rives ; Elodie Darquie ; Erwan Kerrien [France] ; Fabrice Neyret [France] ; Florent Masseglia [France] ; Florian Dufour [France] ; Gérard Berry [France] ; Gilles Dowek [France] ; Hélène Robak [France] ; Hélène Xypas ; Irina Illina [France] ; Isabelle Gnaedig [France] ; Joanna Jongwane [France] ; Jocelyne Ehrel ; Laurent Viennot [France] ; Laure Guion ; Lisette Calderan [France] ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte [France] ; Martin Quinson [France] ; Martine Olivi [France] ; Mathieu Giraud [France] ; Mathilde Dorémus ; Mia Ogouchi [France] ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier [France] ; Nicolas Roussel [France] ; Pascal Guitton [France] ; Pierre Peterlongo [France] ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre [France] ; Sylvie Boldo [France] ; Thierry Viéville [France] ; Véronique Poirel [France] ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz [France] ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane Laurent [Belgique]Médiation Scientifique : une facette de nos métiers de la recherche
001531 (2013) Claude Kirchner [France] ; Hélène Kirchner [France] ; Fabrice Nahon [France]Narrowing Based Inductive Proof Search
002380 (2011-05-01) Claude Kirchner [France] ; Helene Kirchner [France] ; Fabrice Nahon [France]Narrowing Based Inductive Proof Search
002C07 (2010-07) Sansom Abramski ; Cyril Gavoille [France] ; Claude Kirchner [France] ; Friedhelm Meyer Auf Der Heide ; Paul G. SpirakisProceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS)
002E28 (2010-02-01) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-patterns for Rule-based Languages
003171 (2010) Guillaume Burel [France] ; Claude Kirchner [France]Regaining cut admissibility in deduction modulo using abstract completion
003521 (2009-06-28) Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Cláudia Tavares [France]A Type System for Tom
003584 (2009-06) Helene Kirchner [France] ; Kirchner Florent [France] ; Claude Kirchner [France]Constraint Based Strategies
003658 (2009-03-28) Claude Kirchner [France] ; Helene Kirchner [France] ; Anderson Santana De OliveiraAnalysis of Rewrite-Based Access Control Policies
003687 (2009-02-18) Véronique Cortier [France] ; Claude Kirchner [France] ; Mitsuhiro Okada [Japon] ; Hideki Sakurada [Japon]Formal to practical Security
003942 (2009) Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France]Inductive proof search modulo
003F50 (2008-06-22) Anderson Santana De Oliveira [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Analysis of Rewrite-Based Access Control Policies
004421 (2008) Claude Kirchner ; Radu Kopetz ; Pierre-Etienne MoreauAnti-pattern Matching Modulo
004522 (2008) Claude Kirchner [France] ; Florent Kirchner [France] ; Helene Kirchner [France]Strategic Computation and Deduction
004635 (2007-11-30) Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-Pattern Matching Modulo
004670 (2007-11-02) Anderson Santana De Oliveira [France] ; Eric Ke Wang ; Claude Kirchner [France] ; Hélène Kirchner [France]Weaving Rewrite-Based Access Control Policies
004759 (2007-09) Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Inductive Proof Search Modulo
004808 (2007-07-10) Paul Brauner [France] ; Clement Houtmann [France] ; Claude Kirchner [France]Principles of Superdeduction
004862 (2007-06-25) Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Towards a sharing strategy for the graph rewriting calculus
004865 (2007-06-21) Paul Brauner [France] ; Clément Houtmann [France] ; Claude Kirchner [France]Superdeduction at work

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Claude Kirchner" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Claude Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Claude Kirchner
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022