编辑配置文件（在新选项卡中打开） 罗伯托·巴布蒂 合著者距离 作者ID： 巴布提·罗贝托 发布日期： 罗伯托·巴布蒂；Barbuti，R。 已编制索引的文档： 75出版物自1980年以来 合著者： 41位合著者具有72联合出版物 542合著作者 全部的 前5名合著者 1 单作者的 49 保罗·米拉佐 31 安德烈亚·马吉奥洛·谢蒂尼 11 乔瓦尼·帕迪尼 10 尼科莱塔·德·弗朗西斯科 10 罗伯塔·戈里 10 西蒙·蒂尼 8 卢卡·特塞 8 安吉洛·特洛伊娜 7 弗兰西斯卡，李维 7 安东内拉·桑顿 5 朱利奥·卡拉瓦格纳 4 帕斯奎尔·博韦 4 Maurizio Martelli 4 吉利奥拉·瓦格利尼 三 斯特凡诺·卡塔提拉 三 罗伯托·贾科巴齐 三 保罗·曼卡雷拉 三 圭多·斯卡纳 2 辛齐亚·伯纳德斯基 2 安娜·伯纳斯科尼 2 迈克尔·科迪什 2 Damas P.格鲁斯卡。 2 佩德雷希·迪诺 2 佛朗哥·都灵 1 阿奎拉诺，C。 1 博切蒂，P。 1 亚历山德罗·蓬帕德雷 1 安东尼奥·塞隆 1 达内西、罗马诺 1 安东尼拉·德尔·科尔索 1 马尔齐亚·德尔雷 1 马里亚纽拉州Dezani-Ciancaglini 1 阿尔贝托·德奥诺弗里奥 1 丹尼尔·莱普里 1 乔治·列维 1 迈克尔·马赫（Michael J.Maher）。 1 翁贝托·穆拉 1 露西娅·纳斯蒂 1 奥雷利亚诺·拉玛 1 萨明、希玛 1 保罗·提贝里 全部的 前5名系列 15 计算机基础理论 12 理论计算机科学 三 信息学报 三 计算机程序设计科学 2 信息处理信件 2 国际计算机科学基础杂志 2 理论生物学杂志 1 《计算机杂志》。A部分/B部分 1 计算机与系统科学杂志 1 逻辑程序设计杂志 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 软计算 1 生物系统杂志 1 逻辑与代数程序设计杂志 1 自然计算 1 膜计算杂志 全部的 前5名领域 67 计算机科学（68至XX） 32 生物学和其他自然科学（92-XX） 2 概率论与随机过程（60-XX） 1 历史和传记（01-XX） 1 数学逻辑和基础（03-XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 59出版物有被引用344中的次186文件 引用人▼ 年份▼ 免疫系统通过随机振荡抑制肿瘤。 Zbl 1460.92047号 朱利奥·卡拉瓦格纳；阿尔贝托·德奥诺弗里奥；保罗·米拉佐；罗伯托·巴布蒂 26 2010 调查反应系统中的动态因果关系。 Zbl 1336.68065号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 22 2016 用于模拟微生物系统的循环序列演算。 Zbl 1101.92021号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 18 2006 具有上下文属性的反应系统的专用预测器。 Zbl 1373.68217号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 17 2016 逻辑编程中否定的转换方法。 Zbl 0796.68056号 罗伯托·巴布蒂；保罗·曼卡雷拉；佩德雷希·迪诺；佛朗哥·都灵 16 1990 过渡系统的选择性微积分和基于公式的等价。 Zbl 0958.68122号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；吉利奥拉·瓦格利尼 13 1999 反应系统的广义背景：动态因果关系的定义和研究。 兹比尔1390.68301 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 13 2018 空间P系统。 Zbl 1213.68256号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼；卢卡·特塞 12 2011 P系统的组合语义和行为等价。 兹比尔1145.68033 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 11 2008 结石模拟膜中的相互模拟。 Zbl 1152.68035号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 11 2008 循环序列演算中的互模拟同余。 Zbl 1168.68435号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 10 2006 循环序列的空间演算。 Zbl 1230.92002年 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼 8 2011 膜计算中的操作语义概述。 Zbl 1213.68357号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 8 2011 脉冲神经P系统的合成语义。 兹比尔1208.68123 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 8 2010 逻辑编程中的自下而上多态类型推理。 Zbl 0774.68024号 罗伯托·巴布蒂；罗伯托·贾科巴齐 7 1992 P系统保持逐步行为的平面形式。 Zbl 1154.68048号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 7 2008 具有限制的反应系统的组成语义和行为等效性。 Zbl 1360.68574号 乔瓦尼·帕迪尼；罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 7 2014 一类逻辑程序的SLDNF解析的完整性。 Zbl 0595.68016号 Barbuti，R。；马泰利，M。 7 1986 细胞通路建模和模拟中循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；保罗·提贝里；安吉洛·特洛伊娜 7 2008 多集模式及其在膜系统动态病死率中的应用。 Zbl 1497.68184号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 7 2018 平板膜系统的预测器。 Zbl 1394.68138号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 6 2018 用过程代数对生物系统进行多尺度建模的基础方面。 Zbl 1238.68093号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 6 2012 分子系统的概率模型。 Zbl 1096.68101号 罗伯托·巴布蒂；斯特凡诺·卡塔提拉；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 5 2005 循环序列的空间演算。 Zbl 1283.92024号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼 5 2009 生物系统的延迟随机模拟：一种纯延迟方法。 Zbl 1326.92026号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐 5 2011 生态系统建模的最小概率P系统。 Zbl 1333.92068号 罗伯托·巴布蒂；帕斯奎尔·博韦；保罗·米拉佐；乔瓦尼·帕迪尼 5 2015 带有限制的反应系统的合成语义。 Zbl 1387.68115号 乔瓦尼·帕迪尼；罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 5 2013 计算反应系统中的前像和祖先。 Zbl 1522.68204号 罗伯托·巴布蒂；安娜·伯纳斯科尼；罗伯塔·戈里；保罗·米拉佐 4 2018 带有紧急转换的定时自动机。 兹比尔1072.68053 罗伯托·巴布蒂；卢卡·特塞 4 2004 空间P系统模型的模拟。 Zbl 1358.68098号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼 4 2014 具有传输和扩散膜通道的P系统。 兹比尔1191.68315 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 4 2009 基因调控网络建模方法综述：从微分方程到布尔和定性生物启发模型。 Zbl 1469.92053号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐；露西娅·纳斯蒂 4 2020 逻辑程序的内涵否定：实例和实现技术。 兹比尔0634.68005 罗伯托·巴布蒂；保罗·曼卡雷拉；佩德雷希·迪诺；佛朗哥·都灵 三 1987 时间自动机的不干涉概念。 Zbl 1003.68100号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；卢卡·特塞 三 2002 多集重写的最大并行概率语义。 Zbl 1232.68077号 罗伯托·巴布蒂；弗兰西斯卡，李维；保罗·米拉佐；圭多·斯卡纳 三 2011 动力学速率不确定生物系统的概率模型检验。 Zbl 1234.92020年 罗伯托·巴布蒂；弗兰西斯卡，李维；保罗·米拉佐；圭多·斯卡纳 三 2012 生物系统随机模拟的中间语言。 Zbl 1176.68095号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐 三 2009 静态语义正确性的结构化方法。 Zbl 0519.68015号 Barbuti，R。；A.马泰利。 三 1983 定时P自动机。 Zbl 1347.68127号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；卢卡·特塞 三 2009 模拟生物膜的循环序列演算。 Zbl 1137.68371号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 三 2007 将布尔网络编码到反应系统中，用于研究基因调控中的因果依赖性。 Zbl 1512.92024号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 三 2021 将阈值布尔网络编码到反应系统中，用于分析基因调控网络。 Zbl 1519.68084号 罗伯托·巴布蒂；帕斯奎尔·博韦；罗伯塔·戈里；达马斯·格鲁斯卡；弗兰西斯卡，李维；保罗·米拉佐 2 2021 Prolog的Oracle语义。 Zbl 1096.68583号 罗伯托·巴布蒂；迈克尔·科迪什；罗伯托·贾科巴齐；迈克尔·马赫（Michael J.Maher）。 2 1995 安全信息流操作语义的抽象解释。 Zbl 1044.68665号 Barbuti，R。；伯纳德斯基，C。；德弗朗西斯科，N。 2 2002 时间不干涉的决定性概念。 Zbl 1111.68497号 罗伯托·巴布蒂；卢卡·特塞 2 2003 动力学速率不确定生物系统的概率模型检验。 Zbl 1260.68226号 罗伯托·巴布蒂；弗兰西斯卡，李维；保罗·米拉佐；圭多·斯卡纳 2 2009 一种用于检查无困难逻辑程序和目标的工具。 Zbl 0715.68012号 罗伯托·巴布蒂；Maurizio Martelli 2 1989 P系统在种群生物学和生态学中的应用：MPP和APP系统的案例。 Zbl 1483.68110号 罗伯托·巴布蒂；帕斯奎尔·博韦；保罗·米拉佐；乔瓦尼·帕迪尼 2 2017 Prolog控件建模。 Zbl 0802.68026号 罗伯托·巴布蒂；迈克尔·科迪什；罗伯托·贾科巴齐；乔治·列维 1 1993 否定为失败。具有递归定义的Horn子句程序的查询求值过程的完整性。 Zbl 0642.68158号 阿奎拉诺，C。；Barbuti，R。；博切蒂，P。；马泰利，M。 1 1986 通过抽象解释分析汇编代码中的信息流属性。 Zbl 1090.68031号 罗伯托·巴布蒂；辛齐亚·伯纳德斯基；尼科莱塔·德·弗朗西斯科 1 2004 具有非瞬时动作的时间自动机。 Zbl 1004.68087号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；卢卡·特塞 1 2001 走向纯Prolog的逻辑语义。 Zbl 0942.68019号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；保罗·曼卡雷拉；安东内拉·桑顿 1 1998 用于模拟生物系统的中间语言。 Zbl 1279.92030号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐 1 2008 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂；马里亚纽拉州Dezani-Ciancaglini；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 1 2010 以生成和接受模式工作的膜系统：表达和编码。 Zbl 1259.68053号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 1 2010 归因概率P系统及其在灵长类社会互动建模中的应用。 Zbl 1461.92134号 罗伯托·巴布蒂；亚历山德罗·蓬帕德雷；帕斯奎尔·博韦；保罗·米拉佐；乔瓦尼·帕迪尼 1 2015 识别不易混淆的逻辑程序和目标。 Zbl 0726.68014号 罗伯托·巴布蒂；Maurizio Martelli 1 1990 结直肠癌KRAS突变耐药性的数学模型。 兹比尔1343.92244 萨明、希玛；罗伯托·巴布蒂；保罗·米拉佐；安东尼奥·塞隆；德尔雷，马尔齐亚；达内西、罗马诺 1 2016 将布尔网络编码到反应系统中，用于研究基因调控中的因果依赖性。 Zbl 1512.92024号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 三 2021 将阈值布尔网络编码到反应系统中，用于分析基因调控网络。 Zbl 1519.68084号 罗伯托·巴布蒂；帕斯奎尔·博韦；罗伯塔·戈里；达马斯·格鲁斯卡；弗兰西斯卡，李维；保罗·米拉佐 2 2021 基因调控网络建模方法综述：从微分方程到布尔和定性生物启发模型。 Zbl 1469.92053号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐；露西娅·纳斯蒂 4 2020 反应系统的广义背景：动态因果关系的定义和研究。 兹比尔1390.68301 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 13 2018 多集模式及其在膜系统动态病死率中的应用。 Zbl 1497.68184号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 7 2018 平板膜系统的预测器。 Zbl 1394.68138号 罗伯托·巴布蒂；罗伯塔·戈里；保罗·米拉佐 6 2018 计算反应系统中的前像和祖先。 Zbl 1522.68204号 罗伯托·巴布蒂；安娜·伯纳斯科尼；罗伯塔·戈里；保罗·米拉佐 4 2018 P系统在种群生物学和生态学中的应用：MPP和APP系统的案例。 Zbl 1483.68110号 罗伯托·巴布蒂；帕斯奎尔·博韦；保罗·米拉佐；乔瓦尼·帕迪尼 2 2017 调查反应系统中的动态因果关系。 Zbl 1336.68065号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 22 2016 具有上下文属性的反应系统的专用预测器。 Zbl 1373.68217号 罗伯托·巴布蒂；罗伯塔·戈里；弗兰西斯卡，李维；保罗·米拉佐 17 2016 结直肠癌KRAS突变所致耐药性的数学模型。 Zbl 1343.92244号 萨明、希玛；罗伯托·巴布蒂；保罗·米拉佐；安东尼奥·塞隆；马尔齐亚·德尔雷；达内西、罗马诺 1 2016 生态系统建模的最小概率P系统。 Zbl 1333.92068号 罗伯托·巴布蒂；帕斯奎尔·博韦；保罗·米拉佐；乔瓦尼·帕迪尼 5 2015 归因概率P系统及其在灵长类社会互动建模中的应用。 Zbl 1461.92134号 罗伯托·巴布蒂；亚历山德罗·蓬帕德雷；帕斯奎尔·博韦；保罗·米拉佐；乔瓦尼·帕迪尼 1 2015 具有限制的反应系统的组成语义和行为等效性。 Zbl 1360.68574号 乔瓦尼·帕迪尼；罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 7 2014 空间P系统模型的模拟。 Zbl 1358.68098号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼 4 2014 带有限制的反应系统的合成语义。 Zbl 1387.68115号 乔瓦尼·帕迪尼；罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 5 2013 用过程代数对生物系统进行多尺度建模的基础方面。 Zbl 1238.68093号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 6 2012 动力学速率不确定生物系统的概率模型检验。 Zbl 1234.92020年 罗伯托·巴布蒂；弗兰西斯卡，李维；保罗·米拉佐；圭多·斯卡纳 三 2012 空间P系统。 Zbl 1213.68256号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼；卢卡·特塞 12 2011 循环序列的空间演算。 Zbl 1230.92002年 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼 8 2011 膜计算中的操作语义概述。 Zbl 1213.68357号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 8 2011 生物系统的延迟随机模拟：一种纯延迟方法。 Zbl 1326.92026号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐 5 2011 多集重写的最大并行概率语义。 Zbl 1232.68077号 罗伯托·巴布蒂；弗兰西斯卡，李维；保罗·米拉佐；圭多·斯卡纳 三 2011 免疫系统通过随机振荡抑制肿瘤。 Zbl 1460.92047号 朱利奥·卡拉瓦格纳；d）；阿尔贝托·奥诺弗里奥；保罗·米拉佐；罗伯托·巴布蒂 26 2010 脉冲神经P系统的合成语义。 兹比尔1208.68123 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 8 2010 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂；马里亚纽拉州Dezani-Ciancaglini；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 1 2010 以生成和接受模式工作的膜系统：表达和编码。 Zbl 1259.68053号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 1 2010 循环序列的空间演算。 Zbl 1283.92024号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；乔瓦尼·帕迪尼 5 2009 具有传输和扩散膜通道的P系统。 兹比尔1191.68315 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 4 2009 生物系统随机模拟的中间语言。 Zbl 1176.68095号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐 三 2009 定时P自动机。 Zbl 1347.68127号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；卢卡·特塞 三 2009 动力学速率不确定生物系统的概率模型检验。 Zbl 1260.68226号 罗伯托·巴布蒂；弗兰西斯卡，李维；保罗·米拉佐；圭多·斯卡纳 2 2009 P系统的组合语义和行为等价。 兹比尔1145.68033 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 11 2008 结石模拟膜中的相互模拟。 Zbl 1152.68035号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 11 2008 P系统保持逐步行为的平面形式。 Zbl 1154.68048号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；西蒙·蒂尼 7 2008 细胞通路建模和模拟中循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；保罗·提贝里；安吉洛·特洛伊娜 7 2008 用于模拟生物系统的中间语言。 Zbl 1279.92030号 罗伯托·巴布蒂；朱利奥·卡拉瓦格纳；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐 1 2008 模拟生物膜的循环序列演算。 Zbl 1137.68371号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 三 2007 用于模拟微生物系统的循环序列演算。 Zbl 1101.92021号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 18 2006 循环序列演算中的互模拟同余。 Zbl 1168.68435号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 10 2006 分子系统的概率模型。 Zbl 1096.68101号 罗伯托·巴布蒂；斯特凡诺·卡塔提拉；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 5 2005 带有紧急转换的定时自动机。 Zbl 1072.68053号 罗伯托·巴布蒂；卢卡·特塞 4 2004 通过抽象解释分析汇编代码中的信息流属性。 Zbl 1090.68031号 罗伯托·巴布蒂；辛齐亚·伯纳德斯基；尼科莱塔·德·弗朗西斯科 1 2004 时间不干涉的决定性概念。 Zbl 1111.68497号 罗伯托·巴布蒂；卢卡·特塞 2 2003 时间自动机的不干涉概念。 Zbl 1003.68100号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；卢卡·特塞 三 2002 安全信息流操作语义的抽象解释。 Zbl 1044.68665号 Barbuti，R。；伯纳德斯基，C。；德弗朗西斯科，N。 2 2002 具有非瞬时动作的时间自动机。 Zbl 1004.68087号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；卢卡·特塞 1 2001 过渡系统的选择性微积分和基于公式的等价。 Zbl 0958.68122号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；吉利奥拉·瓦格利尼 13 1999 走向纯Prolog的逻辑语义。 Zbl 0942.68019号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；保罗·曼卡雷拉；安东内拉·桑顿 1 1998 Prolog的Oracle语义。 兹比尔1096.68583 罗伯托·巴布蒂；迈克尔·科迪什；罗伯托·贾科巴齐；迈克尔·马赫（Michael J.Maher）。 2 1995 Prolog控制建模。 兹比尔0802.68026 罗伯托·巴布蒂；迈克尔·科迪什；罗伯托·贾科巴齐；乔治·列维 1 1993 逻辑编程中的自下而上多态类型推理。 Zbl 0774.68024号 罗伯托·巴布蒂；罗伯托·贾科巴齐 7 1992 逻辑编程中否定的转换方法。 Zbl 0796.68056号 罗伯托·巴布蒂；保罗·曼卡雷拉；佩德雷希·迪诺；佛朗哥·都灵 16 1990 识别不易混淆的逻辑程序和目标。 Zbl 0726.68014号 罗伯托·巴布蒂；Maurizio Martelli 1 1990 一种用于检查无困难逻辑程序和目标的工具。 Zbl 0715.68012号 罗伯托·巴布蒂；Maurizio Martelli 2 1989 逻辑程序的内涵否定：示例和实现技术。 Zbl 0634.68005号 罗伯托·巴布蒂；保罗·曼卡雷拉；佩德雷希·迪诺；佛朗哥·都灵 三 1987 一类逻辑程序的SLDNF解析的完整性。 Zbl 0595.68016号 Barbuti，R。；马泰利，M。 7 1986 否定为失败。具有递归定义的Horn子句程序的查询求值过程的完整性。 Zbl 0642.68158号 阿奎拉诺，C。；Barbuti，R。；博切蒂，P。；马泰利，M。 1 1986 静态语义正确性的结构化方法。 Zbl 0519.68015号 Barbuti，R。；A.马泰利。 三 1983 所有引用出版物 前5名被引用出版物 全部的 前5名310位作者引用 30 保罗·米拉佐 26 罗伯托·巴布蒂 17 安德烈亚·马吉奥洛·谢蒂尼 11 罗伯塔·戈里 11 乔瓦尼·帕迪尼 9 安东内拉·桑顿 7 弗兰西斯卡，李维 6 琳达·布罗多 6 安吉洛·特洛伊娜 5 阿曼，博格丹 5 朱利奥·卡拉瓦格纳 5 Teh，Wen Chean先生 5 西蒙·蒂尼 4 罗伯托·布鲁尼 4 莫雷诺，法拉斯基 4 吉利奥拉·瓦格利尼 4 玛丽亚·路易莎·维拉尼 三 伊琳娜·阿多尔夫娜·巴什基尔茨娃 三 安娜·伯纳斯科尼 三 帕斯奎尔·博韦 三 罗伯特·切克。 三 加布里埃尔·乔巴努 三 尼科莱塔·德·弗朗西斯科 三 瓦实提·加尔平 三 萨拉·格拉达拉 三 简·希尔斯顿 三 李东溪 三 卢卡·曼佐尼（Luca E.Manzoni）。 三 吉安弗兰科·罗西 三 格列泽戈兹·罗森贝格 三 列夫·鲍里索维奇·里亚什科 三 谭元顺 三 杨，金 2 阿德里安·阿塔纳西乌 2 安德烈亚·贝尔尼尼 2 利维奥·比奥利奥 2 博迪，恰拉 2 保罗·波托尼 2 卢博什·布里姆 2 卡德，莫菲 2 维托尔·桑托斯·科斯塔 2 马里亚纽拉州Dezani-Ciancaglini 2 朱尔根·丁格尔 2 阿戈斯蒂诺·多维尔 2 德拉本特，Włodzimierz 2 简·德拉斯蒂克 2 马里奥弗洛里多 2 Max H.加森。 2 达妮埃拉·热那瓦 2 鲁道夫·戈麦斯 2 戴安娜·赫米思 2 亨德里克·扬（Hendrik Jan），胡格布姆（Hoogeboom） 2 坎查纳苏特，坎查纳 2 码头Kleijn 2 马西耶·库特尼 2 吉恩·克里文 2 安娜·拉布拉 2 弗雷德里克·朗 2 卢、伦金 2 Maurizio Martelli 2 拉杜·马特埃斯库 2 苏珊娜·穆尼奥斯·亨德斯 2 戈登·普洛金（Gordon D.Plotkin）。 2 恩里科·蓬泰利 2 安东尼奥·波雷卡（Antonio E.Porreca）。 2 鲁迪、凯伦 2 萨夫拉内克，大卫 2 大辅佐藤 2 弗拉迪米尔·斯莫尔卡 2 彼得·索西克 2 彼得·詹姆斯·斯塔基 2 苏布拉曼尼亚，V.S。 2 毛里西奥·托罗 2 亚历克谢五·齐格文采夫。 2 Waez，Md Tawhid Bin 2 赵岳 1 亨利·纳蒂维达·阿多纳 1 毛里西奥·阿尔巴·卡斯特罗 1 阿提姆·阿尔哈佐夫 1 玛丽亚·阿尔普特 1 马里奥·阿尔瓦雷斯·皮卡略 1 罗宾逊·F·阿尔瓦雷斯。 1 塔拉勒·阿尔扎赫拉尼 1 阿米玛，无辜者 1 埃蒂安·安德烈 1 詹姆斯·H·安德鲁斯。 1 西奥多·安德洛尼科斯 1 法比安·安居尔 1 马可·安东尼奥蒂 1 阿奎拉诺，C。 1 D.阿基利诺。 1 加布里埃尔·阿兰达·洛佩斯 1 赛尔阿博莱达 1 罗科·阿斯康 1 帕特里齐亚·阿西雷利 1 凯文·阿苏 1 乔治·巴奇 1 保罗·巴拉里尼 1 桑迪普·班纳吉 1 JoséA.M.Barbuto。 …还有210多名作者 全部的 前5名在45篇连载文章中被引用 49 理论计算机科学 10 信息与计算 9 膜计算杂志 5 新一代计算 5 理论生物学杂志 4 信息学报 4 物理A 4 逻辑与代数程序设计杂志 4 逻辑程序设计理论与实践 4 自然计算 三 信息科学 三 自动推理杂志 三 计算的形式方面 三 国际计算机科学基础杂志 2 数学生物科学 2 混沌、孤子和分形 2 应用数学与计算 2 计算机与系统科学杂志 2 符号计算杂志 2 国际应用科学与工程中的分岔与混沌杂志 2 系统设计中的形式化方法 2 复杂性 2 非线性科学与数值模拟中的通信 1 人工智能 1 信息处理信件 1 非线性 1 《物理快报》。A类 1 数学生物学通报 1 模糊集与系统 1 应用数学快报 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 物理学年报 1 人工智能研究杂志 1 数学与人工智能年鉴 1 工程中的数学问题 1 软计算 1 生物系统杂志 1 计算机基础理论 1 泰国数学杂志 1 算法 1 RAIRO公司。理论信息学及其应用 1 应用数学与信息学杂志 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在15个字段中引用 148 计算机科学（68至XX） 71 生物学和其他自然科学（92-XX） 14 数学逻辑和基础（03-XX） 8 常微分方程（34-XX） 7 概率论与随机过程（60-XX） 4 偏微分方程（35-XX） 4 动力系统和遍历理论（37至XX） 4 统计力学，物质结构（82-XX） 三 运筹学、数学规划（90-XX） 三 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 近似和展开（41至XX） 1 积分方程（45-XX） 1 数值分析（65-XX） 按年份列出的引文