Invités précédents ( PDF - 146.5 ko) - Digiteo

mustardunfInternet and Web Development

Oct 21, 2013 (3 years and 9 months ago)

87 views

Invités 2008 – 2011
Année de 
référence 
Nom / 
Prénom
 
Organisme d’origine
 
Thème de recherche
 
Période de 
présence
 
En 
collaboration 
avec 
2008 
 
Pr Cesar 
Munoz
 
National Institute of 
Aerospace ‐ USA 
 
"Spécification et la 
vérification de programmes 
incluant du calcul flottant 
dans le cadre de 
programmes Java prouvés en 
PVS et modélisation et 
preuve d'algorithmes de 
contrôle aérien" 
June / July
 
INRIA
 
2008 
 
Pr Yan Guo
 
China Agriculture
University - China
"Cooperation with the 
Digiplante team to adapt the 
mathematical model of plant 
growth and the simulation 
software to new plants 
(pine, rice, cotton) and 
experimental data analysis" 
May
 
INRIA
 
2008 
  Pr Artur 
Ziviani
 
National Laboratory 
for Scientific 
Computing ‐ Brazil
 
"Conception d'un modèle de 
dissémination des données 
sur un réseau de capteurs 
sans fil" 
September / 
November
 
INRIA
 
2008 
 
Pr Ivan 
Stojmenovic 
 
University of Ottawa ‐ 
Canada 
 
"Développer l'axe réseaux de 
capteurs sur lequel travaille 
Hipercom et d'autres 
équipes de l'INRIA (comme 
ASAP)" 
June / July 
and 
September
 
INRIA
 
2008 
 
Pr Nancy 
Amato and  
Pr Lawrence 
Rauchwerger 
 
Texas A&M University 
College Station ‐ USA 
 
"Collaboration sur la 
tolérance aux pannes et le 
reciblage de STAPL à des 
intergiciels efficaces et 
flexibles permettant de 
faciliter la rogrammation 
parallèle de grands 
systèmes" 
June / July
 
INRIA
 
2008 
  Pr Moreno 
Falaschi 
 
Dip. Di Scienze 
Matematiche e 
Informatiche, 
University Siena ‐ Italy 
"Work on the foundations of 
Temporal Concurrent 
Constraint Programming" 
 
October / 
November / 
December
 
INRIA
 
2008 
 
Pr Dimitri 
Samaras 
 
Computer Science Dpt, 
Stony Brook University 
‐ USA 
"Extraction et induction de 
descripteurs pour l'analyse 
d'images biomédicales" 
June / 
September
 
INRIA
 
2008 
  Pr Burkhart 
Wolff 
 
ETH Zurich ‐ 
Switzerland 
 
"Evaluation du système Z3 
pour le but de la synthèse 
des données de test dans le 
domaine du génie logiel" 
August / 
October
 
LRI
 
2008 
Pr Carlo 
Meghini 
 
Istituto di Scienza e 
TecSTI/CNR ‐ Italy
 
"Modélisation de documents 
et gestion de collections 
dans le cadre d'une 
bibliothèque numérique" 
September / 
October
 
LRI
 
   
2008 
Pr Scott 
Klemmer
 
Université de Stanford 
‐ USA
 
"Mise en place de 
collaborations sur les 
thématiques communes des 
deux équipes : papier 
interactif, "design 
workbench", interaction 
avec mur d'images" 
June / July
 
LRI
 
2008 
Pr Martin 
Raussen 
 
Aalborg University ‐ 
Denmark 
 
"Development of softwre 
validations tools, especially 
how to exploit Max‐plus 
algebras and of topological 
coverings in subdivisions of 
state spaces" 
November
 
CEA‐LIST
 
2008 
Pr Branislav 
Selic 
 
Carlton University ‐ 
Canada 
 
"New technical directions for 
the ACCORD/UML modeling 
initiative and outline 
promising strategic 
evolutionary and research 
directions for the framework 
and its related toolset" 
October / 
December
 
CEA‐LIST
 
2008 
Pr Van 
Oostrom 
 
University of Utrecht ‐ 
Nederland
 
"Collaborations dans le 
domaine des formalismes de 
calcul d'ordre supérieur qui 
interviennent en 
programmation et preuves 
de programmes" 
January / 
February
 
LIX
 
2008  Pr Pierre 
Hansen
 
HEC Montréal ‐ 
Canada
 
