自分のプロフィールを作成
オープン アクセス
すべて表示37 件の論文
3 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de Lisboa確認したメール アドレス: inesc-id.pt
- Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Yu FengUniversity of California, Santa Barbara確認したメール アドレス: cs.ucsb.edu
- Isil DilligUT Austin確認したメール アドレス: cs.utexas.edu
- Saurabh JoshiSupraOracles確認したメール アドレス: cse.iith.ac.in
- Miguel Terra-NevesResearch Scientist, OutSystems確認したメール アドレス: outsystems.com
- Osbert BastaniUniversity of Pennsylvania確認したメール アドレス: seas.upenn.edu
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Martin BrainCity, University of London確認したメール アドレス: city.ac.uk
- Saswat AnandGoogle確認したメール アドレス: cs.stanford.edu
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at Austin確認したメール アドレス: cs.utexas.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin確認したメール アドレス: cs.wisc.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AG確認したメール アドレス: btc-es.de
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussex確認したメール アドレス: diffblue.com
- Christoph M. WintersteigerMicrosoft Research確認したメール アドレス: microsoft.com
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USA確認したメール アドレス: gatech.edu
- Krzysztof CzarneckiProfessor of Electrical and Computer Engineering確認したメール アドレス: gsd.uwaterloo.ca
- Edward ZulkoskiPh. D., University of Waterloo確認したメール アドレス: gsd.uwaterloo.ca
- Mikoláš JanotaCTU Prague確認したメール アドレス: cvut.cz
- Liana HadareanAmazon Web Services確認したメール アドレス: amazon.com