Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 2172 | 1738 |
H-indeks | 19 | 18 |
i10-indeks | 24 | 24 |
Javni pristup
Prikaži sve9 članaka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusPotvrđena adresa e-pošte na mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichPotvrđena adresa e-pošte na inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenPotvrđena adresa e-pošte na cs.ru.nl
- Xavier LeroyCollège de FrancePotvrđena adresa e-pošte na college-de-france.fr
- François PottierInria ParisPotvrđena adresa e-pošte na inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFPotvrđena adresa e-pošte na lri.fr
- David PichardieProfessor, ENS Rennes, FrancePotvrđena adresa e-pošte na inria.fr
- Sandrine BlazyProfessor of Computer Science, University of RennesPotvrđena adresa e-pošte na irisa.fr
- Arthur CharguéraudInriaPotvrđena adresa e-pošte na inria.fr
- Guillaume MelquiondInria, University Paris SaclayPotvrđena adresa e-pošte na inria.fr
- Sylvie BoldoInria, LMF, University Paris SaclayPotvrđena adresa e-pošte na inria.fr
- Claude MarchéSenior Research Scientist, InriaPotvrđena adresa e-pošte na inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, ParisPotvrđena adresa e-pošte na inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University
Prati
Jacques-Henri Jourdan
CNRS, Laboratoire Méthodes Formelles
Potvrđena adresa e-pošte na normalesup.org - Početna stranica