编辑配置文件(在新选项卡中打开) 费利斯·巴拉林 合著者距离 作者ID: 巴林·费利斯 发布日期: 费利斯·巴拉林;巴拉林,F。 已编制索引的文档: 8出版物自1994年以来,包括1本书 合著者: 16位合著者具有6联合出版物 543合著作者 全部的 前5名合著者 2 单作者的 4 Alberto L.Sangiovanni-Vincentelli。 3 卢西亚诺·拉瓦尼奥 3 克劳迪奥·帕塞罗内 2 谢,哈里 2 渡边洋里 1 阿德南·阿齐兹 1 罗伯特·K·布雷顿。 1 陈曦 1 马西米利亚诺·奇奥多 1 保罗·朱斯托 1 阿提拉·尤雷克斯卡 1 埃伦·森托维奇 1 马尔科·斯格罗伊 1 Vigyan Singhal公司 1 Kei铃木 1 巴萨姆·塔巴拉 系列 1 国际并行程序设计杂志 1 系统设计中的形式化方法 1 Kluwer国际工程与计算机科学系列 领域 8 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用16中的次16文件 引用人▼ 年份▼ 嵌入式系统的软硬件协同设计。警察局的做法。 Zbl 0878.68133号 费利斯·巴拉林;马西米利亚诺·奇奥多;保罗·朱斯托;谢,哈里;阿提拉·尤雷克斯卡;卢西亚诺·拉瓦尼奥;克劳迪奥·帕塞罗内;阿尔贝托Sangiovanni-Vincentelli;埃伦·森托维奇;Kei铃木;巴萨姆·塔巴拉 5 1997 公平克里普克结构的等效性。 Zbl 1418.68125号 阿德南·阿齐兹;Vigyan Singhal公司;费利斯·巴拉林;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 5 1994 实时系统验证的一种迭代方法。 兹比尔0829.68050 费利斯·巴拉林;Alberto L.Sangiovanni-Vincentelli。 2 1995 建模和设计异构系统。 Zbl 1029.68503号 费利斯·巴拉林;卢西亚诺·拉瓦尼奥;克劳迪奥·帕塞罗内;阿尔贝托Sangiovanni-Vincentelli;马尔科·斯格罗伊;渡边洋里 2 2002 通过近似图像计算验证不变量。 Zbl 0907.68121号 费利斯·巴拉林 1 1997 Metropolis嵌入式系统设计框架的验证方法。 Zbl 1100.68585号 陈曦;谢,哈里;费利斯·巴拉林 1 2006 Metropolis嵌入式系统设计框架的验证方法。 Zbl 1100.68585号 陈曦;谢,哈里;费利斯·巴拉林 1 2006 建模和设计异构系统。 Zbl 1029.68503号 费利斯·巴拉林;卢西亚诺·拉瓦尼奥;克劳迪奥·帕塞隆;阿尔贝托Sangiovanni-Vincentelli;马尔科·斯格罗伊;渡边洋里 2 2002 嵌入式系统的软硬件协同设计。警察局的做法。 Zbl 0878.68133号 费利斯·巴拉林;马西米利亚诺·奇奥多;保罗·朱斯托;谢,哈里;阿提拉·尤雷克斯卡;卢西亚诺·拉瓦尼奥;克劳迪奥·帕塞罗内;阿尔贝托Sangiovanni-Vincentelli;埃伦·森托维奇;Kei铃木;巴萨姆·塔巴拉 5 1997 通过近似图像计算验证不变量。 Zbl 0907.68121号 费利斯·巴拉林 1 1997 实时系统验证的迭代方法。 Zbl 0829.68050号 费利斯·巴拉林;Alberto L.Sangiovanni-Vincentelli。 2 1995 公平克里普克结构的等效性。 Zbl 1418.68125号 阿德南·阿齐兹;Vigyan Singhal公司;费利斯·巴拉林;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 5 1994 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 3 奥尔纳·库普弗曼 2 费利斯·巴拉林 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 Rajamani,Sriram K。 2 Alberto L.Sangiovanni-Vincentelli。 1 内德·本·阿莫尔 1 罗德里克·布洛姆 1 多龙·布斯坦 1 陈曦 1 Jean-Philippe Diguet 1 高淳浩 1 路易斯·冈萨雷斯·埃斯特拉达 1 González Sanmiguel,古斯塔沃 1 蒂埃里·古尔德 1 奥尔纳·格伦伯格 1 古姆扎伊,罗马人 1 郭海峰 1 加里·哈赫特尔(Gary D.Hachtel)。 1 大卫·哈雷 1 托马斯·希尔德布兰特。 1 谢,哈里 1 熊宝安 1 埃纳尔·布罗赫·约翰森 1 亚尼克·勒穆莱克 1 刘、苗 1 米尔科·洛吉 1 陆寿荣 1 蒂齐亚娜·玛格丽亚 1 奥维,奥拉夫 1 罗伯托·帕塞罗内 1 Jean-Luc菲利普 1 格拉齐亚诺·普拉瓦德利 1 罗马克里希南,C.R。 1 罗马克里希南,I.V。 1 卡维塔·拉维 1 罗德里格斯-利南,安吉尔 1 罗普,帕塔S。 1 鲁道夫·施拉特 1 法比奥·萨蒙齐 1 伯恩哈德·斯特芬 1 塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth) 1 Torres-Treviño,Luis M。 1 莫西·亚亚科夫·瓦尔迪 1 王超 全部的 前5名8篇连载文章中引用 2 国际并行程序设计杂志 2 信息与计算 2 系统设计中的形式化方法 1 数学档案馆 1 理论计算机科学 1 信号、图像和视频技术VLSI信号处理系统杂志 1 自然与社会中的离散动力学 1 应用逻辑杂志 全部的 前5名在6个字段中引用 15 计算机科学(68至XX) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文