默认搜索操作

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

问别人

马里奥·科波奥

>主页 >珀森斯

人员信息

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2022
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2212-07105
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2212-07105
马尔科·阿尔迪努奇,利维奥·比奥利奥,克里斯蒂娜·加尔卡尼奥,马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,埃琳娜·格拉西,巴勃罗·拉蒙,伊娃·夏卡,Salvatore Spinella公司,安吉洛·特罗伊纳:
用包裹舱室微积分模拟生物和生态系统。 CoRR公司 abs/2212.07105(2022)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2017
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/BonoCDV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/BonoCDV17
维维亚娜·博诺,马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,贝蒂·文内里:
智能会话的数据驱动适应。 J.日志。代数方法课程。 90:31-49(2017)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CoppoDMZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CoppoDMZ17
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚,马达莱娜·扎基:
交集和并集类型的同构。数学。结构。计算。科学。 27(5):603-625(2017)
2016
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CoppoDYP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CoppoDYP16
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,吉田信子,卢卡·帕多瓦尼:
动态交错多方会话的全局进度。数学。结构。计算。科学。 26(2):238-302(2016)
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CoppoDV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CoppoDV16
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,贝蒂·文内里:
自适应会话的并行监视器。地点 2016:25-36
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CoppoDDMZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CoppoDDMZ17
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,亚历杭德罗·迪亚斯·卡洛,伊内斯·玛格丽亚,马达莱娜·扎基:
交叉点类型中的缩进。 ITRS公司 2016:31-47
2015
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/soca/CoppoDV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/soca/CoppoDV15
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,贝蒂·文内里:
自适应多方会话。服务。定向计算。申请。 9(3-4):249-268(2015)
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sfm/CoppoDPY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfm/CoppoDPY15网站
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,卢卡·帕多瓦尼,吉田信子:
介绍多方异步会话类型。 SFM公司 2015:146-178
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CoppoDMZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CoppoDMZ16
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚,马达莱娜·扎基:
多方会话中的部分和完整过程。信息通信与通信系统 2015:135-151
2014
[j17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/bib/AldinucciTSDMCC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/bib/AldinucciTSDMCC14
马尔科·阿尔迪努奇,马西莫·托夸蒂,康塞托Spampinato,毛里齐奥·德罗科,克劳迪娅·米萨莱,克里斯蒂娜·加尔卡尼奥,马里奥·科波奥:
云中的并行随机系统生物学。生物信息简报。 15(5):798-813(2014)
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pdp/CoppoDV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdp/CoppoDV14
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,贝蒂·文内里:
多方会话的自适应监视器。产品开发计划 2014:688-696
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CoppoDMZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CoppoDMZ15
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚,马达莱娜·扎基:
关于“函数”交和并类型的同构。 ITRS公司 2014:53-64
2013
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/协调/CoppoDPY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/coordination/CoppoDPY13
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,卢卡·帕多瓦尼,吉田信子:
动态交错多方会话的全局进度属性推断。协调 2013:45-59
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pdp/AldinucciDTCT13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdp/AldinucciDTCT13
马尔科·阿尔迪努奇,毛里齐奥·德罗科,法比奥·托迪尼,马里奥·科波奥,马西莫·托夸蒂:
系统生物学中的并行随机模拟器：物种的进化。产品开发计划 2013:410-419
[公元34年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/CoppoDMZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/CoppoDMZ13
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚,马达莱娜·扎基:
“函数”交集类型的同构。类型 2013:129-149
2012
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CoppoDDGSST12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CoppoDDGSST12
马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,埃琳娜·格拉西,伊娃·萨卡,萨尔瓦多Spinella,安吉洛·特罗伊纳:
包裹舱室演算的模拟技术。西奥。计算。科学。 431:75-95(2012)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/CoppoDMZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CoppoDMZ13
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚,马达莱娜·扎基:
走向交集和并集类型的同构。 ITRS公司 2012:58-80
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/SiaccaSCDC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/SiaccaSCDC13
伊娃·萨卡,萨尔瓦多Spinella,克里斯蒂娜·加尔卡尼奥,费鲁西奥·达米亚尼,马里奥·科波奥:
通过随机模拟对AM共生中营养物质转运体的参数识别和评估。 CS2Bio公司 2012:83-96
2011
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcsb/CoppoDDGGT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcsb/CoppoDDGGT11
马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,埃琳娜·格拉西,迈克·盖瑟,安吉洛·特罗伊纳:
丛枝菌根共生中氨转运蛋白的建模。事务处理。公司。系统。生物 13:85-109(2011)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/europar/AldinucciCDDSSTT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/europar/AldinucciCDDSSTT11网址
马尔科·阿尔迪努奇,马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,伊娃·萨卡,萨尔瓦多Spinella,马西莫·托夸蒂,安吉洛·特罗伊纳:
随机生物模拟的在线统计并行化。 Euro-Par研讨会（2） 2011:3-12
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pdp/AldinucciCDDTT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdp/AldinucciCDDTT11
马尔科·阿尔迪努奇,马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,马西莫·托夸蒂,安吉洛·特洛伊纳:
生物系统多核软件模拟器的设计。产品开发计划 2011:318-325
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/BuscemiCDM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/BuscemiCDM11
玛丽亚·格拉齐亚·巴斯米,马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,乌戈·蒙塔纳里:
服务合同的约束。 TGC公司 2011:104-120
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1109-1363
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1109-1363
克里斯蒂娜·加尔卡尼奥,马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,伊娃·萨卡,萨尔瓦多Spinella,安吉洛·特罗伊纳:
利用包裹隔室演算模拟丛枝菌根共生中的空间相互作用。 CompMod公司 2011:3-18
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1108-3426
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1108-3426
利维奥·比奥利奥,克里斯蒂娜·加尔卡尼奥,马里奥·科波奥,费鲁西奥·达米亚尼,伊娃·萨卡,萨尔瓦多Spinella,安吉洛·特罗伊纳:
包裹舱室的空间微积分。 CoRR公司 abs/1108.3426(2011)
2010
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1006-5099
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1006-5099
马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,埃琳娜·格拉西,安吉洛·特罗伊纳:
包裹舱室的随机演算。 QAPL公司 2010:82-98
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1011-0494
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1011-0494
马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,埃琳娜·格拉西,伊娃·夏卡,Salvatore Spinella公司,安吉洛·特洛伊纳:
包裹舱室的混合微积分。 MeCBIC公司 2010:102-120
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1010-2438
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1010-2438
马尔科·阿尔迪努奇,马里奥·科波奥,费鲁西奥·达米亚尼,毛里齐奥·德罗科,马西莫·托夸蒂,安吉洛·特罗伊纳:
生物系统多核软件模拟器的设计。 CoRR公司 abs/1010.2438(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CapecchiCDDG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CapecchiCDDG09
萨拉·卡佩奇,马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,索菲亚·德罗索波卢,埃琳娜·贾奇诺:
将面向对象语言中的会话和方法与泛型合并。西奥。计算。科学。 410(2-3):142-167(2009)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-0910-1418
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0910-1418
马里奥·科波奥,费鲁奇奥·达米亚尼,埃琳娜·格拉西,迈克·盖瑟,安吉洛·特罗伊纳:
用SCLS模拟氨运输器。 COMPMOD公司 2009:77-92
[电子5]
- 看法
  - dblp中的目录
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/2009
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/2009
亚历山德拉·切鲁比尼,马里奥·科波奥,朱塞佩·佩西亚诺:
理论计算机科学，第11届意大利会议，ICTCS 2009，意大利克雷莫纳，2009年9月28日至30日，会议记录。 2009 [目录]
2008
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CoppoDG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CoppoDG08
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,埃利奥·乔瓦内蒂:
环境和过程移动性类型。数学。结构。计算。科学。 18(2):221-290(2008)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/CoppoLP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/CoppoLP08
马里奥·科波奥,埃琳娜·洛迪,G.米歇尔·平纳:
前言。理论计算。系统。 42(三):287-288(2008)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/BettiniCDLDY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BettiniCDLDY08
洛伦佐·贝蒂尼,马里奥·科波奥,洛里斯·德安东尼,马可·德卢卡,Mariangiola Dezani-Ciancaglini公司,吉田信子:
动态交错多方会话的全球进展。 CONCUR公司 2008:418-433
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/CoppoD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/CoppoD08
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司:
具有并发约束的结构化通信。 TGC公司 2008:104-125
2007
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fmoods/CoppoDY07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmoods/CoppoDY07网址
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,吉田信子:
面向对象语言的异步会话类型和进程。 FMOODS公司 2007:1-31
2005
[c21]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/CoppoCDGP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/CoppoCDGP05
马里奥·科波奥,费德里科·科齐,Mariangiola Dezani-Ciancaglini公司,埃利奥·乔瓦内蒂,罗萨里奥·普格利泽:
具有局部和依赖类型的移动性微积分。过程、术语和周期 2005:404-444
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/2005
马里奥·科波奥,埃琳娜·洛迪,G.米歇尔·平纳:
理论计算机科学，第九届意大利会议，ICTCS 2005，锡耶纳，意大利，2005年10月12-14日，会议记录。计算机科学课堂讲稿3701,施普林格 2005，国际标准图书编号3-540-29106-7 [目录]
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/itrs/2004年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itrs/2004
马里奥·科波奥,费鲁西奥·达米亚尼:
第三届十字路口类型和相关系统国际研讨会论文集，ITRS 2004，图尔库，芬兰，2004年7月13日。理论计算机科学电子笔记136,爱思维尔 2005 [目录]
2004
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/CoppoDGP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/CoppoDGP04
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,埃利奥·乔瓦内蒂,罗萨里奥·普格利泽:
移动环境的动态和本地输入。 IFIP TCS 2004:577-590
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CoppoD05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CoppoD05
马里奥·科波奥,费鲁西奥·达米亚尼:
前言。 ITRS公司 2004:1-2
[e2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/2003
斯特凡诺·贝拉迪,马里奥·科波奥,费鲁西奥·达米亚尼:
2003年4月30日至5月4日，意大利都灵，2003年类型国际研讨会，《校对和项目类型》，修订论文集。计算机科学课堂讲稿3085,施普林格 2004，国际标准图书编号3-540-22164-6 [目录]
2003
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/CardoneC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/CardoneC03
费利斯·卡多内,马里奥·科波奥:
递归类型的可判定属性。信息通信与通信系统 2003:242-255
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CoppoDGS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CoppoDGS03
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,埃利奥·乔瓦内蒂,伊万诺·萨尔沃:
移动环境中移动进程的移动类型。猫 2003:144-177
2002
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CoppoDG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CoppoDG02
马里奥·科波奥,费鲁西奥·达米亚尼,保拉·贾尼尼:
严格性、全面性和非标准型推理。西奥。计算。科学。 272(1-2):69-112(2002)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/CoppoD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/CoppoD02
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司:
高阶移动环境的完全抽象模型。 VMCAI公司 2002:255-271
2001
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Coppo01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Coppo01
马里奥·科波奥:
递归类型方程的类型推断。 FoSSaCS公司 2001:184-198
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictcs/CoppoH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/CoppoH01
马里奥·科波奥,丹尼尔·赫希科夫:
分部类型的增量推断。信息通信与通信系统 2001:50-73
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CoppoD01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CoppoD01
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司:
移动环境的完全抽象模型。 TOSCA公司 2001:177-194
2000
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saig/BerardiCDG00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saig/BerardiCDG00网址
斯特凡诺·贝拉迪,马里奥·科波奥,费鲁西奥·达米亚尼,保拉·贾尼尼:
功能程序的基于类型的无用代码消除。 SAIG公司 2000:172-189

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1997
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/CoppoDG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/CoppoDG97
马里奥·科波奥,费鲁西奥·达米亚尼,保拉·贾尼尼:
论严格与全面。节气门执行器控制系统 1997:138-164
1996
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/CoppoDG96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/CoppoDG96
马里奥·科波奥,费鲁西奥·达米亚尼,保拉·贾尼尼:
程序分析的优化类型。萨斯 1996:143-158
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/1995年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/1995
斯特凡诺·贝拉迪,马里奥·科波奥:
1995年6月5日至8日，意大利都灵，1995年国际研讨会Types’95，《证明和程序类型》，论文选。计算机科学课堂讲稿1158,施普林格 1996，国际标准图书编号3-540-61780-9 [目录]
1995
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/CoppoG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/CoppoG95
马里奥·科波奥,保拉·贾尼尼:
简单交叉口类型系统的主要类型和统一。 Inf.计算。 122(1):70-96(1995)
1993
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CopoF93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CoppoF93
马里奥·科波奥,阿尔贝托·费拉里:
类型推理、抽象解释和严格性分析。西奥。计算。科学。 121(1&2):113-143(1993)
1992
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/CoppoG92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/CoppoG92
马里奥·科波奥,保拉·贾尼尼:
简单交集类型的完整类型推断算法。 CAAP公司 1992:102-123
1991
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/iandc/CardoneC91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/CardoneC91
费利斯·卡多内,马里奥·科波奥:
递归类型的类型推理：语法和语义。 Inf.计算。 92(1):48-80(1991)

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1987
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/CoppoDM87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/CoppoDM87
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,马达莱娜·扎基:
类型理论、范式和D_\infty-Lambda-Models。 Inf.计算。 72(2):85-116(1987)
1986
【c8】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/CoppoZ86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CoppoZ86
马里奥·科波奥,马达莱娜·扎基:
类型推理和逻辑关系。低收入国家 1986:218-226
1985
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Coppo85型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Coppo85
马里奥·科波奥:
递归定义类型的完备性定理。 ICALP公司 1985:120-129
1984
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Coppo84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Coppo84
马里奥·科波奥:
连续Lambda模型中类型分配的完备性。西奥。计算。科学。 29:309-324(1984)
1983
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Coppo83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Coppo83
马里奥·科波奥:
论多态的语义。信息学报 20:159-170(1983)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/BarendregtCD83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/BarendregtCD83
亨克·巴伦德雷格特,马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司:
滤波器Lambda模型与类型赋值的完备性。 J.塞姆。日志。 48(4):931-940(1983)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cap/CoppoDL83会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/CoppoDL83
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,朱塞佩·隆戈:
应用信息系统。 CAAP公司 1983:35-64
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/CoppoG83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/CoppoG83
马里奥·科波奥,埃利奥·乔万内蒂:
多态型系统的完备性结果。 CAAP公司 1983:179-190
1981
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mlq/CoppoDV81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mlq/CoppoDV81
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,贝蒂·文内里:
可解项的功能特征。数学。日志。问：。 27(2-6):45-58(1981)
1980
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/CoppoD80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/CoppoD80
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司:
λ-演算基本功能理论的一个推广。圣母院J.正式日志。 21(4):685-693(1980)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Coppo80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Coppo80
马里奥·科波奥:
应用语言的扩展多态类型系统。 MFCS公司 1980:194-204

1970 – 1979

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1979
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CoppoDS79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CoppoDS79
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,帕特里克·萨莱:
Lambda-Calculus中一些语义等式的功能表征。 ICALP公司 1979:133-146
1978
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aml/CoppoD78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aml/CoppoD78
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司:
λ-项的一种新类型赋值。架构（architecture）。数学。日志。 19(1):139-156(1978)
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CoppoDR78
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CoppoDR78
马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,西蒙娜·朗奇·德拉·罗卡:
lambda-Calculus的Scott D_infty模型中有限项集的（半）-可分性。 ICALP公司 1978:142-164
1977
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BohmCD77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BohmCD77
科拉多·伯姆,马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司:
lambda-Calculus内部的终止测试。 ICALP公司 1977:95-110

合著者索引

请参阅常见问题解答

管理网站设置

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