自分のプロフィールを作成
オープン アクセス
すべて表示42 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Sven ScheweProfessor of Computer Science, University of Liverpool確認したメール アドレス: liverpool.ac.uk
- Ashutosh TrivediAssociate Professor, University of Colorado at Boulder確認したメール アドレス: colorado.edu
- Kousha EtessamiUniversity of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Krzysztof R. AptCWI fellow, CWI , The Netherlands確認したメール アドレス: cwi.nl
- Michael UmmelsResearcher, German Aerospace Center確認したメール アドレス: logic.rwth-aachen.de
- Stefan KieferProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia University確認したメール アドレス: cs.columbia.edu
- Antonin KuceraMasaryk University確認したメール アドレス: fi.muni.cz
- Tomas BrazdilMasaryk University確認したメール アドレス: fi.muni.cz
- Krishnendu ChatterjeeProfessor, IST Austria確認したメール アドレス: ist.ac.at
- Vojtěch ForejtDifflblue確認したメール アドレス: diffblue.com
- Lakshmi ManasaPhD Student, IIT Bombay確認したメール アドレス: cse.iitb.ac.in
- Ankush DasAssistant Professor, Boston University確認したメール アドレス: bu.edu
フォロー
Dominik Wojtczak
Department of Computer Science, University of Liverpool
確認したメール アドレス: liverpool.ac.uk - ホームページ