Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2781 | 2110 |
h-indeks | 33 | 28 |
i10-indeks | 58 | 56 |
Dostęp publiczny
Wyświetl wszystko58 artykułów
1 artykuł
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
Sebastian JungesAssistant Professor, Radboud University, NijmegenZweryfikowany adres z ru.nl
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinZweryfikowany adres z utexas.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
Murat CubuktepeUniversity of Texas at AustinZweryfikowany adres z utexas.edu
Christian DehnertRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Thom BadingsPhD Candidate, Radboud UniversityZweryfikowany adres z ru.nl
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyZweryfikowany adres z tue.nl
Steven CarrUniversity of Texas at AustinZweryfikowany adres z utexas.edu
Marnix SuilenPhD Candidate, Radboud UniversityZweryfikowany adres z science.ru.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonZweryfikowany adres z cs.uni-saarland.de
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteZweryfikowany adres z utwente.nl
Roderick BloemGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
Federico OlmedoUniversity of ChileZweryfikowany adres z dcc.uchile.cl
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKZweryfikowany adres z cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichZweryfikowany adres z fi.muni.cz
David ParkerProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
Guillermo A. PérezAssociate Professor, University of AntwerpZweryfikowany adres z uantwerp.be
Obserwuj![Nils Jansen](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=zUavkyEAAAAJ&citpid=6)
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Zweryfikowany adres z rub.de - Strona główna