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