编辑配置文件(在新选项卡中打开) 萨宾娜·罗西 合著者距离 作者ID: 罗西·萨宾纳 发布日期: 萨宾娜·罗西;罗西,S。 编入索引的文档: 42出版物自1993年起 合著者: 26位合著者具有41联合出版物 440位合作作者 全部的 前5名合著者 0 单作者的 16 卡拉广场 15 安娜丽莎·博西 11 安德烈亚·马林 8 桑德罗·埃塔利 6 里卡多·福卡迪 4 波杜因勒·沙利埃 三 阿戈斯蒂诺·科尔特斯 2 尼科莱塔·科科 2 西尔维亚·克拉法 2 简·希尔斯顿 2 斯马乌斯,Jan-Georg 1 贾科莫·阿尔泽塔 1 西蒙娜塔·巴萨莫 1 马可·贝尔纳多 1 米歇尔·布格列西 1 菲利波·卡瓦利 1 安布拉·塞卡托 1 吉尔伯托·菲莱 1 露西娅·加利纳 1 克利斯朵夫·列克莱尔 1 马其顿,达米亚诺 1 恩里科·皮瓦托 1 安德烈·萨贝尔菲尔德 1 马蒂奥·索塔纳 1 帕斯卡·范·亨特利克 1 卡洛·詹 全部的 前5名系列 三 逻辑程序设计理论与实践 2 信息学报 2 信息与计算 1 计算机语言 1 理论计算机科学 1 逻辑程序设计杂志 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 领域 40 计算机科学(68至XX) 5 概率论与随机过程(60-XX) 2 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用71中的次40文件 引用人▼ 年份▼ 信息流安全性证明系统。 Zbl 1278.68158号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 12 2003 验证持久安全属性。 Zbl 1072.68065号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 9 2004 用于验证可能的安全属性的相互模拟和展开。 Zbl 1022.68085号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 7 2003 关于马尔可夫链的可集性和可逆性之间的关系。 Zbl 1398.60085号 A.马林。;罗西,S。 7 2017 马尔科夫自动机中基于集总的等价物:产品形态分析的算法和应用。 Zbl 1390.68371号 贾科莫·阿尔泽塔;安德烈亚·马林;卡拉广场;萨宾娜·罗西 7 2018 控制\(\pi\)演算中的信息发布。 Zbl 1121.68079号 西尔维亚·克拉法;萨宾娜·罗西 6 2007 桥接基于语言的安全性和进程计算安全性。 Zbl 1118.68569号 里卡多·福卡迪;萨宾娜·罗西;安德烈·萨贝尔菲尔德 6 2005 CoPS–持久安全检查程序。 Zbl 1126.68509号 卡拉广场;恩里科·皮瓦托;萨宾娜·罗西 4 2004 并发可逆计算的定量分析。 Zbl 1465.68197号 安德烈亚·马林;萨宾娜·罗西 4 2015 比例集总率。 Zbl 1434.68055号 安德烈亚·马林;卡拉广场;萨宾娜·罗西 三 2019 (pi)-演算的不干涉理论。 Zbl 1151.68523号 西尔维亚·克拉法;萨宾娜·罗西 2 2005 进程代数和安全问题中的操作优化。 Zbl 1179.68100号 安娜丽莎·博西;卡拉广场;萨宾娜·罗西 2 2008 信息流安全和递归系统。 Zbl 1257.68055号 安娜丽莎·博西;马其顿,达米亚诺;卡拉广场;萨宾娜·罗西 1 2003 解除命令式语言中的安全条件。 Zbl 1134.68328号 安娜丽莎·博西;卡拉广场;萨宾娜·罗西 1 2005 基于互模拟的信息流安全的证明方法。 Zbl 1057.68065号 里卡多·福卡迪;卡拉广场;萨宾娜·罗西 1 2002 输入消耗逻辑程序的声明语义。 Zbl 1080.68548号 安娜丽莎·博西;尼科莱塔·科科;桑德罗·埃塔利;萨宾娜·罗西 1 2004 Prolog的基于序列的抽象解释。 Zbl 1087.68532号 波杜因勒·沙利埃;萨宾娜·罗西;帕斯卡·范·亨特利克 1 2002 关于一般逻辑程序的模块终止证明。 兹比尔1087.68526 安娜丽莎·博西;尼科莱塔·科科;萨宾娜·罗西;桑德罗·埃塔利 1 2002 比例集总性和比例相似性。 Zbl 07528110号 安德里亚·马林;卡拉广场;萨宾娜·罗西 1 2022 可逆马尔可夫链模状态重命名的聚合和截断。 Zbl 1478.60203号 安德里亚·马林;萨宾娜·罗西 1 2017 持续随机无干扰。 Zbl 1519.68163号 简·希尔斯顿;安德烈亚·马林;卡拉广场;萨宾娜·罗西 1 2021 比例集总性和比例相似性。 Zbl 07528110号 安德烈亚·马林;卡拉广场;萨宾娜·罗西 1 2022 持续随机无干扰。 Zbl 1519.68163号 简·希尔斯顿;安德烈亚·马林;卡拉广场;萨宾娜·罗西 1 2021 比例集总率。 Zbl 1434.68055号 安德烈亚·马林;卡拉广场;萨宾娜·罗西 三 2019 马尔科夫自动机中基于集总的等价物:产品形态分析的算法和应用。 Zbl 1390.68371号 贾科莫·阿尔泽塔;安德烈亚·马林;卡拉广场;萨宾娜·罗西 7 2018 马尔可夫链集总性与可逆性的关系。 Zbl 1398.60085号 A.马林。;罗西,S。 7 2017 可逆马尔可夫链模状态重命名的聚合和截断。 Zbl 1478.60203号 安德烈亚·马林;萨宾娜·罗西 1 2017 并发可逆计算的定量分析。 Zbl 1465.68197号 安德烈亚·马林;萨宾娜·罗西 4 2015 进程代数和安全问题中的操作优化。 Zbl 1179.68100号 安娜丽莎·博西;卡拉广场;萨宾娜·罗西 2 2008 控制\(\pi\)演算中的信息发布。 Zbl 1121.68079号 西尔维亚·克拉法;萨宾娜·罗西 6 2007 桥接基于语言的安全性和进程计算安全性。 兹比尔1118.68569 里卡多·福卡迪;萨宾娜·罗西;安德烈·萨贝尔菲尔德 6 2005 (pi)-演算的不干涉理论。 Zbl 1151.68523号 西尔维亚·克拉法;萨宾娜·罗西 2 2005 命令式语言中的安全解除条件。 Zbl 1134.68328号 安娜丽莎·博西;卡拉广场;萨宾娜·罗西 1 2005 验证持久安全属性。 兹比尔1072.68065 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 9 2004 CoPS–持久安全检查程序。 Zbl 1126.68509号 卡拉广场;恩里科·皮瓦托;萨宾娜·罗西 4 2004 输入消耗逻辑程序的声明语义。 Zbl 1080.68548号 安娜丽莎·博西;尼科莱塔·科科;桑德罗·埃塔利;萨宾娜·罗西 1 2004 信息流安全性证明系统。 Zbl 1278.68158号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 12 2003 用于验证可能的安全属性的相互模拟和展开。 Zbl 1022.68085号 安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 7 2003 信息流安全和递归系统。 Zbl 1257.68055号 安娜丽莎·博西;马其顿,达米亚诺;卡拉广场;萨宾娜·罗西 1 2003 基于互模拟的信息流安全的证明方法。 Zbl 1057.68065号 里卡多·福卡迪;卡拉广场;萨宾娜·罗西 1 2002 Prolog的基于序列的抽象解释。 Zbl 1087.68532号 波杜因勒·沙利埃;萨宾娜·罗西;帕斯卡·范·亨特利克 1 2002 关于一般逻辑程序的模块终止证明。 Zbl 1087.68526号 安娜丽莎·博西;尼科莱塔·科科;萨宾娜·罗西;桑德罗·埃塔利 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名79位作者引用 12 卡拉广场 10 萨宾娜·罗西 5 安德烈亚·马林 4 罗恩·范德梅登 三 伊利亚卡斯特拉尼 三 马里亚纽拉州Dezani-Ciancaglini 三 卡罗尔·C·摩根。 三 张晨毅 2 马可·贝尔纳多 2 安娜丽莎·博西 2 萨拉·卡佩基 2 阿尔贝托·卡萨格兰德 2 Della Giustina博士。 2 简·希尔斯顿 2 Annabelle K.McIver。 2 克劳迪奥·安塔雷斯·梅齐纳 2 B.里卡迪。 2 里卡多·罗曼内洛 2 雨果·托雷斯·维埃拉 1 塔库阿卜杜拉提夫 1 贾科莫·阿尔泽塔 1 西蒙娜塔·巴萨莫 1 马西莫·巴托莱蒂 1 David A.Basin。 1 本·赛义德、纳贾 1 萨德克·本萨勒姆 1 马丁·伯杰(Martin J.Berger)。 1 Lennart贝林格 1 马吕斯·博兹加 1 弗兰克·卡塞兹 1 菲利波·卡瓦利 1 陈火旺 1 西尔维亚·克拉法 1 Thao Dang先生 1 阿努帕姆·达塔 1 丹尼·德·施雷耶 1 德尼卢,皮埃尔·马洛 1 卢卡·多里戈 1 托马索·德罗西 1 里卡多·福卡迪 1 约翰·加拉赫(John P.Gallagher)。 1 格雷姆·恒河 1 休伯特·加拉维 1 西尔维娅·吉勒赞 1 雷纳·哈内尔 1 Hoang,泰国儿子 1 本田、高黑 1 比肖克桑·卡夫 1 迪尔森·卡纳尔 1 鲍里斯·科普夫 1 弗雷德里克·朗 1 李孟军 1 李周军 1 C·隆德罗。 1 加文·洛 1 拉里萨·梅尼基。 1 马西莫·梅罗 1 托比·默里 1 潘靖 1 约万卡·潘托维奇 1 佩雷斯(Jorge A.Pérez)。 1 埃莉诺拉·皮皮亚 1 伊万·普罗基奇 1 菲利普·吕默 1 彼得·沙赫特 1 沈一东 1 埃利奥诺拉·西比里奥 1 安东尼·斯隆(Anthony M.Sloane)。 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 Susatyo,E。 1 彼得·蒂曼。 1 西蒙·蒂尼 1 伯纳多·托尼霍 1 迈克尔·卡尔·桑茨 1 Voets,院长 1 丹尼斯·沃尔特 1 吉田、Nobuko 1 周,Ti 全部的 前5名12篇连载文章中引用 6 理论计算机科学 4 信息与计算 4 计算的形式方面 三 逻辑与代数程序设计杂志 三 程序设计中的逻辑和代数方法杂志 2 逻辑程序设计理论与实践 1 信息学报 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 40 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 概率论与随机过程(60-XX) 三 信息与通信理论、电路(94-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文