Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 3028 | 701 |
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 - Домашня сторінка