Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 2544 | 1957 |
h-rodyklė | 32 | 27 |
i10-rodyklė | 56 | 54 |
Viešas pasiekiamumas
Peržiūrėti viską57 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePatvirtintas el. paštas cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenPatvirtintas el. paštas ru.nl
- Ufuk TopcuThe University of Texas at AustinPatvirtintas el. paštas utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityPatvirtintas el. paštas cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyPatvirtintas el. paštas informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgPatvirtintas el. paštas informatik.uni-freiburg.de
- Christian DehnertRWTH Aachen UniversityPatvirtintas el. paštas cs.rwth-aachen.de
- Murat CubuktepeUniversity of Texas at AustinPatvirtintas el. paštas utexas.edu
- Thom BadingsPhD Candidate, Radboud UniversityPatvirtintas el. paštas ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
- Steven CarrUniversity of Texas at AustinPatvirtintas el. paštas utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityPatvirtintas el. paštas science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonPatvirtintas el. paštas cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyPatvirtintas el. paštas iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwentePatvirtintas el. paštas utwente.nl
- Federico OlmedoUniversity of ChilePatvirtintas el. paštas dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPatvirtintas el. paštas cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichPatvirtintas el. paštas fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpPatvirtintas el. paštas uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Stebėti
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Patvirtintas el. paštas rub.de - Pagrindinis puslapis