自分のプロフィールを作成
オープン アクセス
すべて表示6 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Josh BerdineFacebook確認したメール アドレス: fb.com
- Andrey RybalchenkoMicrosoft Research確認したメール アドレス: microsoft.com
- Peter O'HearnLacework and University College London確認したメール アドレス: ucl.ac.uk
- Nir PitermanProfessor in Computer Science, University of Gothenburg, Sweden確認したメール アドレス: gu.se
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Thomas BallMicrosoft Research確認したメール アドレス: microsoft.com
- Samin IshtiaqRiverlane確認したメール アドレス: riverlane.com
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- John LaunchburyChief Scientist, Galois確認したメール アドレス: galois.com
- Dino DistefanoMeta and Queen Mary University of London確認したメール アドレス: eecs.qmul.ac.uk
- Mooly SagivTel Aviv University確認したメール アドレス: acm.org
- Sriram RajamaniMicrosoft Research 確認したメール アドレス: microsoft.com
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- Carsten FuhsSenior Lecturer, Birkbeck, University of London確認したメール アドレス: dcs.bbk.ac.uk
- Hongseok YangProfessor, School of Computing, KAIST確認したメール アドレス: kaist.ac.kr
- Jasmin FisherProfessor of Computational Biology, UCL Cancer Institute確認したメール アドレス: ucl.ac.uk
- Stephen MagillSonatype, Inc.確認したメール アドレス: sonatype.com
- Marc BrockschmidtResearch Scientist, Google DeepMind確認したメール アドレス: google.com
- Nancy A. DayUniversity of Waterloo確認したメール アドレス: uwaterloo.ca