伊万诺·萨尔沃
人员信息
优化列表
2020年–今天
2023 [j13] 达里奥·菲奥伦萨 , 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
脆弱多元群体的多项式识别。 信息处理。 莱特。 179 : 106282 ( 2023 ) 2022 [公元12年] 保罗·巴尔丹 , 丹尼尔·戈拉 , 托马索·帕多安 , 伊万诺·萨尔沃 :
从逻辑上描述事件结构等效谱的特征。 Inf.计算。 285 ( 零件 ) : 104887 ( 2022 ) [公元11年] 保罗·巴尔丹 , 丹尼尔·戈拉 , 托马索·帕多安 , 伊万诺·萨尔沃 :
配置结构的行为逻辑。 西奥。 计算。 科学。 913 : 94-112 ( 2022 ) [公元25年] 洛伦佐·佩特里科内 , 伊万诺·萨尔沃 :
作为参数分布规律的单数变换(不包括文本)。 信息通信与通信系统 2022 [电子1] 克劳迪奥·萨克多蒂·科恩 , 伊万诺·萨尔沃 :
第22届意大利理论计算机科学会议论文集,意大利博洛尼亚,2021年9月13日至15日。 CEUR研讨会记录 3072, CEUR-WS.org公司 2022 [目录] 2021 [j10] 伊戈尔·梅拉蒂 , 费德里科·马里 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
网络物理系统控制软件可视化。 信息。 12 ( 5 ) : 178 ( 2021 ) [公元9年] 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
事件结构中的冲突与因果关系。 J.日志。 代数方法课程。 119 : 100631 ( 2021 ) [i11] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网安全验证的并行统计模型检查。 CoRR公司 abs/2106.10692 ( 2021 )
2010 – 2019
2019 [j8] 彼得罗·森恰雷利 , 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
耗损渠道:网络设计中的动态、行为和效率。 信息学报 56 ( 5 ) : 405-431 ( 2019 ) [j7] 彼得罗·森恰雷利 , 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
检测有向图中Braess悖论可能性的多项式时间算法。 算法 81 ( 4 ) : 1535-1560 ( 2019 ) [公元24年] 丹尼尔·戈拉 , 伊万诺·萨尔沃 , 阿道夫·皮佩诺 :
事件结构中的冲突与因果关系。 快递/SOS 2019 : 86-101 2018 [j6] 彼得罗·森恰雷利 , 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
网络模型的效率低下:一个图表理论的视角。 信息处理。 莱特。 131 : 44-50 ( 2018 ) 【c23】 伊万诺·萨尔沃 , 丹尼尔·戈拉 , 彼得罗·森恰雷利 :
网络模型中无效性的图论检测。 信息通信与通信系统 2018 : 87-91 [公元22年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
恶意攻击下网络脆弱性分析的有效算法。 ISMIS系统 2018 : 302-312 【c21】 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 斯特凡诺·西尼西 , 恩里科·特隆西 , 雷纳德·埃里格 , 苏珊娜·罗布利茨 , 布里吉特·利纳斯 :
通过硅胶临床试验计算个性化治疗。 FLoC下的RCRA 2018 [公元20年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网安全验证的并行统计模型检查。 智能网格通信 2018 : 1-6 [i10] 伊万诺·萨尔沃 , Agnese Pacifico公司 :
计算整数序列:过滤与生成(函数珍珠)。 CoRR公司 abs/1807.11792 ( 2018 ) [第九章] 伊万诺·萨尔沃 , Agnese Pacifico公司 :
三个欧拉筛和一个快速素发生器(功能性珍珠)。 CoRR公司 abs/1811.09840 ( 2018 ) 2017 [j5] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
最小化最大预期验证时间。 信息处理。 莱特。 122 : 8-16 ( 2017 ) 【j4】 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
线性化离散时间混合系统。 IEEE传输。 自动。 控制。 62 ( 10 ) : 5357-5364 ( 2017 ) 2016 [i8] 彼得罗·森恰雷利 , 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
网络模型效率的图论研究。 CoRR公司 abs/1603.01983 ( 2016 ) [i7] 彼得罗·森恰雷利 , 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
检测有向图中Braess悖论可能性的多项式时间算法。 CoRR公司 abs/1610.09320 ( 2016 ) 2015 [第19条] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·帕特里克·海斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网用户灵活性感知价格政策综合。 DSD公司 2015 : 478-485 [第18条] 托尼·曼奇尼 , 恩里科·特隆西 , 伊万诺·萨尔沃 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 :
通过并行统计模型检查计算生物模型参数。 IWBBIO(2) 2015 : 542-554 2014 [j3] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
根据系统级正式规范对控制软件进行基于模型的综合。 ACM变速器。 柔和。 工程方法。 23 ( 1 ) : 6:1-6:42 ( 2014 ) [第17条] 恩里科·特隆西 , 托尼·曼奇尼 , 伊万诺·萨尔沃 , 斯特凡诺·西尼西 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 安娜丽莎·马西尼 , 弗朗西斯科·达维 , 托马斯·迪尔克斯 , 雷纳德·埃里格 , 苏珊娜·罗布利茨 , 布里吉特·利纳斯 , 蒂尔曼·H·C·克鲁格 , 马塞尔·埃格利 , 费比安·伊利 :
来自患者间生物模型和临床记录的患者特异性模型。 FMCAD公司 2014 : 207-214 [第16条] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网的需求软件价格政策综合和验证服务。 智能网格通信 2014 : 794-799年 2013 [第15条] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
控制软件自动综合的Map-Reduce并行方法。 自旋蛋白 2013 : 43-60 [第14条] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
现场控制软件综合。 自旋蛋白 2013 : 61-80 2012 [第13条] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
量化离散时间混合系统的自动控制软件综合。 疾病预防控制中心 2012 : 6120-6125 [第12条] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于模型的嵌入式控制软件综合。 EMSOFT公司 2012 : 227-236 [第11条] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
离散时间线性混合系统量化状态反馈控制的不确定性。 ICTAC公司 2012 : 243-258 [i6] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
量化离散时间混合系统的自动控制软件综合。 CoRR公司 abs/1207.4098 ( 2012 ) [i5] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于模型的嵌入式控制软件综合。 CoRR公司 abs/1207.4474 ( 2012 ) [i4] 瓦迪姆·阿利姆古津 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
控制软件自动综合的Map-Reduce并行方法。 CoRR公司 abs/1210.2276 ( 2012 ) 2011 [i3] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于Buck DC/DC变换器系统级形式规范的量化反馈控制软件综合。 CoRR公司 腹肌/1105.5640 ( 2011 ) [i2] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
从布尔函数方程到控制软件。 CoRR公司 abs/1106.0468 ( 2011 ) [i1] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
基于系统级形式规范的量化反馈控制软件综合。 CoRR公司 abs/1107.5638 ( 2011 ) 2010 [第10条] 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
离散时间线性混合系统量化反馈控制软件的综合。 CAV汽车 2010 : 180-195
2000 – 2009
2009 【c9】 彼得罗·森恰雷利 , 丹尼尔·戈拉 , 伊万诺·萨尔沃 :
可消耗通道:动力学和行为。 FCT公司 2009 : 50-61 【c8】 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 洛伦佐·阿尔维西 , 艾伦·克莱门特 , 哈里·C·李 :
MAD分布式系统中联盟纳什均衡的模型检验。 SSS系统 2009 : 531-546 2008 【c7】 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 洛伦佐·阿尔维西 , 艾伦·克莱门特 , 哈里·C·李 :
MAD分布式系统中Nash均衡的模型检验。 FMCAD公司 2008 : 1-8 2004 【b1】 伊万诺·萨尔沃 :
还原系统中的融合和表达。 意大利罗马萨皮恩扎大学, 2004 2003 [注2] 安东尼奥·布恰雷利 , 阿道夫·皮佩诺 , 伊万诺·萨尔沃 :
交集类型和lambda定义。 数学。 结构。 计算。 科学。 13 ( 1 ) : 15-53 ( 2003 ) 【c6】 马里奥·科波 , Mariangiola Dezani-Ciancaglini公司 , 埃利奥·乔瓦内蒂 , 伊万诺·萨尔沃 :
移动环境中移动进程的移动类型。 猫 2003 : 144-177 2001 [j1] 贝内代托·因特里吉拉 , 伊万诺·萨尔沃 , 斯特凡诺·索尔吉 :
非Church-Roser的弱Church-Roser抽象约简系统的一个刻画。 Inf.计算。 171 ( 2 ) : 137-155 ( 2001 ) 【c5】 弗朗科·巴巴内拉 , Mariangiola Dezani-Ciancaglini公司 , 伊万诺·萨尔沃 , 弗拉迪米罗·萨松 :
一种用于安全环境的类型推断算法。 TOSCA公司 2001 : 83-101 【c4】 维维亚娜·博诺 , 伊万诺·萨尔沃 :
面向对象语言的CuCh解释。 两者都有 2001 : 159-177 2000 【c3】 Mariangiola Dezani-Ciancaglini公司 , 伊万诺·萨尔沃 :
移动安全环境的安全类型。 亚洲的 2000 : 215-236
1990 – 1999
1999 【c2】 安东尼奥·布恰雷利 , 西尔维娅·德洛伦齐斯 , 阿道夫·皮佩诺 , 伊万诺·萨尔沃 :
交叉点类型的一些计算属性。 许可证 1999 : 109-118 1998 【c1】 安东尼奥·布恰雷利 , 伊万诺·萨尔沃 :
总体性、可定义性和布尔逻辑。 伊拉克石油公司 1998 : 808-819