编辑配置文件（在新选项卡中打开） 费德里科·马里奥 合著者距离 作者ID： 玛丽·费德里科 发布日期： 费德里科·马里奥 已编制索引的文档： 7出版物自2007年起 合著者： 6位合著者具有7联合出版物 58位合作作者 全部的 前5名合著者 0 单作者的 7 恩里科·特隆西 6 伊戈尔·梅拉蒂 4 托尼·曼奇尼 4 安娜丽莎·马西尼 3 伊万诺·萨尔沃 1 瓦迪姆·阿利姆古津 系列 1 信息处理信件 1 IEEE自动控制汇刊 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 领域 6 计算机科学（68至XX） 3 系统论；控制（93至XX） 1 运筹学、数学编程（90-XX） 按年份列出的出版物 zbMATH Open中包含的引文 6出版物有被引用12中的次4文件 引用人▼ 年份▼ SyLVaaS：作为服务的系统级正式验证。 Zbl 1374.68294号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 5 2016 最小化最大预期验证时间。 Zbl 1422.68164号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2017 离散时间线性混合系统量化状态反馈控制的不确定性。 兹比尔1362.68151 费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2012 离散时间混合系统的线性化。 Zbl 1390.93322号 瓦迪姆·阿利姆古津;费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 1 2017 关于检查模拟脚本的等效性。 兹比尔1518.68212 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2021 系统级形式验证的模拟器语义。 Zbl 1476.68153号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2015 关于检查模拟脚本的等效性。 Zbl 1518.68212号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2021 最小化最大预期验证时间。 Zbl 1422.68164号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2017 离散时间混合系统的线性化。 Zbl 1390.93322号 瓦迪姆·阿利姆古津;费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 1 2017 SyLVaaS：作为服务的系统级正式验证。 Zbl 1374.68294号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 5 2016 系统级形式验证的模拟器语义。 Zbl 1476.68153号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2015 离散时间线性混合系统量化状态反馈控制的不确定性。 Zbl 1362.68151号 费德里科·马里奥;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2012 全部的 前5名被11位作者引用 3 托尼·曼奇尼 3 伊戈尔·梅拉蒂 3 恩里科·特隆西 2 费德里科玛丽 2 安娜丽莎·马西尼 1 保罗·博托尼 1 Chen，Qian Matteo先生 1 洛科·德尼古拉 1 阿尔贝托·芬齐 1 丹妮尔·戈拉 1 伊万诺·萨尔沃 3篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 计算机基础理论 在3个字段中引用 3 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 运筹学、数学编程（90-XX） 按年份列出的引文