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

Point d'accès autorisé

Jeannerod, Nicolas (1993-....)

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)
Date de naissance :    1993

Notes

Note publique d'information : 
Auteur d'une thèse en informatique à Université Paris Cité en 2021

Identifiants externes

Identifiant HAL : nicolas-jeannerod
Identifiant ORCID : 0000-0003-1969-1246
Identifiant SCOPUS : 57200512874

Source

Nicolas Jeannerod. Le coquillage dans le CoLiS-mateur : Formalisation d'un langage de programmation de type shell. JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. (hal-01432034)

Verification of Shell scripts performing file hierarchy transformations dualities / Nicols Jeannerod ; sous la direction de Roberto Di Cosmo. Thèse de doctorat : Informatique : Université Paris Cité : 2021

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