Florian Lorber-作者简介-zbMATH Open

编辑配置文件

弗洛里安·洛伯

合著者距离

作者ID：	佛罗里达州洛伯
发布日期：	弗洛里安·洛伯

0	单作者的
4	伯恩哈德·艾切尼格（Bernhard K.Aichernig）。
2	德扬·尼科维奇
2	阿姆诺·罗森曼
2	马丁·塔普勒
1	托拜厄斯·冈德森。
1	金·古德斯特兰·拉森
1	乌尔里克·尼曼
1	克里斯蒂安·奥维森

实时系统

5	计算机科学（68至XX）

所有引用出版物前5名被引用出版物

三出版物有被引用13中的次12文件	引用人▼	年份▼
学习时间——从测试中学习时间自动机。 Zbl 1434.68212号马丁·塔普勒;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;金·古德斯特兰·拉森;弗洛里安·洛伯	10	2019
具有静默转换的时间自动机的有界判定。兹比尔1465.68161 弗洛里安·洛伯;阿姆诺·罗森曼;德扬·尼契科维奇;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。	2	2015
实时模型的一致性检查。符号执行与有界模型检查。 Zbl 1475.68171号伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;弗洛里安·洛伯;马丁·塔普勒	1	2016
学习时间——从测试中学习时间自动机。 Zbl 1434.68212号马丁·塔普勒;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;金·古德斯特兰·拉森;弗洛里安·洛伯	10	2019
实时模型的一致性检查。符号执行与有界模型检查。 Zbl 1475.68171号伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;弗洛里安·洛伯;马丁·塔普勒	1	2016
具有静默转换的时间自动机的有界判定。兹比尔1465.68161 弗洛里安·洛伯;阿姆诺·罗森曼;德扬·尼契科维奇;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。	2	2015

所有引用出版物前5名被引用出版物

三	伯恩哈德·艾切尼格（Bernhard K.Aichernig）。
2	安、杰
2	罗德里克·布洛姆
2	洛伦佐·克莱门特
2	马苏德·易卜拉希米
2	萨沃米尔·拉索塔
2	弗洛里安·洛伯
2	德扬·尼科维奇
2	拉多斯·瓦·皮奥科夫斯基
2	阿姆诺·罗森曼
2	Vaandrager，Frits W。
2	詹伯华
1	陈明帅
1	Jan Friso，格鲁特
1	利奥·亨利
1	托马斯·亨辛格（Thomas A.Henzinger）。
1	侯赛因·霍贾特
1	蒂埃里·杰伦
1	费泽·拉巴夫
1	尼古拉斯·马基
1	穆罕默德·穆萨维
1	安德烈亚·普费舍尔
1	克里斯蒂安·席林
1	米丽亚姆·加西亚·索托
1	徐润清
1	詹乃军
1	张苗苗