"Reformulations in 
mathematical programming" 
October to 
March 2009
 
LIX
 
2009 
Pr Ely 
Merzbach
 
Department of 
Mathematics, 
University Bar‐Ilan ‐ 
Israel 
"Poursuite de la recherche 
commune avec E. Herbin sur 
les processus de Lévy 
indexés par des ensembles" 
February
 
INRIA
 
2009 
Pr Andrei 
Dmitruk
 
Faculty of 
Computational 
mathematics and 
cybernetics, 
Department of 
Optimal Control ‐ 
Russia
"Problèmes de commande 
optimale avec arcs 
singuliers"
 
March / April
 
INRIA
 
2009 
Dr Anelise 
Munaretto
 
Universidade 
Tecnológica Federal 
do Paraná, Programa 
de Pós‐Graduação em 
Engenharia Elétrica e 
Informática Industrial ‐ 
Brazil
"Méthodes d'apprentissage 
pour améliorer la 
communication 
"opportuniste" dans les 
réseaux radio cognitif"
 
May, June 
and July
 
INRIA
 
2009 
M. 
Mohamed 
Mnif
 
Ecole Nationale 
d'Ingénieurs de Tunis ‐ 
Tunisia
 
"Analyse numérique des 
équations du contrôle 
stochastique avec 
applications à la finance"
April
 
INRIA
 
2009  Pr Cosimo 
Laneve
 
Université de Bologne 
‐ Italia
"Méthodes stochastiques 
pour la Bioinformatique" 
May, June 
and July
 
INRIA
 
   
2009 
Pr Moreno 
Falaschi
 
Université de Sienne ‐ 
Italia
 
"Analyses du flux de 
données de la 
programmation concurrente 
et temporelle par 
contraintes" 
June / July 
and 
September / 
November
 
INRIA
 
2009 
Pr Fabio 
Camilli
 
Sezione di Matematica 
per l'Ingegneria, Dip.di 
Matematica Pura ed 
Appl., Università 
dell'Aquila ‐ Italia
 
"Etude théorique et 
numérique d'équations 
Hamilton‐Jacobi avec 
dynamique discontinue en 
temps et/ou en espace. 
Application à certains 
problèmes de la commande 
optimale" 
May
 
INRIA
 
2009 
Pr Vladimir 
Gurvich
 
RUTCOR ‐ Rutgers for 
operations researchs 
(University of New 
Jersey ‐ USA)
 
"Questions algorithmiques 
relatives aux jeux 
déterministes à somme 
nulle"
May / June
 
INRIA
 
2009  Francisco 
Valverde 
Albacete and 
Carmen 
Pelaez 
Moreno
 
Université Carlos III de 
Madrid ‐ Spain
 
"Développement des 
techniques max‐plus 
appliquées au traitement de 
la parole et à la fouille de 
données"
 
June
 
INRIA
 
2009 
M. Yutaka 
Takahashi
 
Department of 
Systems Science ‐ 
Graduate School of 
Informatics ‐ Kyoto ‐ 
Japan
"Queuing theory based 
analysis of network coding in 
ad hoc networks"
 
August, 
September 
and October
 
INRIA
 
2009 
M. Darrell 
Whitley
 
Computer Science 
Department, Colorado 
State University ‐ Fort 
Collins ‐ USA
 
"Rotationally invariant 
representations for 
evolutionary algorithms and 
elementary landscape 
analysis for NP‐Hard 
problems"
September / 
October
 
INRIA
 
2009 
Pr Philippe 
Langlais
 
University of Montreal 
‐ Canada
 
"Conception d'un modèle de 
dissémination des données 
sur un réseau de capteurs 
sans fil" 
February / 
March and 
April / May
 
LIMSI
 
2009 
Pr Pierre 
Divenyi
 
Department of 
Veterans Affairs of 
Medical Center, East 
Bay Institute for 
Research and 
Education ‐ USA
 
"Perception auditive des 
transitions de la parole en 
situation de cocktail party"
 
October / 
December
 
LIMSI
 
2009 
Pr Antonello 
Tamburrino
 
University of Cassino ‐ 
Italy 
 
"Automated quantitative 
analysis of eddy current 
signals" 
January / 
February
 
Supélec
 
2009 
Pr Claudio 
Weidmann 
 
Telecommunications 
Research Center ‐ 
Austria 
 
