自分のプロフィールを作成
オープン アクセス
すべて表示12 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- aspertiUniversity of Bologna確認したメール アドレス: cs.unibo.it
- Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, France確認したメール アドレス: telecom-paris.fr
- Luca Padovani確認したメール アドレス: unicam.it
- Ferruccio GuidiUniversity of Bologna確認したメール アドレス: cs.unibo.it
- Wilmer RicciottiUniversity of Edinburgh確認したメール アドレス: wilmer-ricciotti.net
- Beniamino AccattoliInria & École Polytechnique確認したメール アドレス: inria.fr
- Andrea CondoluciPhD at University of Bologna確認したメール アドレス: studio.unibo.it
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Services確認したメール アドレス: amazon.co.uk
- Florian RabeUniversity Erlangen-Nuremberg確認したメール アドレス: fau.de
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University確認したメール アドレス: pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbH確認したメール アドレス: kerguelen.org
- Cosimo LaneveProfessor of Computer Science, University of Bologna確認したメール アドレス: unibo.it
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Giulio GuerrieriDepartment of Computer Science, University of Bath確認したメール アドレス: bath.ac.uk
- Matteo CiminiUniversity of Massachusetts Lowell確認したメール アドレス: uml.edu
- Dennis MüllerFAU Erlangen-Nürnberg確認したメール アドレス: fau.de
- James McKinnaHeriot-Watt University, Edinburgh確認したメール アドレス: hw.ac.uk
- Ilias GarnierPostdoc, École Normale Supérieure確認したメール アドレス: di.ens.fr
- François Bobot確認したメール アドレス: bobot.eu