Get my own profile
Public access
View all69 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
Sophie TourretInriaVerified email at loria.fr
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Alexander BentkampHeinrich-Heine-Universität DüsseldorfVerified email at hhu.de
Petar VukmirovicVrije Universiteit AmsterdamVerified email at vu.nl
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Anders SchlichtkrullAalborg University CopenhagenVerified email at cs.aau.dk
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Andreas LochbihlerDigital Asset (Switzerland) GmbHVerified email at inf.ethz.ch
Daniel KuehlweinCapgeminiVerified email at cs.ru.nl
Johannes HölzlVerified email at in.tum.de
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Peter LammichThe University of ManchesterVerified email at in.tum.de
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Lorenz PannyTechnische Universität MünchenVerified email at yx7.cc
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de