编辑配置文件（在新选项卡中打开） Damien Pous 合著者距离 作者ID： 达米恩磅 发布日期： Damien Pous 已编制索引的文档： 61出版物自2005年以来 2作为编辑的贡献 合著者： 39位合著者具有49联合出版物 628联合作者 全部的 前5名合著者 14 单作者的 9 朱里安·罗特 7 保罗·布鲁内特 6 菲利波·邦奇 5 戴维·桑吉奥吉 4 阿米娜·杜马内 4 丹尼尔·赫希科夫 4 丹尼斯·库珀伯格 三 托马斯·布雷班特 三 达斯，阿努帕姆 三 克里斯蒂安·多兹卡尔 三 Daniela Luan Petrisan 三 劳雷琳·皮诺 三 乔治·斯特鲁斯 2 彼得·霍夫纳 2 Jean-Marie，马迪奥 2 亚历山德拉·席尔瓦 1 海宁·巴索尔德 1 马·戈扎塔·比尔纳卡 1 Dariusz Biernacki 1 马塞洛·玛丽亚·邦桑格 1 佛罗伦萨布莱哈德 1 乔治亚娜·卡尔泰斯 1 组合，纪尧姆 1 安里克·科斯梅·洛佩斯 1 Jean-Guillaume杜马 1 多米尼克·杜瓦尔 1 伯拉克·埃基奇 1 汤姆·赫肖维茨 1 塞尔盖·伦格利特 1 阿西亚·马布比 1 彼得·波列修克 1 皮埃尔·普拉迪奇 1 珍妮·克劳德·雷纳德 1 简·J·M·M·鲁顿。 1 阿兰·施密特 1 卡住了，Insa 1 鲁本·图尔肯堡 1 瓦莱里亚·维格努德利 1 工资制造者，贾纳 全部的 前5名系列 6 计算机科学中的逻辑方法 2 理论计算机科学 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 自动推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 计算机科学科学年鉴 全部的 前5名领域 61 计算机科学（68至XX） 22 数理逻辑与基础（03-XX） 7 范畴理论；同调代数（18-XX） 5 组合数学（05-XX） 5 一般代数系统（08-XX） 4 阶、格、有序代数结构（06-XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 54出版物有被引用359中的次190文件 引用人▼ 年份▼ 用互模拟检查NFA等价性直至一致。 Zbl 1301.68169号 菲利波·邦奇；Damien Pous 39 2013 互模拟证明方法的增强。 Zbl 1285.68111号 Damien Pous；戴维·桑吉奥吉 30 2012 在一个无稽之谈的背景下，不断地模仿。 Zbl 1395.68195号 菲利波·邦奇；达尼埃拉·佩特里桑；Damien Pous；朱里安·罗特 22 2014 完整的格子和最新的技术。 兹比尔1138.68041 Damien Pous 22 2007 一路复制。 Zbl 1394.68352号 Damien Pous 20 2016 决定Kleene代数的有效Coq策略。 Zbl 1291.68330号 托马斯·布雷班特；Damien Pous 19 2010 关于造币的概述。 Zbl 1371.68186号 菲利波·邦奇；达尼埃拉·佩特里桑；Damien Pous；朱里安·罗特 16 2017 用于while程序的带有测试和Coq工具的Kleene代数。 Zbl 1317.68229号 Damien Pous 15 2013 中的Kleene代数的判定Coq公司. Zbl 1238.68146号 托马斯·布雷班特；Damien Pous 12 2012 增强的协同脑互模拟。 Zbl 1380.68300号 朱里安·罗特；菲利波·邦奇；马塞洛·邦桑格；Damien Pous；简·拉特；亚历山德拉·席尔瓦 10 2015 Kleene代数的一个无割循环证明系统。 Zbl 1496.03229号 达斯，阿努帕姆；Damien Pous 10 2017 （Kleene+作用）（代数+格）的非完备性证明理论。 Zbl 1528.03234号 达斯，阿努帕姆；Damien Pous 9 2018 关于并发Kleene代数的可判定性。 兹比尔1442.68128 保罗·布鲁内特；Damien Pous；乔治·斯特鲁斯 7 2017 相互模拟和共同还原增强：历史视角。 Zbl 1427.68010号 Damien Pous；戴维·桑吉奥吉 6 2019 Kleene寓言的Petri自动机。 Zbl 1392.68285号 保罗·布鲁内特；Damien Pous 6 2015 用于弱互模拟的新up-to技术。 Zbl 1118.68095号 Damien Pous 6 2007 语言等价和Kleene代数的符号算法及测试。 Zbl 1346.68120号 Damien Pous 6 2015 伴侣、共密度和因果关系。 Zbl 1442.68149号 Damien Pous；朱里安·罗特 6 2017 弱互模拟的最新技术。 Zbl 1084.68085号 Damien Pous 6 2005 弱相互模拟直至精化。 Zbl 1151.68551号 Damien Pous 5 2006 树宽二图的小互斥性质的形式证明。 Zbl 1468.68319号 克里斯蒂安·多兹卡尔；组合，纪尧姆；Damien Pous 5 2018 双向模拟：超越一阶过渡系统。 邮编：1388.68200 Jean-Marie，马迪奥；Damien Pous；戴维·桑吉奥吉 5 2014 \作为自由代数的（K_4）-自由图。 Zbl 1445.05099号 安里克·科斯梅·洛佩斯；Damien Pous 5 2017 安全环境的高效抽象机器。 Zbl 1116.68056号 丹尼尔·赫希科夫；Damien Pous；戴维·桑吉奥吉 4 2007 Petri自动机。 Zbl 1427.68185号 保罗·布鲁内；Damien Pous 4 2017 CCS的分布律和（pi）-演算的一个新同余结果。 Zbl 1149.68063号 丹尼尔·赫希科夫；Damien Pous 4 2008 弱互模拟的松弛双代数和up-to技术。 Zbl 1371.68187号 菲利波·邦奇；丹尼尔·彼得里桑；Damien Pous；朱里安·罗特 4 2015 可访问函子的单体公司。 Zbl 1436.18014号 海宁·巴索尔德；Damien Pous；朱里安·罗特 4 2017 一种基于证书的方法，用于正式验证近似值。 Zbl 07649957号 佛罗伦萨布莱哈德；阿西亚·马布比；Damien Pous 4 2019 寓言：可判定性和图形同态。 Zbl 1453.18002号 Damien Pous；瓦莱里亚·维格努德利 4 2018 Coq中有限关系的基数。 Zbl 1478.68436号 保罗·布鲁内特；Damien Pous；卡住了，Insa 三 2016 利用图同态研究具有常数的正关系代数的非公理化性。 兹伯利07559485 阿米娜·杜马内；Damien Pous 三 2020 作为CCS预升和交互等效物的无害策略。 Zbl 1424.68103号 汤姆·赫肖维茨；Damien Pous 三 2012 Coq中模AC的推理策略。 Zbl 1350.68227号 托马斯·布雷班特；Damien Pous 三 2011 关于具有传递闭包的关系的正演算。 Zbl 1487.03077号 Damien Pous 三 2018 循环线性逻辑的非类型代数结构和着色证明网。 Zbl 1287.03107号 Damien Pous 2 2010 关于复制中的双相似性和替代性。 兹比尔1288.68182 丹尼尔·赫希科夫；Damien Pous 2 2010 带有假设的克莱恩代数。 Zbl 1524.68201号 阿米娜·杜马内；丹尼斯·库珀伯格；Damien Pous；皮埃尔·普拉迪奇 2 2019 Kleene代数的左手完备性，通过循环证明。 Zbl 1415.68124号 达斯，阿努帕姆；阿米娜·杜马内；Damien Pous 2 2018 分布式抽象机分析的互模拟证明。 Zbl 1211.68271号 Damien Pous 2 2007 使用互模拟证明技术分析分布式抽象机。 Zbl 1146.68053号 Damien Pous 2 2008 Büchi自动机的共导算法。 Zbl 1497.68271号 丹尼斯·库珀伯格；皮诺，劳蕾琳；Damien Pous 2 2019 名义Kleene代数的形式化探索。 Zbl 1398.68350号 保罗·布鲁内特；Damien Pous 2 2016 用于必须测试的Brzozowski和up-to算法。 Zbl 1426.68180号 菲利波·邦奇；乔治亚娜·卡尔泰斯；Damien Pous；亚历山德拉·席尔瓦 2 2013 无恒等Kleene格的完备性。 Zbl 1520.68055号 阿米娜·杜马内；Damien Pous 2 2018 CCS的分布律和（pi）-演算的一个新同余结果。 Zbl 1195.68071号 丹尼尔·赫希科夫；Damien Pous 1 2007 同伴、因果关系和共感。 Zbl 1442.68150号 Damien Pous；朱里安·罗特 1 2019 具有逆的Kleene代数的算法。 兹比尔1345.68223 保罗·布鲁内特；Damien Pous 1 2016 Büchi自动机的共导算法。 Zbl 1497.68272号 丹尼斯·库珀伯格；劳雷琳·皮诺；Damien Pous 1 2021 关于带假设的Kleene代数完备性工具。 Zbl 07670530号 Damien Pous；朱里安·罗特；工资制造者，贾纳 1 2021 逆Kleene代数。 Zbl 1345.68222号 保罗·布鲁内特；Damien Pous 1 2014 通过抽象机在HOcore中对\（\lambda\）-演算进行完全抽象编码。 Zbl 1452.03041号 别尔纳卡，马乌戈扎塔；Dariusz Biernacki；塞尔盖·伦格利特；彼得·波列修克；Damien Pous；阿兰·施密特 1 2017 Coq中的图论：子图、树宽图和同构图。 Zbl 1468.68320号 克里斯蒂安·多兹卡尔；Damien Pous 1 2020 树宽-两个图作为自由代数。 Zbl 1512.08002号 克里斯蒂安·多兹卡尔；Damien Pous 1 2018 Büchi自动机的共导算法。 Zbl 1497.68272号 丹尼斯·库珀伯格；劳雷琳·皮诺；Damien Pous 1 2021 关于带假设的Kleene代数完备性工具。 Zbl 07670530号 Damien Pous；朱里安·罗特；工资制造者，贾纳 1 2021 利用图同态研究具有常数的正关系代数的非公理化性。 Zbl 07559485号 阿米娜·杜马内；Damien Pous 三 2020 Coq中的图论：子、树宽和同构。 Zbl 1468.68320号 克里斯蒂安·多兹卡尔；Damien Pous 1 2020 相互模拟和共同还原增强：历史视角。 Zbl 1427.68010号 Damien Pous；戴维·桑吉奥吉 6 2019 一种基于证书的方法，用于正式验证近似值。 Zbl 07649957号 佛罗伦萨布莱哈德；阿西亚·马布比；Damien Pous 4 2019 带有假设的克莱恩代数。 Zbl 1524.68201号 阿米娜·杜马内；丹尼斯·库珀伯格；Damien Pous；皮埃尔·普拉迪奇 2 2019 Büchi自动机的共导算法。 Zbl 1497.68271号 丹尼斯·库珀伯格；劳雷琳·皮诺；Damien Pous 2 2019 同伴、因果关系和共感。 Zbl 1442.68150号 Damien Pous；朱里安·罗特 1 2019 （Kleene+作用）（代数+格）的非完备性证明理论。 Zbl 1528.03234号 达斯，阿努帕姆；Damien Pous 9 2018 树宽二图的小互斥性质的形式证明。 Zbl 1468.68319号 克里斯蒂安·多兹卡尔；组合，纪尧姆；Damien Pous 5 2018 寓言：可判定性和图形同态。 兹比尔1453.18002 Damien Pous；瓦莱里亚·维格努德利 4 2018 关于具有传递闭包的关系的正演算。 Zbl 1487.03077号 Damien Pous 三 2018 Kleene代数的左手完备性，通过循环证明。 Zbl 1415.68124号 达斯，阿努帕姆；阿米娜·杜马内；Damien Pous 2 2018 无恒等Kleene格的完备性。 Zbl 1520.68055号 阿米娜·杜马内；Damien Pous 2 2018 树宽-两个图作为自由代数。 Zbl 1512.08002号 克里斯蒂安·多兹卡尔；Damien Pous 1 2018 关于造币的概述。 Zbl 1371.68186号 菲利波·邦奇；达尼埃拉·佩特里桑；Damien Pous；朱里安·罗特 16 2017 Kleene代数的一个无割循环证明系统。 Zbl 1496.03229号 达斯，阿努帕姆；Damien Pous 10 2017 关于并发Kleene代数的可判定性。 兹比尔1442.68128 保罗·布鲁内特；Damien Pous；乔治·斯特鲁斯 7 2017 伴侣、共密度和因果关系。 Zbl 1442.68149号 Damien Pous；朱里安·罗特 6 2017 \作为自由代数的（K_4）-自由图。 Zbl 1445.05099号 安里克·科斯梅·洛佩斯；Damien Pous 5 2017 Petri自动机。 Zbl 1427.68185号 保罗·布鲁内特；Damien Pous 4 2017 可访问函子的单体公司。 Zbl 1436.18014号 海宁·巴索尔德；Damien Pous；朱里安·罗特 4 2017 通过抽象机在HOcore中对\（\lambda\）-演算进行完全抽象编码。 Zbl 1452.03041号 马·戈扎塔·比尔纳卡；Dariusz Biernacki；塞尔盖·伦格利特；彼得·波列修克；Damien Pous；阿兰·施密特 1 2017 一路复制。 Zbl 1394.68352号 Damien Pous 20 2016 Coq中有限关系的基数。 Zbl 1478.68436号 保罗·布鲁内；Damien Pous；卡住了，Insa 三 2016 名义Kleene代数的形式化探索。 Zbl 1398.68350号 保罗·布鲁内特；Damien Pous 2 2016 逆Kleene代数的算法。 Zbl 1345.68223号 保罗·布鲁内特；Damien Pous 1 2016 增强的协同脑互模拟。 Zbl 1380.68300号 朱里安·罗特；菲利波·邦奇；马塞洛·邦桑格；Damien Pous；简·拉特；亚历山德拉·席尔瓦 10 2015 Kleene寓言的Petri自动机。 Zbl 1392.68285号 保罗·布鲁内特；Damien Pous 6 2015 语言等价和Kleene代数的符号算法及测试。 Zbl 1346.68120号 Damien Pous 6 2015 弱互模拟的松弛双代数和up-to技术。 Zbl 1371.68187号 菲利波·邦奇；丹尼尔·彼得里桑；Damien Pous；朱里安·罗特 4 2015 在一个无稽之谈的背景下，不断地模仿。 Zbl 1395.68195号 菲利波·邦奇；达尼埃拉·佩特里桑；Damien Pous；朱里安·罗特 22 2014 双向模拟：超越一阶过渡系统。 邮编：1388.68200 Jean-Marie，马迪奥；Damien Pous；戴维·桑吉奥吉 5 2014 具有逆的Kleene代数。 Zbl 1345.68222号 保罗·布鲁内特；Damien Pous 1 2014 用互模拟检查NFA等价性直至一致。 Zbl 1301.68169号 菲利波·邦奇；Damien Pous 39 2013 用于while程序的带有测试和Coq工具的Kleene代数。 Zbl 1317.68229号 Damien Pous 15 2013 用于必须测试的Brzozowski和up-to算法。 Zbl 1426.68180号 菲利波·邦奇；乔治亚娜·卡尔泰斯；Damien Pous；亚历山德拉·席尔瓦 2 2013 互模拟证明方法的增强。 Zbl 1285.68111号 Damien Pous；戴维·桑吉奥吉 30 2012 中的Kleene代数的判定Coq公司. Zbl 1238.68146号 托马斯·布雷班特；Damien Pous 12 2012 作为CCS预升和交互等效物的无害策略。 Zbl 1424.68103号 汤姆·赫肖维茨；Damien Pous 三 2012 Coq中模AC的推理策略。 兹比尔135068227 托马斯·布雷班特；Damien Pous 三 2011 决定Kleene代数的有效Coq策略。 Zbl 1291.68330号 托马斯·布雷班特；Damien Pous 19 2010 循环线性逻辑的非类型代数结构和着色证明网。 Zbl 1287.03107号 Damien Pous 2 2010 关于复制中的双相似性和替代性。 Zbl 1288.68182号 丹尼尔·赫希科夫；Damien Pous 2 2010 CCS的分布律和（pi）-演算的一个新同余结果。 Zbl 1149.68063号 丹尼尔·赫希科夫；Damien Pous 4 2008 使用互模拟证明技术分析分布式抽象机。 Zbl 1146.68053号 Damien Pous 2 2008 完整的格子和up-to技术。 兹比尔1138.68041 Damien Pous 22 2007 弱相互刺激的最新技术。 Zbl 1118.68095号 Damien Pous 6 2007 安全环境的高效抽象机器。 Zbl 1116.68056号 丹尼尔·赫希科夫；Damien Pous；戴维·桑吉奥吉 4 2007 分布式抽象机分析的互模拟证明。 Zbl 1211.68271号 Damien Pous 2 2007 CCS的分布律和（pi）-演算的一个新同余结果。 Zbl 1195.68071号 丹尼尔·赫希科夫；Damien Pous 1 2007 弱的相互刺激直到精细化。 Zbl 1151.68551号 Damien Pous 5 2006 弱互模拟的最新技术。 Zbl 1084.68085号 Damien Pous 6 2005 所有引用的出版物 前5名被引用出版物 全部的 前5名250位作者引用 25 Damien Pous 16 朱里安·罗特 15 亚历山德拉·席尔瓦 13 菲利波·邦奇 11 戴维·桑吉奥吉 9 巴巴拉·科尼格 8 保罗·布鲁内特 7 乔治·斯特鲁斯 6 托比亚斯·卡佩 6 巴斯·卢提克 5 马塞洛·玛丽亚·邦桑格 5 丹尼尔·赫希科夫 5 塞巴斯蒂安·库珀 5 简·J·M·M·鲁顿。 4 达斯，阿努帕姆 4 克里斯蒂安·多兹卡尔 4 德克斯特·C·科赞。 4 塞尔盖·伦格利特 4 内尔玛·莫雷拉 4 Daniela Luan Petrisan 4 卡住了，Insa 4 徐，西安 三 阿拉斯代尔·阿姆斯特朗 三 保罗·巴尔丹 三 达柳斯·比尔纳茨基 三 科恩、利隆 三 阿米娜·杜马内 三 阿德里安·杜里埃 三 一郎·哈索 三 多米尼克·柯斯特 三 丹尼斯·库珀伯格 三 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 三 托马索·帕多安 三 彼得·波列修克 三 格特·斯莫尔卡 三 巴布亚州索波辛斯基 三 安娜·索科洛娃 三 德米特里·特雷特尔 三 工资制造者，贾纳 三 法比奥·扎纳西 2 毛里西奥·阿亚拉·林科恩 2 海宁·巴索尔德 2 哈什·贝哈尔 2 鲁道夫·伯哈默 2 佛罗伦萨布莱哈德 2 乔治亚娜·卡尔泰斯 2 肯塔·乔 2 弗朗西斯科·达格尼诺 2 理查德·艾格特 2 法比奥·加杜奇 2 玛丽安娜·吉兰多 2 罗兰·格里克 2 Toshiki Kataoka 2 克莱门斯·库普克 2 多米尼克·拉切·温德林（Dominique Larchey-Wendling） 2 阿尼尔班·马朱姆达尔 2 康斯坦蒂诺斯·马穆拉斯 2 西芒，索萨甜瓜 2 戴尔·艾伦·米勒 2 蒙雷利，贾科玛·瓦伦蒂娜 2 吉木中村 2 托比亚斯·尼普科 2 戴维·佩雷拉（David P.Pereira）。 2 佩雷斯（Jorge A.Pérez）。 2 鲁本·罗伊，N.S。 2 阿莱西奥·桑塔马利亚 2 阿兰·施密特 2 戴维·斯普伦格 2 田，春 2 鲁本·图尔肯堡 2 文森特·范·奥斯特罗姆 2 瓦莱里亚·维格努德利 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 阿夫沙里语、巴哈雷语 1 罗马斯·阿隆德里斯 1 奥曼·波霍拉，约翰内斯 1 纪尧姆·安巴尔 1 安布罗斯，拉丰 1 达纳州安格鲁因 1 蒂莫斯·安东尼奥普洛斯 1 大卫·巴尔德 1 Jos C.M.Baeten。 1 阿道夫芭蕾舞团 1 萨姆·巴尔 1 David A.Basin。 1 凯文·巴茨 1 阿斯特里德·贝尔德 1 杰斯珀·本特森 1 巴拉戈·纳加拉贾·巴特 1 菲利普·比丁格 1 特蕾莎·比德尔。 1 贾斯敏·克里斯蒂安·布兰切特 1 弗雷德里克·布兰基 1 西尔万·博尔梅 1 艾默里·布齐 1 托马斯·布雷班特 1 托马斯·布伦戈斯 1 萨宾·布罗达 1 西蒙·卡斯特伦 1 西尔维亚卡瓦达斯 …还有150多名作者 全部的 前5名21篇连载文章中引用 18 计算机科学中的逻辑方法 13 程序设计中的逻辑和代数方法杂志 9 理论计算机科学 9 自动推理杂志 8 信息与计算 7 MSCS公司。计算机科学中的数学结构 三 信息学报 三 计算的形式方面 三 逻辑与代数程序设计杂志 2 系统设计中的形式化方法 2 函数编程杂志 1 离散数学 1 代数与逻辑 1 Studia Logica公司 1 软计算 1 计算机基础理论 1 ACM计算逻辑事务 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 计算机科学中的数学 1 符号逻辑述评 1 RAIRO公司。理论信息学及其应用 全部的 前5名11个领域引用 180 计算机科学（68至XX） 54 数理逻辑与基础（03-XX） 18 范畴理论；同调代数（18-XX） 6 阶、格、有序代数结构（06-XX） 5 组合数学（05-XX） 2 一般代数系统（08-XX） 1 群论与推广（20-XX） 1 凸和离散几何（52至XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文