自分のプロフィールを作成
オープン アクセス
すべて表示5 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Vincent GramoliUniversity of Sydney and EPFL確認したメール アドレス: sydney.edu.au
- Josef WidderInformal Systems確認したメール アドレス: informal.systems
- Marijana LazićPostdoc, TU München確認したメール アドレス: in.tum.de
- Igor KonnovIndependent Security and Formal Methods Researcher確認したメール アドレス: konnov.phd
- Asaf CidonColumbia University確認したメール アドレス: columbia.edu
- Mathias LécuyerUniversity of British Columbia確認したメール アドレス: ubc.ca
- Roxana GeambasuAssistant Professor of Computer Science, Columbia University確認したメール アドレス: columbia.edu
- Francis BachInria - Ecole Normale Supérieure確認したメール アドレス: inria.fr
- Théo RyffelEcole Normale Supérieure確認したメール アドレス: ens.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, Inria確認したメール アドレス: ens.fr
- Rob van GlabbeekUNSW確認したメール アドレス: cs.stanford.edu
- Mingen PanColumbia University確認したメール アドレス: columbia.edu
- Kelly KostopoulouColumbia University確認したメール アドレス: cs.columbia.edu
- Junfeng YangAssociate Professor of Computer Science, Columbia University確認したメール アドレス: cs.columbia.edu
- Mosharaf ChowdhuryUniversity of Michigan確認したメール アドレス: umich.edu
- Huseyin A. InanMicrosoft Research AI確認したメール アドレス: microsoft.com
- Janardhan KulkarniMicrosoft Research, Redmond確認したメール アドレス: cs.washington.edu
- Robert SimSr. Principal Research Manager, Microsoft確認したメール アドレス: microsoft.com