"Mise en place d'un projet 
dans le domaine codage 
réseau ("Network coding")" 
February, 
April and 
June
 
Supélec
 
   
2009 
Dr Eliane 
Martins
 
University of 
Campinas ‐ Brazil
 
"Architectures et techniques 
pour les tests de robustesse 
des applications orientées 
aux services Web" 
February / 
March
 
LRI
 
2009 
Pr Jim 
Woodcock
 
University of York ‐ 
United Kingdom
 
"Echanges sur l'état de l'art 
dans le domaine de 
l'utilisation de méthodes 
formelles pour le 
développement, la validation 
et la vérification de logiciel. 
Présentation aux chercheurs 
de Digiteo concernés du 
projet national anglais "UK 
Grand challenge in 
Dependable Systems 
Evolution" et de l'initiative 
internationale "Verified 
Software Repository""
May
 
LRI
 
2009 
Dr Angela 
Bonifati
 
Conseil National de 
Recherche (CNR) ‐ 
Italia
"Mise à jour et vues 
matérialisées XML en pair‐à‐
pair"
September / 
October
 
LRI
 
2009 
Dr Thomas 
Sidler
 
Ecole Polytechnique 
Fédérale de Lausanne 
(EPFL) ‐ Switzerland
 
"Evaluation du système de 
tracking laser "VITRACK" 
développé par le CEA LIST 
pour la capture de 
mouvement (application au 
geste technique du 
chirurgien). Caractérisation 
du système 
optomécatronique existant. 
Rapport contenant des 
propositions de quelques 
pistes d'améliorations du 
dispositif"
June / July
 
CEA
 
2009 
Pr Wojciech 
Szpankowski
 
Purdue University ‐ 
USA
 
"La poursuite des travaux sur 
les limites théoriques que 
rencontrent les structures 
complexes dynamiques 
comme les réseaux mobiles 
en ce qui concerne la 
capacité à conserver et 
délivrer de l'information. 
Notamment comment ces 
structures allient espace‐
temps et informations. 
Application aux réseaux 
mobiles tolérants aux délais 
et au "codage de réseau" 
(network coding). Cette 
étude permettra d'avoir une 
meilleure vision sur 
l'optimisation des réseaux 
sans fil"
September / 
October
 
LIX
 
   
2009 
M Kucher 
Vladislav
 
St. Petersburg State
Technical University
Mathematical models for 
localization of deformations 
in solids
October / 
December
 
LMS
 
2009  M. Michael 
M. Bronstein
 
Israel Institute of 
Technology
 
Computer vision
 
November/ 
December
 
 INRIA
 
2009  Mr. 
Wolfgang 
BANZHAF
 
University of 
Newfoundland  
St. John's ‐ (Canada)
 
Using an Artificial Regulatory 
Network for Genetic 
Programming
 October / 
November
 
LRI
 
2009 
Pr Dorina 
PETRIU
 
Carlton University 
(CANADA)
 
Schedulability versus 
performance analysis and 
role of platform modelling 
for analysis 
October / 
December 
 
CEA 
 
2009 
Pr Linh‐Trung 
NGUYEN 
 
Faculty of Electronics 
and 
Telecommunications ‐ 
University of 
Engineering and 
Technology (UET)
 
Compressed Sensing pour les 
applications sans fils
 
December / 
January 
 
Supélec 
 
2009 
Pr Novaga 
Matteo
 
Professeur à 
l'Université de Padoue 
(Italie) 
 
Problèmes aux frontières 
libres, homogénéisation, 
évolutions de frontières, 
évolutions de cristaux, 
analyse des solutions de 
problèmes de débruitage en 
traitement d'images. 
September / 
October 
 
