Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 694 | 279 |
h-indeks | 11 | 7 |
i10-indeks | 11 | 7 |
Dostęp publiczny
Wyświetl wszystko3 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueZweryfikowany adres z cvut.cz
- Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenZweryfikowany adres z science.ru.nl
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenZweryfikowany adres z ifi.lmu.de
- Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-EssenZweryfikowany adres z uni-due.de
- Peter KoepkeProfessor of Mathematics, University of BonnZweryfikowany adres z math.uni-bonn.de
- Cezary KaliszykUniversity of InnsbruckZweryfikowany adres z uibk.ac.at
- Twan van LaarhovenRadboud University NijmegenZweryfikowany adres z cs.ru.nl
- David GreenawayNICTA and School of Computer Science, University of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartZweryfikowany adres z eprover.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsZweryfikowany adres z cs.ru.nl
- Sil C. van de LeemputPhD student RadboudumcZweryfikowany adres z radboudumc.nl