HalTutelle.i
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

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

Index « HalTutelle.i » - entrée « Université Paris Saclay »
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.
Université Paris IX - Paris Dauphine < Université Paris Saclay < Université Paris-Est  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000471 (2006-12-06) F. Caro ; F. Coquel [France] ; D. Jamet [France] ; S. Kokh [France]A Simple Finite-Volume Method for Compressible Isothermal Two-Phase Flows Simulation
000A07 (2015-11-03) Jérôme Gleyzes [France] ; David Langlois [France] ; Filippo Vernizzi [France]A unifying description of dark energy
001E48 (2015-11-03) Jérôme Gleyzes [France] ; David Langlois [France] ; Michele Mancarella [France] ; Filippo Vernizzi [France]Effective Theory of Dark Energy at Redshift Survey Scales
002055 (2006-05) Yun-Chuang Chiao [France] ; Olivier Kraif [France] ; Dominique Laurent [France] ; Thi Minh Huyen Nguyen [France] ; Nasredine Semmar [France] ; François Stuck [France] ; Jean Véronis [France] ; Wajdi Zaghouani [Italie]Evaluation of multilingual text alignment systems: the ARCADE II project
002828 (2014-07-24) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]How Test Generation Helps Software Specification and Deductive Verification in Frama-C
002E32 (2008-01-08) Éric Villemonte De La Clergerie [France] ; Christelle Ayache [France] ; Gaël De Chalendar [France] ; Gil Francopoulo [France] ; Claire Gardent [France] ; Patrick Paroubek [France]Large scale production of syntactic annotations for French
003012 (2010-05) Samuel Cruz-Lara [France] ; Gil Francopoulo [France] ; Laurent Romary [France] ; Nasredine Semar [France]MLIF: A Metamodel to Represent and Exchange Multilingual Textual Information
003558 (2015-05) Jérôme Gleyzes [France] ; David Langlois [France] ; Federico Piazza [France] ; Filippo Vernizzi [France]New Class of Consistent Scalar-Tensor Theories
003D59 (2012-03-25) Omar Chebaro [France] ; Nikola I Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
004764 (2014-05-16) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C
004B84 (2011-06-30) Omar Chebaro [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging

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/HalTutelle.i -k "Université Paris Saclay" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "Université Paris Saclay" \
         | 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=    HalTutelle.i
   |clé=    Université Paris Saclay
}}
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