paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 107089696Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Mateescu, Radu (19..-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : Français,Roumain ou Moldave
Pays : Roumanie
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Informaticien. En poste à l'INRIA Grenoble (en 2017)

Source

Internet, http://www.inrialpes.fr, 2006-08-29

Information trouvée : chargé de recherche à l'INRIA-Rhône Alpes, équipe "Validation de systèmes" (VASY)

Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels / Oleksandra Kulankhina ; sous la direction d'Éric Madelaine. Thèse de doctorat : Informatique : Côte d'Azur : 2016

Information trouvée : Rapporteur de thèse, membre du jury

Vérification des propriétés temporelles des programmes parallèles / Radu Mateescu ; sous la direction de Hubert Garavel, 1998.- Thèse de doctorat : Informatique : Grenoble INPG : 1998

Vérification distribuée à la volée de grands espaces d'états [Thèse 2005] / Christophe Joubert

Information trouvée : directeur de thèse à l'Institut national polytechnique de Grenoble

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/307188308
Identifiant ISNI : 0000000428463568

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...