Department of Computer Science and Engineering [San Diego] < Department of Formal Methods < Department of Mathematics

Facettes : 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	Viruses in Turing's Garden
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
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
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
000130 (2013)	Didier Galmiche ; Daniel Mery	A Connection-based Characterization of Bi-intuitionistic Validity
000155 (2015-08-03)	Andrew Reynolds ; Jasmin Christian Blanchette	A Decision Procedure for (Co)datatypes in SMT Solvers
000192 (2011-08-01)	Frédéric Besson ; Pascal Fontaine ; Laurent Théry	A Flexible Proof Format for SMT: a Proposal
000217 (2013-01-15)	Jean-Christophe Bach	A GPL-DSL hybrid approach to transform models
000220 (2012-01-31)	Houari Mahfoud ; Abdessamad Imine	A General Approach for Securely Querying and Updating XML Data
000221 (2012-05-20)	Houari Mahfoud ; Abdessamad Imine	A General Approach for Securely Updating XML Data
000230 (2015-01)	Marek Kosta ; Thomas Sturm	A Generalized Framework for Virtual Substitution
000236 (2014)	Véronique Cortier ; Graham Steel	A Generic Security API for Symmetric Key Management on Cryptographic Devices
000240 (2014-04)	Paula Chocron ; Pascal Fontaine ; Christophe Ringeissen	A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
000241 (2014-07-19)	Paula Chocron ; Pascal Fontaine ; Christophe Ringeissen	A Gentle Non-Disjoint Combination of Satisfiability Procedures
000254 (2010-11-08)	Sabina Akhtar ; Stephan Merz ; Martin Quinson	A High-Level Language for Modeling Algorithms and their Properties
000283 (2008-01-10)	Marco Gaboardi ; Jean-Yves Marion ; Simona Ronchi Della Rocca	A Logical Account of PSPACE
000294 (2014-11-03)	Hiep H. Nguyen ; Abdessamad Imine ; Michael Rusinowitch	A Maximum Variance Approach for Graph Anonymization

---

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 "Department of Formal Methods " 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Department of Formal Methods " \
         | 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é=    Department of Formal Methods 
}}

---

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