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 Dresden, and SCADS.AI Dresden/LeipzigVerified 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
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
Manuel EberlUniversity of InnsbruckVerified email at uibk.ac.at
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Thomas HalesUniversity of PittsburghVerified email at pitt.edu
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