Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Balder ten CateAssociate ProfessorVerified email at uva.nl
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Katsuhiko SanoProfessor, Faculty of Humanities and Human Sciences, Hokkaido UniversityVerified email at let.hokudai.ac.jp
Wesley H. HollidayProfessor of Philosophy, Group in Logic and the Methodology of Science, UC BerkeleyVerified email at berkeley.edu
Jan HiddersBirkbeck College, University of LondonVerified email at dcs.bbk.ac.uk
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Michael SammlerMPI-SWSVerified email at mpi-sws.org
Jim de GrootThe Australian National UniversityVerified email at anu.edu.au
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Tomasz Stanisław KowalskiJagiellonian UniversityVerified email at uj.edu.pl
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
Szabolcs MikulasSenior Lecturer, Department of Computer Science and Information Systems, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Daniel HausmannUniversity of LiverpoolVerified email at liverpool.ac.uk
Sven HelmerTitularprofessor, University of ZurichVerified email at ifi.uzh.ch