paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne : 118081365Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Potop-Butucaru, Dumitru

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 : anglais
Pays : Roumanie
Genre : Masculin

Notes

Note publique d'information : 
Depuis 2005, chercheur à l'INRIA de Rocquencourt, France

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 : Membre du jury

Compiling esterel / Dumitru Potop-Butucaru, 2007

Internet, www-rocq.inria.fr/~dpotop/, 2007-10-08

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/21932896
Identifiant HAL : dpotop
Identifiant ISNI : 0000000048450853

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

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