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

Index « HalTutelle.i » - entrée « Ecole Nationale Supérieure de Mécanique et des Microtechniques »
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.
Ecole Nationale Supérieure de Mécanique et d'Aérotechnique < Ecole Nationale Supérieure de Mécanique et des Microtechniques < Ecole Nationale Supérieure des Arts et Metiers Metz  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 600.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000035 (2010-06-28) Alain Giorgetti [France] ; Ahmed Hammad [France] ; Bruno Tatibouët [France]Using SysML for Smart Surface Modeling
000066 (2003) Ingo Dahn ; Laurent Vigneron [France]4th International Workshop on First-Order Theorem Proving- FTP'2003
000072 (2008-09) Frédéric Dadeau [France] ; Régis Tissot [France] ; Marie-Laure Potet [France]A B Formal Framework for Security Developments in the Domain of Smart Card Applications
000102 (2015-09-26) Nadir Guetmi [France] ; Abdessamad Imine [France]A Cloud-Based Reusable Design for Mobile Data Sharing
000122 (2011-10-17) Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]A Composable Computational Soundness Notion
000123 (2013-06-10) Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] ; Bilal Kanso [France]A Compositional Automata-based Semantics for Property Patterns
000134 (2013-03-22) Ivan Enderlin [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France]A Constraint Solver for PHP Arrays
000135 (2010-10-08) Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France]A Constraint-based Approach to Web Services Provisioning
000147 (2007-09) Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni]A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000148 (2007-07) Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni]A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000153 (2010) Daniele Zucchelli [Italie] ; Enrica Nicolini [France]A Decidability Result for the Model Checking of Infinite-State Systems
000154 (2004) Michaël Rusinowitch [France]A Decidable Analysis of Security Protocols
000156 (2004) Calogero G. Zarba [France] ; Domenico Cantone ; Jacob T. SchwartzA Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions
000191 (2009-08-28) Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France]A Flexible Access Control Model for Distributed Collaborative Editors
000198 (2007-07) Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni]A Formal Theory of Key Conjuring.
000199 (2007) Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni]A Formal Theory of Key Conjuring
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
000236 (2014) Véronique Cortier [France] ; Graham Steel [France]A Generic Security API for Symmetric Key Management on Cryptographic Devices
000237 (2009-09-21) 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)

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 "Ecole Nationale Supérieure de Mécanique et des Microtechniques" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "Ecole Nationale Supérieure de Mécanique et des Microtechniques" \
         | 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é=    Ecole Nationale Supérieure de Mécanique et des Microtechniques
}}

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