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.
[50-70] [0 - 20][0 - 50][70-90]
Ident.Authors (with country if any)Title
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
000862 (2014-12) Alexandre Vernotte [France] ; Frédéric Dadeau [France] ; Franck Lebeau [France] ; Bruno Legeard [France] ; Fabien Peureux [France] ; François Piat [France]Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
000863 (2014-12) Maxime Bride [France] ; Pierre-Cyrille Héam [France] ; Isabelle Jacques [France]Computing Semicommutation Closures: a Machine Learning Approach
000875 (2014-11-21) Cyrille Wiedling [France]Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
000885 (2014-11-03) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]A Symbolic Transformation Language and its Application to a Multiscale Method
000888 (2014-11-03) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]A Maximum Variance Approach for Graph Anonymization
000900 (2014-10-22) Aloïs Dreyfus [France]Contribution to the efficient model-based verification andtesting
000936 (2014-09-15) Bruno Scherrer [France] ; Matthieu Geist [France]Local Policy Search in a Convex Space and Conservative Policy Iteration as Boosted Policy Search
000951 (2014-09-13) Véronique Cortier [France] ; Steve Kremer [France]Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
000960 (2014-09-09) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Verifying Modal Workflow Specifications Using Constraint Solving
000961 (2014-09-08) Ivan Enderlin [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France]Praspel: Contract-Driven Testing for PHP using Realistic Domains

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