CMAP (Ecole 
Polytechnique

 
2009  M. 
Karthikeyan 
Bhargavan 
 
Microsoft Research 
(UK) 
 
Langages et méthodes pour 
la spécification et la 
vérification de logiciels. 
October 
 
INRIA 
Rocquencourt 
 
2010 
Pr Manuel 
NUÑEZ
 
Universidad 
Complutense de 
Madrid (Espagne)
 
Testing and software 
adaptation at the runtime 
level of Web services 
execution
 February/Apri
l
 
 LRI
 
2010 
Pr Vincent 
ORIA
 
University Heights 
Newark, New Jersey 
(USA) 
 
Etude et développement de 
méthodes de prédiction de 
la mobilité basée sur 
l'analyse de traces d'objets 
mobiles. Application à 
l'adaptation des services 
basés sur la localisation 
 January and 
March
 
UVSQ
 
2010 
Mme 
Amandine 
ROBIN
 
Université de 
Witwatersrand 
Johannesbourg (South 
Africa)
 
Développement d'une 
méthode pour la détection 
de vulnérables à partir de 
séquences vidéo non‐
stationnaires 
January
 
IEF 
 
2010 
Pr Vladimir 
GURVICH
 
RUTCOR ‐ Université 
du New Jersey (USA) 
 
Questions algorithmiques 
relatives aux jeux 
déterministes à somme nulle 
January 
 
INRIA 
 
2010 
M. Thierry 
COQUAND
 
Université de 
Göteborg (Suède) 
 
Contribution à la théorie des 
types et aux assistants de 
preuves 
February 
 
LRI 
 
   
2010 
Mrs Dimitria 
VERGYRI
 
SRI International ‐ 
California (USA) 
 
Automatic recognition in 
several languages as a 
functional speaking style 
dialect/variety and other 
factors with the goal of 
identifying new directions to 
improve performance 
February/May
 
LIMSI 
 
2010 
Mr Ozgür 
OZDEMIR
 
Fatih University, 
Electrical and 
Electronics 
Engineering 
Department ‐ Istanbul 
(Turquie)
 
SDR4all en temps réel 
 
February 
 
Supélec 
 
2010 
M. JOFRE
 
Centre de 
modélisation 
mathématique de 
l'Université du Chili
 
Energies alternatives et du 
contrôle des réseaux 
électriques, spécialement en 
prenant compte la 
modélisation stochastique 
de ces problèmes 
February 
 
INRIA 
 
2010 
Pr Jean‐Luc 
GAUDIOT
 
Université de 
California (USA)
 
Conception d'architecture et 
outils pour atteindre le 
PetaFlops sur les codes de 
chromodynamique 
quantique sur réseaux 
April / May 
 
INRIA 
 
2010 
Pr Pablo 
LOTITO
 
Université de Tandil 
(Argentine) 
 
Conditions du second ordre 
pour les problèmes de 
commande optimale avec 
arc singulier 
May 
 
INRIA 
 
2010  Pr Guillermo 
SAPIRO
 
University of 
Minnesota (USA) 
 
Image and video processing 
 
May
 
ENS Cachan 
 
2010  Pr Andrei 
DMITRUK
 
Moscow State 
University (Russia) 
 
Commande optimale avec 
arcs singuliers 
May 
 
INRIA 
 
2010 
Pr Sheelagh 
CARPENDALE
 
Université de Calgary 
(Canada) 
 
Co‐located collaborative 
visualization : wall‐sized 
diplay "Wild" 
May / June 
 
INRIA 
 
2010 
M. Ran 
CANETTI
 
Tel Aviv University 
(Israël) 
 
Verification of security 
protocols ‐ Cosyproofs spring 
school 
April 
 
ENS Cachan 
 
2010  M. Philipp 
ROGAWAY
 
University of California 
(USA) 
Cryptography ‐ Cosyproof 
spring school 
April 
 
ENS Cachan 
 
2010 
M. Gilles 
BARTHE
 
Facultad de 
Informatica ‐ Madrid 
(Espagne) 
 
Formal methods ‐ 
programming languages and 
security ‐ Cosyproof spring 
school 
April 
 
ENS Cachan 
 
2010 
Pr Pablo 
SOLERNO 
 
Universidad de 
Buenos Aires, Buenos 
Aires (Argentina) 
 
Logistique des systèmes 
implicites d'équations 
différentielles 
June 
 
LIX 
 
2010 
M. Dirk 
HEYLEN 
 
University of Twente ‐ 
Computer science 
department (The 
Netherlands) 
 
Head movement generation 
for virtual agents and robots 
 
June / August 
 
Institut 
Télécom
 
   
2010 
Pr Shmuel 
FRIEDLAND
 
Department of 
mathematics, 
Statistics and 
Computer Science ‐ 
University of Illinois at 
Chicago (USA) 
 
Tensors of small rank applied 
in the network of 
communication 
 
June 
 
INRIA 
 
2010 
Pr. Libman 
LAVY 
 
School of information 
technologies building, 
University of Sydney 
(Australia)
 
Fundamental game‐theoric 
framework for the modeling 
of the conflicts arising in 
cooperative wireless 
communications 
June / July 
 
INRIA 
 
2010 
Pr Pierpaolo 
DEGANO
 
University of Pise 
(Italia) 
 
Applications à la Biologie de 
Système des calculs de 
processus de probabilités. 
May / June 
 
INRIA 
 
2010 
Mme Sylvie 
HAMEL
 
Université de 
Montréal 
 
Génomique comparative 
(recherche de la ou des 
médianes de m génomes, 
étant donné une distance d) 
September / 
November 
 
LRI 
 
2010 
Mr Ghassan 
HAMARNEH
 
Simon Fraser 
University (Canada)
 
Research activities in the 
area of registration and 
segmentation 
June / August 
 
INRIA 
 
2010  Mrs Rafeef 
ABUGHARBIE
H
 
University of British 
Columbia (Canada) 
 
Research activities in the 
area of computational 
anatomy and fMRI 
June / August 
 
INRIA 
 
2010 
Mr. Marat 
BURNASHEV
 
Institute for 
Information, 
Transmission 
Problems Russian 
Academy of Sciences ‐ 
(Russia) 
 
Sequential analysis 
 
September / 
October 
 
Institut 
Télécom 
 
2010 
Mr. Scott 
HUDSON
 
University of Pittsburg 
(USA)
 
Software architectures for 
user interfaces and 
advanced interaction 
techniques 
June 
 
 
2010 
 Mr. 
Pierpaolo 
DEGANO
 
 Université de Pise 
(Italie)
 
Applications à la Biologie de 
Système des calculs de 
processus de probabilités 
développés par l'équipe 
COMETE
 August/septe
mber
 
 INRIA
 
2010 
 Mr. 
Seungwon 
Shin
 
 Mechanical and 
System Design 
Engineering de 
l'Université Hongiq, 
Seoul, 
 Développement de 
méthodes avancées pour la 
simulation numérique 
d'écoulements diphasiques
 
 July/august
 
 LIMSI
 
2010 
Pr. Leonidas 
J. GUIBAS
 
University of Stanford 
(USA)
 
Topological and geometric 
analysis of high‐dimensional 
point‐cloud data
September/oc
tober
 
 INRIA
 
2010 
Pr Shay 
KUTTEN
 
William Davidson 
Faculty of Industrial 
Engineering and 
Management, 
Technion Israel 
Insitute of Technology
Networks and mobile agents
 
September/oc
tober
 
INRIA
 
   
2010 
Pr MAKEEV
 
Université d'Etat de 
Moscou
 
Recherche en 
bioinformatique
September/oc
tober
 
LIX
 
2010 
Pr Imre 
KONDOR
 
 Eötvös Loránd 
University, Institute of 
Physics, Budapest 
(Hongrie)
 
 Analyse du risque 
systémique et de la 
modélisation probabiliste 
des systèmes complexes
 September/d
ecember
 
 ECP
 
2010  Mr. Jeremy 
SPROSTON
 
 Politecnico di Torinio 
(Italy)
 Cooperation on Probabilistic 
Timed Verification
 November
 
 ENS
 
2010 
Rafael 
Toledo
 
 Dpto. Electrónica, 
Tecnología de 
Computadoras y 
Proyectos, Escuela 
Técnica Superior de 
Ingenieros de 
telecomunicación, 
Cartagena (Spain)
 
 Conception et mise en 
œuvre d'une nouvelle 
approche de localisation de 
véhicule plus fiable et plus 
robuste
 
 November/ja
nuary 2011
 
 IEF
 
2010 
Vasilis 
VASSALOS
 
 Athens University of 
Economics and 
Business, V ‐ 
Informatics 
Department ‐ Athens 
University of 
Economics and 
Business (Greece) 
 
 Materialized view‐based 
XML query processing
 
 October
 
 INRIA
 
2010 
BaoGui 
ZHANG
 
 China Agricultural 
University, Beijing 
(China)
 
 The parametric 
identification of the model of 
growth from experimental 
data ‐ development of new 
sink formulation in the 
GreenLab model (with V. 
Letort and P. de Reffye)
 July
 
 INRIA
 
2010  MengZhen 
KANG
 
 Institute of 
Automation (China)
 
 Collaboration research with 
Digiplante
  July
 
  INRIA
 
2010 
Oliver DORN
 
 School of 
Mathematics, 
University of 
Manchester (England)
 
 Development of novel 
strategies for data 
processing and 
interpretation related to 
inverse problems, remote 
sensing and imaging
 January/febua
ry 2011
 
 LIMSI
 
2010 
Murdoch 
James 
GABBAY
 
 School of 
Mathematical and 
Computer Sciences 
Heriot‐Watt University 
Edinburgh (Great 
Britain)
 
 Question des variables liées
 
 October
 
 LIX
 
2010 
Carlo 
CAMBINI
 
  Politecnico di Torino 
(Italia)
 
 "Your fibre of My Fibre : 
Joint investment in next 
generation Access 
Networks"
 October/dece
mber
 
 TELECOM
 
2010 
Oded REGEV
 
 University ‐ School of 
Computer Science, Tel 
Aviv(Israël)
 
 Complexité de 
communication, la difficulté 
d'approximation, les réseaux 
et le calcul quantique
 July/august
 
ECP
 
   
2010 
K. DATTA
 
 Department of 
Computer Science, 
University of Nevada, 
Las Vegas (USA)
 
 Séjour de collaboration 
scientifique entre le 
laboratoire PRiSM équipe 
CARO/A. BUI
 December
 
 UVSQ
 
2010 
 A. 
BOUKERCHE
 
 University of Ottawa 
(Canada)
 
 Collaboration scientifique 
avec le laboratoire PRiSM 
équipe ASR
 November/de
cember
 
UVSQA. 
BOUKERCHE
 
2011 
Mme Alba 
Cristina 
MAGALHAES 
ALVES DE 
MELO
 
 University of Brasilia 
(UnB), (Brasil)
 
New parallel Sequence‐
Profile comparison 
strategies, targeted for 
Multi/Manycore 
architectures that are able to 
calculate huge Sequence‐
Profile comparisons in 
reduced time and memory 
space. The architectures 
considered in this project 
can be composed of GPUs, 
IBM Cell/BE or clusters that 
combine both.
February/Mar
ch
 
Inria
 
2011 
Mme 
Lorenza 
SAITTA
 
Dipartimento di 
Informatica, Universita 
de Turin (Italia)
 
 1. Emergence of 
phenomena typical of 
complex systems, such as 
phase transitions.  
2. Impact of these 
phenomena on the 
qualitative and quantitative 
behaviours of these systems. 
3. Computational complexity 
of automated learning in 
such complex systems.1)
December
2010 /
March 2011
Inria
 
