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
- Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
- 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
- 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