Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 3029 | 702 |
h-индекс | 29 | 12 |
i10-индекс | 63 | 20 |
Общий доступ
Просмотреть все15 статей
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- John C MitchellProfessor of Computer Science, Stanford UniversityПодтвержден адрес электронной почты в домене Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryПодтвержден адрес электронной почты в домене nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUПодтвержден адрес электронной почты в домене cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteПодтвержден адрес электронной почты в домене quantinuum.com
- Michael MisloveTulane UniversityПодтвержден адрес электронной почты в домене tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityПодтвержден адрес электронной почты в домене cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKПодтвержден адрес электронной почты в домене cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeПодтвержден адрес электронной почты в домене cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityПодтвержден адрес электронной почты в домене cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryПодтвержден адрес электронной почты в домене nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleПодтвержден адрес электронной почты в домене uw.edu
- Samson AbramskyProfessor of Computer Science, UCLПодтвержден адрес электронной почты в домене ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenПодтвержден адрес электронной почты в домене ru.nl
- Trajce DimkovPhD Researcher, University of TwenteПодтвержден адрес электронной почты в домене utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПодтвержден адрес электронной почты в домене mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Подтвержден адрес электронной почты в домене intel.com
- John LaunchburyChief Scientist, GaloisПодтвержден адрес электронной почты в домене galois.com
- Bertfried FauserKonstanz Germany
Подписаться
dusko pavlovic
Professor at University of Hawaii
Подтвержден адрес электронной почты в домене hawaii.edu - Главная страница