AffOrg.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffOrg.i » - entrée « Université de 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 Floride du Sud < Université de Franche-Comté < Université de Fribourg  Facettes :

List of bibliographic references indexed by Université de Franche-Comté

Number of relevant bibliographic references: 617.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000046 (2016-04-04) Stéphane Vialle [France] ; Sylvain Contassot-Vivier [France] ; Patrick Mercier [France]Generic algorithmic scheme for 2D stencil applications on hybrid machines
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
000085 (2016-01-15) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
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

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

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