INRIA Lorraine < INRIA Nancy - Grand Est < INRIA Paris-Rocquencourt

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 2209.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000007 (2012)	Jean-Yves Marion	Viruses in Turing's Garden
000017 (2008)	Claire Gardent ; Kristina Striegnitz	Generating Bridging Definite Descriptions
000029 (2012-06-18)	David Déharbe ; Pascal Fontaine ; Yoann Guyot ; Laurent Voisin	SMT solvers for Rodin
000031 (2013-07-08)	Carlos Areces ; David Déharbe ; Pascal Fontaine ; Orbe Ezequiel	SyMT: finding symmetries in SMT formulas
000039 (2010-07-09)	Joan Calvet ; Pierre-Marc Bureau	Understanding Swizzor's Obfuscation Scheme
000040 (2015-08-01)	Ying Xiao ; Catherine Mignolet ; Marc Benoît ; Jean-François Mari	Characterizing historical (1992–2010) transitions between grassland and cropland in mainland France through mining land-cover survey data
000044 (2013-09-13)	Olivier Bouré	"Is simple also robust?" : a study of the robustness of complex systems through cellular automata
000048 (2014-09-15)	Gilles Adda ; Laurent Besacier ; Alain Couillault ; Karën Fort ; Joseph Mariani ; Hugues De Mazancourt	"Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology
000056 (2015-08-10)	Yves Laprie ; Benjamin Elie ; Anastasiia Tsukanova	2D Articulatory Velum Modeling Applied to Copy Synthesis of Sentences Containing Nasal Phonemes
000058 (2015)	Jean Hergel ; Sylvain Lefebvre	3D Fabrication of 2D Mechanisms
000069 (2012-08-29)	Yiyi Wei ; Stéphane Cotin ; Jérémie Dequidt ; Christian Duriez ; Jérémie Allard ; Erwan Kerrien	A (Near) Real-Time Simulation Method of Aneurysm Coil Embolization
000080 (2012-11-21)	Juan Pablo Timpanaro ; Isabelle Chrisment ; Olivier Festor	A Bird's Eye View on the I2P Anonymous File-sharing Environment
000083 (2014-06-18)	Elio Goettelmann ; Karim Dahman ; Benjamin Gateau ; Claude Godart	A Broker Framework for Secure and Cost-Effective Business Process Deployment on Multiple Clouds
000089 (2012-11-29)	Hien Thi Thu Truong ; Claudia-Lavinia Ignat ; Pascal Molli	A CONTRACT-EXTENDED PUSH-PULL-CLONE MODEL FOR MULTI-SYNCHRONOUS COLLABORATION
000091 (2015-06-02)	Weihai Yu ; Luc André ; Claudia-Lavinia Ignat	A CRDT Supporting Selective Undo for Collaborative Text Editing
000095 (2014-04-11)	Romain Péchoux ; Thanh Dinh Ta	A Categorical Treatment of Malicious Behavioral Obfuscation
000096 (2008-04-26)	Jean-Yves Marion ; Romain Péchoux	A Characterization of NCk by First Order Functional Programs
000097 (2011)	Samuel Cruz-Lara ; Tarik Osswald ; Jordan Guinaud ; Nadia Bellalem ; Lotfi Bellalem	A Chat Interface Using Standards for Communication and E-learning in Virtual Worlds
000099 (2007-06-18)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	A Classification of Viruses through Recursion Theorems
000102 (2015-09-26)	Nadir Guetmi ; Abdessamad Imine	A Cloud-Based Reusable Design for Mobile Data Sharing
000103 (2013-10-15)	My Thao Tang ; Yannick Toussaint	A Collaborative Approach for FCA-Based Knowledge Extraction

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "INRIA Nancy - Grand Est" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "INRIA Nancy - Grand Est" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    INRIA Nancy - Grand Est
}}

---

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