自分のプロフィールを作成
オープン アクセス
すべて表示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 - ホームページ