Get my own profile
Public access
View all41 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
Kousha EtessamiUniversity of EdinburghVerified email at inf.ed.ac.uk
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
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](/citations/images/avatar_scholar_128.png)
![Dominik Wojtczak](/citations/images/avatar_scholar_128.png)
Dominik Wojtczak
Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk - Homepage