Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 405 | 271 |
h-rodyklė | 9 | 7 |
i10-rodyklė | 9 | 5 |
Viešas pasiekiamumas
Peržiūrėti viską15 straipsnių
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Martin OderskyEPFLPatvirtintas el. paštas epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieurePatvirtintas el. paštas ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghPatvirtintas el. paštas sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgPatvirtintas el. paštas cse.gu.se
- Nada AminHarvard UniversityPatvirtintas el. paštas alum.mit.edu
- Tiark RompfPurdue UniversityPatvirtintas el. paštas purdue.edu
- Tobias HeindelTU BerlinPatvirtintas el. paštas tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLPatvirtintas el. paštas epfl.ch
- Samuel GruetterMITPatvirtintas el. paštas mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityPatvirtintas el. paštas msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstitutePatvirtintas el. paštas imdea.org
- Amir ShaikhhaUniversity of EdinburghPatvirtintas el. paštas ed.ac.uk
- Aggelos BiboudisOraclePatvirtintas el. paštas oracle.com
- Heather MillerCarnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
- Olivier BlanvillainEPFLPatvirtintas el. paštas epfl.ch
- Vlad UrechePhD student, LAMP, EPFLPatvirtintas el. paštas epfl.ch
- Russ HarmerCNRS, LyonPatvirtintas el. paštas ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Patvirtintas el. paštas tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamPatvirtintas el. paštas vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Patvirtintas el. paštas tudelft.nl