Get my own profile
Co-authors
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Josep ArgelichUniversitat de LleidaVerified email at diei.udl.cat
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaVerified email at tecnico.ulisboa.pt
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandVerified email at cs.ucc.ie
Saurabh JoshiIIT HyderabadVerified email at cse.iith.ac.in
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Karem SakallahVerified email at umich.edu
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Alexandre LemosOutSystems, Instituto superior TécnicoVerified email at outsystems.com
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Oliver KullmannSwansea UniversityVerified email at Swansea.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Jose T. de SousaINESC-ID / Tecnico University of LisbonVerified email at inesc-id.pt