Genet, Thomas (19..-....)

Genet, Thomas (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 140601007

URI de l'entité : http://www.idref.fr/140601007/id

Notice de type Personne

Point d'accès autorisé

Genet, Thomas (19..-....)

Sur le web

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

Pays : France

Date de naissance : 19XX

Genre : Masculin

Notes

Note publique d'information :

Titulaire d'un doctorat d'université en Informatique (Nancy 1, 1998)

Note publique d'information :

Maître de conférences HDR, Univ. de Rennes 1 (en 2017)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/204144033

Identifiant HAL : thomas-genet

Identifiant ORCID : 0000-0002-2145-3370

Identifiant SCOPUS : 23392607600

Identifiant ISNI : 0000000140335743

Source

Contraintes d'ordre et automates d'arbres pour les preuves de terminaison/ Thomas Genet, 1998

Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité/ Vivien PELLETIER; sous la direction de Pierre RÉTY, membre du jury et rapporteur de thèse Thomas GENET, président du jury Sébastien LIMET. Thèse de doctorat : Informatique : Orléans : 2017

Information trouvée : Maître de conférences HDR, Univ. de Rennes 1 (en 2017)

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