Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 2531 | 1944 |
indeks h | 32 | 27 |
indeks i10 | 56 | 54 |
Javni dostop
Prikaži vse57 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenPreverjeni e-poštni naslov na ru.nl
- Ufuk TopcuThe University of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyPreverjeni e-poštni naslov na informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgPreverjeni e-poštni naslov na informatik.uni-freiburg.de
- Murat CubuktepeUniversity of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
- Christian DehnertRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud UniversityPreverjeni e-poštni naslov na ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyPreverjeni e-poštni naslov na tue.nl
- Steven CarrUniversity of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityPreverjeni e-poštni naslov na science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonPreverjeni e-poštni naslov na cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyPreverjeni e-poštni naslov na iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwentePreverjeni e-poštni naslov na utwente.nl
- Federico OlmedoUniversity of ChilePreverjeni e-poštni naslov na dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPreverjeni e-poštni naslov na cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichPreverjeni e-poštni naslov na fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpPreverjeni e-poštni naslov na uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Spremljaj
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Preverjeni e-poštni naslov na rub.de - Domača stran