Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3050 | 713 |
Índice h | 30 | 13 |
Índice i10 | 63 | 22 |
Acceso público
Ver todo18 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryDirección de correo verificada de nrl.navy.mil
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUDirección de correo verificada de cmu.edu
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteDirección de correo verificada de quantinuum.com
Michael MisloveTulane UniversityDirección de correo verificada de tulane.edu
James WorrellProfessor of Computer Science, Oxford UniversityDirección de correo verificada de cs.ox.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKDirección de correo verificada de cs.bham.ac.uk
Jamie VicaryUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
Paul SyversonMathematician, U.S. Naval Research LaboratoryDirección de correo verificada de nrl.navy.mil
Radha PoovendranProfessor of ECE, University of WashingtonDirección de correo verificada de uw.edu
Samson AbramskyProfessor of Computer Science, UCLDirección de correo verificada de ucl.ac.uk
Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenDirección de correo verificada de ru.nl
Trajce DimkovPhD Researcher, University of TwenteDirección de correo verificada de utwente.nl
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
Sava KrsticResearch Scientist, Intel Corp.Dirección de correo verificada de intel.com
John LaunchburyChief Scientist, GaloisDirección de correo verificada de galois.com
Bertfried FauserKonstanz Germany
Seguir![dusko pavlovic](/citations/images/avatar_scholar_128.png)
![dusko pavlovic](/citations/images/avatar_scholar_128.png)
dusko pavlovic
Professor at University of Hawaii
Dirección de correo verificada de hawaii.edu - Página principal