2011 
Mr. Pourang 
Irani
 
Circle Department of 
Computer Science 
EITC II ‐University of 
Manitoba Winnipeg 
(Canada)
 
 Co‐located collaborative 
visualization using large wall 
displays and interactive 
tables. Our collaboration will 
focus on software 
architecture for remote 
collaboration in visualization
 January/ 
February
 
Inria
 
2011 
 Mr. Jeremy 
SPROSTON
 
  Dipartimento di 
Informatica Università 
degli Studi di Torino 
(Italia)
Cooperation on Probabilistic 
Timed Verification
 
January
 
ENS
 
2011  Mr. Attilo 
FRANGI
 
Politecnico di Milano 
(Italia)
 Fluid structure interaction & 
Lattice Boltzmann method
 March/April
 
 ENS
 
2011 
Mr. Janos 
KORNER
 
 Dipartimento di 
Informatica, 
Universita' "La 
Sapienza" di Roma 
(Italia)
 Generalizations of 0‐error 
information theory
 
 September/O
ctober
 
 TELECOM
 
   
2011 
Mr. Luca 
BERNARDINE
LLO
 
University of Milano‐
Bicocca (Italy)
 
 Orthomodular structures 
generated by closure 
operators in occurrence nets 
and related ordered 
structures. Investigation of 
compositionality in 
concurrent systems
 February
 
