建立我自己的個人學術檔案
公開取用
查看全部59 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Stefan KieferProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Ahmed BouajjaniProfessor Computer Science, Université Paris Cité在 irif.fr 的電子郵件地址已通過驗證
- Antonin KuceraMasaryk University在 fi.muni.cz 的電子郵件地址已通過驗證
- Rupak MajumdarMPI for Software Systems在 mpi-sws.org 的電子郵件地址已通過驗證
- Pierre GantyAssociate Research Professor, IMDEA Software Institute在 imdea.org 的電子郵件地址已通過驗證
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of Helsinki在 helsinki.fi 的電子郵件地址已通過驗證
- Eike BestCarl von Ossietzky Universität Oldenburg在 informatik.uni-oldenburg.de 的電子郵件地址已通過驗證
- Jan KřetínskýMasaryk University Brno; Technical University of Munich在 fi.muni.cz 的電子郵件地址已通過驗證
- Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of Zaragoza在 unizar.es 的電子郵件地址已通過驗證
- Salomon Sickert在 tum.de 的電子郵件地址已通過驗證
- Mogens NielsenProfessor of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Peter RossmanithProfessor of Computer Science, RWTH Aachen University在 cs.rwth-aachen.de 的電子郵件地址已通過驗證
- Michael BlondinAssociate professor, Université de Sherbrooke在 usherbrooke.ca 的電子郵件地址已通過驗證
- Andreas GaiserAxivion GmbH在 axivion.com 的電子郵件地址已通過驗證
- Oded MalerCNRS-VERIMAG, University of Grenoble在 imag.fr 的電子郵件地址已通過驗證
- Alain FinkelLSV ENS Paris Saclay在 lsv.fr 的電子郵件地址已通過驗證
- Maximilian SchlundV&V Architect at ETAS在 de.bosch.com 的電子郵件地址已通過驗證
- Andreas PodelskiProfessor of Computer Science, Freiburg University在 informatik.uni-freiburg.de 的電子郵件地址已通過驗證
- Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)在 tum.de 的電子郵件地址已通過驗證
- Tomas BrazdilMasaryk University在 fi.muni.cz 的電子郵件地址已通過驗證
追蹤
Javier Esparza
Professor of Computer Science, Technical University of Munich
在 in.tum.de 的電子郵件地址已通過驗證 - 首頁