编辑配置文件(在新选项卡中打开) 弗雷德里克·赫布雷托 合著者距离 作者ID: 赫布雷托·弗雷德里克 发布日期: 弗雷德里克·赫布雷托 已编制索引的文档: 21出版物自2001年起 合著者: 19位合著者具有21联合出版物 414合著作者 全部的 前5名合著者 0 单作者的 11 巴拉古鲁·斯里瓦桑 7 伊戈尔·瓦卢基维奇 4 格雷戈伊尔·萨特雷 三 伯纳德·博伊格洛特 三 Tran,Thanh-Tung镇 2 弗兰克·卡塞兹 2 洛伦佐·克莱门特 2 Olivier F.鲁克斯。 1 帕特里夏·鲍耶 1 阿兰·芬克尔 1 保罗·加斯丁 1 塞巴斯蒂安·佐多涅 1 迪利普·拉古纳特·基尼 1 伊莎贝尔·美因茨 1 奥坎·桑库尔 1 阿梅利·施泰纳 1 Tran,The Quang公司 1 范德波尔,扬·科内利斯 1 西蒙·威默 系列 1 信息与计算 1 实时系统 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 字段 21 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 17出版物有被引用79中的次48文件 引用人▼ 年份▼ 时间自动机的更好抽象。 Zbl 1353.68166号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 13 2016 自动机与FIFO和行李通道通信的可决定拓扑。 Zbl 1417.68125号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷 10 2014 时间自动机的更好抽象。 兹比尔1360.68560 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 10 2012 使用非凸近似对时间自动机进行有效分析。 Zbl 1246.68145号 弗雷德里克·赫布雷托;基尼,迪利普;Srivathsan,B。;伊戈尔·瓦卢基维奇 7 2011 混合加速度的功率。 Zbl 1188.68169号 伯纳德·博伊格洛特;弗雷德里克·赫布雷托 6 2006 定时Büchi自动机的有效空中空置检查。 Zbl 1305.68114号 弗雷德里克·赫布雷托;Srivathsan,B。 5 2010 重新审视时间自动机网络的局部时间语义。 Zbl 07649924号 R.戈文德。;弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 4 2019 为什么时间自动机的活性很难,以及我们能做些什么。 Zbl 1446.68068号 弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 4 2020 通信定时进程的可达性。 Zbl 1260.68262号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 4 2013 为什么时间自动机的活性很难,以及我们能做些什么。 Zbl 1391.68071号 弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 三 2016 定时Büchi自动机的有效空性检查。 Zbl 1247.68143号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 三 2012 使用实向量自动机的混合加速(扩展抽象)。 Zbl 1278.68156号 伯纳德·博伊格洛特;弗雷德里克·赫布雷托;塞巴斯蒂安·佐多涅 三 2003 粗略的抽象使得Zeno行为难以检测。 Zbl 1260.68205号 弗雷德里克·赫布雷托;Srivathsan,B。 2 2013 改进时间自动机可达性测试的搜索顺序。 Zbl 1465.68148号 弗雷德里克·赫布雷托;Tran,Thanh-Tung镇 2 2015 证明定时Büchi自动机为空。 Zbl 07317090号 西蒙·威默;弗雷德里克·赫布雷托;范德波尔(Jaco van de Pol) 1 2020 仿射混合变换的加速。 Zbl 1448.68257号 伯纳德·博伊格洛特;弗雷德里克·赫布雷托;伊莎贝尔·美因茨 1 2014 粗略的抽象使得Zeno行为难以检测。 Zbl 1343.68139号 弗雷德里克·赫布雷托;Srivathsan,B。 1 2011 为什么时间自动机的活性很难,以及我们能做些什么。 Zbl 1446.68068号 弗雷德里克·赫布雷托;斯里瓦特桑,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 4 2020 证明定时Büchi自动机的空性。 Zbl 07317090号 西蒙·威默;弗雷德里克·赫布雷托;范德波尔(Jaco van de Pol) 1 2020 重温时间自动机网络的局部时间语义。 Zbl 07649924号 R.戈文德。;弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 4 2019 时间自动机的更好抽象。 Zbl 1353.68166号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 13 2016 为什么时间自动机的活性很难,以及我们能做些什么。 Zbl 1391.68071号 弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 三 2016 改进时间自动机可达性测试的搜索顺序。 Zbl 1465.68148号 弗雷德里克·赫布雷托;Tran,Thanh-Tung镇 2 2015 自动机与FIFO和行李通道通信的可决定拓扑。 Zbl 1417.68125号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷 10 2014 仿射混合变换的加速。 Zbl 1448.68257号 伯纳德·博伊格洛特;弗雷德里克·赫布雷托;伊莎贝尔·美因茨 1 2014 通信定时进程的可达性。 Zbl 1260.68262号 洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿米莉·斯坦纳;格雷戈伊尔·萨特雷 4 2013 粗略的抽象使得Zeno行为难以检测。 Zbl 1260.68205号 弗雷德里克·赫布雷托;Srivathsan,B。 2 2013 时间自动机的更好抽象。 Zbl 1360.68560号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 10 2012 定时Büchi自动机的有效空性检查。 Zbl 1247.68143号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 三 2012 使用非凸近似对时间自动机进行有效分析。 Zbl 1246.68145号 弗雷德里克·赫布雷托;基尼,迪利普;Srivathsan,B。;伊戈尔·瓦卢基维奇 7 2011 粗略的抽象使得Zeno行为难以检测。 Zbl 1343.68139号 弗雷德里克·赫布雷托;Srivathsan,B。 1 2011 定时Büchi自动机的有效空中空置检查。 Zbl 1305.68114号 弗雷德里克·赫布雷托;Srivathsan,B。 5 2010 混合加速度的功率。 Zbl 1188.68169号 伯纳德·博伊格洛特;弗雷德里克·赫布雷托 6 2006 使用实向量自动机的混合加速(扩展抽象)。 Zbl 1278.68156号 伯纳德·博伊格洛特;弗雷德里克·赫布雷托;塞巴斯蒂安·佐多涅 三 2003 所有引用出版物 排名前五的出版物 全部的 前5名104位作者引用 6 弗雷德里克·赫布雷托 6 巴拉古鲁·斯里瓦桑 4 洛伦佐·克莱门特 三 阿克西,S。 三 埃蒂安·安德烈 三 保罗·加斯丁 三 萨沃米尔·拉索塔 三 劳雷·佩特鲁奇 三 范德波尔,扬·科内利斯 三 伊戈尔·瓦卢基维奇 2 佛朗哥·巴巴内拉 2 帕特里夏·鲍耶 2 马里奥·布拉维蒂 2 马可·卡博尼 2 乌戈·德利古罗 2 乌里法伦伯格 2 洛依茨海露 2 罗尔夫·亨尼克 2 朱利安·兰格 2 金·古德斯特兰·拉森 2 勒鲁,杰罗姆 2 鲁帕克·马朱姆达尔 2 伊斯特万·马齐克 2 拉多斯·瓦·皮奥科夫斯基 2 奥坎·桑库尔 2 塔马斯·托特 2 西蒙·威默 2 吉田、Nobuko 2 吉安路易吉·扎瓦塔罗 1 帕罗什·阿齐兹·阿卜杜拉 1 亚明·艾特阿默尔 1 拉赫达尔·阿克伦 1 詹姆·阿里亚斯 1 尤金·亚萨林 1 JiříBarnat 1 马西莫·巴托莱蒂 1 尼古拉·贝内什 1 莎拉·本雅古布 1 彼得·贝兹德克 1 米歇尔·比多特 1 劳拉·博奇 1 达米安·巴斯托·加斯顿 1 伊万娜·乔纳 1 克里希南德·查特吉 1 达姆,沃纳 1 乔治·德尔扎诺 1 斯特凡·迪什 1 斯文·齐亚德克 1 约琴·艾辛格 1 阿兰·芬克尔 1 布莱斯·基内斯特 1 斯特凡·格鲁纳 1 花冈、果一郎 1 彼得·霍夫曼 1 徐凯尔 1 哈迪·亨加 1 瑞典雅各布斯 1 贝特朗·珍妮特 1 费利克斯·克莱特克 1 Legay、Axel 1 Ondřej Lengál 1 青柠,迪迪埃 1 Anthony Widjaja林 1 艾蒂安·洛兹 1 塞巴斯蒂安·隆德 1 考希·马利克 1 玛丽奥、迪伦 1 尼古拉斯·马基 1 高弘松田 1 本杰明·蒙梅格 1 赛扬·穆克吉 1 马尔科·穆尼兹 1 莫里齐奥·穆尔吉亚 1 黄家阮 1 Nxumalo,马达达 1 庞、军 1 雷米鹦鹉 1 拉姆昌德拉·帕瓦德 1 弗洛里安·皮戈什 1 Vinayak S.普拉布。 1 卡提克·R·普拉卡什。 1 皮埃尔·阿莱·雷尼尔 1 奥思曼·雷津 1 托拜厄斯·林格霍姆·约根森 1 菲利普·吕默 1 格温·萨拉恩 1 阿诺德·桑尼尔 1 克劳斯·迪特·施韦 1 菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier) 1 安妮·凯瑟琳·施穆克 1 杰拉尔多·施奈德 1 克里斯托夫·斯科尔 1 彼得·施拉梅尔 1 托拜厄斯·斯卡鲁普·达安徒生 1 孙骏 1 Timm,零 1 帕特里克·托茨克 1 里卡多·特拉维索 1 范·贝克尔,斯特芬 1 杰斯珀·范迪蓬 …还有4位作者 全部的 前5名8篇连载文章中引用 5 计算机科学中的逻辑方法 4 系统设计中的形式化方法 4 程序设计中的逻辑和代数方法杂志 三 理论计算机科学 2 信息与计算 1 信息学报 1 计算机与系统科学杂志 1 符号计算杂志 全部的 前5名在7个字段中引用 46 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 4 系统论;控制(93至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文