Get my own profile
Public access
View all71 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
Petar VukmirovicVrije Universiteit AmsterdamVerified email at vu.nl
Alexander BentkampHeinrich-Heine-Universität DüsseldorfVerified email at hhu.de
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Johannes HölzlVerified email at in.tum.de
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Daniel KuehlweinCapgeminiVerified email at cs.ru.nl
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Andreas LochbihlerDigital Asset (Switzerland) GmbHVerified email at inf.ethz.ch
Anders SchlichtkrullAalborg University CopenhagenVerified email at cs.aau.dk
Lorenz PannyTechnische Universität MünchenVerified email at yx7.cc
Peter LammichThe University of ManchesterVerified email at in.tum.de
Haniel BarbosaUniversidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerified email at uiowa.edu