Mijn eigen profiel maken
Openbare toegang
Alles bekijken38 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Lawrence PaulsonUniversity of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
- Gerwin KleinProofcraft and UNSWGeverifieerd e-mailadres voor unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenGeverifieerd e-mailadres voor ifi.lmu.de
- Johannes HölzlGeverifieerd e-mailadres voor in.tum.de
- Thomas HalesUniversity of PittsburghGeverifieerd e-mailadres voor pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordGeverifieerd e-mailadres voor maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
- Peter LammichThe University of ManchesterGeverifieerd e-mailadres voor in.tum.de
- Andrei PopescuUniversity of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenGeverifieerd e-mailadres voor di.ku.dk
- Manuel EberlUniversity of InnsbruckGeverifieerd e-mailadres voor uibk.ac.at
- Gregor SneltingKITGeverifieerd e-mailadres voor kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesGeverifieerd e-mailadres voor ost.ch
- Christian UrbanKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenGeverifieerd e-mailadres voor in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckGeverifieerd e-mailadres voor uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyGeverifieerd e-mailadres voor math.ac.vn
- Cezary KaliszykUniversity of InnsbruckGeverifieerd e-mailadres voor uibk.ac.at
Volgen
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Geverifieerd e-mailadres voor in.tum.de - Homepage