自分のプロフィールを作成
オープン アクセス
すべて表示27 件の論文
6 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Krzysztof R. AptCWI fellow, CWI , The Netherlands確認したメール アドレス: cwi.nl
- Anders P. RavnAalborg University確認したメール アドレス: cs.aau.dk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.確認したメール アドレス: cwi.nl
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.de
- Jonathan P. BowenEmeritus Professor of Computing, London South Bank University確認したメール アドレス: lsbu.ac.uk
- Manuel GiesekingCarl von Ossietzky Universität Oldenburg確認したメール アドレス: informatik.uni-oldenburg.de
- John-Jules Meyeremeritus Utrecht University確認したメール アドレス: cs.uu.nl
- Jan Willem KlopVrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Martin HilscherCarl von Ossietzky University Oldenburg確認したメール アドレス: informatik.uni-oldenburg.de
- Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NL確認したメール アドレス: uva.nl
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Rob van GlabbeekUNSW確認したメール アドレス: cs.stanford.edu
- Mani SwaminathanResearcher in Computer Science確認したメール アドレス: uni-oldenburg.de
- Bernd BeckerProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- David BasinProfessor of Computer Science, ETH Zurich確認したメール アドレス: inf.ethz.ch
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University of確認したメール アドレス: utwente.nl
- Bernhard SteffenProfessor für Informatik, TU Dortmund確認したメール アドレス: cs.uni-dortmund.de
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)確認したメール アドレス: iist.unu.edu
- Jan-David QueselGoogle確認したメール アドレス: google.com
フォロー
Ernst-Ruediger Olderog
Professor für Informatik, Universität Oldenburg
確認したメール アドレス: informatik.uni-oldenburg.de - ホームページ