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