Get my own profile
Public access
View all62 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 GrigoreFacebookVerified 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
- 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
- Jan JakubuvCzech Technical University in Prague, CIIRCVerified email at cvut.cz
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
- Jan HůlaUniversity of OstravaVerified email at osu.cz
- Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
- Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
- Federico HerasUniversitat Pompeu FabraVerified email at upf.edu