编辑配置文件（在新选项卡中打开） 安东内拉·桑顿 合著者距离 作者ID： 桑托内拉 发布日期： 安东内拉·桑顿；A.桑顿。 已编制索引的文档： 22出版物自1997年起 合著者： 12位合著者具有21联合出版物 89位合作作者 全部的 前5名合著者 1 单作者的 11 尼科莱塔·德·弗朗西斯科 9 吉利奥拉·瓦格利尼 7 罗伯托·巴布蒂 4 玛丽亚·路易莎·维拉尼 三 萨拉·格拉达拉 2 卢卡·特塞 2 玛丽亚·托托雷拉 1 朱塞佩·阿纳斯塔西 1 阿尔贝托·巴托利 1 蒂埃里·博德温 1 保罗·曼卡雷拉 1 费德里科·帕格诺齐 全部的 前5名系列 4 信息学报 三 计算机与系统科学杂志 2 计算机程序设计科学 2 计算机基础理论 1 信息处理信件 1 《计算机杂志》。A部分/B部分 1 信息与计算 1 自动推理杂志 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 算法 领域 22 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用35中的次16文件 引用人▼ 年份▼ 过渡系统的选择性微积分和基于公式的等价。 Zbl 0958.68122号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；吉利奥拉·瓦格利尼 13 1999 移动计算组播协议的有效验证。 Zbl 0983.68123号 朱塞佩·阿纳斯塔西；阿尔贝托·巴托利；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿 4 2001 \（\text{DELFIN}^+\）：CCS进程的有效死锁检测工具。 Zbl 1118.68086号 萨拉·格拉达拉；安东内拉·桑顿；玛丽亚·路易莎·维拉尼 三 2006 时间自动机的不干涉概念。 Zbl 1003.68100号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；卢卡·特塞 三 2002 使用基于公式的组合方法自动验证并发系统。 Zbl 1035.68072号 安东内拉·桑顿 2 2002 通过定向模型检查对并发系统进行形式化验证。 Zbl 1335.68139号 萨拉·格拉达拉；安东内拉·桑顿；玛丽亚·路易莎·维拉尼 2 2007 使用启发式搜索查找并发系统中的死锁。 Zbl 1101.68680号 萨拉·格拉达拉；安东内拉·桑顿；玛丽亚·路易莎·维拉尼 2 2005 Java字节码时态模型检查的本地方法。 Zbl 1068.68082号 安东内拉·桑顿；吉利奥拉·瓦格利尼 1 2005 走向纯Prolog的逻辑语义。 Zbl 0942.68019号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；保罗·曼卡雷拉；安东内拉·桑顿 1 1998 并发系统中用于检查安全信息流的抽象解释和模型检查。 Zbl 1098.68627号 尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；卢卡·特塞 1 2003 定向模型检查CCS过程中的抽象简化。 Zbl 1282.68167号 安东内拉·桑顿；吉利奥拉·瓦格利尼 1 2012 从执行跟踪中提取模型以执行形式验证。 兹比尔1185.68408 蒂埃里·博杜因；费德里科·帕格诺齐；安东内拉·桑顿；托托雷拉，玛丽亚；玛丽亚·路易莎·维拉尼 1 2009 并发进程的转换系统。 Zbl 0927.68014号 尼科莱塔·德·弗朗西斯科；安东内拉·桑顿 1 1998 定向模型检查CCS过程中的抽象简化。 Zbl 1282.68167号 安东内拉·桑顿；吉利奥拉·瓦格利尼 1 2012 从执行跟踪中提取模型以执行形式验证。 Zbl 1185.68408号 蒂埃里·博德温；费德里科·帕格诺齐；安东内拉·桑顿；玛丽亚·托托雷拉；玛丽亚·路易莎·维拉尼 1 2009 通过定向模型检查对并发系统进行形式化验证。 Zbl 1335.68139号 萨拉·格拉达拉；安东内拉·桑顿；玛丽亚·路易莎·维拉尼 2 2007 \（\text{DELFIN}^+\）：CCS进程的有效死锁检测工具。 Zbl 1118.68086号 萨拉·格拉达拉；安东内拉·桑顿；玛丽亚·路易莎·维拉尼 三 2006 使用启发式搜索查找并发系统中的死锁。 Zbl 1101.68680号 萨拉·格拉达拉；安东内拉·桑顿；玛丽亚·路易莎·维拉尼 2 2005 Java字节码时态模型检查的本地方法。 Zbl 1068.68082号 安东内拉·桑顿；吉利奥拉·瓦格利尼 1 2005 并发系统中用于检查安全信息流的抽象解释和模型检查。 Zbl 1098.68627号 尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；卢卡·特塞 1 2003 时间自动机的不干涉概念。 Zbl 1003.68100号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；卢卡·特塞 三 2002 使用基于公式的组合方法自动验证并发系统。 Zbl 1035.68072号 安东内拉·桑顿 2 2002 移动计算组播协议的有效验证。 Zbl 0983.68123号 朱塞佩·阿纳斯塔西；阿尔贝托·巴托利；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿 4 2001 过渡系统的选择性微积分和基于公式的等价。 Zbl 0958.68122号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；安东内拉·桑顿；吉利奥拉·瓦格利尼 13 1999 走向纯Prolog的逻辑语义。 Zbl 0942.68019号 罗伯托·巴布蒂；尼科莱塔·德·弗朗西斯科；保罗·曼卡雷拉；安东内拉·桑顿 1 1998 并发进程的转换系统。 Zbl 0927.68014号 尼科莱塔·德·弗朗西斯科；安东内拉·桑顿 1 1998 所有引用的出版物 前5名被引用出版物 全部的 前5名22位作者引用 9 安东内拉·桑顿 4 吉利奥拉·瓦格利尼 4 玛丽亚·路易莎·维拉尼 三 尼科莱塔·德·弗朗西斯科 三 萨拉·格拉达拉 2 弗雷德里克·朗 2 拉杜·马特埃斯库 1 马里奥·阿尔瓦雷斯·皮卡略 1 埃蒂安·安德烈 1 罗伯托·巴布蒂 1 蒂埃里·博德温 1 休伯特·加拉维 1 黄、健 1 卢卡·马提尼 1 弗朗科·马扎蒂 1 奈许，李 1 Jean-Simon，Pacaud Lemay 1 费德里科·帕格诺齐 1 安德鲁·威廉，罗斯科 1 哈拉尔德·森德加德 1 孙骏 1 玛丽亚·托托雷拉 全部的 前5名8篇连载文章中引用 2 信息学报 2 计算机与系统科学杂志 2 信息与计算 1 计算的形式方面 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 逻辑程序设计理论与实践 1 算法 在2个字段中引用 16 计算机科学（68至XX） 4 数理逻辑与基础（03-XX） 按年份列出的引文