Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 407 | 273 |
H-indeks | 9 | 7 |
i10-indeks | 9 | 5 |
Javni pristup
Prikaži sve15 članaka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Martin OderskyEPFLPotvrđena adresa e-pošte na epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieurePotvrđena adresa e-pošte na ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghPotvrđena adresa e-pošte na sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgPotvrđena adresa e-pošte na cse.gu.se
- Nada AminHarvard UniversityPotvrđena adresa e-pošte na alum.mit.edu
- Tiark RompfPurdue UniversityPotvrđena adresa e-pošte na purdue.edu
- Tobias HeindelTU BerlinPotvrđena adresa e-pošte na tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLPotvrđena adresa e-pošte na epfl.ch
- Samuel GruetterMITPotvrđena adresa e-pošte na mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityPotvrđena adresa e-pošte na msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstitutePotvrđena adresa e-pošte na imdea.org
- Amir ShaikhhaUniversity of EdinburghPotvrđena adresa e-pošte na ed.ac.uk
- Aggelos BiboudisOraclePotvrđena adresa e-pošte na oracle.com
- Heather MillerCarnegie Mellon UniversityPotvrđena adresa e-pošte na cs.cmu.edu
- Olivier BlanvillainEPFLPotvrđena adresa e-pošte na epfl.ch
- Vlad UrechePhD student, LAMP, EPFLPotvrđena adresa e-pošte na epfl.ch
- Russ HarmerCNRS, LyonPotvrđena adresa e-pošte na ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Potvrđena adresa e-pošte na tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamPotvrđena adresa e-pošte na vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Potvrđena adresa e-pošte na tudelft.nl