Utwórz swój profil
Cytowane przez
| Wszystkie | Od 2019 | |
|---|---|---|
| Cytowania | 3171 | 2665 |
| h-indeks | 29 | 27 |
| i10-indeks | 51 | 49 |
Dostęp publiczny
Wyświetl wszystko48 artykułów
3 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteZweryfikowany adres z cs.rwth-aachen.de- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumZweryfikowany adres z rub.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Tim QuatmannRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
- Ufuk TopcuThe University of Texas at AustinZweryfikowany adres z utexas.edu
- Christian DehnertRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyZweryfikowany adres z fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinZweryfikowany adres z utexas.edu
- Arnd HartmannsUniversity of TwenteZweryfikowany adres z utwente.nl
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyZweryfikowany adres z informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteZweryfikowany adres z utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaZweryfikowany adres z iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyZweryfikowany adres z vutbr.cz
- Gereon KremerCertora LtdZweryfikowany adres z cs.stanford.edu
- Roderick BloemGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
- Thom BadingsPhD Candidate, Radboud UniversityZweryfikowany adres z ru.nl
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyZweryfikowany adres z unitn.it
Obserwuj
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Zweryfikowany adres z ru.nl - Strona główna