编辑配置文件(在新选项卡中打开) 蒂齐亚诺别墅 合著者距离 作者ID: 蒂齐亚诺别墅 发布日期: 蒂齐亚诺别墅 已编制索引的文档: 29出版物自1997年以来,包括3本书 4作为编辑的贡献 合著者: 44位合著者具有33份联合出版物 775位合作作者 全部的 前5名合著者 0 单作者的 12 Alberto L.Sangiovanni-Vincentelli。 8 大卫·布雷索林 7 罗伯特·K·布雷顿。 7 卢卡·杰雷蒂 5 彼得·柯林斯。 5 尼娜·叶夫图申科 4 卢卡·本韦努蒂 三 安娜·伯纳斯科尼 三 瓦伦蒂娜·齐里亚尼 三 蒂莫西·卡姆 2 安德烈·巴卢奇 2 迪·贝内代托,玛丽亚·多梅尼卡 2 El-Fakih,哈立德 2 阿尔贝托·法拉利 2 桑贾·伊万诺维奇·冈萨雷斯 2 阿兰·米什琴科 2 小狗,加布里埃尔 2 圭多·西亚维科 2 加布里埃拉·特鲁科 2 Howard Wong-Toi,霍华德 2 马蒂奥·扎瓦特里 1 亚历山德罗·阿巴特 1 卢卡·卡洛尼(Luca P.Carloni)。 1 乔瓦尼·卡斯蒂内蒂 1 乔迪·科尔塔德拉 1 保罗·菲奥里尼 1 Danila Gorodecky 1 威尔辛·戈斯蒂 1 蒋洁红·罗兰 1 莱昂纳多·曼格鲁卡 1 吉多·米科尼。 1 安吉洛·蒙塔纳里 1 里卡多·穆拉多尔 1 皮埃尔路易吉·努佐 1 阿林多·L·奥利维拉。 1 亚历克斯·佩特伦科 1 亚历山大·佩特连科 1 短笛、马蒂奥 1 乌戈·波齐 1 罗密欧,尼格尼戈·X·尼泽尔 1 亚历克斯·萨尔达尼亚 1 罗伯特·塞加拉 1 维克托·特伦 1 van Schuppen,Jan H。 全部的 前5名系列 4 电气电子工程师学会计算机期刊 三 信息与计算 2 国际应用数学与计算机科学杂志 1 国际控制杂志 1 IEEE自动控制汇刊 1 离散事件动态系统 1 国际鲁棒非线性控制杂志 1 系统设计中的形式化方法 1 多值逻辑 1 控制与信息科学课堂讲稿 1 非线性分析。混合动力系统 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名字段 24 计算机科学(68-XX) 10 系统论;控制(93至XX) 6 信息与通信理论、电路(94-XX) 4 总体主题;集合(00-XX) 4 运筹学、数学规划(90-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 常微分方程(34-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用88中的次79文件 引用人▼ 年份▼ 多值决策图:理论与应用。 Zbl 1025.94515号 Timothy Kam先生;蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 15 1998 有限状态机的模型匹配。 Zbl 1009.93053号 迪·贝内代托,玛丽亚·多梅尼卡;阿尔贝托Sangiovanni-Vincentelli;蒂齐亚诺别墅 10 2001 用ARIADNE对非线性混合系统进行假设保证验证。 Zbl 1284.93121号 卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅 10 2014 有限状态机的综合:函数优化。 Zbl 0876.94056号 蒂莫西·卡姆;蒂齐亚诺别墅;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli 8 1997 自动发动机怠速控制的最大安全设置计算。 Zbl 0962.93070号 安德烈·巴卢奇;卢卡·本韦努蒂;玛丽亚·迪·贝内代托。;吉多·米科尼。;乌戈·波齐;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。 6 2000 同步FSM方程的组合渐进解。 Zbl 1161.93322号 尼娜·叶夫图申科;蒂齐亚诺别墅;罗伯特·K·布雷顿。;亚历克斯·佩特伦科;Alberto L.Sangiovanni-Vincentelli。 6 2008 事件分离下限混合系统的控制器综合。 兹比尔1048.93051 安德烈·巴卢奇;卢卡·本韦努蒂;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。 4 2003 确定性定时有限状态机:等价性检查和表达能力。 Zbl 1464.68152号 大卫·布雷索林;El-Fakih,哈立德;蒂齐亚诺别墅;尼娜·叶夫图申科 4 2014 未知组件问题。理论和应用。 Zbl 1248.68023号 蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·K·布雷顿。;阿兰·米什琴科;亚历山大·佩特连科;阿尔贝托Sangiovanni-Vincentelli 4 2012 有限状态机的综合:逻辑优化。 Zbl 0876.94057号 蒂齐亚诺别墅;蒂莫西·卡姆;罗伯特·K·布雷顿。;阿尔贝托Sangiovanni-Vincentelli 三 1997 混合自动机的可计算合成语义。 Zbl 07300859号 大卫·布雷索林;彼得·柯林斯;卢卡·杰雷蒂;罗伯特·塞加拉;蒂齐亚诺别墅;扎伊瓦诺维奇·冈萨雷斯,萨尼亚 三 2020 Ariadne:使用可达性分析检查非线性混合自动机的优势。 Zbl 1374.68271号 卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅 三 2012 2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 Zbl 1415.68045号 三 2013 BDD表示的FSM编码。 Zbl 1153.68553号 威尔辛·戈斯蒂;蒂齐亚诺别墅;亚历克斯·萨尔达尼亚;Alberto L.Sangiovanni-Vincentelli。 2 2007 分布式系统的协调控制。 Zbl 1310.93004号 2 2015 混合系统验证介绍阿里阿德涅. Zbl 1403.93108号 大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯 1 2015 正式验证适用于机器人手术。 Zbl 1403.93140号 大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅 1 2015 使用BALM-II自动合成协议转换器。 Zbl 1461.68032号 乔瓦尼·卡斯蒂内蒂;短笛、马蒂奥;蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·布雷顿;阿兰·米什琴科 1 2015 多级布尔网络的综合。 Zbl 1209.94068号 蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 1 2010 通过布尔关系在P电路中使用灵活性。 Zbl 1360.94475号 安娜·伯纳斯科尼;瓦伦蒂娜·齐里亚尼;加布里埃拉·特鲁科;蒂齐亚诺别墅 1 2015 混合自动机的可计算和组合语义。 Zbl 07300859号 大卫·布雷索林;彼得·柯林斯;卢卡·杰雷蒂;罗伯特·塞加拉;蒂齐亚诺别墅;扎伊瓦诺维奇·冈萨雷斯,萨尼亚 三 2020 分布式系统的协调控制。 Zbl 1310.93004号 2 2015 混合动力系统验证简介阿里阿德涅. Zbl 1403.93108号 大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯 1 2015 应用于机器人手术的形式验证。 Zbl 1403.93140号 大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅 1 2015 使用BALM-II自动合成协议转换器。 Zbl 1461.68032号 乔瓦尼·卡斯蒂内蒂;短笛、马蒂奥;蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·布雷顿;阿兰·米什琴科 1 2015 通过布尔关系在P电路中使用灵活性。 Zbl 1360.94475号 安娜·伯纳斯科尼;瓦伦蒂娜·齐里亚尼;加布里埃拉·特鲁科;蒂齐亚诺别墅 1 2015 用ARIADNE对非线性混合系统进行假设保证验证。 Zbl 1284.93121号 卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅 10 2014 确定性定时有限状态机:等价性检查和表达能力。 Zbl 1464.68152号 大卫·布雷索林;El-Fakih,哈立德;蒂齐亚诺别墅;尼娜·叶夫图申科 4 2014 2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 Zbl 1415.68045号 三 2013 未知组件问题。理论和应用。 Zbl 1248.68023号 蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·K·布雷顿。;阿兰·米什琴科;亚历山大·佩特连科;阿尔贝托Sangiovanni-Vincentelli 4 2012 Ariadne:使用可达性分析检查非线性混合自动机的优势。 Zbl 1374.68271号 卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅 三 2012 多级布尔网络的综合。 Zbl 1209.94068号 蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 1 2010 同步FSM方程的合成渐进解。 Zbl 1161.93322号 尼娜·叶夫图申科;蒂齐亚诺别墅;罗伯特·K·布雷顿。;亚历克斯·佩特伦科;Alberto L.Sangiovanni-Vincentelli。 6 2008 BDD表示的FSM编码。 Zbl 1153.68553号 威尔辛·戈斯蒂;蒂齐亚诺别墅;亚历克斯·萨尔达尼亚;Alberto L.Sangiovanni-Vincentelli。 2 2007 事件分离下限混合系统的控制器综合。 Zbl 1048.93051号 安德烈·巴卢奇;卢卡·本韦努蒂;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。 4 2003 有限状态机的模型匹配。 Zbl 1009.93053号 迪·贝内代托,玛丽亚·多梅尼卡;阿尔贝托Sangiovanni-Vincentelli;蒂齐亚诺别墅 10 2001 自动发动机怠速控制的最大安全设置计算。 兹比尔0962.93070 安德烈·巴卢奇;卢卡·本韦努蒂;玛丽亚·迪·贝内代托。;吉多·米科尼。;乌戈·波齐;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。 6 2000 多值决策图:理论与应用。 Zbl 1025.94515号 Timothy Kam先生;蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 15 1998 有限状态机的综合:函数优化。 Zbl 0876.94056号 蒂莫西·卡姆;蒂齐亚诺别墅;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli 8 1997 有限状态机的综合:逻辑优化。 Zbl 0876.94057号 蒂齐亚诺别墅;蒂莫西·卡姆;罗伯特·K·布雷顿。;阿尔贝托Sangiovanni-Vincentelli 三 1997 所有引用出版物 前5名被引用出版物 全部的 前5名157位作者引用 8 蒂齐亚诺别墅 8 杨荣敏 6 大卫·布雷索林 5 吉安弗兰科·西亚多 5 雅各布·哈默 4 Alberto L.Sangiovanni-Vincentelli。 三 彼得·柯林斯。 三 卢卡·杰雷蒂 三 安德鲁·米纳(Andrew S.Miner)。 三 尼娜·叶夫图申科 2 亚历山德罗·阿巴特 2 马蒂亚斯·阿尔霍夫 2 亚历山大·巴卡洛夫(Alexander A.Barkalov)。 2 马西莫·贝内雷切蒂 2 安娜·伯纳斯科尼 2 Franz Brauße 2 阿尔贝托·卡萨格兰德 2 克劳迪娜·朝义亚 2 北卡罗来纳州埃夫图申科。 2 马可·费拉 2 彼得罗·加利亚尼 2 康斯坦丁·科洛文 2 玛格丽塔·弗拉迪米洛夫娜·科罗维纳 2 阿德里安·库姆伯格 2 郑武圭 2 Lanese,伊万 2 拉诺特、拉格罗 2 法布里奇奥·卢西奥 2 马西莫·梅罗 2 卡米尔·米尔卡雷克 2 穆勒,诺伯特·瑟。 2 奥雷连·纳尔迪 2 琳达·帕格利 2 卡拉广场 2 伊丽莎白·雷米 2 丹尼斯·蒂夫里 2 蒂妮,西蒙 2 拉里萨·蒂塔伦科 2 万,敏 2 马克·韦兹林格 1 Elvio Gilberto Amparore公司 1 卡马尔·阿姆隆 1 藤崎青木 1 Krzysztof Rafal公寓 1 尤金·亚萨林 1 Bäck,Thomas H.W。 1 克里斯特尔·拜尔 1 安德烈·巴卢奇 1 雨果·巴巴略 1 卢卡·本韦努蒂 1 辛齐亚·伯纳德斯基 1 巴塔拉克索尔,帕塔拉西尼 1 什鲁蒂·比斯瓦尔 1 布兰德,塞巴斯蒂安 1 罗伯特·K·布雷顿。 1 Randal E.布莱恩特。 1 达里奥·卡塔鲁扎 1 Charalambous,Charalambos D.查拉兰博斯。 1 陈晓辉 1 Stephen Chong先生 1 亚历山德罗·西马蒂 1 安德烈·奥古斯托·西雷 1 瓦伦蒂娜·齐里亚尼 1 罗伯特·切尔温斯基 1 Thao Dang先生 1 埃琳娜·德·桑提斯 1 迪·贝内代托,玛丽亚·多梅尼卡 1 安德烈亚·多梅尼奇 1 卢卡·多里戈 1 托马索·德罗西 1 El-Fakih,哈立德 1 帕维尔·G·埃梅利亚诺夫。 1 冯俊娥 1 保罗·菲奥里尼 1 傅朝辉 1 冈萨雷斯,佩德罗·恩里克 1 桑贾·伊万诺维奇·冈萨雷斯 1 威尔辛·戈斯蒂 1 阿尔贝托·格里乔 1 格罗兹基,格热戈兹 1 阿努巴夫·古普塔 1 锡涅布·哈巴斯 1 约翰·胡克(John N.jun Hooker)。 1 贾楠 1 金小青 1 维克托·荣格 1 达留什·卡尼亚 1 托马斯·卡佩拉 1 丹尼尔·科宁 1 V.V.库利亚明。 1 纳塔尔·库希克。 1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。 1 凯·兰普卡 1 亚历克西斯·勒彭文 1 李东恩 1 尤斯拉·伦巴查尔 1 林,冯 1 罗晓楠 1 杰拉尔德·吕特根 1 约翰·莱杰罗斯 …还有57位作者 全部的 前5名30篇连载文章中引用 5 国际控制杂志 5 Automatica公司 5 信息与计算 5 国际应用数学与计算机科学杂志 4 理论计算机科学 4 系统设计中的形式化方法 4 非线性分析。混合动力系统 三 富兰克林研究所期刊 2 离散事件动态系统 2 Modelirovanie i Analiz信息系统 1 离散应用数学 1 国际通用系统杂志 1 信息处理信件 1 信息科学 1 非线性分析。理论、方法和应用。系列A:理论与方法 1 编程和计算机软件 1 计算机与运筹学 1 自动推理杂志 1 MCSS公司。控制、信号和系统数学 1 MSCS公司。计算机科学中的数学结构 1 线性代数及应用 1 信息计算杂志 1 工程中的数学问题 1 欧洲控制杂志 1 计算系统理论 1 非线性科学与数值模拟中的通信 1 RAIRO公司。运筹学 1 逻辑程序设计理论与实践 1 自然计算 1 医学中的计算和数学方法 全部的 前5名在16个字段中引用 45 计算机科学(68-XX) 32 系统论;控制(93至XX) 6 运筹学、数学规划(90-XX) 6 信息与通信理论、电路(94-XX) 5 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 生物学和其他自然科学(92-XX) 2 组合数学(05-XX) 2 常微分方程(34-XX) 2 变异微积分和最优控制;最优化(49-XX) 2 数值分析(65-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 概率论与随机过程(60-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文