Markey, Nicolas (1976-....)

Identifiant pérenne de la notice : 073426482

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

Notice de type Personne

Point d'accès autorisé

Markey, Nicolas (1976-....)

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

Genre : Masculin

Notes

Note publique d'information :

Docteur en Informatique à l'Université d'Orléans (en 2003)

Identifiants externes

Identifiant HAL : nicolas-markey

Identifiant ORCID : 0000-0003-1977-7525

Identifiant SCOPUS : 6603246354

Identifiant ISNI : 0000000120582747

Source

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes / Nicolas Markey, 2003

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