自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Stephan ArltFederal Office for Information Security確認したメール アドレス: bsi.bund.de
- Thomas WiesNew York University確認したメール アドレス: cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of Regensburg確認したメール アドレス: ur.de
- Cristiano BertoliniResearcher, Federal University of Santa Maria確認したメール アドレス: cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ Amazon確認したメール アドレス: amazon.com
- Huascar SanchezComputer Scientist @ SRI International確認したメール アドレス: sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWS確認したメール アドレス: amazon.com
- Atif MemonProfessor of Computer Science, University of Maryland確認したメール アドレス: cs.umd.edu
- Linghui LuoAmazon Web Services確認したメール アドレス: amazon.com
- Willem VisserComputer Science Division, Stellenbosch University確認したメール アドレス: cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI International確認したメール アドレス: csl.sri.com
- Neha RungtaAmazon Web Services確認したメール アドレス: amazon.com
- Michael W WhalenAmazon, Inc. and the University of Minnesota確認したメール アドレス: cs.umn.edu
- Andrew GacekAmazon Web Service確認したメール アドレス: amazon.com
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.確認したメール アドレス: schlesinger.tech
- Aritra SenguptaAutomated Reasoning Group, AWS.確認したメール アドレス: cse.ohio-state.edu
- Lee PikeAWS Automated Reasoning確認したメール アドレス: amazon.com
- Dejan JovanovićAmazon Web Services確認したメール アドレス: amazon.com