自分のプロフィールを作成
オープン アクセス
すべて表示23 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software Systems確認したメール アドレス: mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Siddharth KrishnaIndependent Researcher確認したメール アドレス: cs.nyu.edu
- Viktor KunčakEPFL確認したメール アドレス: epfl.ch
- Martin SchaefAmazon Web Services確認したメール アドレス: amazon.com
- Ruzica PiskacAssociate Professor確認したメール アドレス: yale.edu
- Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESS確認したメール アドレス: courant.nyu.edu
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York University確認したメール アドレス: cs.nyu.edu
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWS確認したメール アドレス: amazon.com
- Zvonimir PavlinovicPhD student, New York University確認したメール アドレス: cs.nyu.edu
- martin rinardMIT確認したメール アドレス: lcs.mit.edu
- vasu singh確認したメール アドレス: bmw.de
- Prateek MittalProfessor, Princeton University確認したメール アドレス: princeton.edu
- Anmol SinghBMW Group確認したメール アドレス: bmw.de
- Tim KingGoogle Inc確認したメール アドレス: google.com
- Michael WalfishProfessor of Computer Science, NYU確認したメール アドレス: cs.nyu.edu
- Hongseok YangProfessor, School of Computing, KAIST確認したメール アドレス: kaist.ac.kr
- Peter O'HearnLacework and University College London確認したメール アドレス: ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk