编辑配置文件（在新选项卡中打开） 德扬·尼科维奇 合著者距离 作者ID： 尼科维奇·德詹 发布日期： 德扬·尼科维奇；德扬·尼契科维奇 已编制索引的文档： 30份出版物自2004年起 1作为编辑的贡献 合著者： 54位合著者具有31联合出版物 1026位合作作者 全部的 前5名合著者 0 单作者的 12 奥德·马勒 9 埃齐奥·巴托西 9 托马斯·费雷尔 4 阿米尔·普努利 三 尤金·亚萨林 三 拉杜·格罗苏 三 斯特凡·雅克西奇 三 多根·乌卢斯 2 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 布洛克，罗德里克 2 亚历山大·唐泽 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 弗洛里安·洛伯 2 奈维迪塔·曼朱纳特 2 克里斯汀·马提斯 2 尼尔·皮特曼 2 罗森曼，Amnon 1 埃德加·A·阿吉拉尔。 1 沃尔夫冈·阿伦特 1 阿列克谢·巴赫金 1 阿南德·巴拉克利什南 1 多梅尼科·比安库利 1 克里斯蒂安·科伦坡 1 Jyotirmoy V.德斯穆赫。 1 伊利耶斯·法尔科内 1 贾斯敏·费希尔 1 阿德里安·弗兰卡兰扎 1 沃尔夫冈·格拉尼格 1 伊藤久弘 1 凯文·琼斯。 1 马尔钦·尤尔季安斯基 1 詹姆斯·卡宾斯基 1 维克托·康拉德 1 威利博尔德·克伦 1 Sr Djan Krstić 1 霍斯特·莱维施尼格 1 Lourenço，Joáo M。 1 马德巴赫，贝内迪克特 1 埃莉奥诺拉·内斯特里尼 1 奥利维拉·达科斯塔，安娜 1 戈登·佩斯。 1 阿米尔·普努利 1 弗朗茨·罗克 1 阿莱娜·罗迪奥诺娃 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 辛戈尔斯，朱利安 1 Anmol V.辛格。 1 斯科特·斯莫尔卡。 1 Tec，Loredana公司 1 德米特里·特拉泰尔 1 莫西·亚亚科夫·瓦尔迪 1 亚历山大·韦斯 全部的 前5名系列 三 系统设计中的形式化方法 1 信息与计算 1 实时系统 1 美国计算机学会期刊 1 计算机科学课堂讲稿 1 非线性分析。混合动力系统 领域 30 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 4 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用225中的次153文件 引用人▼ 年份▼ 监测连续信号的时间特性。 Zbl 1109.68518号 奥德·马勒；德扬·尼科维奇 91 2004 从MITL到时间自动机。 Zbl 1141.68436号 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 18 2006 实时时序逻辑：过去、现在、未来。 Zbl 1175.03009号 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 17 2005 检查离散、定时和连续行为的时间属性。 兹比尔1133.68378 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 15 2008 利用编辑距离定量监测STL。 Zbl 1394.68230号 斯特凡·雅克西奇；埃齐奥·巴托西；拉杜·格罗苏；阮，Thang；德扬·尼契科维奇 11 2018 关于时序逻辑和信号处理。 Zbl 1374.68278号 亚历山大·唐泽；奥德·马勒；埃齐奥·巴托西；德扬·尼科维奇；拉杜·格罗苏；斯科特·斯莫尔卡 9 2012 高级应用程序域（软件以外）的运行时验证挑战调查。 兹比尔1425.68268 塞萨尔·桑切斯；杰拉尔多·施奈德；沃尔夫冈·阿伦特；埃齐奥·巴托西；多梅尼科·比安库利；克里斯蒂安·科伦坡；伊利耶斯·法尔科内；阿德里安·弗兰卡兰扎；Sr Djan Krstić；Lourenço，Joáo M。；德扬·尼科维奇；戈登·佩斯。；何塞·鲁菲诺；辛戈尔斯，朱利安；德米特里·特拉泰尔；亚历山大·韦斯 9 2019 发件人mtl公司到确定性时间自动机。 兹比尔1290.68077 德扬·尼契科维奇；尼尔·皮特曼 8 2010 从有界响应特性合成控制器。 Zbl 1135.68477号 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 8 2007 使用自动机进行在线定时模式匹配。 Zbl 1514.68095号 阿列克谢·巴赫金；托马斯·费雷尔；德扬·尼科维奇；奥德·马勒；尤金·亚萨林 6 2018 时间逻辑作为过滤。 Zbl 1364.94156号 阿莱娜·罗迪奥诺娃；埃齐奥·巴托西；德扬·尼科维奇；拉杜·格罗苏 6 2016 动态反应模块。 Zbl 1343.68167号 贾斯敏·费希尔；托马斯·亨辛格（Thomas A.Henzinger）。；德扬·尼科维奇；尼尔·皮特曼；Anmol V.辛格。；莫舍·瓦尔迪。 5 2011 使用时间暗示追踪诊断。 Zbl 1471.68141号 托马斯·费雷尔；奥德·马勒；德扬·尼契科维奇 三 2015 用于在有限跟踪上监视LTL规范的计数语义。 Zbl 1511.68147号 埃齐奥·巴托西；布洛克，罗德里克；德扬·尼科维奇；弗兰茨·罗克 三 2018 模拟属性检查器：DDR2案例研究。 Zbl 1207.68208号 凯文·琼斯。；维克托·康拉德；德扬·尼契科维奇 三 2010 接口软件信号时序逻辑。 Zbl 07120141号 托马斯·费雷尔；德扬·尼科维奇；亚历山大·唐泽；伊藤久弘；詹姆斯·卡宾斯基 三 2019 用定时模式测量。 Zbl 1381.68160号 托马斯·费雷尔；奥德·马勒；德扬·尼契科维奇；多根·乌卢斯 2 2015 使用STL定位Simulink/Stateflow模型中的故障。 Zbl 1409.68168号 埃齐奥·巴托西；托马斯·费雷尔；奈维迪塔·曼朱纳特；德扬·尼契科维奇 2 2018 具有静默转换的时间自动机的有界判定。 Zbl 1465.68161号 弗洛里安·洛伯；阿姆诺·罗森曼；德扬·尼契科维奇；伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 2015 挖掘信号时序逻辑规范综述。 兹伯利07629148 埃齐奥·巴托西；克里斯汀·马提斯；埃莉奥诺拉·内斯特里尼；德扬·尼科维奇 1 2022 从实时逻辑到时间自动机。 Zbl 1473.68107号 托马斯·费雷尔；奥德·马勒；德扬·尼契科维奇；阿米尔·普努利 1 2019 故障软件系统的弱点监控器。 Zbl 07317103号 沃尔夫冈·格拉尼格；斯特凡·雅克西奇；霍斯特·莱维施尼格；克里斯汀·马提斯；德扬·尼契科维奇 1 2020 顺序信息流的味道。 Zbl 1498.68151号 埃齐奥·巴托西；托马斯·费雷尔；托马斯·亨辛格（Thomas A.Henzinger）。；德扬·尼科维奇；奥利维拉·达科斯塔，安娜 1 2022 挖掘信号时序逻辑规范综述。 兹伯利07629148 埃齐奥·巴托西；克里斯汀·马提斯；埃莉奥诺拉·内斯特里尼；德扬·尼科维奇 1 2022 顺序信息流的味道。 Zbl 1498.68151号 埃齐奥·巴托西；托马斯·费雷尔；托马斯·亨辛格（Thomas A.Henzinger）。；德扬·尼科维奇；奥利维拉·达科斯塔，安娜 1 2022 故障软件系统的弱点监控器。 Zbl 07317103号 沃尔夫冈·格拉尼格；斯特凡·雅克西奇；霍斯特·莱维施尼格；克里斯汀·马提斯；德扬·尼契科维奇 1 2020 高级应用程序域（软件以外）的运行时验证挑战调查。 兹比尔1425.68268 塞萨尔·桑切斯；杰拉尔多·施奈德；沃尔夫冈·阿伦特；埃齐奥·巴托西；多梅尼科·比安库利；克里斯蒂安·科伦坡；伊利耶斯·法尔科内；阿德里安·弗兰卡兰扎；Sr Djan Krstić；Lourenço，Joáo M。；德扬·尼科维奇；戈登·佩斯。；何塞·鲁菲诺；辛戈尔斯，朱利安；德米特里·特拉泰尔；亚历山大·韦斯 9 2019 接口软件信号时序逻辑。 兹伯利07120141 托马斯·费雷尔；德扬·尼科维奇；亚历山大·唐泽；伊藤久弘；詹姆斯·卡宾斯基 三 2019 从实时逻辑到时间自动机。 Zbl 1473.68107号 托马斯·费雷尔；奥德·马勒；德扬·尼契科维奇；阿米尔·普努利 1 2019 利用编辑距离定量监测STL。 Zbl 1394.68230号 斯特凡·雅克西奇；埃齐奥·巴托西；拉杜·格罗苏；阮，Thang；德扬·尼契科维奇 11 2018 使用自动机进行在线定时模式匹配。 Zbl 1514.68095号 阿列克谢·巴赫金；托马斯·费雷尔；德扬·尼科维奇；奥德·马勒；尤金·亚萨林 6 2018 用于在有限跟踪上监视LTL规范的计数语义。 Zbl 1511.68147号 埃齐奥·巴托西；布洛克，罗德里克；德扬·尼科维奇；弗兰茨·罗克 三 2018 使用STL定位Simulink/Stateflow模型中的故障。 Zbl 1409.68168号 埃齐奥·巴托西；托马斯·费雷尔；奈维迪塔·曼朱纳特；德扬·尼契科维奇 2 2018 时间逻辑作为过滤。 Zbl 1364.94156号 阿莱娜·罗迪奥诺娃；埃齐奥·巴托西；德扬·尼科维奇；拉杜·格罗苏 6 2016 使用时间暗示追踪诊断。 Zbl 1471.68141号 托马斯·费雷尔；奥德·马勒；德扬·尼契科维奇 三 2015 用定时模式测量。 Zbl 1381.68160号 托马斯·费雷尔；奥德·马勒；德扬·尼契科维奇；多根·乌卢斯 2 2015 具有静默转换的时间自动机的有界判定。 Zbl 1465.68161号 弗洛里安·洛伯；阿姆诺·罗森曼；德扬·尼契科维奇；伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 2015 关于时序逻辑和信号处理。 Zbl 1374.68278号 亚历山大·唐泽；奥德·马勒；埃齐奥·巴托西；德扬·尼科维奇；拉杜·格罗苏；斯科特·斯莫尔卡 9 2012 动态反应模块。 Zbl 1343.68167号 贾斯敏·费希尔；托马斯·亨辛格（Thomas A.Henzinger）。；德扬·尼科维奇；尼尔·皮特曼；Anmol V.辛格。；莫舍·瓦尔迪。 5 2011 发件人mtl公司到确定性时间自动机。 Zbl 1290.68077号 德扬·尼契科维奇；尼尔·皮特曼 8 2010 模拟属性检查器：DDR2案例研究。 Zbl 1207.68208号 凯文·琼斯。；维克托·康拉德；德扬·尼契科维奇 三 2010 检查离散、定时和连续行为的时间属性。 兹比尔1133.68378 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 15 2008 从有界响应特性合成控制器。 Zbl 1135.68477号 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 8 2007 从MITL到时间自动机。 Zbl 1141.68436号 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 18 2006 实时时间逻辑：过去、现在、未来。 Zbl 1175.03009号 奥德·马勒；德扬·尼科维奇；阿米尔·普努利 17 2005 监测连续信号的时间特性。 Zbl 1109.68518号 奥德·马勒；德扬·尼科维奇 91 2004 所有引用出版物 前5名被引用出版物 全部的 前5名375位作者引用 10 德扬·尼科维奇 7 埃齐奥·巴托西 7 卢卡·博托卢西 5 David A.Basin。 5 亚历山大·唐泽 5 林德曼，拉尔斯 5 米歇尔·洛雷蒂 5 劳拉·内兹 5 塞萨尔·桑切斯 5 桑吉特·阿伦库马尔·塞希亚 4 Calin A.Belta。 4 迪马罗戈纳斯，迪莫斯五世。 4 伊利耶斯·法尔科内 4 杰拉尔多·施奈德 三 埃蒂安·安德烈 三 亚历山德罗·西马蒂 三 Thao Dang先生 三 托马索·德罗西 三 Sr Djan Krstić 三 金·古德斯特兰·拉森 三 Legay、Axel 三 尼古拉·保莱蒂 三 乔治·帕帕斯。 三 罗西（Matteo A.C.Rossi）。 三 西蒙·蒂尼 三 斯特凡诺·托内塔 三 德米特里·特拉泰尔 三 马吉德·扎马尼 2 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 马蒂亚斯·阿尔霍夫 2 尼科斯·阿雷奇加 2 尤金·亚萨林 2 尼古拉斯·巴塞特 2 Marcelo Maria贝尔萨尼 2 巴拉戈·纳加拉贾·巴特 2 博尔祖·博纳克达尔普尔 2 卢博什·布里姆 2 弗朗西斯卡·凯罗利 2 迈克尔·坎通尼 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 陈洪凯 2 文森佐·西安西亚 2 克拉克（Edmund Melson jun Clarke）。 2 科恩，马克斯·H。 2 克里斯蒂安·科伦坡 2 帕拉布·达斯古普塔 2 Jennifer M.Davoren。 2 Jyotirmoy V.德斯穆赫。 2 弗朗索瓦·法赫斯 2 托马斯·费雷尔 2 阿德里安·弗兰卡兰扎 2 卡洛·阿尔贝托·福里亚 2 比尼特·戈什 2 斯特凡·雅克西奇 2 费利克斯·克莱特克 2 Sandeep S.Kulkarni。 2 李广元 2 李建文 2 林，珊 2 弗洛里安·洛伯 2 梅克·马西克 2 克里斯汀·马提斯 2 戈登·佩斯。 2 卡拉广场 2 Pierluigi San彼得罗 2 阿姆诺·罗森曼 2 马可·罗维里 2 克里斯汀·伊冯·罗泽尔 2 萨夫拉内克，大卫 2 吉多·桑吉内蒂 2 丹尼尔·塞尔瓦拉特南 2 伊曼·谢姆斯 2 辛戈尔斯，朱利安 2 斯科特·斯莫尔卡。 2 萨代赫·苏贾尼 2 范德波尔，扬·科内利斯 2 莫西·亚亚科夫·瓦尔迪 2 瓦西里，克里斯蒂安·伊昂 2 尤根·兹利内斯库 2 马丁·齐默尔曼 1 亚历山德罗·阿巴特 1 胡桑阿巴斯 1 科梅什，贝赫塞特 1 哈马德·艾哈迈德 1 沃尔夫冈·阿伦特 1 克努特·奥凯森 1 德里亚·阿克莎莱 1 法比奥·安塞尔米 1 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 1 保罗·阿卡尼 1 穆拉特·阿卡克 1 詹姆·阿里亚斯 1 西拉·阿罗拉 1 保罗·C·阿蒂。 1 艾丁·戈尔（Ebru Aydin Gol） 1 肖恩·阿佐帕迪 1 白、云君 1 乔安娜·巴尔布斯 1 保罗·巴拉里尼 1 班克斯，C.J。 …还有275名作者 全部的 前5名26篇连载文章中引用 17 系统设计中的形式化方法 11 理论计算机科学 11 信息与计算 10 Automatica公司 6 信息学报 6 计算机科学中的逻辑方法 三 人工智能 三 非线性分析。混合动力系统 2 国际近似推理杂志 2 计算的形式方面 1 信息处理信件 1 符号计算杂志 1 自动推理杂志 1 实时系统 1 MSCS公司。计算机科学中的数学结构 1 人工智能研究杂志 1 数学与人工智能年鉴 1 美国计算机学会模型和计算机仿真汇刊 1 欧洲控制杂志 1 美国计算机学会期刊 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 理论计算机科学的基础和发展趋势 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名在12个字段中引用 132 计算机科学（68至XX） 59 数学逻辑和基础（03-XX） 37 系统论；控制（93至XX） 8 生物学和其他自然科学（92-XX） 5 统计学（62-XX） 4 运筹学、数学规划（90-XX） 三 总体主题；集合（00-XX） 三 概率论与随机过程（60-XX） 2 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37至XX） 1 一般拓扑结构（54-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文