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

Point d'accès autorisé

Zimmermann, Théo (1991-....)

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,anglais
Pays : France
Date de naissance :    1991
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse en Informatique à Université de Paris (2019-....) en 2019

Identifiants externes

Identifiant ORCID : 0000-0002-3580-8806
Identifiant HAL : theozim
Identifiant SCOPUS : 57194169147

Source

Challenges in the collaborative evolution of a proof language and its ecosystem / Théo Zimmermann ; sous la direction de Hugo Herbelin et Yann Regis-Gianas. Thèse de doctorat : Informatique : Université de Paris (2019-....) : 2019

Zimmermann Théo, Siavash Mirarab, Tandy Warnow. BBCA: Improving the scalability of *BEAST using random binning. BMC Genomics, Springer Nature, 2014, 10.1186/1471-2164-15-s6-s11.

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