Get my own profile
Public access
View all8 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, CIMS, 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
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Russ HarmerCNRS, LyonVerified email at ens-lyon.fr
Bruno BlanchetSenior researcher, INRIA ParisVerified email at inria.fr
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Heinz KoepplTechnische Universität Darmstadt, Department of Electrical Engineering and Information TechnologyVerified email at bcs.tu-darmstadt.de
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Christian FerdinandVerified email at absint.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Eric J. DeedsAssociate Professor, UCLAVerified email at ucla.edu
Olivier BouissouCEA LISTVerified email at cea.fr
Sylvie PutotLIX, Ecole PolytechniqueVerified email at polytechnique.edu