自分のプロフィールを作成
オープン アクセス
すべて表示1 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Claudio Sacerdoti CoenUniversity of Bologna確認したメール アドレス: unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, France確認したメール アドレス: telecom-paris.fr
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon University確認したメール アドレス: cmu.edu
- Ferruccio GuidiUniversity of Bologna確認したメール アドレス: cs.unibo.it
- Luca RoversiProfessor of Computer Science, Università di Torino確認したメール アドレス: di.unito.it
- Alexey SolovyevResearch Associate of Computer Science, University of Utah確認したメール アドレス: cs.utah.edu
- Georges GonthierPrincipal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- François GarillotLurk Lab確認したメール アドレス: garillot.net
- Agata CiabattoniVienna University of Technology確認したメール アドレス: logic.at
- Herman GeuversRadboud University Nijmegen, the Netherlands確認したメール アドレス: cs.ru.nl
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieure確認したメール アドレス: ens.fr
- Paolo CoppolaAssociate Professor of Computer Science, University of Udine確認したメール アドレス: uniud.it
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCS確認したメール アドレス: bath.ac.uk
- Andrea CorradiniProfessor of Computer Science, University of Pisa確認したメール アドレス: di.unipi.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University確認したメール アドレス: pps.univ-paris-diderot.fr
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Services確認したメール アドレス: amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'Azur確認したメール アドレス: inria.fr
- George GoguadzeResearcher at Leuphana University Lüneburg確認したメール アドレス: leuphana.de
- Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris Cité確認したメール アドレス: irif.fr