내 프로필 만들기
공개 액세스
모두 보기자료 61개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
Stefan KieferProfessor of Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
Ahmed BouajjaniProfessor Computer Science, Université Paris Citéirif.fr의 이메일 확인됨
Antonin KuceraMasaryk Universityfi.muni.cz의 이메일 확인됨
Pierre GantyAssociate Research Professor, IMDEA Software Instituteimdea.org의 이메일 확인됨
Rupak MajumdarMPI for Software Systemsmpi-sws.org의 이메일 확인됨
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of Helsinkihelsinki.fi의 이메일 확인됨
Eike BestCarl von Ossietzky Universität Oldenburginformatik.uni-oldenburg.de의 이메일 확인됨
Jan KřetínskýMasaryk University Brno; Technical University of Munichfi.muni.cz의 이메일 확인됨
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of Zaragozaunizar.es의 이메일 확인됨
Salomon Sickerttum.de의 이메일 확인됨
Mogens NielsenProfessor of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
Peter RossmanithProfessor of Computer Science, RWTH Aachen Universitycs.rwth-aachen.de의 이메일 확인됨
Michael BlondinAssociate professor, Université de Sherbrookeusherbrooke.ca의 이메일 확인됨
Andreas GaiserAxivion GmbHaxivion.com의 이메일 확인됨
Oded MalerCNRS-VERIMAG, University of Grenobleimag.fr의 이메일 확인됨
Alain FinkelLMF ENS Paris Saclayens-paris-saclay.fr의 이메일 확인됨
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)tum.de의 이메일 확인됨
Andreas PodelskiProfessor of Computer Science, Freiburg Universityinformatik.uni-freiburg.de의 이메일 확인됨
Maximilian SchlundV&V Architect at ETASde.bosch.com의 이메일 확인됨
Tomas BrazdilMasaryk Universityfi.muni.cz의 이메일 확인됨
팔로우![Javier Esparza](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=c9qgPSYAAAAJ&citpid=3)
Javier Esparza
Professor of Computer Science, Technical University of Munich
in.tum.de의 이메일 확인됨 - 홈페이지