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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=lv19c_cAAAAJ&citpid=2)
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Verified email at in.tum.de - Homepage