自分のプロフィールを作成
オープン アクセス
すべて表示43 件の論文
3 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Somesh JhaLubar Chair of Computer Science, University of Wisconsin確認したメール アドレス: cs.wisc.edu
- Orna GrumbergProfessor of Computer Science, Technion確認したメール アドレス: cs.technion.ac.il
- Andreas HolzerUniversity of Toronto確認したメール アドレス: cs.toronto.edu
- Christian SchallhartGoogle確認したメール アドレス: schallhart.net
- Igor KonnovIndependent Security and Formal Methods Researcher確認したメール アドレス: konnov.phd
- Johannes KinderProfessor of Computer Science, LMU Munich確認したメール アドレス: lmu.de
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Michael TautschnigQueen Mary University of London確認したメール アドレス: qmul.ac.uk
- Georg GottlobProfessor of Informatics, University of Calabria確認したメール アドレス: unical.it
- Tomer KotekTU Wien確認したメール アドレス: forsyte.at
- Ayrat KhalimovTU Clausthal確認したメール アドレス: tu-clausthal.de
- Nicola LeoneUniversity of Calabria, Professor of Computer Science確認したメール アドレス: unical.it
- Mihai ChristodorescuGoogle確認したメール アドレス: christodorescu.org
- Thomas EiterVienna University of Technology (TU Wien)確認したメール アドレス: kr.tuwien.ac.at
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- Erich GrädelRWTH Aachen University確認したメール アドレス: logic.rwth-aachen.de
- Alex GroceAssociate Professor of Computer Science, Northern Arizona University確認したメール アドレス: nau.edu
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Andreas FröhlichJKU Linz確認したメール アドレス: jku.at
フォロー
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
確認したメール アドレス: forsyte.tuwien.ac.at - ホームページ