编辑配置文件（在新选项卡中打开） 伊万诺·萨尔沃 合著者距离 作者ID： 萨尔瓦多伊凡诺 发布方式： 伊万诺·萨尔沃;萨尔沃，I。 已编制索引的文档： 18出版物自2000年起 合著者： 21位合著者具有18联合出版物 302合作作者 全部的 前5名合著者 0 单作者的 9 丹尼尔·戈拉 4 彼得罗·森恰雷利 三 马里亚纽拉州Dezani-Ciancaglini 三 费德里科·马里奥 三 伊戈尔·梅拉蒂 三 恩里科·特隆西 2 保罗·巴尔丹 2 托马索·帕多安 2 阿道夫·皮佩尔诺 1 瓦迪姆·阿利姆古津 1 佛朗哥·巴巴内拉 1 维维亚娜·博诺 1 安东尼奥·布恰雷利 1 马里奥·科波 1 达里奥·菲奥伦萨 1 埃利奥·乔瓦内蒂 1 贝内代托·恩特里吉拉 1 托尼·曼奇尼 1 安娜丽莎·马西尼 1 弗拉迪米罗·萨松 1 斯特凡诺·索尔吉 全部的 前5名系列 三 信息处理信件 2 信息与计算 1 信息学报 1 IEEE自动控制汇刊 1 理论计算机科学 1 算法 1 骨髓间充质干细胞。计算机科学中的数学结构 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 14 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 系统论；控制（93至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用44中的次32文件 引用人▼ 年份▼ 移动安全环境的安全类型。 Zbl 0988.68544号 Dezani-Ciancaglini，M。;萨尔沃，I。 11 2000 M（^3）：移动环境中移动进程的移动类型。 Zbl 1270.68211号 马里奥·科波;马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;伊万诺·萨尔沃 6 2003 一种用于安全环境的类型推理算法。 兹比尔1268.68120 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;伊万诺·萨尔沃;弗拉迪米罗·萨松 4 2002 网络模型中的效率低下：一个图表理论的观点。 Zbl 1425.90021号 彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 4 2018 交集类型和\（\lambda\）-可定义性。 兹比尔1029.03005 安东尼奥·布恰雷利;阿道夫·皮佩尔诺;伊万诺·萨尔沃 三 2003 可拆通道：动力学和行为。 Zbl 1252.68036号 彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 三 2009 离散时间线性混合系统量化状态反馈控制的不确定性。 Zbl 1362.68151号 费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2012 事件结构中的冲突与因果关系。 Zbl 07449996号 丹尼尔·戈拉;伊万诺·萨尔沃;阿道夫·皮佩尔诺 2 2019 最小化最大预期验证时间。 Zbl 1422.68164号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2017 检测有向图中Braess佯谬可能性的多项式时间算法。 Zbl 1423.05165号 彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 2 2019 配置结构的行为逻辑。 Zbl 1483.68222号 保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 2 2022 事件结构中的冲突与因果关系。 Zbl 1509.68186号 丹尼尔·戈拉;伊万诺·萨尔沃 2 2021 离散时间混合系统的线性化。 兹比尔1390.93322 瓦迪姆·阿利姆古津;费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 1 2017 配置结构的行为逻辑。 Zbl 1483.68222号 保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 2 2022 事件结构中的冲突与因果关系。 Zbl 1509.68186号 丹尼尔·戈拉;伊万诺·萨尔沃 2 2021 事件结构中的冲突与因果关系。 Zbl 07449996号 丹尼尔·戈拉;伊万诺·萨尔沃;阿道夫·皮佩尔诺 2 2019 检测有向图中Braess佯谬可能性的多项式时间算法。 Zbl 1423.05165号 彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 2 2019 网络模型中的效率低下：一个图表理论的观点。 Zbl 1425.90021号 彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 4 2018 最小化最大预期验证时间。 Zbl 1422.68164号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2017 线性化离散时间混合系统。 兹比尔1390.93322 瓦迪姆·阿利姆古津;费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 1 2017 离散时间线性混合系统量化状态反馈控制的不确定性。 Zbl 1362.68151号 费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2012 可拆通道：动力学和行为。 Zbl 1252.68036号 彼得罗·森西亚雷利;丹尼尔·戈拉;伊万诺·萨尔沃 三 2009 M（^3）：移动环境中移动进程的移动类型。 Zbl 1270.68211号 马里奥·科波;马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;伊万诺·萨尔沃 6 2003 交集类型和\（\lambda\）-可定义性。 Zbl 1029.03005号 安东尼奥·布恰雷利;阿道夫·皮佩尔诺;伊万诺·萨尔沃 三 2003 一种用于安全环境的类型推理算法。 Zbl 1268.68120号 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;伊万诺·萨尔沃;弗拉迪米罗·萨松 4 2002 移动安全环境的安全类型。 Zbl 0988.68544号 Dezani-Ciancaglini，M。;萨尔沃，I。 11 2000 所有引用出版物 前5名被引用出版物 全部的 前5名56位作者引用 8 伊万诺·萨尔沃 7 丹尼尔·戈拉 4 马里亚纽拉州Dezani-Ciancaglini 三 彼得罗·森恰雷利 三 托尼·曼奇尼 三 伊戈尔·梅拉蒂 三 恩里科·特隆西 2 保罗·巴尔丹 2 佛朗哥·巴巴内拉 2 奇亚拉·布拉金 2 马里奥·科波 2 阿戈斯蒂诺·科尔特斯 2 里卡多·福卡迪 2 管旭东 2 弗朗西丝卡·列维 2 费德里科·马里奥 2 安娜丽莎·马西尼 2 弗拉迪米罗·萨松 1 阿姆托夫特，托本 1 斯特凡诺·贝拉尔迪 1 菲利普·比丁格 1 保罗·波托尼 1 多伊纳·布库尔 1 米歇尔·布格列西 1 卢卡·卡德利 1 Chen，Qian Matteo先生 1 陈旭锦 1 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 1 埃里卡·德·贝内代蒂 1 洛科·德尼古拉 1 乌戈·德利古罗 1 刁、卓 1 阿尔贝托·芬齐 1 达里奥·菲奥伦萨 1 乔治·盖利 1 埃利奥·乔瓦内蒂 1 安德鲁·戈登。 1 埃尔萨·甘特。 1 胡晓东 1 阿萨夫·科福里。 1 路易吉·利科里 1 塞尔吉奥·马菲斯 1 伊内斯·玛格丽亚 1 尼尔森，莫根斯 1 托马索·帕多安 1 佩雷拉·帕斯夸林，道格拉斯 1 圣地亚哥·M·佩里卡斯·格特森。 1 爱德华多·凯斯勒·皮维塔 1 亚历山德拉·拉斐塔 1 西蒙娜·隆奇·德尔拉·罗卡 1 理查德·斯塔特曼 1 克劳德·斯托尔泽 1 朱利安娜·凯泽·维佐托 1 杨一玲 1 你，金元 1 马达莱娜·扎基 全部的 前5名11篇连载文章中引用 6 理论计算机科学 5 信息与计算 4 信息处理信件 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 计算机语言、系统和结构 1 算法 1 计算的形式方面 1 骨髓间充质干细胞。计算机科学中的数学结构 1 计算系统理论 1 计算机基础理论 全部的 前5名在8个字段中引用 24 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 4 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 一般性和全局性主题；集合（00-XX） 1 历史与传记（01-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文