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