Get my own profile
Public access
View all65 articles
1 article
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
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaVerified email at tecnico.ulisboa.pt
William KlieberCarnegie MellonVerified email at cs.cmu.edu
Jelle PiepenbrockRadboud University, Czech Technical University PragueVerified email at ru.nl
Radu GrigoreMetaVerified email at fb.com
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroVerified email at lero.ie
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyVerified email at uni-jena.de
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaVerified email at arsr.inesc-id.pt
Pedro OrvalhoUniversity of OxfordVerified email at cs.ox.ac.uk
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Jan HůlaUniversity of OstravaVerified email at osu.cz
Jan JakubuvCzech Technical University in Prague, CIIRCVerified email at cvut.cz
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Federico HerasUniversitat Pompeu FabraVerified email at upf.edu