Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 407 | 273 |
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
- 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
- Amir ShaikhhaUniversity of EdinburghPreverjeni e-poštni naslov na ed.ac.uk
- 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