Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 2540 | 1953 |
h-indeks | 32 | 27 |
i10-indeks | 56 | 54 |
Offentlig tilgang
Vis alle57 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerifisert e-postadresse på cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerifisert e-postadresse på ru.nl
- Ufuk TopcuThe University of Texas at AustinVerifisert e-postadresse på utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerifisert e-postadresse på cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerifisert e-postadresse på informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgVerifisert e-postadresse på informatik.uni-freiburg.de
- Christian DehnertRWTH Aachen UniversityVerifisert e-postadresse på cs.rwth-aachen.de
- Murat CubuktepeUniversity of Texas at AustinVerifisert e-postadresse på utexas.edu
- Thom BadingsPhD Candidate, Radboud UniversityVerifisert e-postadresse på ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerifisert e-postadresse på tue.nl
- Steven CarrUniversity of Texas at AustinVerifisert e-postadresse på utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityVerifisert e-postadresse på science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerifisert e-postadresse på cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyVerifisert e-postadresse på iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerifisert e-postadresse på utwente.nl
- Federico OlmedoUniversity of ChileVerifisert e-postadresse på dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifisert e-postadresse på cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichVerifisert e-postadresse på fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpVerifisert e-postadresse på uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordVerifisert e-postadresse på cs.ox.ac.uk
Følg
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Verifisert e-postadresse på rub.de - Startside