Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 216 | 150 |
Índice h | 7 | 7 |
Índice i10 | 6 | 6 |
Acceso público
Ver todo11 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- James BrotherstonProfessor of Logic and Computation, University College LondonDirección de correo verificada de ucl.ac.uk
- Liron CohenComputer Science, Ben-Gurion UniversityDirección de correo verificada de cs.bgu.ac.il
- Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO GlobalDirección de correo verificada de kent.ac.uk
- Steffen van BakelImperial College LondonDirección de correo verificada de doc.ic.ac.uk
- Nikos GorogiannisFacebook LondonDirección de correo verificada de fb.com
- Scott OwensUniversity of KentDirección de correo verificada de kent.ac.uk
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamDirección de correo verificada de cs.bham.ac.uk
- Victor-Alexandru DarvariuResearch Fellow in Machine Learning, University College LondonDirección de correo verificada de ucl.ac.uk
- Simon DochertyUniversity College LondonDirección de correo verificada de ucl.ac.uk
- Yoni ZoharBar Ilan UniversityDirección de correo verificada de biu.ac.il