TELECOM
 
2011 
Mrs. Lucia 
POMELLO
 
 University of Milano‐
Bicocca (Italy)
 
 Orthomodular structures 
generated by closure 
operators in occurrence nets 
and related ordered 
structures. Investigation of 
compositionality in 
concurrent systems
 February
 
 TELECOM
 
2011 
Mr. Gary 
HOWELL
 
 North Carolina State 
University (USA)
 
 Collaboration around 
development of parallel 
algorithms on 
heterogeneous architectures 
for sparse linear algebra 
solvers using techniques 
from dense linear algebra 
known for their stability. 
Study of performance and 
stability (derivation of error 
bounds) on very large 
problems from fluid 
mechanics.
 September
 
 Inria
 
2011 
Mr. Franklin 
MENDIVIL
 
 Department of 
Mathematics and 
Statistics ‐ Acadia 
University (Canada)
 
 Local fractal strings
 
 July/August
 
 Inria
 
2011 
Mr. Alan 
NEEDLEMAN
 
 Department of 
Materials Science and 
Engineering, 
University of North 
Texas (USA)
 
 Role of mass diffusion in 
grains of deforming 
polycrystalline high 
temperature materials 
leading to localization. 
Deformation and fracture. 
Computational aspects
 May/June
 
 ENS
 
