Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 2540 | 1953 |
h-index | 32 | 27 |
i10-index | 56 | 54 |
Acces public
Afișați-le pe toate57 de articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenAdresă de e-mail confirmată pe ru.nl
- Ufuk TopcuThe University of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyAdresă de e-mail confirmată pe informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgAdresă de e-mail confirmată pe informatik.uni-freiburg.de
- Christian DehnertRWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Murat CubuktepeUniversity of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
- Thom BadingsPhD Candidate, Radboud UniversityAdresă de e-mail confirmată pe ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
- Steven CarrUniversity of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityAdresă de e-mail confirmată pe science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonAdresă de e-mail confirmată pe cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyAdresă de e-mail confirmată pe iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteAdresă de e-mail confirmată pe utwente.nl
- Federico OlmedoUniversity of ChileAdresă de e-mail confirmată pe dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresă de e-mail confirmată pe cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichAdresă de e-mail confirmată pe fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpAdresă de e-mail confirmată pe uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
Urmăriți
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Adresă de e-mail confirmată pe rub.de - Pagina de pornire