Get my own profile
Public access
View all17 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Xavier RivalDirecteur de Recherche, INRIAVerified email at inria.fr
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Walter FontanaProfessor of Systems Biology, Harvard Medical SchoolVerified email at hms.harvard.edu
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Jean KrivineCNRS and Université de ParisVerified email at irif.fr
Russ HarmerCNRS, LyonVerified email at ens-lyon.fr
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Bruno BlanchetSenior researcher, INRIA, ParisVerified email at inria.fr
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Heinz KoepplTechnische Universität Darmstadt, Dept. Electrical Engineering and Dept. BiologyVerified email at bcs.tu-darmstadt.de
nathalie theretVerified email at univ-rennes1.fr
Christian FerdinandVerified email at absint.com
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Héctor F Medina-AbarcaHarvard UniversityVerified email at hms.harvard.edu
Angus G. ForbesNVIDIAVerified email at nvidia.com
Denis ThieffryProfessor of Systems Biology, Institut de Biologie de l'Ecole Normale Supérieure (IBENS), ParisVerified email at ens.fr
Wassim Abou-JaoudéCo-founder at GencoveryVerified email at gencovery.com
Eric J. DeedsProfessor, UCLAVerified email at ucla.edu