Get my own profile
Public access
View all40 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
- 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
- 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
- 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 KaliszykProfessor, University of MelbourneVerified email at unimelb.edu.au
- Alexey SolovyevResearch Associate of Computer Science, University of UtahVerified email at cs.utah.edu
- Thi Hoai An TaInstitute of Mathematics, Vietnam Academy of Science and TechnologyVerified email at math.ac.vn
Follow
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Verified email at in.tum.de - Homepage