Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 767 | 118 |
Índice h | 14 | 6 |
Índice i10 | 18 | 2 |
Acceso público
Ver todo8 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Andrew SogokonCarnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
- Leonardo de MouraAmazon Web ServicesDirección de correo verificada de amazon.com
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyDirección de correo verificada de kit.edu
- Khalil GhorbalINRIADirección de correo verificada de inria.fr
- Vijay NagarajanProfessor, University of UtahDirección de correo verificada de cs.utah.edu
- Marco ElverGoogleDirección de correo verificada de google.com
- Christopher J. BanksUniversity of EdinburghDirección de correo verificada de ed.ac.uk
- Taylor T JohnsonAssociate Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt UniversityDirección de correo verificada de vanderbilt.edu
- Lawrence PaulsonUniversity of CambridgeDirección de correo verificada de cam.ac.uk
- Ruth HoffmannSchool of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
- Florian SchandaVeoneer System Software GmbHDirección de correo verificada de schanda.org.uk
- Christoph M. WintersteigerImandraDirección de correo verificada de imandra.ai