Get my own profile
Public access
View all35 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
Johannes HölzlVerified email at in.tum.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Ursula MartinUniversity of Edinburgh; University of OxfordVerified email at maths.ox.ac.uk
Thomas HalesUniversity of PittsburghVerified email at pitt.edu
Steven ObuaUniversity of EdinburghVerified email at inf.ed.ac.uk
John R HarrisonAmazon Web ServicesVerified email at amazon.com
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
Peter LammichThe University of ManchesterVerified email at in.tum.de
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Gregor SneltingKITVerified email at kit.edu
Manuel EberlPostdoc in Computer Science, Universität InnsbruckVerified email at uibk.ac.at
Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesVerified email at ost.ch
Maximilian P. L. HaslbeckTU MünchenVerified email at in.tum.de
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
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 InnsbruckVerified email at uibk.ac.at
Follow
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Verified email at in.tum.de - Homepage