Get my own profile
Public access
View all17 articles
1 article
available
not available
Based on funding mandates
Co-authors
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Mark LiffitonIllinois Wesleyan UniversityVerified email at iwu.edu
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Bart SelmanProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Marco SchaerfProfessor of Computer Science, Sapienza UniversityVerified email at uniroma1.it
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaVerified email at arsr.inesc-id.pt
Yuri MalitskyIBM ResearchVerified email at us.ibm.com
Barry O'SullivanSchool of Computer Science & IT, University College Cork, IrelandVerified email at cs.ucc.ie