Get my own profile
Co-authors
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Clare DixonUniversity of Liverpool;Verified email at liverpool.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
Roman KontchakovSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Evgeny DantsinProfessor of Computer Science, Roosevelt UniversityVerified email at roosevelt.edu
Edward A. HirschResearch Lead, Steklov Institute of Mathematics at St.PetersburgVerified email at pdmi.ras.ru
Richard WilliamsUniversity of LiverpoolVerified email at liv.ac.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupVerified email at liverpool.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Ana OzakiUniversity of Bergen
Boris Konev
Professor of Computer Science, Liverpool University
Verified email at liverpool.ac.uk - Homepage