AffOrg.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 « AffOrg.i » - entrée « Université de Bourgogne Franche-Comté »
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é de Bourgogne < Université de Bourgogne Franche-Comté < Université de Bretagne Occidentale  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 679.
[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
000043 (2011-02-17) Sahbi Sidhom [France] ; Philippe Lambert [France]"Information Design" for "Weak Signal" detection and processing in Economic Intelligence: case study on Health resources
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
000125 (2012-12) Lucie Daubigney [France] ; Matthieu Geist [France] ; Senthilkumar Chandramohan [France] ; Olivier Pietquin [France]A Comprehensive Reinforcement Learning Framework for Dialogue Management Optimisation
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.
000150 (2012-06-26) Matthieu Geist [France] ; Bruno Scherrer [France] ; Alessandro Lazaric [France] ; Mohammad Ghavamzadeh [France]A Dantzig Selector Approach to Temporal Difference Learning
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

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/AffOrg.i -k "Université de Bourgogne Franche-Comté" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffOrg.i  \
                -Sk "Université de Bourgogne Franche-Comté" \
         | 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=    AffOrg.i
   |clé=    Université de Bourgogne Franche-Comté
}}
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