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 BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
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
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Gregor SneltingKITVerified email at kit.edu
Peter LammichThe University of ManchesterVerified email at in.tum.de
Ursula MartinUniversity of Edinburgh; University of OxfordVerified email at maths.ox.ac.uk
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
Max W. HaslbeckPhD Student, University of InnsbruckVerified email at uibk.ac.at
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Maximilian P. L. HaslbeckTU MünchenVerified email at in.tum.de
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