Get my own profile
Public access
View all13 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
- Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
- Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
- Markus PfeifferResearch Fellow, University of St AndrewsVerified email at st-andrews.ac.uk
- Nicolas M. ThiéryProfessor, GALaC, Laboratoire Interdisciplinaire des Sciences du Numérique, Université Paris-SaclayVerified email at u-psud.fr
- Thomas KopruckiWeierstrass Institute for Applied Analysis and StochasticsVerified email at wias-berlin.de
- Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
- Karsten TabelowWIAS BerlinVerified email at wias-berlin.de
- Mihnea IancuYugabyte Inc.Verified email at yugabyte.com
- Samuel LelièvreAssistant Professor of Mathematics, Université Paris-Saclay, OrsayVerified email at math.u-psud.fr
- Thibault GauthierCzech Technical University in PragueVerified email at thibaultgauthier.fr
- Stephan ScheeleFraunhofer IIS, University of BambergVerified email at uni-bamberg.de
- Ute SchmidProfessor of Cognitive Systems, University of BambergVerified email at uni-bamberg.de
- Sam OwreSRI InternationalVerified email at sri.com
- Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
- William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
- Luca De FeoIBM Research ZürichVerified email at zurich.ibm.com
- Andrea CondoluciPhD at University of BolognaVerified email at studio.unibo.it
- Katja BerčičUniversity of LjubljanaVerified email at fmf.uni-lj.si