Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 3029 | 702 |
h-index | 29 | 12 |
i10-indeks | 63 | 20 |
Offentlig adgang
Se alle15 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- John C MitchellProfessor of Computer Science, Stanford UniversityVerificeret mail på Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerificeret mail på nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerificeret mail på cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteVerificeret mail på quantinuum.com
- Michael MisloveTulane UniversityVerificeret mail på tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerificeret mail på cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerificeret mail på cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeVerificeret mail på cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerificeret mail på cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryVerificeret mail på nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleVerificeret mail på uw.edu
- Samson AbramskyProfessor of Computer Science, UCLVerificeret mail på ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenVerificeret mail på ru.nl
- Trajce DimkovPhD Researcher, University of TwenteVerificeret mail på utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerificeret mail på mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Verificeret mail på intel.com
- John LaunchburyChief Scientist, GaloisVerificeret mail på galois.com
- Bertfried FauserKonstanz Germany