Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3033 | 707 |
Índice h | 29 | 13 |
Índice i10 | 63 | 20 |
Acceso público
Ver todo16 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryDirección de correo verificada de nrl.navy.mil
- 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 Electrical and Computer Engineering, University of Washington, SeattleDirecció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
Professor at University of Hawaii
Dirección de correo verificada de hawaii.edu - Página principal