Genet, Thomas

Genet, Thomas

Contrôle Paprika

data.idref

Export bibliographique

Identifiant pérenne : 140601007

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

Notice de type Personne

Point d'accès autorisé

Genet, Thomas

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

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)

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)

Autres identifiants

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

Identifiant HAL : thomas-genet

Identifiant ORCID : 0000-0002-2145-3370

Identifiant ISNI : 0000000140335743

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

Informations sur la notice

Identifiant de la notice : 140601007

Créateur de la notice : 543959902

Création : 15-02-2010

Dernier modificateur de la notice : 452342103

Dernière modification : 20-06-2022 à 16 h 14

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