编辑配置文件(在新选项卡中打开) 托马斯·费雷尔 合著者距离 作者ID: 费雷·托马斯 发布日期: 托马斯·费雷尔 已编制索引的文档: 17出版物自2014年起 合著者: 16位合著者具有16联合出版物 354位合作作者 全部的 前5名合著者 1 单作者的 9 奥德·马勒 9 德扬·尼科维奇 5 乌鲁斯,多根 4 尤金·亚萨林 4 托马斯·亨辛格(Thomas A.Henzinger)。 三 阿列克谢·巴希尔金 2 埃齐奥·巴托西 1 亚历山大·唐泽 1 艾尔吉·尤特(Elgyütt,Adrián) 1 伊藤久弘 1 詹姆斯·卡宾斯基 1 伯恩哈德·克拉格尔 1 尼维迪莎·曼朱纳特 1 奥利维拉·达科斯塔,安娜 1 阿米尔·普努利 1 萨拉索,N.Ege 系列 1 美国医学会杂志 领域 17 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用48中的次27文件 引用人▼ 年份▼ 定时模式匹配。 Zbl 1419.68221号 乌鲁斯,多根;托马斯·费雷尔;尤金·亚萨林;奥德·马勒 7 2014 使用导数进行在线定时模式匹配。 Zbl 1420.68247号 乌鲁斯,多根;托马斯·费雷尔;尤金·亚萨林;奥德·马勒 7 2016 使用自动机进行在线定时模式匹配。 Zbl 1514.68095号 阿列克谢·巴赫金;托马斯·费雷尔;德扬·尼科维奇;奥德·马勒;尤金·亚萨林 6 2018 STL的有效参数识别。 Zbl 1409.68166号 阿列克谢·巴赫金;托马斯·费雷尔;奥德·马勒 5 2018 接口软件信号时序逻辑。 Zbl 07120141号 托马斯·费雷尔;德扬·尼科维奇;亚历山大·唐泽;伊藤久弘;詹姆斯·卡宾斯基 三 2019 使用时间暗示追踪诊断。 兹比尔1471.68141 托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇 三 2015 寄存器监视器理论。 Zbl 1497.68261号 托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。;萨拉索,N.Ege 三 2018 实值信号上正则表达式的定量语义。 Zbl 1494.68128号 阿列克谢·巴赫金;托马斯·费雷尔;奥德·马勒;乌鲁斯,多根 2 2017 用定时模式测量。 Zbl 1381.68160号 托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;乌鲁斯,多根 2 2015 用时钟变量监测时序逻辑。 Zbl 1514.68129号 艾尔吉·尤特(Elgyütt,Adrián);托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。 2 2018 使用STL定位Simulink/Stateflow模型中的故障。 Zbl 1409.68168号 埃齐奥·巴托西;托马斯·费雷尔;奈维迪塔·曼朱纳特;德扬·尼契科维奇 2 2018 对放松守时的复合兴趣。 Zbl 1460.68059号 托马斯·费雷尔 2 2018 监测事件频率。 兹伯利07650833 托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。;伯恩哈德·克拉格尔 2 2020 顺序信息流的味道。 Zbl 1498.68151号 埃齐奥·巴托西;托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。;德扬·尼科维奇;奥利维拉·达科斯塔,安娜 1 2022 从实时逻辑到时间自动机。 Zbl 1473.68107号 托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;阿米尔·普努利 1 2019 顺序信息流的味道。 Zbl 1498.68151号 埃齐奥·巴托西;托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。;德扬·尼科维奇;奥利维拉·达科斯塔,安娜 1 2022 监测事件频率。 Zbl 07650833号 托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。;伯恩哈德·克拉格尔 2 2020 接口软件信号时序逻辑。 Zbl 07120141号 托马斯·费雷尔;德扬·尼科维奇;亚历山大·唐泽;伊藤久弘;詹姆斯·卡宾斯基 三 2019 从实时逻辑到时间自动机。 Zbl 1473.68107号 托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;阿米尔·普努利 1 2019 使用自动机进行在线定时模式匹配。 Zbl 1514.68095号 阿列克谢·巴赫金;托马斯·费雷尔;德扬·尼科维奇;奥德·马勒;尤金·亚萨林 6 2018 STL的有效参数识别。 兹比尔1409.68166 阿列克谢·巴赫金;托马斯·费雷尔;奥德·马勒 5 2018 寄存器监视器理论。 Zbl 1497.68261号 托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。;萨拉索,N.Ege 三 2018 用时钟变量监测时序逻辑。 Zbl 1514.68129号 艾尔吉·尤特(Elgyütt,Adrián);托马斯·费雷尔;托马斯·亨辛格(Thomas A.Henzinger)。 2 2018 使用STL定位Simulink/Stateflow模型中的故障。 Zbl 1409.68168号 埃齐奥·巴托西;托马斯·费雷尔;奈维迪塔·曼朱纳特;德扬·尼契科维奇 2 2018 对放松守时的复合兴趣。 Zbl 1460.68059号 托马斯·费雷尔 2 2018 实值信号上正则表达式的定量语义。 Zbl 1494.68128号 阿列克谢·巴赫金;托马斯·费雷尔;奥德·马勒;乌鲁斯,多根 2 2017 使用导数进行在线定时模式匹配。 Zbl 1420.68247号 乌鲁斯,多根;托马斯·费雷尔;尤金·亚萨林;奥德·马勒 7 2016 使用时间隐式跟踪诊断。 Zbl 1471.68141号 托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇 三 2015 用定时模式测量。 Zbl 1381.68160号 托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;乌鲁斯,多根 2 2015 定时模式匹配。 Zbl 1419.68221号 乌鲁斯,多根;托马斯·费雷尔;尤金·亚萨林;奥德·马勒 7 2014 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 4 德扬·尼科维奇 三 埃齐奥·巴托西 三 阿德里安·弗兰卡兰扎 三 德米特里·特拉泰尔 2 埃蒂安·安德烈 2 尤金·亚萨林 2 David A.Basin。 2 尼古拉斯·巴塞特 2 巴拉戈·纳加拉贾·巴特 2 Thao Dang先生 2 比尼特·戈什 2 克里斯蒂安·克里斯蒂奇 2 阿克谢·马姆巴卡姆 1 Aceto,卢卡 1 安东尼斯·阿奇利奥斯 1 沃尔夫冈·阿伦特 1 埃利·阿纳斯塔西亚迪 1 保罗·阿卡尼 1 艾丁·戈尔(Ebru Aydin Gol) 1 阿尔伯特·本文尼斯特 1 多梅尼科·比安库利 1 罗德里克·布洛姆 1 安东尼奥·阿纳斯塔西奥·布鲁托·达·科斯塔 1 曹振福 1 阿格尼索姆查托帕迪耶 1 陈洪凯 1 陈杰 1 Stephen Chong先生 1 克里斯蒂安·科伦坡 1 帕拉布·达斯古普塔 1 董晓雷 1 梅尔特·埃尔古图纳 1 伊利耶斯·法尔科内 1 托马斯·费雷尔 1 费斯曼,达纳 1 巴西姆·戈尔贝尔 1 龚俊清 1 托马斯·莫勒·格罗森 1 西尔万·霍尔 1 一郎·哈索 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 何希明 1 Incer,伊尼戈 1 Ingólfsdóttir,安娜 1 蒂莫西·琼斯。 1 肖恩·考夫曼 1 桑卡拉·纳拉亚南·克里希纳 1 拉诺特、拉格罗 1 金·古德斯特兰·拉森 1 卡罗琳娜·莱赫蒂宁 1 林,珊 1 Lourenço,Joáo M。 1 吕德云 1 马磊 1 马德巴赫,贝内迪克特 1 库什拉伊·马德纳尼 1 康斯坦蒂诺斯·马穆拉斯 1 奈维迪塔·曼朱纳特 1 克里斯汀·马提斯 1 Manuel jun,马祖。 1 尼古拉斯·马佐奇 1 马西莫·梅罗 1 埃莉奥诺拉·内斯特里尼 1 戈登·佩斯。 1 帕里托什·K·潘迪亚。 1 尼古拉·保莱蒂 1 马蒂亚斯·拉加德·佩德森 1 帕布,维纳亚克S。 1 若泽·伊格纳西奥·雷格诺·贾拉博 1 若泽·鲁菲诺 1 萨吉·萨登 1 塞萨尔·桑切斯 1 Alberto L.Sangiovanni-Vincentelli。 1 萨拉索,N.Ege 1 杰拉尔多·施奈德 1 桑吉特·阿伦库马尔 1 辛戈尔斯,朱利安 1 斯科特·斯莫尔卡。 1 唐少华 1 西蒙·蒂尼 1 雨果·特伦布雷 1 乌鲁斯,多根 1 王志福 1 亚历山大·韦斯 1 向、健 1 亚辛卡亚、贝亚齐特 1 张振亚 1 赵建军 1 周若玉 1 马丁·齐默尔曼 全部的 前5名引用于6个系列 三 信息与计算 2 系统设计中的形式化方法 1 信息学报 1 人工智能研究杂志 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 在5个字段中引用 26 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 5 系统论;控制(93至XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文