自分のプロフィールを作成
オープン アクセス
すべて表示13 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Peter SteinkeTU Dresden, Informatik確認したメール アドレス: tu-dresden.de
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Rafael PeñalozaUniversity of Milano-Bicocca確認したメール アドレス: unimib.it
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Davide LantiAssistant Professor of Computer Science, Free University of Bozen-Bolzano確認したメール アドレス: unibz.it
- Julian StecklinaEngineer at Cyberus Technology確認したメール アドレス: os.inf.tu-dresden.de
- Sarah GagglTU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation Group確認したメール アドレス: tu-dresden.de
- Joao Marques-SilvaResearch Professor, ICREA, University of Lleida確認したメール アドレス: icrea.cat
- Daniel Le BerreCRIL-CNRS Université d'Artois確認したメール アドレス: cril.fr
- Ari SaptawijayaFaculty of Computer Science, Universitas Indonesia確認したメール アドレス: cs.ui.ac.id
- Sebastian RudolphTechnische Universität Dresden確認したメール アドレス: tu-dresden.de
- Ahmed IrfanSRI International確認したメール アドレス: cs.stanford.edu
- M. Fareed ArifUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Alexey IgnatievFaculty of Information Technology, Monash University確認したメール アドレス: monash.edu
- Christian MuiseQueen's University確認したメール アドレス: queensu.ca
- Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)確認したメール アドレス: sap.com
- Michael TautschnigQueen Mary University of London確認したメール アドレス: qmul.ac.uk
- Antti E. J. HyvärinenSenior Research Scientist, Certora確認したメール アドレス: certora.com
- Enrique Matos AlfonsoNational Technical University of Athens確認したメール アドレス: image.ece.ntua.gr
- Van-Hau NguyenHung Yen University of Technology and Education確認したメール アドレス: utehy.edu.vn