LORIA - ALGO < LORIA - FM < LORIA - NLPKD

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000007 (2012)	Jean-Yves Marion [France]	Viruses in Turing's Garden
000029 (2012-06-18)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Yoann Guyot [France] ; Laurent Voisin [France]	SMT solvers for Rodin
000031 (2013-07-08)	Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine]	SyMT: finding symmetries in SMT formulas
000039 (2010-07-09)	Joan Calvet [France] ; Pierre-Marc Bureau	Understanding Swizzor's Obfuscation Scheme
000095 (2014-04-11)	Romain Péchoux [France] ; Thanh Dinh Ta [France]	A Categorical Treatment of Malicious Behavioral Obfuscation
000096 (2008-04-26)	Jean-Yves Marion [France] ; Romain Péchoux [France]	A Characterization of NCk by First Order Functional Programs
000099 (2007-06-18)	Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France]	A Classification of Viruses through Recursion Theorems
000102 (2015-09-26)	Nadir Guetmi [France] ; Abdessamad Imine [France]	A Cloud-Based Reusable Design for Mobile Data Sharing
000130 (2013)	Didier Galmiche [France] ; Daniel Mery [France]	A Connection-based Characterization of Bi-intuitionistic Validity
000155 (2015-08-03)	Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France]	A Decision Procedure for (Co)datatypes in SMT Solvers
000192 (2011-08-01)	Frédéric Besson [France] ; Pascal Fontaine [France] ; Laurent Théry [France]	A Flexible Proof Format for SMT: a Proposal
000217 (2013-01-15)	Jean-Christophe Bach [France]	A GPL-DSL hybrid approach to transform models
000220 (2012-01-31)	Houari Mahfoud [France] ; Abdessamad Imine [France]	A General Approach for Securely Querying and Updating XML Data
000221 (2012-05-20)	Houari Mahfoud [France] ; Abdessamad Imine [France]	A General Approach for Securely Updating XML Data
000230 (2015-01)	Marek Kosta [France] ; Thomas Sturm [Allemagne]	A Generalized Framework for Virtual Substitution
000236 (2014)	Véronique Cortier [France] ; Graham Steel [France]	A Generic Security API for Symmetric Key Management on Cryptographic Devices
000240 (2014-04)	Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]	A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
000241 (2014-07-19)	Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]	A Gentle Non-Disjoint Combination of Satisfiability Procedures
000254 (2010-11-08)	Sabina Akhtar [France] ; Stephan Merz [France] ; Martin Quinson [France]	A High-Level Language for Modeling Algorithms and their Properties
000283 (2008-01-10)	Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie]	A Logical Account of PSPACE
000294 (2014-11-03)	Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]	A Maximum Variance Approach for Graph Anonymization

---

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 "LORIA - FM" 

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

---

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