Get my own profile
Public access
View all41 articles
1 article
available
not available
Based on funding mandates
Co-authors
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk- Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
- Johannes HölzlVerified email at in.tum.de
- Thomas HalesUniversity of PittsburghVerified email at pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordVerified email at maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghVerified email at inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesVerified email at amazon.com
- Peter LammichThe University of ManchesterVerified email at in.tum.de
- Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
- Manuel EberlUniversity of InnsbruckVerified email at uibk.ac.at
- Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
- Gregor SneltingKITVerified email at kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesVerified email at ost.ch
- Christian UrbanKing's College LondonVerified email at kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenVerified email at in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckVerified email at uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyVerified email at math.ac.vn
- Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
Follow
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Verified email at in.tum.de - Homepage