编辑配置文件（在新选项卡中打开） 马可·皮斯托雷 合著者距离 作者ID： 皮斯托雷·马尔科 发布日期： 马可·皮斯托雷;M·皮斯托尔。 已编制索引的文档： 23出版物自1997年起 1名编辑贡献 合著者： 30位合著者具有24联合出版物 881位联合作者 全部的 前5名合著者 0 单作者的 6 乌戈·蒙塔纳里。 5 马可·罗维里 4 亚历山德罗·西马蒂 4 吉安·路易吉，法拉利 4 保罗·特拉弗索 三 弗拉维奥·科拉迪尼 三 罗伯托·塞巴斯蒂亚尼 2 恩里科Giunchilia 2 阿曼多·塔切拉 1 马可·艾略 1 保罗·巴斯塔 1 Ciancia，文森佐 1 克拉克（Edmund Melson jun Clarke）。 1 Danail A.Dochev。 1 福斯托·金奇利亚 1 阿列克谢·戈茨曼 1 马尔特·赫尔默特 1 霍夫曼，约格 1 拉曼·卡扎米亚金 1 乌古尔·库特 1 法比奥·马萨奇 1 瑙，达纳 1 阿利亚克谢·诺维考 1 迈克·帕帕佐格鲁（Mike P.Papazoglou）。 1 安娜·佩里尼 1 戴维·桑吉奥吉 1 卢西亚诺·塞拉菲尼 1 埃米利奥·托斯托 1 莫西·亚亚科夫·瓦尔迪 1 杨健 全部的 前5名系列 2 人工智能 2 理论计算机科学 2 人工智能研究杂志 1 信息学报 1 信息与计算 1 计算机科学课堂讲稿 领域 24 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用281次228文件 引用人▼ 年份▼ NuSMV 2：用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科Giunchilia;福斯托·金奇利亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 114 2002 通过符号模型检查进行弱、强和强循环规划。 Zbl 1082.68800号 A.西马蒂。;M·皮斯托尔。;M.罗维里。;特拉弗索，P。 42 2003 历史相关自动机简介。 Zbl 0925.68289号 乌戈·蒙塔纳里;马可·皮斯托雷 32 1997 结构余代数和\（\pi\）-演算的最小HD-自动机。 Zbl 1077.68065号 乌戈·蒙塔纳里;马可·皮斯托雷 20 2005 \（pi）-演算、结构化余代数和最小HD-自动机。 Zbl 0996.68125号 乌戈·蒙塔纳里;马可·皮斯托雷 14 2000 最小化传递名字计算的转换系统：一个联合代数公式。 兹比尔1077.68716 Gianluigi法拉利;乌戈·蒙塔纳里;马可·皮斯托雷 14 2002 抽象状态上的任务分解，用于不确定性下的规划。 Zbl 1191.68636号 乌古尔·库特;瑙，达纳;马可·皮斯托雷;保罗·特拉弗索 7 2009 历史-保护互模拟的最小转换系统。 Zbl 1498.68190号 乌戈·蒙塔纳里;马可·皮斯托雷 7 1997 偏序系统的历史相关验证。 兹伯利0883.68099 乌戈·蒙塔纳里;马可·皮斯托雷 6 1997 分析web服务编排的实现条件。 Zbl 1225.68032号 拉曼·卡扎米亚金;马可·皮斯托雷 6 2006 用于\（\pi\）-演算的分区细化算法。 Zbl 1003.68082号 马可·皮斯托雷;戴维·桑吉奥吉 三 2001 在时间计算中急切等待的懒惰行为？ Zbl 0911.68116号 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 三 1997 改进LTL模型校验到SAT的编码。 Zbl 1057.68056号 亚历山德罗·西马蒂;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼 三 2002 集成了基于BDD和基于SAT的符号模型检查。 Zbl 1057.68623号 亚历山德罗·西马蒂;恩里科Giunchilia;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 三 2002 “闭区间过程代数”与“区间过程代数“。 Zbl 0977.68061号 弗拉维奥·科拉迪尼;马可·皮斯托雷 三 2001 基于消息的web服务组合、完整性约束和不确定性下的规划：新连接。 Zbl 1184.68072号 霍夫曼，J。;贝尔托利，P。;M.赫尔默特。;M·皮斯托尔。 2 2009 关于持续动作的语义。 Zbl 0983.68116号 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 1 2001 基于规划和约束满足的web服务请求语言。 Zbl 1019.68637号 M.Aiello。;迈克·帕帕佐格鲁（Mike P.Papazoglou）。;杨健;M.卡曼。;M·皮斯托尔。;塞拉菲尼，L。;特拉弗索，P。 1 2002 抽象状态下的任务分解，用于非确定性规划。 Zbl 1191.68636号 乌古尔·库特;瑙，达纳;马可·皮斯托雷;保罗·特拉弗索 7 2009 基于消息的web服务组合、完整性约束和不确定性下的规划：新连接。 Zbl 1184.68072号 霍夫曼，J。;伯托利，P。;M.赫尔默特。;皮斯托雷，M。 2 2009 分析web服务编排的实现条件。 Zbl 1225.68032号 拉曼·卡扎米亚金;马可·皮斯托雷 6 2006 结构余代数和\（\pi\）-演算的最小HD-自动机。 Zbl 1077.68065号 乌戈·蒙塔纳里;马可·皮斯托雷 20 2005 通过符号模型检查进行弱、强和强循环规划。 Zbl 1082.68800号 A.西马蒂。;M·皮斯托尔。;M.罗维里。;特拉弗索，P。 42 2003 NuSMV 2：用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科Giunchilia;福斯托·金奇利亚;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 114 2002 最小化传递名字计算的转换系统：一个联合代数公式。 Zbl 1077.68716号 Gianluigi法拉利;乌戈·蒙塔纳里;马可·皮斯托雷 14 2002 改进LTL模型校验到SAT的编码。 Zbl 1057.68056号 亚历山德罗·西马蒂;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼 三 2002 集成了基于BDD和基于SAT的符号模型检查。 Zbl 1057.68623号 亚历山德罗·西马蒂;恩里科Giunchilia;马可·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 三 2002 基于规划和约束满足的web服务请求语言。 兹比尔1019.68637 M.Aiello。;迈克·帕帕佐格鲁（Mike P.Papazoglou）。;杨健;M.卡曼。;M·皮斯托尔。;塞拉菲尼，L。;特拉弗索，P。 1 2002 用于\（\pi\）-演算的分区细化算法。 Zbl 1003.68082号 马可·皮斯托雷;戴维·桑吉奥吉 三 2001 “闭区间过程代数”与“区间过程代数“。 Zbl 0977.68061号 弗拉维奥·科拉迪尼;马可·皮斯托雷 三 2001 关于持续动作的语义。 Zbl 0983.68116号 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 1 2001 \（pi）-演算、结构化余代数和最小HD-自动机。 兹比尔0996.68125 乌戈·蒙塔纳里;马可·皮斯托雷 14 2000 历史相关自动机简介。 Zbl 0925.68289号 乌戈·蒙塔纳里;马可·皮斯托雷 32 1997 历史-保护互模拟的最小转换系统。 Zbl 1498.68190号 乌戈·蒙塔纳里;马可·皮斯托雷 7 1997 偏序系统的历史相关验证。 Zbl 0883.68099号 乌戈·蒙塔纳里;马可·皮斯托雷 6 1997 在时间计算中急切等待的懒惰行为？ 兹伯利0911.68116 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 三 1997 所有引用出版物 前5名被引用出版物 全部的 前5名492位作者引用 14 乌戈·蒙塔纳里。 7 Ciancia，文森佐 7 吉安·路易吉，法拉利 7 莫西·亚亚科夫·瓦尔迪 6 亚历山德罗·西马蒂 6 马蒂奥·桑马蒂诺 5 玛丽安·盖奥吉 5 萨瓦斯·科努尔 5 马可·皮斯托雷 5 马可·罗维里 4 保罗·巴尔丹 4 罗伯托·布鲁尼 4 迪加诺，皮尔保罗 4 罗伯托·戈里埃里 4 佛罗伦萨伊帕特 4 保罗·特拉弗索 三 瓦夏克·贝勒 三 皮耶乔治·贝尔托利 三 菲利波·邦奇 三 布莱·博内 三 卢博什·布里姆 三 巴斯米，玛丽亚·格拉齐亚 三 Jean-Paul彗星 三 库克，拜伦 三 弗拉维奥·科拉迪尼 三 尼古拉·吉甘特 三 亚历山大·库兹 三 拉卢卡左翼 三 克劳迪奥·蒙吉 三 安吉洛·蒙塔纳里 三 瑙，达纳 三 马克·亚历山大·雷诺兹 三 索菲涅·塔哈尔 三 Stefano托内塔 2 阿贝德，赛义德 2 奥特曼·阿伊特·穆罕默德 2 尼古拉·贝内什 2 安娜·伯纳斯科尼 2 阿明·比尔 2 博尔祖·博纳克达尔普尔 2 西蒙·巴斯德 2 罗迪卡·塞特基 2 肯塔·乔 2 赫莱内·科拉维扎 2 帕拉布·达斯古普塔 2 朱塞佩·德贾科莫 2 雷蒙德·魔鬼队 2 克莱尔·狄克逊 2 段振华 2 吕迪格·埃勒斯 2 弗朗索瓦·法赫斯 2 Faghih、Fathiyeh 2 法比奥·加杜奇 2 赫克托·格夫纳 2 莱蒂蒂亚·吉巴特 2 丹尼尔·格纳德 2 一郎·哈索 2 何希明 2 霍夫曼，约格 2 乌尔里希·赫斯塔特 2 尼尔·伊梅尔曼 2 瑞典雅各布斯 2 Max Iosifovich，卡诺维奇 2 Toshiki Kataoka 2 汉娜·克劳代尔 2 巴巴拉·科尼格 2 丹尼尔·科宁 2 乌古尔·库特 2 劳尔·安德烈斯·利尔 2 李建文 2 卢赫·拉富恩特，阿尔贝托 2 罗向玉 2 罗兰·梅耶 2 吉安卢卡·梅泽蒂 2 纳哈尔·米尔扎伊 2 亚辛·莫赫塔里 2 塞尔吉奥·莫弗 2 尼古列斯库，伊奥努ţMihai 2 安德烈亚·奥兰迪尼 2 乔尔·欧·瓦克宁。 2 塞缪尔·帕斯特瓦 2 法比奥·帕特里齐 2 查尔斯·佩彻 2 弗雷德里克·佩申斯基 2 Daniela Luan Petrisan 2 浦、葛光 2 布莱克·罗林斯。 2 亚历山德罗·玛丽亚·里齐 2 阿卜杜拉·萨菲丁 2 萨夫拉内克，大卫 2 塞巴斯蒂安·萨迪纳 2 安德烈·希珀 2 维克多·舒潘 2 鲍拉·斯波莱蒂尼 2 斯利瓦斯塔瓦（Siddharth Srivastava） 2 萨姆·斯塔顿 2 罗尼·斯特恩 2 苏凯乐 2 田聪 2 筑谷由纪夫（Tatsuhiro Tsuchiya） …还有392名作者 全部的 前5名36篇连载文章中引用 24 人工智能 24 理论计算机科学 17 系统设计中的形式化方法 11 计算的形式方面 10 信息与计算 9 信息学报 6 程序设计中的逻辑和代数方法杂志 4 自动推理杂志 4 离散事件动态系统 三 计算机与系统科学杂志 三 计算机程序设计科学 三 人工智能研究杂志 三 逻辑与代数程序设计杂志 2 计算机科学与技术杂志 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑事务 2 应用逻辑杂志 2 计算机科学前沿 2 膜计算杂志 1 信息处理信件 1 Studia Logica公司 1 国际近似推理杂志 1 国际计算机科学基础杂志 1 分布式计算 1 控制论与系统分析 1 数学与人工智能年鉴 1 约束条件 1 工程中的数学问题 1 计算系统理论 1 美国医学会杂志 1 混乱 1 高阶和符号计算 1 应用数学杂志 1 中国科学。F系列 1 计算机科学中的逻辑方法 1 计算机科学评论 全部的 前5名13个领域引用 214 计算机科学（68至XX） 45 数学逻辑和基础（03-XX） 10 生物学和其他自然科学（92-XX） 7 范畴理论；同调代数（18-XX） 7 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 系统论；控制（93至XX） 5 运筹学、数学规划（90-XX） 三 历史和传记（01-XX） 2 组合数学（05-XX） 2 动力系统和遍历理论（37至XX） 1 有序，格，有序代数结构（06-XX） 1 概率论与随机过程（60-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文