Get my own profile
Public access
View all61 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
Petar VukmirovicVrije Universiteit AmsterdamVerified email at vu.nl
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Anders SchlichtkrullAalborg University CopenhagenVerified email at cs.aau.dk
Andreas LochbihlerDigital Asset (Switzerland) GmbHVerified email at inf.ethz.ch
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Daniel KuehlweinCapgeminiVerified email at cs.ru.nl
Johannes HölzlVerified email at in.tum.de
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Peter LammichThe University of ManchesterVerified email at in.tum.de
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Andrew ReynoldsUniversity of IowaVerified email at uiowa.edu
Simon RobillardUniversité de MontpellierVerified email at umontpellier.fr