自分のプロフィールを作成
オープン アクセス
すべて表示22 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Valentin WüstholzConsenSys確認したメール アドレス: consensys.net
- Peter MüllerETH Zurich確認したメール アドレス: inf.ethz.ch
- Konstantinos SagonasUppsala University and National Technical University of Athens確認したメール アドレス: it.uu.se
- Muhammad Numair MansurAmazon Web Services確認したメール アドレス: amazon.com
- Fuyuan ZhangMPI-SWS確認したメール アドレス: mpi-sws.org
- Hasan Ferit EniserMPI-SWS確認したメール アドレス: mpi-sws.org
- Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)確認したメール アドレス: cs.uni-saarland.de
- Christian BirdMicrosoft Research確認したメール アドレス: microsoft.com
- Jorge A NavasCertora確認したメール アドレス: certora.com
- Alkis GotovosMax Planck Institute for Software Systems (MPI-SWS)確認したメール アドレス: mpi-sws.org
- Patrice GodefroidLacework確認したメール アドレス: lacework.net
- Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)確認したメール アドレス: dfki.de
- Arie GurfinkelUniversity of Waterloo確認したメール アドレス: uwaterloo.ca
- Sankalan Pal ChowdhuryDoctoral Student, ETH Zurich確認したメール アドレス: ethz.ch
- Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, France確認したメール アドレス: inria.fr
- Isil DilligUT Austin確認したメール アドレス: cs.utexas.edu
- Kostas FerlesThe University of Texas at Austin確認したメール アドレス: cs.utexas.edu
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Wolfram SchultePrincipal researcher, Microsoft Corporation確認したメール アドレス: microsoft.com
- Scott D. FlemingUniversity of Memphis確認したメール アドレス: memphis.edu