AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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.
[40-60] [0 - 20][0 - 50][60-80]
Ident.Authors (with country if any)Title
000585 (2015-04-14) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Anonymizing Social Graphs via Uncertainty Semantics
000587 (2015-04-13) Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] ; Ladjel Bellatreche [France]Mobile collaboration: a collaborative editing service in the cloud
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000596 (2015-04) Vincent Cheval [France] ; Véronique Cortier [France]Timing attacks in security protocols: symbolic framework and proof techniques
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000637 (2015-02-03) Hoang Bao Thien [France]On the Polling Problem for Decentralized Social Networks
000639 (2015-02-02) Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada]On Synthesizing a Consistent Operational Transformation Approach
000659 (2015-01-07) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Gagnez sur tous les tableaux
000661 (2015-01-02) Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada]Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis
000668 (2015-01) Thibault Maillot [France] ; Ugo Boscain [France] ; Jean-Paul Gauthier [France] ; Ulysse Serres [France]Lyapunov and Minimum-Time Path Planning for Drones
000669 (2015-01) Véronique Cortier [France]Formal verification of e-voting: solutions and challenges
000679 (2015) Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France]Tooled Process for Early Validation of SysML Models using Modelica Simulation
000693 (2015) Jannik Dreier [France] ; Cristian Ene [France] ; Pascal Lafourcade [France] ; Yassine Lakhnech [France]On the existence and decidability of unique decompositions of processes in the applied π-calculus
000722 (2015) Bruno Scherrer [France] ; Mohammad Ghavamzadeh [France] ; Victor Gabillon [France] ; Boris Lesner [France] ; Matthieu Geist [France]Approximate Modified Policy Iteration and its Application to the Game of Tetris
000790 (2015) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Sequential generation of structured arrays and its deductive verification
000805 (2015) Fabrice Bouquet [France] ; Sébastien Chipeaux [France] ; Christophe Lang [France] ; Nicolas Marilleau [France] ; Jean-Marc Nicod [France] ; Patrick Taillandier [France]Introduction à l'approche agent
000806 (2015) Fabrice Bouquet [France] ; David Sheeren [France] ; Nicolas Becu [France] ; Benoit Gaudou [France] ; Christophe Lang [France] ; Nicolas Marilleau [France] ; Claude Monteil [France]Formalismes de description des modèles agent
000817 (2015) Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Fabien Peureux [France] ; Hammed Ahmad [France]A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
000818 (2014-12-24) Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Practical access control management for distributed collaborative editors
000851 (2014-12-02) Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
000852 (2014-12-02) Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France]On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques

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