Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3029 | 702 |
indice h | 29 | 12 |
indice i10 | 63 | 20 |
Accès public
Tout afficher15 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- John C MitchellProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryAdresse e-mail validée de nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUAdresse e-mail validée de cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteAdresse e-mail validée de quantinuum.com
- Michael MisloveTulane UniversityAdresse e-mail validée de tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKAdresse e-mail validée de cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryAdresse e-mail validée de nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleAdresse e-mail validée de uw.edu
- Samson AbramskyProfessor of Computer Science, UCLAdresse e-mail validée de ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenAdresse e-mail validée de ru.nl
- Trajce DimkovPhD Researcher, University of TwenteAdresse e-mail validée de utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresse e-mail validée de mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Adresse e-mail validée de intel.com
- John LaunchburyChief Scientist, GaloisAdresse e-mail validée de galois.com
- Bertfried FauserKonstanz Germany
Suivre
dusko pavlovic
Professor at University of Hawaii
Adresse e-mail validée de hawaii.edu - Page d'accueil