Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « Auteurs » - entrée « Horatiu Cirstea »
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.
Horacio Rostro-Gonzalez < Horatiu Cirstea < Hossam Murad  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 63.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
002145 (2006) Horatiu Cirstea [France] ; Clara Bertolissi [France] ; Claude Kirchner [France]Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus
002169 (2010) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Daniel Dougherty [États-Unis] ; Hélène Kirchner [France]Extensional and Intensional Strategies
002380 (2011-05-12) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Formal Specification and Validation of Security Policies
002486 (2006-08-11) Horatiu Cirstea [France] ; Germain Faure [France] ; Maribel Fernandez [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France]From functional programs to interaction nets via the Rewriting Calculus
002C68 (1999) Horatiu Cirstea [France] ; Claude Kirchner [France]Introduction to the Rewriting Calculus
003110 (2001-05-22) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
003111 (2001-05) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
003112 (2000) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
003680 (2010-03-18) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]On Formal Specification and Analysis of Security Policies
003D54 (2004) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rete Algorithm Formalisation
003D55 (2004) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rete Algorithm Formalisation
003D56 (2004) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rewrite Systems
003D57 (2004) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production and Rewrite Systems
004203 (2008-06-22) Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France]Rewrite Based Specification of Access Control Policies
004206 (2003-06-08) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewrite Strategies in the Rewriting Calculus
004210 (2003-04-30) Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewriting Calculus with Fixpoints: Untyped and First-order Systems
004211 (2002-09-19) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Rewriting Calculus with(out) Types
004215 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in Rho-calculus and ELAN
004216 (2000-08) Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in the Rewriting Calculus and ELAN
004285 (2004) Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rule based programming in Java for protocol verification
004289 (2010-06-18) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Rule-based Specification and Analysis of Security Policies

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Horatiu Cirstea" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Horatiu Cirstea" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Horatiu Cirstea
}}

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