Show Menu
Hide Menu
Laboratorio de Ciencias de la Computación
Discurso del Director
Organigrama
organización del LIP6
Dirección
Servicios Administrativos
IT Service
Comité científico
Comité para el laboratorio
Consejo de dirección
Teaching
Cómo llegar
Búsqueda
Axes & Teams
Publicaciones
Proyectos
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Memoria Anual
Valuación
Our skills
Works with us
Softwares
Patentes
Start-ups
Empleos
Directorio de personal
coloquio
🔒
📫
🇪🇸
🇫🇷
🇬🇧
🇪🇸
-
Computer Science Laboratory
Búsqueda
Publicaciones
Research reports
equipos actuales :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
Publicaciones MoVe
2021
2022
2023
2024
2025
Total
Libros
6
2
0
0
0
8
Libros editados
0
0
0
1
0
1
Artículos de revistas
5
8
2
2
0
17
Capítulos de libros
0
1
0
0
0
1
Documentos de conferencias
7
8
8
10
3
36
Habilitaciones
0
0
0
0
0
0
Tesis
2
0
3
3
1
9
LIP6
J.‑P. Briot, J.‑F. Perrot
: “
Des objets et des hommes - Chronique compte-rendu du colloque en l'honneur de Jean-François Perrot
”, Technique et Science Informatiques, vol. 23 (1), pp. 125-128, (ISBN: 0752-4072) [Briot 2004b]
D. Enselme, G. Florin, F. Legond‑Aubry
: “
Design by Contracts : Analysis of Hidden Dependencies in Component Based Applications
”, The Journal of Object Technology, vol. 3 (4), pp. 23-45, (Chair of Software Engineering) [Enselme 2004]
L. Pautet, F. Kordon
: “
Des vertus de la schizophrénie pour le prototypage d'applications à composants intéropérables
”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 23 (10), pp. 1301-1328, (Lavoisier) [Pautet 2004]
R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond‑Aubry, L. Martelli
: “
JAC: An Aspect-Based Distributed Dynamic Framework
”, Software: Practice and Experience, vol. 34 (12), pp. 1119-1148, (Wiley) [Pawlak 2004b]
J.‑F. Perrot, J.‑P. Briot
: “
Introduction (au Numéro spécial : Des octets aux modèles - Vingt ans après, où en sont les objets ?)
”, Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, vol. 10 (4), J.-P. Briot (Ed.), pp. 11-16, (ISBN: 1262-1137) [Perrot 2004]
Ch. Queinnec
: “
Continuations and Web Servers
”, Higher-Order and Symbolic Computation, vol. 17 (4), pp. 277-295, (Springer Verlag) [Queinnec 2004]
Y. Thierry‑Mieg, S. Baarir, A. Duret‑Lutz, F. Kordon
: “
Nouvelles techniques de Model Checking pour la vérification de systèmes complexes
”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 69, pp. 17-23, (Génie industriel multimédia) [Thierry-Mieg 2004b]