Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3024 | 697 |
h-indeks | 29 | 12 |
i10-indeks | 63 | 20 |
Dostęp publiczny
Wyświetl wszystko15 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- John C MitchellProfessor of Computer Science, Stanford UniversityZweryfikowany adres z Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryZweryfikowany adres z nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUZweryfikowany adres z cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteZweryfikowany adres z quantinuum.com
- Michael MisloveTulane UniversityZweryfikowany adres z tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityZweryfikowany adres z cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKZweryfikowany adres z cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryZweryfikowany adres z nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleZweryfikowany adres z uw.edu
- Samson AbramskyProfessor of Computer Science, UCLZweryfikowany adres z ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenZweryfikowany adres z ru.nl
- Trajce DimkovPhD Researcher, University of TwenteZweryfikowany adres z utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Zweryfikowany adres z intel.com
- John LaunchburyChief Scientist, GaloisZweryfikowany adres z galois.com
- Bertfried FauserKonstanz Germany
Obserwuj