Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 3023 | 696 |
h-index | 29 | 12 |
i10-index | 63 | 20 |
Nyilvános hozzáférés
Összes megtekintése15 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- John C MitchellProfessor of Computer Science, Stanford UniversityE-mail megerősítve itt: Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryE-mail megerősítve itt: nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUE-mail megerősítve itt: cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteE-mail megerősítve itt: quantinuum.com
- Michael MisloveTulane UniversityE-mail megerősítve itt: tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityE-mail megerősítve itt: cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKE-mail megerősítve itt: cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryE-mail megerősítve itt: nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleE-mail megerősítve itt: uw.edu
- Samson AbramskyProfessor of Computer Science, UCLE-mail megerősítve itt: ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenE-mail megerősítve itt: ru.nl
- Trajce DimkovPhD Researcher, University of TwenteE-mail megerősítve itt: utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail megerősítve itt: mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.E-mail megerősítve itt: intel.com
- John LaunchburyChief Scientist, GaloisE-mail megerősítve itt: galois.com
- Bertfried FauserKonstanz Germany