Get my own profile
Public access
View all44 articles
1 article
available
not available
Based on funding mandates
Co-authors
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Kousha EtessamiUniversity of EdinburghVerified email at inf.ed.ac.uk
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Vojtěch ForejtDifflblueVerified email at diffblue.com
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Ankush DasAssistant Professor, Boston UniversityVerified email at bu.edu
Follow

Dominik Wojtczak
Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk - Homepage