Utwórz swój profil
Cytowane przez
Wszystkie | Od 2020 | |
---|---|---|
Cytowania | 3514 | 2707 |
h-indeks | 30 | 27 |
i10-indeks | 54 | 51 |
Dostęp publiczny
Wyświetl wszystko50 artykułów
4 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
Arnd HartmannsUniversity of TwenteZweryfikowany adres z utwente.nl
Murat CubuktepeUniversity of Texas at AustinZweryfikowany adres z utexas.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteZweryfikowany adres z utwente.nl
Roman AndriushchenkoPh.D. student, Brno University of TechnologyZweryfikowany adres z vutbr.cz
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
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaZweryfikowany adres z iaik.tugraz.at
Roderick BloemGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
Thom BadingsPostdoctoral researcher, University of OxfordZweryfikowany adres z cs.ox.ac.uk
Gereon KremerCertora LtdZweryfikowany adres z cs.stanford.edu
Carlos E. BuddeAssociate Professor @ Technical University of Denmark, DTU ComputeZweryfikowany adres z dtu.dk
Obserwuj
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Zweryfikowany adres z ru.nl - Strona główna