×

弗雷德里克·赫布雷托

作者ID: 赫布雷托·弗雷德里克“Herbreteau,Frédéric”最近发表的zbMATH文章
发布日期: 弗雷德里克·赫布雷托
已编制索引的文档: 21出版物自2001年起
合著者: 19位合著者具有21联合出版物
414合著作者

按年份列出的出版物

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位作者

按年份列出的引文