Crear mi propio perfil
Citado por
Total | Desde 2016 | |
---|---|---|
Citas | 1981 | 1220 |
Índice h | 25 | 18 |
Índice i10 | 47 | 35 |
Coautores
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIDirección de correo verificada de irit.fr
Ines LynceINESC-ID / IST, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
William KlieberCarnegie MellonDirección de correo verificada de cs.cmu.edu
Radu GrigoreLecturer, University of KentDirección de correo verificada de kent.ac.uk
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroDirección de correo verificada de lero.ie
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Anton BelovSynopsys Inc.Dirección de correo verificada de belov-mcdowell.com
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyDirección de correo verificada de uni-jena.de
Leroy ChewResearch Fellow, University of LeedsDirección de correo verificada de leeds.ac.uk
Alexey IgnatievFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaDirección de correo verificada de inesc-id.pt
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairDirección de correo verificada de acm.org
Alessandro PrevitiEricsson ResearchDirección de correo verificada de ericsson.com
Nikolaj BjornerMicrosoft ResearchDirección de correo verificada de cs.stanford.edu
Ruben MartinsCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Miguel Terra-NevesResearch Scientist, OutSystemsDirección de correo verificada de outsystems.com
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkDirección de correo verificada de itu.dk
Jie-Hong Roland JiangProfessor of Electrical Engineering, National Taiwan UniversityDirección de correo verificada de ntu.edu.tw
Valeriy BalabanovGoogleDirección de correo verificada de google.com
Florian LonsingComputer Science Department, Stanford UniversityDirección de correo verificada de cs.stanford.edu
Mikoláš Janota
Assistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of Lisbon
Dirección de correo verificada de sat.inesc-id.pt - Página principal