Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 19289 | 4574 |
indeks-h | 56 | 23 |
indeks-i10 | 129 | 60 |
Akses publik
Lihat semua38 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Lawrence PaulsonUniversity of CambridgeEmail yang diverifikasi di cam.ac.uk
- Gerwin KleinProofcraft and UNSWEmail yang diverifikasi di unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenEmail yang diverifikasi di tu-dresden.de
- Johannes HölzlEmail yang diverifikasi di in.tum.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail yang diverifikasi di ifi.lmu.de
- Thomas HalesUniversity of PittsburghEmail yang diverifikasi di pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordEmail yang diverifikasi di maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghEmail yang diverifikasi di inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesEmail yang diverifikasi di amazon.com
- Andrei PopescuUniversity of SheffieldEmail yang diverifikasi di sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenEmail yang diverifikasi di di.ku.dk
- Peter LammichThe University of ManchesterEmail yang diverifikasi di in.tum.de
- Manuel EberlUniversity of InnsbruckEmail yang diverifikasi di uibk.ac.at
- Gregor SneltingKITEmail yang diverifikasi di kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesEmail yang diverifikasi di ost.ch
- Christian UrbanKing's College LondonEmail yang diverifikasi di kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenEmail yang diverifikasi di in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckEmail yang diverifikasi di uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyEmail yang diverifikasi di math.ac.vn
- Cezary KaliszykUniversity of InnsbruckEmail yang diverifikasi di uibk.ac.at
Ikuti
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Email yang diverifikasi di in.tum.de - Beranda