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

Point d'accès autorisé

Thirioux, Xavier (19..-.... ; enseignant-chercheur en informatique)

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 : Francais
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique à l'Institut National Polytechnique de Toulouse en 1999

Note publique d'information : 
Maître de conférences en poste à l'Institut national polytechnique de Toulouse (INPT) ; membre de l'Institut de Recherche en Informatique de Toulouse (IRIT) (depuis 2003).

Note publique d'information : 
Enseignant-chercheur au DISC de l'ISAE-SUPAERO (Toulouse)

Note publique d'information : 
Habilitation à diriger des recherches (HDR) (2016)

Source

Adéquation algorithme architecture automatisée par solveur SMT / Émilien Kofman ; sous la direction de Robert de Simone et François Verdier. Thèse de doctorat : Informatique : Côte d'Azur : 2017

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

Vérification de propriétés temporelles de programmes réactifs répartis / par Xavier Thirioux ; sous la dir. de Gérard Padiou [Thèse doctorat : Informatique : Toulouse, INPT : 1999]

Autres identifiants

Identifiant SCOPUSID : 56185944800
Identifiant VIAF : http://viaf.org/viaf/195941178

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 : ...