Show Menu
Hide Menu
Laboratorio di Computer Sciences
Dal Direttore
Organizzazione
Organizzazione del LIP6
Direttori
Servizi amministrativi
IT Service
Consiglio Scientifico
Consiglio di Laboratorio
Bordo
Teaching
Come raggiungerci
Ricerca
Axes & Teams
Pubblicazioni
Progetti
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Relazione annuale
Valutazione
Our skills
Works with us
Software
Brevetti
Start-ups
Offerte di lavoro
Rubrica del personale
Colloquio
🔒
📫
🇮🇹
🇫🇷
🇬🇧
🇮🇹
-
Computer Science Laboratory
Ricerca
Pubblicazioni
Research reports
Gruppi di ricerca attuali :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
LIP6
X. Blanc, M.‑P. Gervais, R. Le‑Delliou
: “
Using the UML Language to Express the ODP Enterprise Concepts
”, [Blanc 1999b]
J.‑F. Dauchez, M.‑P. Gervais
: “
Specifying and verifying the behavior of telecommunications services
”, [Dauchez 1999]
S. Haddad, D. Poitrenaud
: “
Decidability and Undecidability Results for Recursive Petri Nets
”, [Haddad 1999a]
L. Seinturier, L. Duchien
: “
Observation of Distributed Computations: a Reflective Approach for CORBA
”, [Seinturier 1999c]