编辑配置文件（在新选项卡中打开） 皮埃尔·甘蒂 合著者距离 作者ID： 甘蒂·皮埃尔 发布日期： 皮埃尔·甘蒂 已编制索引的文档： 41出版物自2004年起 3作为编辑的贡献 合著者： 40位合著者具有44联合出版物 881位联合作者 全部的 前5名合著者 0 单作者的 11 哈维尔·埃斯帕尔扎 10 鲁帕克·马朱姆达尔 6 Jean-François拉斯金 5 埃琳娜·古铁雷斯 5 佩德罗·瓦莱罗 三 勒鲁，杰罗姆 三 劳伦特·范·贝京 2 基韦利多佛里 2 安托万杜兰·加塞林 2 约翰·加拉赫（John P.Gallagher）。 2 拉杜·奥西夫 2 比肖克桑·卡夫 2 尼古拉斯·梅奎特 2 弗朗西斯科·兰扎托 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 菲利波·邦奇 1 劳拉·博泽利 1 大卫·布雷索林 1 帕特里克·库索特 1 黛拉·莫妮卡，达里奥 1 乔治·德尔扎诺 1 迈克尔·埃米 1 格雷姆·恒河 1 罗伯托·贾科巴齐 1 斯特凡·基弗 1 菲利普·科内钦 1 鲍里斯·科普夫 1 米歇尔·洛雷蒂 1 迈克尔·卢滕伯格 1 尼古拉斯·马佐奇 1 本杰明·蒙梅格 1 弗朗西斯科·帕罗里尼 1 巴甫洛维奇，杜什科 1 艾哈迈德·雷兹 1 费尔南多·罗莎·维拉尔多 1 安德烈·里巴尔琴科 1 斯特凡·施温 1 彼得·詹姆斯·斯塔基 1 达米尔·瓦尔普特 1 查纳·韦尔·肯尼迪 全部的 前5名系列 2 系统设计中的形式化方法 2 计算机基础理论 2 理论计算机科学电子论文集（EPTCS） 1 信息学报 1 信息处理信函 1 理论计算机科学 1 美国医学会杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 领域 44 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 一般性和全局性主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用173中的次133文件 引用人▼ 年份▼ 人口协议的验证。 Zbl 1364.68081号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 21 2017 Parikh定理：一个简单而直接的自动机构造。 Zbl 1260.68203号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;斯特凡·基弗;迈克尔·卢滕伯格 15 2011 有界验证的完美模型。 兹比尔1362.68168 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 13 2012 沿着无上下文轨迹逼近Petri网可达性。 Zbl 1246.68161号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;皮埃尔·甘蒂 10 2011 WSTS覆盖性属性的完整抽象解释框架。 Zbl 1176.68119号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 9 2006 人口协议的验证。 Zbl 1374.68326号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;勒鲁，杰罗姆;鲁帕克·马朱姆达尔 8 2015 定点引导的抽象优化。 Zbl 1211.68083号 帕特里克·库索特;皮埃尔·甘蒂;Jean-François拉斯金 7 2007 模型检查参数化异步共享内存系统。 Zbl 1360.68584号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 7 2017 多线程程序基于模式的验证的复杂性。 Zbl 1284.68182号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂 7 2011 VASS后向覆盖算法的复杂性分析。 Zbl 1348.68159号 劳拉·博泽利;甘蒂，皮埃尔 6 2011 异步共享内存系统的参数化验证。 Zbl 1426.68169号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 6 2016 模型检查填充协议。 Zbl 1391.68078号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 6 2016 整数程序的过程摘要近似不足。 Zbl 1381.68052号 皮埃尔·甘蒂;拉杜·奥西夫;菲利普·科内钦 5 2013 验证即时观察人群方案。 兹比尔1520.68072 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔;查纳·韦尔·肯尼迪 5 2018 完善的技术和完整的抽象领域。 Zbl 1497.68107号 菲利波·邦奇;皮埃尔·甘蒂;罗伯托·贾科巴齐;达斯科·巴甫洛维奇 5 2018 验证异步程序的活动性。 Zbl 1315.68064号 皮埃尔·甘蒂;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 4 2009 有界欠近似。 Zbl 1247.68140号 甘蒂，皮埃尔;鲁帕克·马朱姆达尔;本杰明·蒙梅格 4 2012 对时间敏感的加密协议进行自动验证。 Zbl 1126.68392号 乔治·德尔扎诺;皮埃尔·甘蒂 三 2004 从多到少：Petri网的自动抽象求精。 Zbl 1154.68087号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 三 2008 从多到少：Petri网的自动抽象求精。 Zbl 1226.68054号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 三 2007 分析实时事件驱动程序。 兹比尔1262.68038 皮埃尔·甘蒂;鲁帕克·马朱姆达尔 三 2009 模型检查参数化异步共享内存系统。 Zbl 1381.68158号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 三 2015 约束Horn子句验证中的树维度。 Zbl 1478.68165号 比肖克桑·卡夫;约翰·加拉赫（John P.Gallagher）。;皮埃尔·甘蒂 三 2018 确定国家预算：用小型DFA近似常规语言。 Zbl 1495.68120号 格雷姆·恒河;皮埃尔·甘蒂;彼得·斯图基（Peter J.Stuckey）。 三 2017 基于FORQ的语言包含形式测试。 Zbl 1514.68098号 基韦利多佛里;皮埃尔·甘蒂;尼古拉斯·马佐奇 2 2022 使用线性Horn子句求解器求解非线性Horn子句。 Zbl 1482.68141号 比肖克桑·卡夫;约翰·加拉赫（John P.Gallagher）。;皮埃尔·甘蒂 2 2016 基于同余的自动机最小化算法透视图。 Zbl 07561721号 皮埃尔·甘蒂;埃琳娜·古铁雷斯;佩德罗·瓦莱罗 2 2019 基于良好拟序的Büchi自动机包含性检验。 Zbl 07730605号 基韦利多佛里;皮埃尔·甘蒂;弗朗西斯科·帕罗里尼;弗朗西斯科·兰扎托 2 2021 使用基于事件的同步分析异步程序。 Zbl 1335.68053号 迈克尔·埃米;皮埃尔·甘蒂;鲁帕克·马朱姆达尔;费尔南多·罗莎·维拉尔多 1 2015 平面整数程序的过程间可达性。 Zbl 1434.68107号 皮埃尔·甘蒂;拉杜·奥西夫 1 2015 交替自动机的不动点导向抽象精化。 Zbl 1207.68186号 皮埃尔·甘蒂;尼古拉斯·梅奎特;Jean-François拉斯金 1 2010 基于位置的抽象。 Zbl 1141.68367号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;斯特凡·施温 1 2005 有界振荡下推自动机。 Zbl 1478.68127号 皮埃尔·甘蒂;达米尔·瓦普特 1 2016 基于准序的残差自动机透视图。 兹伯利07559411 皮埃尔·甘蒂;埃琳娜·古铁雷斯;佩德罗·瓦莱罗 1 2020 基于FORQ的语言包含形式测试。 Zbl 1514.68098号 基韦利多佛里;皮埃尔·甘蒂;尼古拉斯·马佐奇 2 2022 基于良好拟序的Büchi自动机包含性检验。 Zbl 07730605号 基韦利多佛里;皮埃尔·甘蒂;弗朗西斯科·帕罗里尼;弗朗西斯科·兰扎托 2 2021 基于准序的残差自动机透视图。 Zbl 07559411号 皮埃尔·甘蒂;埃琳娜·古铁雷斯;佩德罗·瓦莱罗 1 2020 基于同余的自动机最小化算法透视图。 Zbl 07561721号 皮埃尔·甘蒂;埃琳娜·古铁雷斯;佩德罗·瓦莱罗 2 2019 验证即时观察人群方案。 Zbl 1520.68072号 哈维尔·埃斯帕尔扎;甘蒂，皮埃尔;鲁帕克·马朱姆达尔;查纳·韦尔·肯尼迪 5 2018 完善的技术和完整的抽象领域。 Zbl 1497.68107号 菲利波·邦奇;皮埃尔·甘蒂;罗伯托·贾科巴齐;达斯科·巴甫洛维奇 5 2018 约束Horn子句验证中的树维度。 Zbl 1478.68165号 比肖克桑·卡夫;约翰·加拉赫（John P.Gallagher）。;皮埃尔·甘蒂 三 2018 人口协议的验证。 Zbl 1364.68081号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 21 2017 模型检查参数化异步共享内存系统。 Zbl 1360.68584号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 7 2017 确定国家预算：用小型DFA近似常规语言。 Zbl 1495.68120号 格雷姆·恒河;皮埃尔·甘蒂;彼得·斯图基（Peter J.Stuckey）。 三 2017 异步共享内存系统的参数化验证。 Zbl 1426.68169号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 6 2016 模型检查填充协议。 Zbl 1391.68078号 哈维尔·埃斯帕尔扎;甘蒂，皮埃尔;杰罗姆·勒鲁;鲁帕克·马朱姆达尔 6 2016 使用线性Horn子句求解器求解非线性Horn子句。 Zbl 1482.68141号 比肖克桑·卡夫;约翰·加拉赫（John P.Gallagher）。;皮埃尔·甘蒂 2 2016 有界振荡下推自动机。 Zbl 1478.68127号 皮埃尔·甘蒂;达米尔·瓦普特 1 2016 人口协议的验证。 Zbl 1374.68326号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;勒鲁，杰罗姆;鲁帕克·马朱姆达尔 8 2015 模型检查参数化异步共享内存系统。 Zbl 1381.68158号 安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 三 2015 使用基于事件的同步分析异步程序。 Zbl 1335.68053号 迈克尔·埃米;皮埃尔·甘蒂;鲁帕克·马朱姆达尔;费尔南多·罗莎·维拉尔多 1 2015 平面整数程序的过程间可达性。 Zbl 1434.68107号 皮埃尔·甘蒂;拉杜·奥西夫 1 2015 整数程序的过程摘要近似不足。 兹比尔1381.68052 皮埃尔·甘蒂;拉杜·奥西夫;菲利普·科内钦 5 2013 有界验证的完美模型。 Zbl 1362.68168号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔 13 2012 有界欠近似。 Zbl 1247.68140号 皮埃尔·甘蒂;鲁帕克·马朱姆达尔;本杰明·蒙梅格 4 2012 Parikh定理：一个简单而直接的自动机构造。 Zbl 1260.68203号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;斯特凡·基弗;卢滕伯格，迈克尔 15 2011 沿着无上下文轨迹逼近Petri网可达性。 Zbl 1246.68161号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;皮埃尔·甘蒂 10 2011 多线程程序基于模式的验证的复杂性。 Zbl 1284.68182号 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂 7 2011 VASS后向覆盖算法的复杂性分析。 Zbl 1348.68159号 劳拉·博泽利;皮埃尔·甘蒂 6 2011 交替自动机的定点引导抽象精化。 Zbl 1207.68186号 皮埃尔·甘蒂;尼古拉斯·马奎特;Jean-François拉斯金 1 2010 验证异步程序的活动性。 Zbl 1315.68064号 皮埃尔·甘蒂;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 4 2009 分析实时事件驱动程序。 Zbl 1262.68038号 皮埃尔·甘蒂;鲁帕克·马朱姆达尔 三 2009 从多到少：Petri网的自动抽象求精。 Zbl 1154.68087号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 三 2008 定点引导的抽象优化。 兹比尔1211.68083 帕特里克·库索特;皮埃尔·甘蒂;Jean-François拉斯金 7 2007 从多到少：Petri网的自动抽象求精。 Zbl 1226.68054号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 三 2007 WSTS覆盖性属性的完整抽象解释框架。 Zbl 1176.68119号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 9 2006 基于位置的抽象。 Zbl 1141.68367号 哈维尔·埃斯帕尔扎;甘蒂，皮埃尔;斯特凡·施温 1 2005 对时间敏感的加密协议进行自动验证。 Zbl 1126.68392号 乔治·德尔扎诺;皮埃尔·甘蒂 三 2004 所有引用出版物 前5名被引用出版物 全部的 前5名242位作者引用 15 皮埃尔·甘蒂 14 哈维尔·埃斯帕尔扎 10 阿兰·芬克尔 7 迈克尔·布隆丁 7 米哈伊尔·拉斯金 6 普拉卡什·塞瓦桑 5 穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 菲利波·邦奇 4 沃伊切赫，切尔文斯基 4 约翰·加拉赫（John P.Gallagher）。 4 斯特凡·贾克斯 4 杰罗姆·勒鲁 4 鲁帕克·马朱姆达尔 4 罗兰·迈耶 4 查纳·韦尔·肯尼迪 4 乔治·泽采 三 Balasubramanian，A.R。 三 艾哈迈德·博阿贾尼 三 彼得·奇尼 三 雷娜·迪米特洛娃 三 大卫·多蒂 三 埃琳娜·古铁雷斯 三 比肖克桑·卡夫 三 巴巴拉·科尼格 三 卢滕伯格，迈克尔 三 库马尔·纳拉扬。 三 M·普拉文。 三 费尔南多·罗莎·维拉尔多 三 西尔万·施密茨 2 帕罗什·阿齐兹·阿卜杜拉 2 保罗·巴尔丹 2 Nathalie Bertrand 2 贝内迪克特·博利格 2 罗伯特·布里德 2 皮埃尔·香巴特 2 陈火旺 2 伊曼纽尔·德·安吉利斯 2 亨宁费尔瑙 2 法比奥·菲奥拉万蒂 2 罗伯托·贾科巴齐 2 彼得·哈贝梅尔 2 谢尔盖·哈达德 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 伊戈尔·赫梅尔尼茨基 2 伊戈尔·康诺夫（Igor V.Konnov）。 2 桑卡拉·纳拉亚南·克里希纳 2 安东尼·库塞拉 2 奥尔纳·库普弗曼 2 萨沃米尔·拉索塔 2 乔瓦娜·珍妮特·拉瓦多 2 兰科·拉齐奇 2 李孟军 2 李周军 2 鲁帕克·马朱姆达尔 2 尼古拉斯·马奎特 2 菲利普·马佐维耶基 2 塞巴斯蒂安·穆斯卡拉 2 亚历山大·奥霍金 2 米纳克希·帕拉马斯万 2 Daniela Luan Petrisan 2 阿尔贝托·佩特罗西 2 乔瓦尼·皮奇奇尼 2 毛里齐奥·普罗埃蒂 2 弗朗西斯科·兰扎托 2 Jean-François拉斯金 2 阿莱西奥·桑塔马利亚 2 马克西米利安·施伦德 2 马库斯·施密德。 2 所罗门·西克特 2 大卫·索洛维奇克 2 阿姆丽塔·苏雷什 2 格雷戈伊尔·萨特雷 2 佩德罗·瓦莱罗 2 赫尔穆特·维思 2 约瑟夫·威德 2 周，Ti 1 阿克西，S。 1 本杰明·阿米诺夫 1 阿萨亚，斯尼格达 1 康斯坦丁诺斯·阿塔纳西奥 1 乔治·巴赫迈耶 1 白、云君 1 拜尔，克里斯特尔 1 David A.Basin。 1 帕斯卡·鲍曼 1 最好的，艾克 1 德文德拉·巴韦 1 奥利维尔·伯内兹 1 帕特里夏·鲍耶 1 托马斯·布拉兹迪尔 1 斯尔詹·卡普昆 1 Supratik查克拉博蒂 1 克里希南德·查特吉 1 陈哲 1 利迪亚·切尔尼戈夫斯卡娅 1 德米特里五世·奇斯蒂科夫。 1 尼科莱塔·科科 1 马克西米利安·科朗格 1 帕特里克·库索特 1 拉迪亚·库索特 …还有142位作者 全部的 前5名15篇连载文章中引用 9 信息与计算 9 计算机科学中的逻辑方法 7 理论计算机科学 5 系统设计中的形式化方法 三 信息处理信函 三 MSCS公司。计算机科学中的数学结构 三 逻辑程序设计理论与实践 三 自然计算 2 信息学报 2 分布式计算 2 计算机基础理论 1 人工智能 1 计算 1 自动推理杂志 1 国际计算机科学基础杂志 全部的 前5名11个领域引用 131 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 一般拓扑结构（54至XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文