停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

罗贝多·迪·科斯莫

>主页 >珀森斯

人员信息

附属： INRIA，法国
附属： 巴黎迪德罗大学，法国巴黎
附属机构（博士）： 意大利比萨大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2023
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2310-10295
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-230-10295
罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利:
软件遗产开放科学生态系统。 CoRR公司 abs/2310.10295(2023)
2022
[公元56年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ercimdl/Cosmo21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ercimdl/Cosmo21
罗贝多·迪·科斯莫:
我们应该保护世界软件历史吗？我们可以吗？ TPDL公司 2022:3-7
2021
[公元55年]
- 看法
  - 通过handle.net的电子版（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ipres/CosmoMSB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipres/CosmoMSB21
罗贝多·迪·科斯莫,卡洛·蒙坦格罗,吉多·斯卡特纳,劳拉·布西:
通过软件遗产收购流程保护里程碑式的遗产软件。 iPRES公司 2021
2020
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cse/AllizCGGHLR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cse/AllizCGGHLR20
皮埃尔·阿利兹,罗贝多·迪·科斯莫,本杰明·盖杰,阿兰·吉罗,莫汉·萨伊德·哈西德,阿尔诺·罗格朗,尼古拉斯·罗吉尔:
归属和引用（研究）软件：Inria的最佳实践和展望。计算。科学。工程师。 22(1):39-52(2020)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cse/CosmoGZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cse/CosmoGZ20
罗贝多·迪·科斯莫,莫兰·格伦彼得,斯特凡诺·扎奇罗利:
引用源代码工件：软件引用中的一个单独问题。计算。科学。工程师。 22(2):33-43(2020)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ese/RousseauCZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ese/RousseauCZ20
纪尧姆·卢梭,罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利:
公共源代码规模下的软件起源跟踪。恩皮尔。柔和。工程师。 25(4):2930-2959(2020)
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijdc/CosmoGMMRS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijdc/CosmoGMMRS20
罗贝多·迪·科斯莫,莫兰·格伦彼得,布鲁诺·马摩尔,阿兰·蒙蒂尔,洛朗·罗马利,乔泽菲娜·萨多夫斯卡:
研究软件工件的固化存档：从法国开放档案馆（HAL）吸取的教训。国际期刊数字。治疗 15(1):1-16(2020)
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigsoft/Cosmo20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigsoft/Commos20
罗贝多·迪·科斯莫:
发布biblatex-software：软件引用变得容易。 ACM SIGSOFT软件。工程注释 45(4):22-23(2020)
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icms/Cosmo20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icms/Cosmo20
罗贝多·迪·科斯莫:
使用软件遗产存档和引用源代码。信息和通信管理系统 2020:362-373
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wcre/AbateCGZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wcre/AbateCGZ20
彼得罗·阿巴特,罗贝多·迪·科斯莫,乔治奥斯·古西奥斯,斯特凡诺·扎奇罗利:
依赖性解决仍然很困难，但我们正在做得更好。桑纳 2020:547至551
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-08647
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-08647
罗贝多·迪·科斯莫,莫兰·格伦彼得,斯特凡诺·扎奇罗利:
引用源代码工件：软件引用中的一个单独关注点。 CoRR公司 abs/2001.08647(2020)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-00514
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-00514
罗贝多·迪·科斯莫:
使用Software Heritage存档和引用源代码。 CoRR公司 abs/2004.00514(2020)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2011-07851
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2011-07851
彼得罗·阿巴特,罗贝多·迪·科斯莫,乔治奥斯·古西奥斯,斯特凡诺·扎奇罗利:
依赖性解决仍然很困难，但我们正在做得更好。 CoRR公司 abs/2011.07851(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2019
[第52条]
- 看法
  - 电子版@editions-rnti.fr
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/f-egc/Cosmo19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/f-egc/Cosmo19
罗贝多·迪·科斯莫:
软件遗产：que faire avec tout le code source du monde？ EGC公司 2019:5-6
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-11123
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-11123
皮埃尔·阿利兹,罗贝多·迪·科斯莫,本杰明·盖杰,阿兰·吉罗,莫汉·赛德·哈西德,阿尔诺·罗格朗,尼古拉斯·罗吉尔:
归属和引用（研究）软件：Inria的最佳实践和展望。 CoRR公司 abs/1905.11123(2019)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1906-08076
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1906-08076
纪尧姆·卢梭,罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利:
随着时间的推移，公共源代码的增长和复制：大规模起源跟踪。 CoRR公司腹肌/1906.08076(2019)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-10760
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-10760
罗贝多·迪·科斯莫:
如何使用Software Heritage存档和引用源代码：指南和演练。 CoRR公司 abs/1909.10760(2019)
2018
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/AbramaticCZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/AbramaticCZ18
Jean-François Abramatic公司,罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利:
构建源代码的通用存档。 Commun公司。ACM公司 61(10):29-31(2018)
[第51条]
- 看法
  - 通过handle.net的电子版（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ipres/CosmoGZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipres/CosmoGZ18
罗贝多·迪·科斯莫,莫兰·格伦彼得,斯特凡诺·扎奇罗利:
数字对象标识符：软件源代码保存的情况。 iPRES公司 2018
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/Cosmo18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/Cosmo18
罗贝多·迪·科斯莫:
软件遗产：收集、保存和共享所有源代码（主题）。 ASE公司 2018:1-2
2017
[公元21年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/CanouCH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/CanouCH17
本杰明·卡努,罗贝多·迪·科斯莫,格雷戈伊尔·亨利:
扩大函数式编程教育：在OCaml MOOC的框架下。程序。ACM计划。语言。 1(ICFP公司):4:1-4:25(2017)
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/LiuCGM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/LiuCGM17
刘彤（音译）,罗贝多·迪·科斯莫,毛里齐奥·加布里埃利,雅各布·毛罗:
NightSplitter：一个用于优化（子）组活动的调度工具。人物配对关系 2017:370-386
[公元48年]
- 看法
  - 通过handle.net的电子版（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ipres/CosmoZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipres/CosmoZ17
罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利:
软件遗产：为什么以及如何保存软件源代码。 iPRES公司 2017
[公元47年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/oss/AbateC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oss/AbateC17
彼得罗·阿巴特,罗贝多·迪·科斯莫:
开源社区中学术工具的采用：Debian案例研究。开放源码软件 2017:139-150
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oss/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oss/2017
费德里科·巴拉格尔,罗贝多·迪·科斯莫,亚历杭德拉·加里多,法比奥·孔,格雷戈里奥·罗伯斯,斯特凡诺·扎奇罗利:
开源系统：走向稳健实践——第13届IFIP WG 2.13国际会议，OSS 2017，阿根廷布宜诺斯艾利斯，2017年5月22日至23日，会议记录。 IFIP信息和通信技术进展496,2017，国际标准图书编号电话：978-3-319-57734-0 [目录]
2015
[公元46年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/CosmoLMZZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CosmoLMZZ15
罗贝多·迪·科斯莫,迈克尔·利恩哈特,雅各布·毛罗,斯特凡诺·扎奇罗利,吉安路易吉·扎瓦塔罗,雅库布·兹沃拉科夫斯基:
云中自动应用程序部署：从实践到理论再到背景（特邀论文）。 CONCUR公司 2015:1-16
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icsoc/CosmoEMZZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icsoc/CosmoEMZZ15
罗贝多·迪·科斯莫,安托万·艾切,雅各布·毛罗,斯特凡诺·扎奇罗利,吉安路易吉·扎瓦塔罗,雅库布·兹沃拉科夫斯基:
使用Aeolus Blender在云中自动部署服务。国际社会理事会 2015:397至411
[c44]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/msr/AbateCGFTZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/msr/AbateCGFTZ15
彼得罗·阿巴特,罗贝多·迪·科斯莫,路易斯·盖斯伯特,Fabrice Le Fessant公司,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
针对可安装性问题挖掘组件存储库。汽水分离再热器 2015:24-33
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/msr/ClaesMCV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/msr/ClaesMCV15
马利克·克莱斯,汤姆·门斯,罗贝多·迪·科斯莫,杰罗姆·沃伊隆:
Debian包不兼容的历史分析。汽水分离再热器 2015:212-223
2014
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/CosmoMZZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/CosmoMZZ14
罗贝多·迪·科斯莫,雅各布·毛罗,斯特凡诺·扎奇罗利,吉安路易吉·扎瓦塔罗:
风神：云的组件模型。 Inf.计算。 239:100-121(2014)
[公元19年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/scp/AbateCTZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/AbateCTZ14
彼得罗·阿巴特,罗贝多·迪·科斯莫,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
学习组件存储库的未来。科学。计算。程序。 90:93-115(2014)
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/VouillonDC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/VouillonDC14
杰罗姆·沃伊隆,梅迪·道格,罗贝多·迪·科斯莫:
简化软件组件存储库的演变。 ICSE公司 2014:756-766
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/CosmoLTZZEA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/CosmoLTZZEA14
罗贝多·迪·科斯莫,迈克尔·利恩哈特,拉尔夫·特雷恩,斯特凡诺·扎奇罗利,雅库布·兹沃拉科夫斯基,安托万·艾切,亚历克西斯·阿加西:
云应用程序的自动合成和部署。 ASE公司 2014:211-222
2013
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记帐/infsof/AbateCTZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/infsf/AbateCTZ13
彼得罗·阿巴特,罗贝多·迪·科斯莫,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
模块化包管理器体系结构。 Inf.软件。Technol公司。 55(2):459-474(2013)
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tosem/VouillonC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tosem/VouillonC13
杰罗姆·沃伊隆,罗贝多·迪·科斯莫:
关于软件组件的可协同安装性。 ACM事务处理。柔和。工程方法。 22(4):34:1-34:35(2013)
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esocc/CatanCELLMTZZZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esocc/CatanCELLMTZZZ13
米歇尔·卡坦,罗贝多·迪·科斯莫,安托万·艾切,都铎·A·拉斯库,迈克尔·利恩哈特,雅各布·毛罗,拉尔夫·特雷恩,斯特凡诺·扎奇罗利,吉安路易吉·扎瓦塔罗,雅库布·兹沃拉科夫斯基:
Aeolus：掌握云应用程序部署的复杂性。 ESOCC公司 2013:1-3
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CosmoMZZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CosmoMZZ13
罗贝多·迪·科斯莫,雅各布·毛罗,斯特凡诺·扎奇罗利,吉安路易吉·扎瓦塔罗:
存在冲突时的组件重新配置。伊拉克石油公司（2） 2013:187-198
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/VouillonC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/VouillonC13
杰罗姆·沃伊隆,罗贝多·迪·科斯莫:
软件存储库演化中的破碎集合。 ICSE公司 2013:412至421
2012
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jss/AbateCTZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jss/AbateCTZ12
彼得罗·阿巴特,罗贝多·迪·科斯莫,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
依赖解决：组件演化管理中的一个单独关注点。 J.系统。柔和。 85(10):2228-2240(2012)
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cbse/AbateCTZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cbse/AbateCTZ12
彼得罗·阿巴特,罗贝多·迪·科斯莫,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
学习组件存储库的未来。芝加哥证券交易所 2012:51-60
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmco/CosmoTZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmco/CosmoTZ12
罗贝多·迪·科斯莫,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
自由和开放源代码软件组件的正式方面——简短调查。 FMCO公司 2012:216-239
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/msr/ArthoSCTZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/msr/ArthoSCTZ12
西里尔·阿瑟,铃木邦彦,罗贝多·迪·科斯莫,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
为什么软件包冲突？汽水分离再热器 2012:141至150
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/CosmoZZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/CosmoZZ12
罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利,吉安路易吉·扎瓦塔罗:
面向云的正式组件模型。 SEFM公司 2012:156-171
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/程序/DanaltotoC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/procedia/DanaltotoC12
马可·丹拉托托,罗贝多·迪·科斯莫:
“最小干扰”骨架实验：无缝映射和减少OCaml中的嵌入。 ICCS系统 2012:1837-1846
2011
[公元15年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/CosmoRPPZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/CosmoRPPZ11
罗贝多·迪·科斯莫,大卫·迪·鲁西奥,Patrizio Pelliccione公司,阿方索·皮兰托尼奥,斯特凡诺·扎奇罗利:
支持基于组件的自由／开源软件系统中的软件进化。科学。计算。程序。 76(12):1144-1160(2011)
[c32]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cbse/AbateCTZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cbse/AbateCTZ11
彼得罗·阿巴特,罗贝多·迪·科斯莫,拉尔夫·特雷恩,斯特凡诺·扎奇罗利:
MPM：模块化包管理器。芝加哥证券交易所 2011:179-188
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icde/AbateC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icde/AbateC11
彼得罗·阿巴特,罗贝多·迪·科斯莫:
使用依赖关系分析预测升级失败。 ICDE研讨会 2011:145-150
[c30]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/CommoV11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/CosmoV11
罗贝多·迪·科斯莫,杰罗姆·沃伊隆:
关于软件组件的可协同安装性。 SIGSOFT FSE公司 2011:256-266
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1109-0456
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1109-0456
罗贝多·迪·科斯莫,奥利维尔·霍姆,克劳德·米歇尔:
调整组件升级。 LoCoCo公司 2011:1-11
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-110-1354
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-110-1354
西里尔·阿瑟,罗贝多·迪·科斯莫,铃木邦彦,斯特凡诺·扎奇罗利:
Debian中包间冲突的来源。 CoRR公司 abs/1110.1354(2011)
2010
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/Dezani-CiancagliniCGT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/Dezani-CiancagliniCGT10
Mariangiola Dezani-Ciancaglini公司,罗贝多·迪·科斯莫,埃利奥·乔瓦内蒂,Makoto Tatsuta公司:
关于交集类型的同构。 ACM事务处理。计算。日志。 11(4):25分25秒24秒(2010)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/indiaSE/CosmoB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/indiaSE/CosmoB10
罗贝多·迪·科斯莫,Jaap Boender公司:
在基于组件的复杂系统中使用强冲突来检测质量问题。 ISEC公司 2010:163-172
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/splc/CosmoZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/splc/CosmoZ10
罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利:
功能图作为包依赖项。苏丹人民解放军 2010:476-480

2000 – 2009

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2009
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esem/AbateCBZ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esem/AbateCBZ09
彼得罗·阿巴特,罗贝多·迪·科斯莫,Jaap Boender公司,斯特凡诺·扎奇罗利:
软件组件之间的强依赖性。环境与社会管理局 2009:89-99
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0902-1610
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0902-1610
罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利,保罗·特雷泽托斯:
自由／开源软件发行版中的软件包升级：细节和挑战。 CoRR公司腹肌/0902.1610(2009)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0905-4226
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0905-4226
彼得罗·阿巴特,Jaap Boender公司,罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利:
软件组件之间的强依赖性。 CoRR公司 abs/0905.4226(2009)
2008
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ppl/CosmoLPW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ppl/CosmoLPW08
罗贝多·迪·科斯莫,郑丽,苏珊娜·佩拉加蒂,皮埃尔·韦斯:
OCamlP3l 2.0的骨架并行编程。并行过程。莱特。 18(1):149-164(2008)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compsac/BoenderCVDM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compsac/BoenderCVDM08
Jaap Boender公司,罗贝多·迪·科斯莫,杰罗姆·沃伊隆,伯克·杜拉克,法比奥·曼奇内利:
提高GNU/Linux发行版的质量。 COMPSAC公司 2008:1240-1246
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Dezani-CiancagliniCGT08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Dezani-CiancagliniCGT08
Mariangiola Dezani-Ciancaglini公司,罗贝多·迪·科斯莫,埃利奥·乔瓦内蒂,Makoto Tatsuta公司:
关于交集类型的同构。 CSL公司 2008:461-477
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hotswup/CosmoZT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hotswup/CosmoZT08
罗贝多·迪·科斯莫,斯特凡诺·扎奇罗利,保罗·特雷泽托斯:
自由／开源软件发行版中的软件包升级：细节和挑战。热SWUp 2008
2007
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cl/CosmoLP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cl/CosmoLP07
罗贝多·迪·科斯莫,郑丽,苏珊娜·佩拉加蒂:
多维稠密数组上并行计算的微积分。计算。语言系统。结构。 33(3-4):82-110(2007)
2006
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/FioreCB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/FioreCB06
马塞洛·菲奥雷,罗贝多·迪·科斯莫,文森特·巴拉特:
关于具有空类型和和类型的类型lambda演算中同构的注记。 Ann.纯粹应用。日志。 141(1-2):35-50(2006)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pc/ClementMVCW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pc/ClementMVCW06
弗朗索瓦·克莱门特,文森特·马丁,A.沃迪卡,罗贝多·迪·科斯莫,皮埃尔·韦斯:
使用OCamlP3l进行域分解和骨架编程。并行计算。 32(7-8):539-550(2006)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iticse/Cosmo06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itice/Commo06
罗贝多·迪·科斯莫:
教育电子公民。 ITiCSE公司 2006:1
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/MancinelliBCVDLT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MancinelliBCVDLT06
法比奥·曼奇内利,Jaap Boender公司,罗贝多·迪·科斯莫,杰罗姆·沃伊隆,伯克·杜拉克,泽维尔·勒罗伊,拉尔夫·特雷恩:
管理大型免费开放源代码包软件发行版的复杂性。 ASE公司 2006:199-208
2005
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Cosmo05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Cosmo05
罗贝多·迪·科斯莫:
类型同构的一个简短综述。数学。结构。计算。科学。 15(5):825-838(2005)
[公元20年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/parco/ClementMVCW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/parco/ClementMVCW05
弗朗索瓦·克莱门特,文森特·马丁,A.沃迪卡,罗贝多·迪·科斯莫,皮埃尔·韦斯:
OCamlP3l的区域分解和骨架编程。帕尔科 2005:811-818
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/CosmoPR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/CosmoPR05
罗贝多·迪·科斯莫,弗朗索瓦·波蒂埃,迪迪埃·雷米:
子类型递归类型模关联交换乘积。薄层色谱分析 2005:179-193
2004
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/CosmoD04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/CosmoD04
罗贝多·迪·科斯莫,托马斯·杜福尔:
<N，0，1，+，×，uparrow>的等式理论是可决定的，但不是有限公理化的。 LPAR公司 2004:240-256
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BalatCF04配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BalatCF04
文森特·巴拉特,罗贝多·迪·科斯莫,马塞洛·菲奥雷:
带和的类型lambda演算的扩张正规化和类型定向部分求值。 POPL公司 2004:64-76
2003
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CosmoKP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CosmoKP03
罗贝多·迪·科斯莫,迪莉娅·凯斯纳,伊曼纽尔·波洛诺斯基:
证明网和显式替换。数学。结构。计算。科学。 13(三):409-450(2003)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ppl/CosmoP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ppl/CosmoP03
罗贝多·迪·科斯莫,苏珊娜·佩拉加蒂:
稠密阵列分布的微积分。并行过程。莱特。 13(三):377-388(2003)
2002
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FioreCB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FioreCB02
马塞洛·菲奥雷,罗贝多·迪·科斯莫,文森特·巴拉特:
关于空型和和型Lambda演算中同构的注记。低收入国家 2002:147-
2000
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/CosmoKP00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CosmoKP00
罗贝多·迪·科斯莫,迪莉娅·凯斯纳,伊曼纽尔·波洛诺斯基:
证明网和显式替换。 FoSSaCS公司 2000:63-81
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LoddoC00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LoddoC00
Jean-Vincent Loddo公司,罗贝多·迪·科斯莫:
使用Alpha-Beta算法播放逻辑程序。 LPAR公司 2000:207-224

1990 – 1999

请参阅常见问题解答

出版物列表中的颜色是什么意思？

1999
[c13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BalatC99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BalatC99
文森特·巴拉特,罗贝多·迪·科斯莫:
线性类型同构的线性逻辑视图。 CSL公司 1999:250-265
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/CosmoG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/CosmoG99
罗贝多·迪·科斯莫,斯特凡诺·格雷尼:
证明网模结构同余的强正规化。区域贸易协定 1999:75-89
1998
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/plilp/CosmoLN98公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/plilp/CosmoLN98
罗贝多·迪·科斯莫,Jean-Vincent Loddo公司,斯蒂芬·尼科莱特:
逻辑编程的游戏语义基础（扩展抽象）。 PLILP/ALP公司 1998:355-373
1997
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CosmoG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CosmoG97
罗贝多·迪·科斯莫,尼尔·加尼:
关于高阶扩张Lambda演算的模性质。 ICALP公司 1997:237-247
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CosmoK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CosmoK97
罗贝多·迪·科斯莫,迪莉娅·凯斯纳:
在证明网（扩展抽象）中通过截消法对显式替换进行强规范化。低收入国家 1997:35-46
1996
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/CurienC96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/CurienC96
皮埃尔·路易斯·居里,罗贝多·迪·科斯莫:
具有surpjective对和终端对象的lambda-Calculus的汇流约简。 J.功能。程序。 6(2):299-327(1996)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CosmoK96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CosmoK96
罗贝多·迪·科斯莫,迪莉娅·凯斯纳:
结合代数重写、扩展Lambda演算和不动点。西奥。计算。科学。 169(2):201-220(1996)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/plilp/AponteC96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/plilp/AponteC96
玛丽亚·维吉尼亚·阿蓬特,罗贝多·迪·科斯莫:
模块签名的类型同构。 PLILP公司 1996:334-346
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Cosmo96年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Cosmo96网址
罗贝多·迪·科斯莫:
简图的力量。区域贸易协定 1996:200至214
1995
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Cosmo95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Cosmo95
罗贝多·迪·科斯莫:
二阶同构类型：二阶lambda-Calculus与Surjective Paring和Terminal Object的证明理论研究。 Inf.计算。 119(2):176-201(1995)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CosmoK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CosmoK95
罗贝多·迪·科斯莫,迪莉娅·凯斯纳:
用扩展多态Lambda-Calculus重写。 CSL公司 1995:215-232
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/CosmoP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/CosmoP95
罗贝多·迪·科斯莫,阿道夫·皮佩诺:
扩展扩展多态性。薄层色谱分析 1995:139-153年
1994
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CosmoK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CosmoK94
罗贝多·迪·科斯莫,迪莉娅·凯斯纳:
模拟没有展开的展开。数学。结构。计算。科学。 4(三):315-362(1994)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CosmoK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CosmoK94
罗贝多·迪·科斯莫,迪莉娅·凯斯纳:
结合一阶代数重写系统、递归和扩张Lambda演算。 ICALP公司 1994:462-472
1993
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Cosmo93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Cosmo93
罗贝多·迪·科斯莫:
在类型赋值框架中确定类型同构。 J.功能。程序。三(4):485-525(1993)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CosmoK93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CosmoK93
罗贝多·迪·科斯莫,迪莉娅·凯斯纳:
扩展型lambda-演算与对、和、递归和终端对象的汇流约简。 ICALP公司 1993:645-656
1992
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/BruceCL92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/BruceCL92
金·布鲁斯,罗贝多·迪·科斯莫,朱塞佩·隆戈:
类型的可证明同构。数学。结构。计算。科学。 2(2):231-247(1992)
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Cosmo92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Cosmo92
罗贝多·迪·科斯莫:
类型赋值框架中的类型同构。 POPL公司 1992:200-210
1991
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/居里C91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CurienC91
皮埃尔·路易斯·居里,罗贝多·迪·科斯莫:
具有surpjective对和终端对象的Lambda-Calculus的结论约简。 ICALP公司 1991:291-302

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置都将作为Cookie存储在您的网络浏览器中。有关更多信息查看我们的F.A.Q。