Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3029 | 702 |
Índice h | 29 | 12 |
Índice i10 | 63 | 20 |
Acesso público
Ver tudo15 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- John C MitchellProfessor of Computer Science, Stanford UniversityEmail confirmado em Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryEmail confirmado em nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUEmail confirmado em cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteEmail confirmado em quantinuum.com
- Michael MisloveTulane UniversityEmail confirmado em tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityEmail confirmado em cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKEmail confirmado em cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeEmail confirmado em cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityEmail confirmado em cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryEmail confirmado em nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleEmail confirmado em uw.edu
- Samson AbramskyProfessor of Computer Science, UCLEmail confirmado em ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenEmail confirmado em ru.nl
- Trajce DimkovPhD Researcher, University of TwenteEmail confirmado em utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail confirmado em mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Email confirmado em intel.com
- John LaunchburyChief Scientist, GaloisEmail confirmado em galois.com
- Bertfried FauserKonstanz Germany
Seguir