2011 
Prof. George 
P.PAPAVASSI
LOPOULOS
 
 Division of Signals 
Control and Robotics 
Dept.Of Electrical and 
Computer Engineering 
National Technical 
University of Athens 
(Greece)
 
 Cooperation on Game 
Theory Research and 
Proposals
 
 June/July
 
ENS
 
2011 
Mr. Shay 
KUTTEN
 
Faculty of industrial 
engineering and 
Management, 
Technion Israel 
institute of technology 
(Israël)
 
Networks of mobile agents 
 
January / 
February 
 
Inria
 
2011  Mr 
Konstantin 
Mischaikow
 
The State University of 
New Jersey 
 
Topological and geometrical 
analysis of the data 
 
 May / July
 
Inria 
 
2011   Mr 
Alejandro 
JOFRE
 
Centro de 
Modelamiento 
Matemático 
 
Prepare the mounting CIRIC 
project (INRIA center in 
Chile) energy optimization. 
July 
 
Inria 
 
2011 
Mme Juliana 
FREIRE 
 
Polytechnic Institute 
of New York University 
1) Scientific workflows 
(developing a model unifying 
data management and 
dynamic management 
Source) 2) XML technologies 
around the Semantic Web 
July 
 
Inria 
 
2011 
Mr Claudio 
SILVA 
 
Polytechnic Institute 
of New York University 
Collaborations around the 
system VisTrails and 
visualizations on hybrid brain 
data. VisTrails allows for 
dynamic treatments for 
viewing. 
July 
 
Inria 
 
2011 
M. Geoffrey 
SMITH 
 
Florida International 
University 
 
the study of an approach to 
Quantitative Information 
Flow based on Rényi min 
entropy 
September / 
December 
 
Inria 
 
2011 
M. Yutaka 
YAMAMOTO 
 
Kyoto University 
 
Establish a link between 
frequency and time‐domain 
methods for the stability 
analysis/stabilization of 
several classes of delay 
systems. 
September / 
October 
 
Inria 
 
2011 
Mme Sonia 
MALEFAKI 
 
University of Patras 
 
development of methods for 
parameter estimation, 
MCMC for hidden patterns 
of plant growth.
July 
 
Inria 
 
2011  Mr. Joachim 
WEICKERT
 
Saarland University 
 
workshop NCMIP 2011 ‐ 
Inverse methods 
May 
 
ENS Cachan 
 
2011 
 Mr Jean‐
Pierre 
JOUANNAUD
 
Tsinghua University 
 
 The area of rewriting that 
plays a central role in formal 
verification of security 
protocols
March 
 
ENS Cachan
 
2011 
Mr Murad 
TAQQU
 
Boston University 
 
Utilisation des scalogrammes 
pour l'estimation du 
coefficient de mémoire de 
processus stationnaires 
May / June 
 
Télécom 
 
2011 
Mr Bran Selic
 
Carleton University
 
Defining a pratical user guide 
for MARTE
April / june
 
 
2011 
Mr Georges 
BITSORIS 
 
Université de Patras 
 
Analyse et synthèse des 
ensembles invariants par 
rapport aux trajectoires des 
systèmes dynamiques. Les 
implications sur la tolérance 
aux défauts, la commande 
sous contraintes et la 
viabilité du fonctionnement 
des systèmes de commande. 
September 
 
Supélec 
 
   
2011 
Mrs. Sandra 
ALVES
 
Universidade Porto 
 
Reduction strategies for the 
lambda calculus provide a 
foundation for the efficient 
implementation of 
functional programming 
languages. 
August / 
September 
 
LIX 
 
2011  Mr. Siméon 
Jérôme
 
IBM T.J. Watson 
Research Center
 
