내 프로필 만들기
공개 액세스
모두 보기자료 57개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twentecs.rwth-aachen.de의 이메일 확인됨
- Sebastian JungesAssistant Professor, Radboud University, Nijmegenru.nl의 이메일 확인됨
- Ufuk TopcuThe University of Texas at Austinutexas.edu의 이메일 확인됨
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germanyinformatik.uni-freiburg.de의 이메일 확인됨
- Bernd BeckerProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Murat CubuktepeUniversity of Texas at Austinutexas.edu의 이메일 확인됨
- Christian DehnertRWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
- Thom BadingsPhD Candidate, Radboud Universityru.nl의 이메일 확인됨
- Thiago D. SimãoAssistant Professor at Eindhoven University of Technologytue.nl의 이메일 확인됨
- Steven CarrUniversity of Texas at Austinutexas.edu의 이메일 확인됨
- Marnix SuilenPhD Candidate, Radboud Universityscience.ru.nl의 이메일 확인됨
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College Londoncs.uni-saarland.de의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twenteutwente.nl의 이메일 확인됨
- Federico OlmedoUniversity of Chiledcc.uchile.cl의 이메일 확인됨
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKcs.ox.ac.uk의 이메일 확인됨
- Jan KřetínskýMasaryk University Brno; Technical University of Munichfi.muni.cz의 이메일 확인됨
- Guillermo A. PérezAssociate Professor, University of Antwerpuantwerp.be의 이메일 확인됨
- David ParkerProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
팔로우
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
rub.de의 이메일 확인됨 - 홈페이지