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

Index « AffRegion.i » - entrée « 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.
Floride < Franche-Comté < Galice  Facettes :

List of bibliographic references indexed by Franche-Comté

Number of relevant bibliographic references: 662.
[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
000149 (2016) Béatrice Brembilla-Perrot [France] ; Arnaud Olivier [France] ; Jean-Marc Sellal [France] ; Vladimir Manenti [France] ; Alice Brembilla [France] ; Thibaut Villemin [France] ; Philippe Admant [France] ; Daniel Beurrier [France] ; Erwan Bozec [France] ; Nicolas Girerd [France]Influence of advancing age on clinical presentation, treatment efficacy and safety, and long-term outcome of pre-excitation syndromes: a retrospective cohort study of 961 patients included over a 25-year period.
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

List of associated Author.i

Nombre de
documents
Descripteur
102Véronique Cortier
63Olga Kouchnarenko
58Abdessamad Imine
47Michael Rusinowitch
44Michaël Rusinowitch
42Fabrice Bouquet
40Frédéric Dadeau
37Christophe Ringeissen
36Alain Giorgetti
35Yannick Chevalier
31Laurent Vigneron
29Mathieu Turuani
28Pierre-Cyrille Heam
28Stéphanie Delaune
24Pierre-Cyrille Héam
20Jacques Julliand
19Bogdan Warinschi
19Matthieu Geist
18Alain Lelu
17Bruno Legeard
17Steve Kremer
17Yohan Boichut
16Fabien Peureux
15Gérald Oster
15Pascal Molli
15Sylvain Contassot-Vivier
14Silvio Ranise
14Walid Belkhir
13Olivier Pietquin
13Paliath Narendran
12Arnaud Lanoix
10David Galindo
10Eugen Zalinescu
10Graham Steel
10Hubert Comon-Lundh
10Martine Cadot
10Najah Chridi
10Tigran Avanesov
9Christophe Lang
9Houari Mahfoud
9Julien Groslambert
9Kalou Cabrera Castillos
9Lucie Daubigney
9Siva Anantharaman
8Asma Cherif
8Duc-Khanh Tran
8Elena Tushkanova
8Florent Jacquemard
8François Charpillet
8Pascal Urso
8Roméo Courbis
8Vincent Hugot
7Elizabeta Fourneret
7Hanifa Boucheneb
7Julien Botella
7Pascal Fontaine
7Ralf Küsters
7Rémy Chrétien
7Tarek Abbes
7Vincent Cheval
7Vincent Chevrier
7Xavier Rebeuf
6Ahmed Hammad
6Bruno Scherrer
6Christelle Bloch
6Cyrille Wiedling
6Franck Gechter
6Jean-Marie Gauthier
6Jeanine Souquières
6Jonathan Lasalle
6Laurent Ciarletta
6Marc Sauget
6Mario Thron
6Mathilde Arnaud
6Michel Lenczner
6Olivier Perrin
6Pascal Chatonnay
6Régis Tissot
5Deepak Kapur
5Edouard Klein
5Enrica Nicolini
5Fabrice Ambert
5Gérard Cécé
5Haj Rachid
5Hoang Bao Thien
5Hélène Kirchner
5Ivan Enderlin
5Jacques Bahi
5Luca Compagna
5Martin Abadi
5Mohammed Anis Mekki
5Moulay Driss Mechaoui
5Nadir Guetmi
5Paula Chocron
5Serdar Erbatur
5Sergio Nogueira
5Wahiba Ramdane Cherif
5Yannick Presse
4Adel Bouhoula
4Alessandro Armando

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