AffVille.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffVille.i » - entrée « Belfort »
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.
Beaucouzé < Belfort < Belfort-Cédex  Facettes :

List of bibliographic references indexed by Belfort

Number of relevant bibliographic references: 572.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000065 (2016-02-22) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France]Closed combination of context-embedding iterative strategies
000073 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000184 (2015-12-16) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000228 (2015-11-19) Jean-Marie Gauthier [France]Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation
000231 (2015-11-16) Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata
000237 (2015-11-10) Houari Mahfoud [Algérie] ; Abdessamad Imine [France]Efficient Querying of XML Data Through Arbitrary Security Views
000243 (2015-11-05) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation
000249 (2015-11-03) Olga Kouchnarenko [France] ; Jean-François Weber [France]Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
000255 (2015-11) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]From Security Protocols to Pushdown Automata
000270 (2015-10-20) Frédéric Dadeau [France] ; Elizabeta Fourneret [France]Experience report on Model-Based Testing of Security Components
000282 (2015-10-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000303 (2015-09-29) Jannik Dreier [France] ; Jean-Guillaume Dumas [France] ; Pascal Lafourcade [France]Brandt's fully private auction protocol revisited
000311 (2015-09-26) Nadir Guetmi [France] ; Abdessamad Imine [France]A Cloud-Based Reusable Design for Mobile Data Sharing
000313 (2015-09-25) Noam Zeilberger [France] ; Alain Giorgetti [France]A correspondence between rooted planar maps and normal planar lambda terms
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000317 (2015-09-21) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Checking Trace Equivalence: How to Get Rid of Nonces?
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000319 (2015-09-21) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
000332 (2015-09-08) Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France]Mobile Co-Authoring of Linked Data in the Cloud
000376 (2015-08-25) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Differentially Private Publication of Social Graphs at Linear Cost
000377 (2015-08-25) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i -k "Belfort" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Belfort" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Belfort
}}
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