自分のプロフィールを作成
オープン アクセス
すべて表示6 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Maria ChristakisProfessor @ TU Wien Informatics確認したメール アドレス: tuwien.ac.at
- Valentin WüstholzConsenSys確認したメール アドレス: consensys.net
- Stefan FalknerBosch Corporate Research確認したメール アドレス: de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, Germany確認したメール アドレス: cs.uni-freiburg.de
- Aaron KleinAWS Research Berlin確認したメール アドレス: amazon.com
- Matthias HeizmannUniversity of Stuttgart, Germany確認したメール アドレス: heizmann.name
- Christian SchillingAssistant Professor at Aalborg University確認したメール アドレス: cs.aau.dk
- Jorge A NavasCertora確認したメール アドレス: certora.com
- Antonio FilieriAmazon Web Services, Imperial College London確認したメール アドレス: imperial.ac.uk
- Linghui LuoAmazon Web Services確認したメール アドレス: amazon.com
- Aritra SenguptaAutomated Reasoning Group, AWS.確認したメール アドレス: cse.ohio-state.edu
- Lee PikeAWS Automated Reasoning確認したメール アドレス: amazon.com
- Willem VisserComputer Science Division, Stellenbosch University確認したメール アドレス: cs.sun.ac.za
- Martin SchaefAmazon Web Services確認したメール アドレス: amazon.com
- Nicolás RosnerAmazon Web Services