Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 411 | 277 |
indeks h | 9 | 7 |
indeks i10 | 9 | 5 |
Javni dostop
Prikaži vse15 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
Martin OderskyEPFLPreverjeni e-poštni naslov na epfl.ch
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieurePreverjeni e-poštni naslov na ens.fr
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghPreverjeni e-poštni naslov na sms.ed.ac.uk
Gerardo SchneiderProfessor of Computer Science, University of GothenburgPreverjeni e-poštni naslov na cse.gu.se
Nada AminHarvard UniversityPreverjeni e-poštni naslov na alum.mit.edu
Tiark RompfPurdue UniversityPreverjeni e-poštni naslov na purdue.edu
Tobias HeindelTU BerlinPreverjeni e-poštni naslov na tu-berlin.de
Christoph KochProfessor of Computer Science, EPFLPreverjeni e-poštni naslov na epfl.ch
Samuel GruetterMITPreverjeni e-poštni naslov na mit.edu
Amir ShaikhhaUniversity of EdinburghPreverjeni e-poštni naslov na ed.ac.uk
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityPreverjeni e-poštni naslov na msu.edu
Cesar SanchezResearch Professor, IMDEA Software InstitutePreverjeni e-poštni naslov na imdea.org
Aggelos BiboudisOraclePreverjeni e-poštni naslov na oracle.com
Heather MillerCarnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Olivier BlanvillainEPFLPreverjeni e-poštni naslov na epfl.ch
Vlad UrechePhD student, LAMP, EPFLPreverjeni e-poštni naslov na epfl.ch
Russ HarmerCNRS, LyonPreverjeni e-poštni naslov na ens-lyon.fr
Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Preverjeni e-poštni naslov na tuhh.de
Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamPreverjeni e-poštni naslov na vu.nl
Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Preverjeni e-poštni naslov na tudelft.nl