Di Cosmo, Roberto, 1963-....
Roberto Di Cosmo informaticien italien
Di Cosmo, Roberto
Cosmo, Roberto Di 1963-
Cosmo, Roberto Di
VIAF ID: 114201219 ( Personal )
Permalink: http://viaf.org/viaf/114201219
Preferred Forms
- 100 1 _ ‡a Cosmo, Roberto Di ‡d 1963-
-
- 200 _ | ‡a Di Cosmo ‡b Roberto ‡f 1963-....
-
- 100 1 _ ‡a Di Cosmo, Roberto
-
-
- 100 1 _ ‡a Di Cosmo, Roberto ‡d 1963-
-
- 100 1 0 ‡a Di Cosmo, Roberto, ‡d 1963-
-
- 100 1 _ ‡a Di Cosmo, Roberto, ‡d 1963-....
- 100 0 _ ‡a Roberto Di Cosmo ‡c informaticien italien
- 100 0 _ ‡a Roberto Di Cosmo ‡c informaticien italien
4xx's: Alternate Name Forms (19)
5xx's: Related Names (1)
- 511 2 _ ‡a Software Heritage (Paris)
Works
Title | Sources |
---|---|
Analyse de dépendances ML pour les évaluateurs de logiciels critiques. | |
Une approche formelle à la synthèse des applications distribuées et leur déploiement automatique, français | |
assalto planetário a face oculta da Microsoft | |
Certification of a Tool Chain for Deductive Program Verification | |
Une étude des sommes fortes : isomorphismes et formes normales | |
Etude formelle des distributions de logiciel libre = formal study of Free Software distributions | |
Généralisation des jeux combinatoires et applications aux langages logiques | |
Gestion des bibliothèques tierces dans un contexte de maintenance logicielle | |
hold-up planétaire la face cachée de Microsoft | |
Interopérabilité entre systèmes de preuves en utilisant le cadre logique Dedukti. | |
Interoperability between proof systems using the logical framework Dedukti | |
Isomorphisms of types, c1993: | |
Linux embarqué : nouvelle étude de cas : traite d'OpenEmbedded | |
Manifeste pour une création artistique libre dans un internet libre | |
ML Dependency Analysis for Critical-Software Assessors. | |
Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings | |
Organisation du graphe de développement logiciel pour l'analyse à grande échelle. | |
Organizing the graph of public software development for large-scale mining | |
Révéler le contenu latent du code source : à la découverte des topoi de programme | |
Sémantique différentielle des programmes. | |
Software Heritage : Why and How to Preserve Software Source Code | |
A study of strong sums : isomorphisms and normal forms. | |
Subtyping by Constraint Saturation, Theory and Implementation. | |
Third-party libraries management in a software maintenance context. | |
Transformation of topological collections of arbitrary dimension : application to the modeling do dynamical systems. | |
Unveiling source code latent knowledge : discovering program topoi. | |
Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques. | |
Vers une certification de l'extraction de coq | |
세계를 터는 강도 |