Get my own profile
Public access
View all47 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Ines LynceINESC-ID / 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
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
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
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Florian LonsingComputer Science Department, Stanford UniversityVerified email at cs.stanford.edu
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Jie-Hong Roland JiangProfessor of Electrical Engineering, National Taiwan UniversityVerified email at ntu.edu.tw
Valeriy BalabanovGoogleVerified email at google.com