编辑配置文件（在新选项卡中打开） 罗伯塔·戈里 合著者距离 作者ID： 戈里·罗贝塔 发布日期： 罗伯塔·戈里；R.戈里。 已编制索引的文档： 47出版物自1996年起 合著者： 31位合著者具有42联合出版物 441位合作作者 全部的 前5名合著者 4 单作者的 14 弗兰西斯卡，李维 12 保罗·米拉佐 10 罗伯托·巴布蒂 10 乔治·列维 5 罗伯托·巴格纳拉 5 罗伯托·布鲁尼 5 马可·科米尼 4 博迪，恰拉 三 琳达·布罗多 三 帕特里夏·M·希尔。 三 埃纳州扎法内拉 2 安娜·伯纳斯科尼 2 罗伯托·贾科巴齐 2 Damas P.格鲁斯卡。 2 戴安娜·赫米思 2 保罗·沃尔佩 1 弗拉维奥·阿斯卡里 1 阿布拉莫·巴格纳拉 1 安德烈亚·贝尔尼尼 1 伊丽莎·贝尔蒂诺 1 法比奥·比塞利 1 波夫，帕斯夸尔 1 佛朗哥·卡莱加蒂 1 卡利埃、马蒂厄 1 卡塔尼亚，芭芭拉 1 米歇尔·齐亚里 1 阿莱西奥·科莱塔 1 弗朗索瓦·法赫斯 1 莫雷诺，法拉斯基 1 阿尔诺·哥特利布 1 尼古拉·马尼尼 1 露西娅·纳斯蒂 1 普雷塞皮，P。 1 萨切蒂，M。 全部的 前5名系列 7 理论计算机科学 三 计算机基础理论 2 信息与计算 1 信息学报 1 计算机与系统科学杂志 1 计算机程序设计科学 1 计算的形式方面 1 逻辑与计算杂志 1 约束条件 1 信息计算杂志 1 软计算 1 意大利马特马提卡联盟（Bollettino della Unione Matematica Italiana）。第八系列。Sezione A.La Matematica nella Societàe nella Cultura公司 1 逻辑程序设计理论与实践 1 膜计算杂志 领域 46 计算机科学（68至XX） 13 生物学和其他自然科学（92-XX） 2 数值分析（65-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用168中的次67文件 引用人▼ 年份▼ 调查反应系统中的动态因果关系。 Zbl 1336.68065号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 22 2016 具有上下文属性的反应系统的专用预测器。 Zbl 1373.68217号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 17 2016 反应系统的广义背景：动态因果关系的定义和研究。 Zbl 1390.68301号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 13 2018 膜相互作用因果特性分析。 兹比尔1337.68100 博迪，恰拉；罗伯塔·戈里；弗兰西斯卡，李维 10 2013 证明生物系统时间特性的分析。 Zbl 1168.68438号 罗伯塔·戈里；弗兰西斯卡，李维 10 2006 基于抽象解释的生物环境时间特性验证。 Zbl 1205.68244号 罗伯塔·戈里；弗兰西斯卡，李维 10 2010 膜结石的原因静态分析。 Zbl 1327.68099号 博迪，恰拉；罗伯塔·戈里；弗兰西斯卡，李维 10 2015 BioAmbients的新发生计数分析。 Zbl 1159.68368号 罗伯塔·戈里；弗兰西斯卡，李维 7 2005 多集合模式及其在膜系统动态因果关系中的应用。 Zbl 1497.68184号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 7 2018 平板膜系统的预测器。 Zbl 1394.68138号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 6 2018 膜计算的静态分析，提供全局发生计数信息。 Zbl 1383.92032号 博迪，C。；布罗多，L。；R.戈里。；列维，F。；A.贝尔尼尼。；D.赫米思。 5 2017 膜结石的整体发生计数分析。 Zbl 1417.68118号 博迪，恰拉；琳达·布罗多；罗伯塔·戈里；戴安娜·赫米思；弗兰西斯卡，李维 4 2015 计算反应系统中的前像和祖先。 Zbl 1522.68204号 罗伯托·巴布蒂；安娜·伯纳斯科尼；罗伯塔·戈里；保罗·米拉佐 4 2018 基因调控网络建模方法综述：从微分方程到布尔和定性生物启发模型。 Zbl 1469.92053号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐；露西娅·纳斯蒂 4 2020 关于有限失效的验证。 Zbl 0953.68083号 罗伯塔·戈里；乔治·列维 三 1999 利用二进制浮点表示进行约束传播。 Zbl 1357.68010号 罗伯托·巴格纳拉；卡利埃、马蒂厄；罗伯塔·戈里；阿尔诺·哥特利布 三 2016 通过基于公式的预测因子研究反应系统的不透明度。 Zbl 1412.68059号 罗伯塔·戈里；达马斯·格鲁斯卡；保罗·米拉佐 三 2019 将布尔网络编码到反应系统中，用于研究基因调控中的因果依赖性。 Zbl 1512.92024号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 三 2021 基于抽象解释的逻辑程序验证。 Zbl 0966.68034号 马可·科米尼；罗伯塔·戈里；乔治·列维；保罗·沃尔佩 2 1999 基于抽象解释的逻辑程序验证。 Zbl 1071.68531号 马可·科米尼；罗伯塔·戈里；乔治·列维；保罗·沃尔佩 2 2003 有限失效是和复合的。 Zbl 0892.68016号 罗伯塔·戈里；乔治·列维 2 1997 一个抽象的解释框架，用于推理有限失败和有限和无限计算的其他属性。 Zbl 1051.68103号 罗伯塔·戈里 2 2003 正常约束逻辑程序的语义层次。 Zbl 1355.68034号 弗朗索瓦·法赫斯；罗伯塔·戈里 2 1996 使用抽象解释近似生物系统的概率行为。 Zbl 1283.92037号 阿莱西奥·科莱塔；罗伯塔·戈里；弗兰西斯卡，李维 2 2009 将阈值布尔网络编码到反应系统中，用于分析基因调控网络。 Zbl 1519.68084号 罗伯托·巴布蒂；波夫，帕斯夸尔；罗伯塔·戈里；达马斯·格鲁斯卡；弗兰西斯卡，李维；保罗·米拉佐 2 2021 有限失败推理的不动点语义。 Zbl 0951.68076号 罗伯塔·戈里 1 1999 用于有限树依赖关系的布尔函数。 Zbl 1275.68043号 罗伯托·巴格纳拉；埃纳州扎法内拉；罗伯塔·戈里；帕特里夏·M·希尔。 1 2001 逻辑程序终止的一种抽象解释方法。 Zbl 0988.68033号 罗伯塔·戈里 1 2000 基于约束逻辑的语言的有限元树分析。 Zbl 0997.68510号 罗伯托·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2001 类型抽象解释器的属性。 Zbl 1022.68076号 罗伯塔·戈里；乔治·列维 1 2003 基于约束逻辑的语言的有限元树分析。 兹比尔1088.68025 罗伯托·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2004 增强U-Datalog语言的表达能力。 Zbl 1066.68521号 伊丽莎·贝尔蒂诺；卡塔尼亚，芭芭拉；罗伯塔·戈里 1 2001 通过抽象解释进行类型推断和验证的实验。 Zbl 1057.68576号 罗伯塔·戈里；乔治·列维 1 2002 关于有限失效的验证。 Zbl 1105.68016号 罗伯塔·戈里；乔治·列维 1 2005 证明生物系统概率终止的分析。 Zbl 1294.92019年 罗伯塔·戈里；弗兰西斯卡，李维 1 2013 逻辑程序作为逻辑程序归纳验证中的规范。 Zbl 1263.68034号 马可·科米尼；罗伯塔·戈里；乔治·列维 1 2001 逻辑程序的基于断言的归纳验证方法。 Zbl 1264.68110号 马可·科米尼；罗伯塔·戈里；乔治·列维 1 2001 针对抽象模型检查攻击的代码混淆。 Zbl 1446.68028号 罗伯托·布鲁尼；罗伯托·贾科巴齐；罗伯塔·戈里 1 2018 将布尔网络编码到反应系统中，用于研究基因调控中的因果依赖性。 Zbl 1512.92024号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 三 2021 将阈值布尔网络编码到反应系统中，用于分析基因调控网络。 Zbl 1519.68084号 罗伯托·巴布蒂；波夫，帕斯夸尔；罗伯塔·戈里；达马斯·格鲁斯卡；弗兰西斯卡，李维；保罗·米拉佐 2 2021 基因调控网络建模方法综述：从微分方程到布尔和定性生物启发模型。 Zbl 1469.92053号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐；露西娅·纳斯蒂 4 2020 通过基于公式的预测因子研究反应系统的不透明度。 Zbl 1412.68059号 罗伯塔·戈里；达马斯·格鲁斯卡；保罗·米拉佐 三 2019 反应系统的广义背景：动态因果关系的定义和研究。 兹比尔1390.68301 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 13 2018 多集模式及其在膜系统动态病死率中的应用。 Zbl 1497.68184号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 7 2018 平板膜系统的预测器。 Zbl 1394.68138号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 6 2018 计算反应系统中的前像和祖先。 Zbl 1522.68204号 罗伯托·巴布蒂；安娜·伯纳斯科尼；罗伯塔·戈里；保罗·米拉佐 4 2018 针对抽象模型检查攻击的代码混淆。 Zbl 1446.68028号 罗伯托·布鲁尼；罗伯托·贾科巴齐；罗伯塔·戈里 1 2018 膜计算的静态分析，提供全局发生计数信息。 Zbl 1383.92032号 博迪，C。；布罗多，L。；R.戈里。；列维，F。；A.贝尔尼尼。；D.赫米思。 5 2017 调查反应系统中的动态因果关系。 Zbl 1336.68065号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 22 2016 具有上下文属性的反应系统的专用预测器。 Zbl 1373.68217号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 17 2016 利用二进制浮点表示进行约束传播。 Zbl 1357.68010号 罗伯托·巴格纳拉；卡利埃、马蒂厄；罗伯塔·戈里；阿尔诺·哥特利布 三 2016 膜结石的原因静态分析。 Zbl 1327.68099号 博迪，恰拉；罗伯塔·戈里；弗兰西斯卡，李维 10 2015 膜结石的整体发生计数分析。 Zbl 1417.68118号 博迪，恰拉；琳达·布罗多；罗伯塔·戈里；戴安娜·赫米思；弗兰西斯卡，李维 4 2015 膜相互作用因果特性分析。 兹比尔1337.68100 博迪，恰拉；罗伯塔·戈里；弗兰西斯卡，李维 10 2013 证明生物系统概率终止的分析。 Zbl 1294.92019年 罗伯塔·戈里；弗兰西斯卡，李维 1 2013 基于抽象解释的生物环境时间特性验证。 Zbl 1205.68244号 罗伯塔·戈里；弗兰西斯卡，李维 10 2010 使用抽象解释近似生物系统的概率行为。 Zbl 1283.92037号 阿莱西奥·科莱塔；罗伯塔·戈里；弗兰西斯卡，李维 2 2009 证明生物系统时间特性的分析。 Zbl 1168.68438号 罗伯塔·戈里；弗兰西斯卡，李维 10 2006 BioAmbients的新发生计数分析。 Zbl 1159.68368号 罗伯塔·戈里；弗兰西斯卡，李维 7 2005 关于有限失效的验证。 Zbl 1105.68016号 罗伯塔·戈里；乔治·列维 1 2005 基于约束逻辑的语言的有限元树分析。 Zbl 1088.68025号 罗伯托·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2004 基于抽象解释的逻辑程序验证。 Zbl 1071.68531号 马可·科米尼；罗伯塔·戈里；乔治·列维；保罗·沃尔佩 2 2003 一个抽象的解释框架，用于推理有限失败和有限和无限计算的其他属性。 Zbl 1051.68103号 罗伯塔·戈里 2 2003 类型抽象解释器的属性。 Zbl 1022.68076号 罗伯塔·戈里；乔治·列维 1 2003 通过抽象解释进行类型推断和验证的实验。 Zbl 1057.68576号 罗伯塔·戈里；乔治·列维 1 2002 用于有限树依赖关系的布尔函数。 兹比尔1275.68043 罗伯托·巴格纳拉；埃纳州扎法内拉；罗伯塔·戈里；帕特里夏·M·希尔。 1 2001 基于约束逻辑的语言的有限元树分析。 Zbl 0997.68510号 罗伯托·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2001 增强U-Datalog语言的表达能力。 Zbl 1066.68521号 伊丽莎·贝尔蒂诺；卡塔尼亚，芭芭拉；罗伯塔·戈里 1 2001 逻辑程序作为逻辑程序归纳验证中的规范。 Zbl 1263.68034号 马可·科米尼；罗伯塔·戈里；乔治·列维 1 2001 逻辑程序的基于断言的归纳验证方法。 Zbl 1264.68110号 马可·科米尼；罗伯塔·戈里；乔治·列维 1 2001 逻辑程序终止的一种抽象解释方法。 Zbl 0988.68033号 罗伯塔·戈里 1 2000 关于有限失效的验证。 Zbl 0953.68083号 罗伯塔·戈里；乔治·列维 三 1999 基于抽象解释的逻辑程序验证。 Zbl 0966.68034号 马可·科米尼；罗伯塔·戈里；乔治·列维；保罗·沃尔佩 2 1999 有限失败推理的不动点语义。 Zbl 0951.68076号 罗伯塔·戈里 1 1999 有限失效是和复合的。 Zbl 0892.68016号 罗伯塔·戈里；乔治·列维 2 1997 正常约束逻辑程序的语义层次。 Zbl 1355.68034号 弗朗索瓦·法赫斯；罗伯塔·戈里 2 1996 所有引用出版物 前5名被引用出版物 全部的 前5名被100位作者引用 22 罗伯塔·戈里 11 弗兰西斯卡，李维 11 保罗·米拉佐 10 罗伯托·巴布蒂 9 莫雷诺，法拉斯基 7 琳达·布罗多 6 博迪，恰拉 5 罗伯托·布鲁尼 5 马可·科米尼 5 戴安娜·赫米思 5 Teh，Wen Chean先生 4 乔治·列维 三 罗伯托·巴格纳拉 三 安娜·伯纳斯科尼 三 戴维·齐亚鲁吉 三 卢卡·曼佐尼（Luca E.Manzoni）。 三 卡洛斯·奥拉特 三 格列泽戈兹·罗森贝格 2 艾尔维拉·阿尔伯特 2 玛丽亚·阿尔普特 2 阿曼，博格丹 2 阿德里安·阿塔纳修 2 安德烈亚·贝尔尼尼 2 波夫，帕斯夸尔 2 科雷亚，弗朗西斯科·何塞 2 罗伯托·贾科巴齐 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 马西耶·库特尼 2 安东尼奥·波雷卡（Antonio E.Porreca）。 2 德国普埃布拉 2 圭多·斯卡纳 1 埃琳娜·艾克利。 1 阿提姆·阿尔哈佐夫 1 马克·安德隆 1 西奥多·安德洛尼科斯 1 罗科·阿斯康 1 乔瓦尼·巴奇 1 阿布拉莫·巴格纳拉 1 黛米斯·巴利斯 1 尼古拉·贝内什 1 朱利亚·贝尔纳迪尼 1 法比奥·比塞利 1 安娜丽莎·博西 1 保罗·波托尼 1 安德烈亚·克拉克·布拉夏利 1 卢博什·布里姆 1 卡利埃、马蒂厄 1 陈、蔡烨 1 米歇尔·齐亚里 1 Choo，Sangmok先生 1 加布里埃尔·乔巴努 1 阿莱西奥·科莱塔 1 费卢西奥·达米亚尼 1 迪加诺，皮尔保罗 1 贝诺·德拉哈耶 1 阿尔贝托·丹尼恩齐奥 1 恩里科·福门蒂 1 斯蒂芬妮·福雷斯特 1 鲁道夫·弗伦德 1 毛里齐奥·加布里埃利 1 达妮埃拉·热那瓦 1 康斯坦蒂诺斯·吉安娜基斯 1 阿尔诺·哥特利布 1 Damas P.格鲁斯卡。 1 帕特里夏·M·希尔。 1 亨德里克·扬（Hendrik Jan），胡格布姆（Hoogeboom） 1 塞尔吉·伊万诺夫 1 金英熙 1 码头Kleijn 1 安娜·拉布拉 1 林强尼 1 法布里奇奥·卢西奥 1 玛丽亚·希亚拉（Maria Chiara Meo） 1 露西娅·纳斯蒂 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 阮建忠 1 苏珊娜·尼娃 1 富美亚大久保 1 艾琳·奥特罗·穆拉斯 1 琳达·帕格利 1 曼纽尔·帕哈罗 1 卡图西亚帕拉米德斯 1 乔瓦尼·帕迪尼 1 塞缪尔·帕斯特瓦 1 Marta Pietkiewicz-Koutny 1 佐尼察·普罗丹诺夫 1 弗朗西斯科·兰扎托 1 吉列尔莫·罗曼·迪兹 1 戴维·鲁奇 1 费尔南多·Sáenz-Pérez 1 萨夫拉内克，大卫 1 詹姆·桑切斯·埃尔南德斯 1 伊娃·什米亚科娃 1 瓜博尔·塞德克内伊 1 埃里克·特里亚斯 1 瓦基，米哈利A。 1 塞缪尔·弗雷奇 1 亚历山大五世·雅科夫列夫。 1 高石横森 1 埃纳州扎法内拉 全部的 前5名17篇连载文章中引用 17 理论计算机科学 7 膜计算杂志 6 信息与计算 2 计算的形式方面 2 计算机基础理论 2 自然计算 1 信息学报 1 数学生物学通报 1 计算机与系统科学杂志 1 新一代计算 1 自动推理杂志 1 国际计算机科学基础杂志 1 约束条件 1 信息计算杂志 1 软计算 1 泰国数学杂志 1 应用数学与信息学杂志 全部的 前5名10个领域引用 61 计算机科学（68至XX） 22 生物学和其他自然科学（92-XX） 三 数学逻辑和基础（03-XX） 三 数值分析（65-XX） 2 概率论与随机过程（60-XX） 2 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37至XX） 1 积分方程（45-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文