Get my own profile
Public access
View all28 articles
6 articles
available
not available
Based on funding mandates
Co-authors
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
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 udl.cat
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaVerified email at tecnico.ulisboa.pt
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Arlindo L OliveiraDistinguished Professor, Instituto Superior Técnico / INESC-IDVerified email at tecnico.ulisboa.pt
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Alexandre LemosOutSystems, Instituto superior TécnicoVerified email at outsystems.com
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Saurabh JoshiSupraOraclesVerified email at cse.iith.ac.in
Steven PrestwichLecturer in Computer Science, University College Cork, IrelandVerified email at cs.ucc.ie
Filipe GouveiaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Karem A SakallahUniversity of MichiganVerified email at umich.edu
Daniel RamosCarnegie Mellon University, and IST/ULVerified email at cmu.edu
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
Follow![Ines Lynce](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=uvgyhBMAAAAJ&citpid=11)
Ines Lynce
INESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa
Verified email at tecnico.ulisboa.pt - Homepage