×
编辑配置文件（在新选项卡中打开）

安托万·达隆

合著者距离
作者ID： dallon.antoine公司“Dallon，Antoine”最近发表的zbMATH文章
发布日期： 安托万·达隆
已编制索引的文档： 2出版物自2018年起
合著者： 3位合著者具有2联合出版物
56位合作作者

合著者

0 单作者的
2 维罗尼克·科尔蒂尔
2 斯特凡尼德劳恩
1 雷米·克雷蒂安

系列

1 ACM计算逻辑事务

领域

2 计算机科学（68至XX）
2 信息与通信理论、电路（94-XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物被引用4中的次2文件 引用人▼ 年份▼
有效地确定标准原语和阶段的等价性。 Zbl 1496.68060号
维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩
2
2018
在安全协议中免费键入消息。 Zbl 1433.68211号
雷米·克雷蒂安;维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩
2
2020
在安全协议中免费键入消息。 Zbl 1433.68211号
雷米·克雷蒂安;维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩
2
2020
有效地确定标准原语和阶段的等价性。 Zbl 1496.68060号
维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩
2
2018

4位作者引用

2 维罗尼克·科尔蒂尔
2 斯特凡尼德劳恩
1 安托万·达隆
1 维什纳维桑达拉扬

连载1篇

1 自动推理杂志

在2个字段中引用

2 计算机科学（68至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文