Get my own profile
Co-authors
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Guohui XiaoAssistant Professor of Computer Science, Free University of Bozen - BolzanoVerified email at inf.unibz.it
Mariano Rodriguez MuroOntologist/Linguist at GoogleVerified email at google.com
Stanislav KikotLondon Metropolitan UniversityVerified email at londonmet.ac.uk
Vladimir PodolskiiSteklov mathematical InstituteVerified email at mi.ras.ru
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
Víctor Gutiérrez BasultoLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Egor V. KostylevAssociate Professor, University of OsloVerified email at ifi.uio.no
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Luca PulinaUniversity of SassariVerified email at uniss.it
Yavor NenovResearch Assistant, University of OxfordVerified email at cs.ox.ac.uk
Jean Christoph JungUniversity of HildesheimVerified email at uni-bremen.de
