停止战争！

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

对于科学家：

默认搜索操作

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

问别人

丹尼斯·库西诺0002

>主页 >珀森斯

人员信息

附属： 法国雷恩三菱电机欧洲研发中心
隶属关系（前）： Ecole理工学院

其他同名人员

请参阅常见问题解答

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Blot0CPKMV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Blot0CPKMV23
Valentin印迹,丹尼斯·库西诺,恩佐·克兰斯,路易丝·杜波伊斯·德·普里斯克,香塔尔·凯勒,阿西亚·马布比,皮埃尔小瓶:
依赖类型理论中自动推理的合成预处理。清洁石油产品 2023:63-77
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2310-12540
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2310-12540
丹尼斯·库西诺,吉尔斯·道克:
在lambda Pi演算模中嵌入纯类型系统。 CoRR公司 abs/2310.12540(2023)
2022
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LourencoCFMMI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/LourencoCFMMI22
Cláudio Belo Lourenço贝洛·卢伦索,丹尼斯·库西诺,弗洛里安·费索尔,克劳德·马奇,大卫·曼特雷,井上裕久:
自动形式化分析梯形图程序的时间属性。国际期刊软件。技术工具。Transf公司。 24(6):977-997(2022)
[i2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2204-02643
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2204-02643
Valentin印迹,丹尼斯·库西诺,恩佐·克兰斯,路易斯·杜波依斯·德·普里斯克,香塔尔·凯勒,阿西亚·马布比,皮埃尔小瓶:
依赖类型理论中自动推理的模块化预处理。 CoRR公司 abs/2204.02643(2022)
2021
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/LourencoCFMMI21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/LourencoCFMMI21
Cláudio Belo Lourenço贝洛·卢伦索,丹尼斯·库西诺,弗洛里安·费索尔,克劳德·马奇,大卫·曼特雷,井上裕久:
梯形图程序时间属性的自动验证。飞行管理信息系统 2021:21-38

2010 – 2019

请参阅常见问题解答

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

2019
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/LavillonniereMC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/LavillonniereMC19
埃里克·拉维洛尼埃,大卫·曼特雷,丹尼斯·库西诺:
结合遗传算法和形式化方法的快速、自动和几乎完全的结构单元测试生成。 FM时的TAP 2019:55至63
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1912-10629
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1912-10629
丹尼斯·库西诺,大卫·曼特雷,井上裕久:
梯形图编程的自动演绎验证。 F-IDE@调频 2019:7-12
2012
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1201-1705
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-1705
丹尼斯·库西诺:
关于作为强规范化语义的可约性候选者的完备性。日志。方法计算。科学。 8(1)(2012)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CousineauDLMRV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CousineauDLMRV12
丹尼斯·库西诺,达米安·多利盖兹,莱斯利·兰伯特,斯蒂芬·默兹,丹尼尔·里基茨,埃尔南·范泽托:
TLA+证明。 FM公司 2012:147-154
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/CousineauH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/CousineauH12
丹尼斯·库西诺,奥利维尔·赫曼特:
一个语义证明，可约简候选包含剪切消除。区域贸易协定 2012:133-148
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-5933
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-5933
丹尼斯·库西诺,达米安·多利盖兹,莱斯利·兰伯特,斯蒂芬·默兹,丹尼尔·里基茨,埃尔南·范泽托:
TLA+证明。 CoRR公司 abs/1208.5933(2012)

2000 – 2009

请参阅常见问题解答

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

2009
【b1】
- 看法
  - 电子版@archives-ouvertes.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/哈尔/表哥09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/Cousineau09网址
丹尼斯·库西诺:
早产儿模型和正常化。（模型和证明规范化）。法国帕莱索埃科尔理工学院，2009
2007
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/CousineauD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/CousineauD07
丹尼斯·库西诺,吉尔斯·道克:
在Lambda-Pi-Calculus模中嵌入纯类型系统。薄层色谱分析 2007:102-117

合著者索引

请参阅常见问题解答

服务

管理网站设置

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