Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 3029 | 703 |
h-indeks | 29 | 12 |
i10-indeks | 63 | 20 |
Offentlig tilgang
Vis alle16 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- John C MitchellProfessor of Computer Science, Stanford UniversityVerifisert e-postadresse på Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerifisert e-postadresse på nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerifisert e-postadresse på cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteVerifisert e-postadresse på quantinuum.com
- Michael MisloveTulane UniversityVerifisert e-postadresse på tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerifisert e-postadresse på cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerifisert e-postadresse på cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeVerifisert e-postadresse på cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerifisert e-postadresse på cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryVerifisert e-postadresse på nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleVerifisert e-postadresse på uw.edu
- Samson AbramskyProfessor of Computer Science, UCLVerifisert e-postadresse på ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenVerifisert e-postadresse på ru.nl
- Trajce DimkovPhD Researcher, University of TwenteVerifisert e-postadresse på utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifisert e-postadresse på mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Verifisert e-postadresse på intel.com
- John LaunchburyChief Scientist, GaloisVerifisert e-postadresse på galois.com
- Bertfried FauserKonstanz Germany