Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 19235 | 4524 |
h-indeks | 56 | 23 |
i10-indeks | 129 | 60 |
Dostęp publiczny
Wyświetl wszystko38 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Lawrence PaulsonUniversity of CambridgeZweryfikowany adres z cam.ac.uk
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenZweryfikowany adres z tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenZweryfikowany adres z ifi.lmu.de
- Johannes HölzlZweryfikowany adres z in.tum.de
- Thomas HalesUniversity of PittsburghZweryfikowany adres z pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordZweryfikowany adres z maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghZweryfikowany adres z inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesZweryfikowany adres z amazon.com
- Peter LammichThe University of ManchesterZweryfikowany adres z in.tum.de
- Andrei PopescuUniversity of SheffieldZweryfikowany adres z sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenZweryfikowany adres z di.ku.dk
- Manuel EberlUniversity of InnsbruckZweryfikowany adres z uibk.ac.at
- Gregor SneltingKITZweryfikowany adres z kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesZweryfikowany adres z ost.ch
- Christian UrbanKing's College LondonZweryfikowany adres z kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenZweryfikowany adres z in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckZweryfikowany adres z uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyZweryfikowany adres z math.ac.vn
- Cezary KaliszykUniversity of InnsbruckZweryfikowany adres z uibk.ac.at
Obserwuj
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Zweryfikowany adres z in.tum.de - Strona główna