Skip to Main content Skip to Navigation


...
hal-00149566v1  Conference papers
Fabio MancinelliJaap BoenderRoberto Di CosmoJérôme VouillonBerke Durak et al.  Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩
hal-00149563v1  Conference papers
Roberto Di CosmoDidier RémyFrançois Pottier. Subtyping Recursive Types Modulo Associative Commutative Products
7th International Conference, TLCA 2005, Apr 2005, Nara, Japan. pp.179-193, ⟨10.1007/11417170_14⟩
...
hal-03015465v1  Journal articles
Roberto Di Cosmo. À travers le miroir d’une bibliographie
Le médiéviste et l'ordinateur, Institut de Recherche et d'Histoire des Textes, CNRS, Paris, 1997, 35 (1), pp.16-19. ⟨10.3406/medio.1997.1478⟩
hal-00149565v1  Conference papers
François ClémentVincent MartinArnaud VodickaRoberto Di CosmoPierre Weis. Domain Decomposition and Skeleton Programming with OCamlP3l
Proceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
hal-00154353v1  Conference papers
Roberto Di CosmoZheng LiSusanna PelagattiPierre Weis. Skeletal parallel programming with OCamlP3L 2.0
Proceedings of Third International Workshop on High-level Parallel Programming and Applications (HLPP 2005), Jul 2005, Warwick, United Kingdom
hal-01124982v1  Conference papers
Roberto Di CosmoBenjamin WernerDavid Delahaye. Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes
PRC/GDR de programmation, Pôle Preuves et Spécifications Algébriques, Jan 1997, Paris, France
...
hal-02526083v4  Conference papers
Roberto Di Cosmo. Archiving and referencing source code with Software Heritage
International Congress on Mathematical Software - ICMS 2020, Jul 2020, Braunschweig, Germany. pp.362-373, ⟨10.1007/978-3-030-52200-1_36⟩
...
hal-01590958v1  Conference papers
Roberto Di CosmoStefano Zacchiroli. Software Heritage: Why and How to Preserve Software Source Code
iPRES 2017 - 14th International Conference on Digital Preservation, Sep 2017, Kyoto, Japan. pp.1-10
...
hal-01688726v1  Poster communications
Yannick BarboriniRoberto Di CosmoAntoine R. DumontMorane GruenpeterBruno Marmol et al.  La création du nouveau type de dépôt scientifique - Le logiciel
JSO 2018 - 7es journées Science Ouverte Couperin : 100 % open access : initiatives pour une transition réussie, Jan 2018, Paris, France. 2018
...
hal-01738741v1  Poster communications
Yannick BarboriniRoberto Di CosmoAntoine R. DumontMorane GruenpeterBruno Marmol et al.  The creation of a new type of scientific deposit: Software
RDA Eleventh Plenary Meeting, Berlin, Germany, Mar 2018, Berlin, Germany. 2018
...
hal-01962838v2  Conference papers
Cagdas BozmanBenjamin CanouRoberto Di CosmoPierrick CoudercLouis Gesbert et al.  Learn-OCaml : un assistant à l'enseignement d'OCaml
JFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
...
hal-01865790v4  Conference papers
Roberto Di CosmoMorane GruenpeterStefano Zacchiroli. Identifiers for Digital Objects: the Case of Software Source Code Preservation
iPRES 2018 - 15th International Conference on Digital Preservation, Sep 2018, Boston, United States. pp.1-9, ⟨10.17605/OSF.IO/KDE56⟩
...
hal-02135891v2  Journal articles
Pierre AlliezRoberto Di CosmoBenjamin GuedjAlain GiraultMohand-Said Hacid et al.  Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩
...
hal-02977711v1  Journal articles
Roberto Di Cosmo. Announcing biblatex-software: software citation made easy
Software Engineering Notes, Association for Computing Machinery, 2020, 45 (4), pp.22-23. ⟨10.1145/3417564.3417570⟩
...
hal-01648192v1  Conference papers
Tong LiuRoberto Di CosmoMaurizio GabbrielliJacopo Mauro. NightSplitter: a scheduling tool to optimize (sub)group activities
CP 2017 - 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. pp.370-386, ⟨10.1007/978-3-319-66158-2_24⟩
...
hal-00909336v1  Conference papers
Roberto Di CosmoJacopo MauroStefano ZacchiroliGianluigi Zavattaro. Component Reconfiguration in the Presence of Conflicts
ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩
...
hal-01091062v1  Journal articles
Roberto Di CosmoJacopo MauroStefano ZacchiroliGianluigi Zavattaro. Aeolus: a Component Model for the Cloud
Information and Computation, Elsevier, 2014, pp.100-121
hal-00909369v1  Conference papers
Roberto Di CosmoStefano ZacchiroliGianluigi Zavattaro. Towards a Formal Component Model for the Cloud
10th International Conference Software Engineering and Formal Methods (SEFM 2012), Oct 2012, Thessaloniki, Greece. pp.156--171