Standards for XML ; XQuery 
3.0 type systems. 
September / 
October 
 
LRI 
 
2011  Dr. Petra 
DIETRICH 
 
Victoria University of 
Wellington 
 
Integrating CZT and HOL‐Z. 
 
September / 
November 
 
LRI 
 
2011 
Mr Odd‐
Sture 
Hopperstad
 
University of Science 
and Technology 
 
Fracture at low triaxialities in 
anisotropic materials with 
application to extruded High 
résistance aluminum alloys 
October 
 
ENS Cachan
 
2011  Mr. Bernard 
Henry 
FLEURY 
 
Aalborg University 
 
Bayesian Cramer‐Rao Bound 
for Sparse Estimation of 
Complex Parameter 
November / 
December 
 
ENS Cachan
 
2011 
Mr. 
ASPRAGKAT
HOS 
 
University of Patras 
 
‐ Collaborative manipulation 
using Adaptive and Learning 
Fuzzy logic control 
‐ Mission planning and 
manipulation using Hybrid 
force/vision control 
‐ Optimal design and 
operation of manipulator 
using Genetic Algorithms 
‐ Kinematics based on line 
geometry and dual 
quaternion
 
September / 
January 
 
CEA 
 
2011 
Linh Trung 
Nguyen 
 
Vietman national 
University 
 
Compressed sensing and 
applications in signal 
processing and 
communications 
December / 
January 
 
Supélec 
 
2011 
Mr. Gopalan 
Nadathur 
 
University of 
Minnesota 
 
‐ Completing research into 
the proof theory behind 
strong principles of induction 
and co‐induction within the 
sequent calculus. This work 
will provide a stronger 
foundation for the work that 
Parsifal does in theorem 
proving. 
‐ Continued development 
and applications of the 
Abella theorem prover. This 
prover, first built by 
Nadathur's Phd student, 
Andrew Gacek, is now a 
centerpiece of Parsifal's 
theorem proving work. We 
plan to collaborate on 
several aspects of improving 
its foundations and 
September / 
November 
 
LIX 
 
implementation.
2011 
Mr Brahim 
SADIK 
 
Faculté des Sciences 
Semlalia Marrakech 
(Marrueco) 
 
La preuve d'un résultat 
conjectural, lié aux systèmes 
différentiels plats, qui 
exprime le fait qu'un 
système linéarisable par 
bouclage exogène est 
linéarisable par bouclage 
endogène, ou encore que 
tout sous‐système d'un 
système plat est plat. Nous 
aborderons les aspects 
algorithmiques de la preuve 
pour en déduire dans le cas 
d'un système algébrique une 
version constructive 
implémentable ainsi que de 
nouveaux critères de 
platitude 
Faculté des 
Sciences 
Semlalia 
Marrakech 
 
LIX 
 
2011  Mr Moreno 
FALASCHI
 
Université de Sienne 
 
Participation aux travaux de 
l'équipe COMETE 
October / 
November 
 
LIX 
 
2011  Mr. MAVRIS 
Dimitri 
 
Georgia Institute of 
Technology 
 
News Trends in Complex 
Systems Design 
December 
 
LIX
 
2011 
Dr. LEVESON 
Nancy 
 
Massachusetts 
Institute of 
Technology 
 
Systems Safety 
 
December 
 
LIX 
 
2011  Mr. Ruediger 
Schultz 
 
University of Duisburg‐
Essen 
Stoczastic programming 
maximum weighted tree 
October / 
November 
 
LRI 
 
2011  Mrs. 
Bernadette 
Farias Lóscio
 
Universidade Federal 
de Pernambuco 
 
Data Quality in Data 
Integration Systems 
 
December 
 
UVSQ 
 
2011  Mr. Philippas 
Tsigas
 
Chalmers University of 
Technology (Sweden) 
Self‐stabilizing and secure 
clustering algorithms 
December 
 
UVSQ 
 
2011 
Mr. Peter 
Reichl 
 
FTW 
Forschungszentrum 
Telekommunikation
 
Algorithmic Game Theory 
and wireless Networks 
 
December 
 
UVSQ 
 
2011 
Monsieur 
Guillermo 
ARTANA 
 
Universidad de 
Buenos Aires 
 
Développement des outils 
pour l'analyse et la 
modélisation des 
écoulements,  
Contrôle par forçage plasma 
d'un écoulement dans une 
cavité.
 
December / 
January 
 
UVSQ