编辑配置文件(在新选项卡中打开) 斯塔夫罗斯·特里帕基斯 合著者距离 作者ID: 特里帕基斯·斯塔夫罗斯 发布日期: 斯塔夫罗斯·特里帕基斯;特里帕基斯,S。 外部链接: MGP公司 已编制索引的文档: 48出版物自1999年以来 1名编辑贡献 合著者: 60位合著者具有41联合出版物 1276位合作作者 全部的 前5名合著者 8 单作者的 4 莫伊斯·克里钦 4 李爱德华·阿什福德 4 普洛塔萨,维奥雷尔 三 阿尔伯特·本文尼斯特 三 保罗·卡斯皮 三 康,恩苏克 三 圣菲拉福顿 2 卡琳·阿尔蒂森 2 萨德克·本萨勒姆 2 尤利亚·德拉戈米尔 2 罗伯托·卢布林曼 2 埃尔文·马尔坎德 2 Doron A.Peled。 2 斯里尼瓦斯·皮尼塞蒂 2 阿努吉·普里 2 曲洪阳 2 威廉·舒尔茨。 2 克里斯·沙弗 2 克里斯托斯·斯特吉奥 2 塞尔吉奥·尤文 2 周思源 1 Bae,Kyungmin先生 1 奥列格·博奇卡列夫 1 艾哈迈德·博阿贾尼 1 大卫·布罗曼 1 伊戈尔·布辛斯基 1 弗兰克·卡塞兹 1 科斯塔斯·库库贝蒂斯。 1 伊恩·达迪克 1 马尔科·迪纳塔莱 1 吕迪格埃勒斯 1 埃莱夫塞里亚迪斯,查里斯 1 乌里·法伦贝格 1 伊利耶斯·法尔科内 1 冯,托马斯·惠宁 1 马克·盖伦 1 乔治·詹塔米迪斯 1 列夫·格林伯格 1 杰伦,蒂埃里 1 Katsaros,Panagiotis公司 1 尼古拉斯·凯卡托斯 1 保罗·勒格尔尼克 1 迈克尔·马辛 1 Eleftherios的Matsikoudis 1 穆洛省梅拉戈雷斯 1 阿塞尼·内里诺夫斯基 1 Olveczky,Peter Csaba 1 克劳迪奥·皮内洛 1 安吉特·普拉丹 1 罗普,Partha S。 1 Alberto L.Sangiovanni-Vincentelli。 1 桑吉特·阿伦库马尔·塞希亚 1 娜塔莎·莎莉吉娜 1 克里斯蒂安·塞格迪 1 Jean-Pierre塔宾 1 瓦莱亚,普拉文·普拉塔普 1 莫西·亚亚科夫·瓦尔迪 1 科尔·维克 1 迈克尔·威特 1 马滕·威格斯 全部的 前5名系列 5 系统设计中的形式化方法 2 信息处理信函 2 离散事件动态系统 1 IEEE自动控制汇刊 1 电气电子工程师学会计算机期刊 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 机器学习 1 计算机科学中的数学结构 1 计算机基础理论 1 ACM计算逻辑汇刊 1 计算机科学课堂讲稿 全部的 前5名领域 43 计算机科学(68至XX) 8 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用370中的次303文件 引用人▼ 年份▼ 具有有界或无界延迟通信的离散事件系统的分散控制。 Zbl 1365.93022号 斯塔夫罗斯,特里帕基斯 56 2004 混合叠加标准的要求。 Zbl 1366.68352号 大卫·布罗曼;列夫·格林伯格;爱德华·A·李。;迈克尔·马辛;斯塔夫罗斯·特里帕基斯;迈克尔·威特 31 2015 使用椭球近似验证具有线性微分包含的混合系统。 兹比尔1037.93510 奥列格·博奇卡列夫;斯塔夫罗斯·特里帕基斯 28 2000 使用静态和动态观测器进行故障诊断。 Zbl 1167.68011号 弗兰克·卡塞兹;斯塔夫罗斯·特里帕基斯 25 2008 使用时间抽象的交互模拟对定时系统进行分析。 Zbl 0971.68096号 斯塔夫罗斯·特里帕基斯;塞尔吉奥·尤文 24 2001 时间自动机的故障诊断。 Zbl 1278.68140号 斯塔夫罗斯·特里帕基斯 23 2002 有效检查定时Büchi自动机的空性。 Zbl 1085.68083号 斯塔夫罗斯·特里帕基斯;塞尔吉奥·尤文;艾哈迈德·博阿贾尼 20 2005 常规语言分散观察和控制的不确定问题。 Zbl 1178.68327号 斯塔夫罗斯·特里帕基斯 20 2004 离散和稠密系统的实时控制器综合。 Zbl 1037.93522号 斯塔夫罗斯·特里帕基斯;卡琳·阿尔蒂森 19 1999 实时系统的一致性测试。 Zbl 1180.68072号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 14 2009 关于时间自动机的确定和最小化的福克定理。 Zbl 1185.68401号 斯塔夫罗斯·特里帕基斯 12 2006 检查模拟图上的定时Büchi自动机的空性。 Zbl 1352.68165号 斯塔夫罗斯·特里帕基斯 11 2009 实时系统的黑盒一致性测试。 Zbl 1125.68370号 Krichen,Moez莫兹;斯塔夫罗斯,特里帕基斯 10 2004 监督控制和反应合成:比较介绍。 Zbl 1379.93068号 吕迪格·埃勒斯;圣菲拉福顿;斯塔夫罗斯·特里帕基斯;莫舍·瓦尔迪。 9 2017 没有导演的演员:卡尼亚对异质系统的看法。 Zbl 1237.68122号 卡斯皮,P。;A.Benveniste。;卢布林曼(R.Lublinerman)。;特里帕基斯,S。 6 2009 时间自动机的实现:语义还是建模问题? Zbl 1175.68240号 卡琳·阿尔蒂森;斯塔夫罗斯·特里帕基斯 6 2005 关于时间自动机的确定和最小化的福克定理。 Zbl 1099.68648号 斯塔夫罗斯·特里帕基斯 5 2004 使用实时淡紫色验证等级托勒密二世离散事件模型。 Zbl 1264.68051号 Bae,Kyungmin先生;彼得·塞巴·奥维茨基;冯,托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 5 2012 预测运行时强制。 Zbl 1370.68207号 斯里尼瓦斯·皮尼塞蒂;普洛塔萨,维奥雷尔;斯塔夫罗斯,特里帕基斯;蒂埃里·杰伦;伊利耶斯·法尔科内;埃尔文·马尔坎德 5 2017 用于松散时间触发体系结构的协议。 Zbl 1027.68762号 阿尔伯特·本文尼斯特;保罗·卡斯皮;保罗·勒格尔尼克;马尔尚,赫维;Jean-Pierre塔宾;斯塔夫罗斯·特里帕基斯 4 2002 从同步框图生成模块化代码:模块化与代码大小。 Zbl 1315.68041号 罗伯托·卢布林曼;克里斯蒂安·塞格迪;斯塔夫罗斯·特里帕基斯 4 2009 多约束路由问题的算法。 Zbl 1078.68545号 阿努吉·普里;斯塔夫罗斯·特里帕基斯 三 2002 验证建模。 Zbl 1392.68264号 Sanjit A.Seshia。;娜塔莎·莎莉吉娜;斯塔夫罗斯·特里帕基斯 三 2018 关于时间离散事件模型的验证。 Zbl 1318.68117号 克里斯托斯·斯特吉奥;斯塔夫罗斯·特里帕基斯;Eleftherios的Matsikoudis;爱德华·A·李。 三 2013 从输入输出轨迹学习摩尔机器。 Zbl 1427.68133号 乔治·詹塔米迪斯;斯塔夫罗斯·特里帕基斯 三 2016 用机械方法证明层次框图翻译的确定性。 Zbl 1522.68344号 普洛塔萨,维奥雷尔;尤利亚·德拉戈米尔;斯塔夫罗斯·特里帕基斯 三 2019 自动车辆控制系统软件架构的描述和可调度性分析。 兹比尔1027.68960 斯塔夫罗斯·特里帕基斯 2 2002 使用时间自动机测试仪和覆盖标准进行实时测试。 Zbl 1109.68368号 莫伊斯·克里钦;斯塔夫罗斯,特里帕基斯 2 2004 在非确定性和非输入接受系统中实现成分反馈。 Zbl 1401.68013号 普洛塔萨,维奥雷尔;斯塔夫罗斯·特里帕基斯 2 2016 离散事件系统分散观测与控制问题及实例。 Zbl 1054.93038号 阿努吉·普里;斯塔夫罗斯,特里帕基斯;普拉文·瓦莱亚 2 2002 托勒密的模块化形式语义。 Zbl 1271.68238号 斯塔夫罗斯·特里帕基斯;克里斯托斯·斯特吉奥;克里斯·沙弗;爱德华·A·李。 2 2013 越早越好:一种定时参与者界面理论。 Zbl 1362.68049号 马克·盖伦;斯塔夫罗斯·特里帕基斯;马滕·威格斯 2 2011 在松散时间触发的体系结构上实现同步模型。 Zbl 1390.68050号 斯塔夫罗斯·特里帕基斯;克劳迪奥·皮内洛;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;保罗·卡斯皮;马尔科·迪纳塔莱 1 2008 实时一致性关系tioco的有趣特性。 Zbl 1168.68385号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 1 2006 并发定时系统路径条件的自动生成。 Zbl 1293.68201号 萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 1 2008 正在为定时系统生成路径条件。 兹比尔1137.68351 萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 1 2005 时间系统的形式化建模和分析。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。 兹比尔1223.68006 1 2011 概率模型检查:离散和实时系统的形式化和算法。 Zbl 0959.68079号 科斯塔斯·库库贝蒂斯;斯塔夫罗斯·特里帕基斯 1 2000 用机械方法证明层次框图翻译的确定性。 Zbl 1522.68344号 普洛塔萨,维奥雷尔;尤利亚·德拉戈米尔;斯塔夫罗斯·特里帕基斯 三 2019 验证建模。 兹比尔1392.68264 Sanjit A.Seshia。;娜塔莎·莎莉吉娜;斯塔夫罗斯·特里帕基斯 三 2018 监督控制和反应合成:比较介绍。 Zbl 1379.93068号 吕迪格·埃勒斯;圣菲拉福顿;斯塔夫罗斯·特里帕基斯;莫舍·瓦尔迪。 9 2017 预测运行时强制。 Zbl 1370.68207号 斯里尼瓦斯·皮尼塞蒂;普洛塔萨,维奥雷尔;斯塔夫罗斯·特里帕基斯;蒂埃里·杰伦;伊利耶斯·法尔科内;埃尔文·马尔坎德 5 2017 从输入输出轨迹学习摩尔机器。 兹比尔1427.68133 乔治·詹塔米迪斯;斯塔夫罗斯·特里帕基斯 三 2016 非确定性和非输入感知系统中的合成反馈。 Zbl 1401.68013号 普洛塔萨,维奥雷尔;斯塔夫罗斯·特里帕基斯 2 2016 混合叠加标准的要求。 兹比尔1366.68352 大卫·布罗曼;列夫·格林伯格;爱德华·A·李。;迈克尔·马辛;斯塔夫罗斯·特里帕基斯;迈克尔·威特 31 2015 关于时间离散事件模型的验证。 Zbl 1318.68117号 克里斯托斯·斯特吉奥;斯塔夫罗斯·特里帕基斯;Eleftherios的Matsikoudis;爱德华·A·李。 三 2013 托勒密的模块化形式语义。 Zbl 1271.68238号 斯塔夫罗斯·特里帕基斯;克里斯托斯·斯特吉奥;克里斯·沙弗;爱德华·A·李。 2 2013 使用实时淡紫色验证等级托勒密二世离散事件模型。 Zbl 1264.68051号 Bae,Kyungmin先生;彼得·塞巴·奥维茨基;冯,托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 5 2012 越早越好:一种定时参与者界面理论。 Zbl 1362.68049号 马克·盖伦;斯塔夫罗斯·特里帕基斯;马尔滕威格斯 2 2011 定时系统的形式化建模和分析。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。 Zbl 1223.68006号 1 2011 实时系统的一致性测试。 Zbl 1180.68072号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 14 2009 在模拟图上检查定时Büchi自动机的空性。 Zbl 1352.68165号 斯塔夫罗斯·特里帕基斯 11 2009 没有导演的演员:卡尼安对异质系统的看法。 Zbl 1237.68122号 卡斯皮,P。;A.Benveniste。;卢布林曼(R.Lublinerman)。;特里帕基斯,S。 6 2009 从同步框图生成模块化代码:模块化与代码大小。 兹比尔1315.68041 罗伯托·卢布林曼;克里斯蒂安·塞格迪;斯塔夫罗斯·特里帕基斯 4 2009 使用静态和动态观测器进行故障诊断。 Zbl 1167.68011号 弗兰克·卡塞兹;斯塔夫罗斯·特里帕基斯 25 2008 在松散时间触发的体系结构上实现同步模型。 Zbl 1390.68050号 斯塔夫罗斯·特里帕基斯;克劳迪奥·皮内洛;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;保罗·卡斯皮;马尔科·迪纳塔莱 1 2008 并发定时系统路径条件的自动生成。 Zbl 1293.68201号 萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯,特里帕基斯 1 2008 关于时间自动机的确定化和最小化的Folk定理。 Zbl 1185.68401号 斯塔夫罗斯·特里帕基斯 12 2006 实时一致性关系tioco的有趣特性。 Zbl 1168.68385号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 1 2006 有效地检查定时Büchi自动机的空性。 Zbl 1085.68083号 斯塔夫罗斯·特里帕基斯;塞尔吉奥·尤文;艾哈迈德·博阿贾尼 20 2005 时间自动机的实现:语义还是建模问题? Zbl 1175.68240号 卡琳·阿尔蒂森;斯塔夫罗斯·特里帕基斯 6 2005 为定时系统生成路径条件。 Zbl 1137.68351号 萨德克·本萨勒姆;Peled,多伦;曲洪阳;斯塔夫罗斯·特里帕基斯 1 2005 具有有界或无界延迟通信的离散事件系统的分散控制。 Zbl 1365.93022号 斯塔夫罗斯·特里帕基斯 56 2004 常规语言分散观察和控制的不确定问题。 Zbl 1178.68327号 斯塔夫罗斯·特里帕基斯 20 2004 实时系统的黑盒一致性测试。 Zbl 1125.68370号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 10 2004 关于时间自动机的确定和最小化的福克定理。 Zbl 1099.68648号 斯塔夫罗斯·特里帕基斯 5 2004 使用时间自动机测试仪和覆盖标准进行实时测试。 Zbl 1109.68368号 莫伊斯·克里钦;斯塔夫罗斯,特里帕基斯 2 2004 时间自动机的故障诊断。 Zbl 1278.68140号 斯塔夫罗斯·特里帕基斯 23 2002 用于松散时间触发体系结构的协议。 Zbl 1027.68762号 阿尔伯特·本文尼斯特;保罗·卡斯皮;保罗·勒格尔尼克;埃尔文·马尔坎德;Jean-Pierre塔宾;斯塔夫罗斯,特里帕基斯 4 2002 多约束路由问题的算法。 Zbl 1078.68545号 阿努吉·普里;斯塔夫罗斯·特里帕基斯 三 2002 自动车辆控制系统软件架构的描述和可调度性分析。 Zbl 1027.68960号 斯塔夫罗斯·特里帕基斯 2 2002 离散事件系统分散观测与控制问题及实例。 Zbl 1054.93038号 阿努吉·普里;斯塔夫罗斯·特里帕基斯;普拉文·瓦莱亚 2 2002 使用时间抽象互模拟分析定时系统。 Zbl 0971.68096号 斯塔夫罗斯·特里帕基斯;塞尔吉奥·尤文 24 2001 使用椭球近似验证带有线性微分包含的混合系统。 Zbl 1037.93510号 奥列格·博奇卡列夫;斯塔夫罗斯·特里帕基斯 28 2000 概率模型检查:离散和实时系统的形式化和算法。 Zbl 0959.68079号 科斯塔斯·库库贝蒂斯;斯塔夫罗斯·特里帕基斯 1 2000 离散和稠密系统的实时控制器综合。 兹比尔1037.93522 斯塔夫罗斯·特里帕基斯;卡琳·阿尔蒂森 19 1999 所有引用出版物 前5名被引用出版物 全部的 前5名596位作者引用 13 斯塔夫罗斯,特里帕基斯 9 拉福,Stéphane 8 尼古拉斯·马基 7 金·古德斯特兰·拉森 6 乔·卡洛斯·巴西利奥 6 帕特里夏·鲍耶 6 Thao Dang先生 6 奥德·马勒 6 格钦·诺曼 6 公园,Seong-Jin 5 Cho,Kwang-Hyun先生 5 弗雷德里克·赫布雷托 5 蒂埃里·杰伦 5 约翰·莱杰罗斯 5 埃尔文·马尔坎德 4 埃蒂安·安德烈 4 蔡凯 4 伊万娜·乔纳 4 安托万·吉拉德 4 亚历山德罗·朱阿 4 罗伯特·马克·海伦斯 4 Marta Z.Kwiatkowska。 4 米尔恰·拉扎尔 4 李爱德华·阿什福德 4 何塞·梅塞盖尔·瓜伊塔 4 马科斯·文森特·莫雷拉 4 S.Shankar,萨斯特里 4 桑吉特·阿伦库马尔·塞希亚 4 巴拉古鲁·斯里瓦桑 4 苏荣 4 Jean-Pierre塔宾 4 尹、香 4 张仁元 三 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 三 Calin A.Belta。 三 阿尔伯特·本文尼斯特 三 Nathalie Bertrand 三 博尔祖·博纳克达尔普尔 三 卡瓦略、莉莲·卡瓦卡米 三 弗兰克·卡塞兹 三 安娜·卡瓦尔坎蒂 三 克里希南德·查特吉 三 迪·贝内代托,玛丽亚·多梅尼卡 三 乌里·法伦贝格 三 韩正志 三 黄、军 三 莫伊斯·克里钦 三 克里希纳,Shankara Narayanan 三 Sandeep S.Kulkarni。 三 保罗·勒格尔尼克 三 恩格尔·勒福丘 三 莱姆,迪迪埃 三 林,冯 三 林、李勇 三 鲁帕克·马朱姆达尔 三 理查德·默里(Richard M.Murray)。 三 尼克维奇,德扬 三 Manuel A.努内兹。 三 Doron A.Peled。 三 佐丹奴·波罗 三 纳西·拉姆达尼 三 Jean-François拉斯金 三 劳丽·瑞克 三 奥利维尔·鲁克斯。 三 桑卡拉纳拉亚南,斯里拉姆 三 奥坎·桑库尔 三 舒少龙 三 杰里米·斯普洛斯顿 三 泰、若晨 三 阿舒托什·特里维迪 三 van Schuppen,Jan H。 三 Moshe Ya’akov瓦尔迪 三 伊戈尔·瓦卢基维奇 三 王伟林 三 沃尔特·默里(Walter Murray),沃纳姆(Wonham) 三 詹乃军 三 张奎泽 三 朱玉婷 2 亚历山德罗·阿巴特 2 福阿德·阿布贾拉德 2 阿尔维斯(Marcos V.S.Alves)。 2 亚伦·D·埃姆斯。 2 尤金·亚萨林 2 JiříBarnat 2 埃齐奥·巴托西 2 尼古拉·贝内什 2 卢卡·本维努蒂 2 彼得·贝兹克 2 塞尔吉·博戈莫洛夫 2 蒂莫西·布鲁克 2 大卫·布雷索林 2 托马斯·布里海耶 2 维罗尼克·布鲁埃 2 蔡秀珊 2 贝诺·凯劳德 2 伊夫·坎多 2 达里奥·卡塔鲁扎 2 马丁·奇梅利克 2 汤姆,乔西娅 2 亚历山德罗·西马蒂 …还有496位作者 全部的 前5名47篇连载文章被引用 30 Automatica公司 25 离散事件动态系统 23 系统设计中的形式化方法 12 理论计算机科学 8 信息与计算 6 非线性分析。混合动力系统 5 计算机科学中的逻辑方法 5 程序设计中的逻辑和代数方法杂志 4 国际控制杂志 4 系统和控制信件 4 欧洲控制杂志 4 逻辑与代数编程杂志 三 信息学报 三 人工智能 三 计算机程序设计科学 三 计算的形式方面 三 实时系统 三 分布式计算 2 信息处理信函 2 计算机与系统科学杂志 2 自动推理杂志 2 计算机基础理论 1 倒排索引综述 1 国际通用系统杂志 1 富兰克林学院学报 1 信息科学 1 最优化理论与应用杂志 1 电路、系统和信号处理 1 算法 1 国际并行程序设计杂志 1 计算机科学中的数学结构 1 国际计算机科学基础杂志 1 国际鲁棒非线性控制杂志 1 逻辑、语言与信息杂志 1 约束条件 1 计算系统理论 1 日程安排日志 1 非线性科学与数值模拟中的通信 1 特鲁迪马特马提基研究所 1 ACM计算逻辑汇刊 1 应用逻辑杂志 1 优化信函 1 赖罗。理论信息学及其应用 1 亚洲控制杂志 1 数值代数、控制与优化 1 计算机科学评论 1 Modelirovanie i Analiz信息系统 全部的 前5名在24个字段中引用 204 计算机科学(68至XX) 143 系统论;控制(93至XX) 22 运筹学、数学规划(90-XX) 20 数学逻辑和基础(03-XX) 16 博弈论、经济学、金融和其他社会和行为科学(91-XX) 7 常微分方程(34-XX) 6 变异微积分和最优控制;最优化(49至XX) 6 概率论与随机过程(60-XX) 6 数值分析(65-XX) 5 信息与通信理论、电路(94-XX) 4 生物学和其他自然科学(92-XX) 三 动力系统和遍历理论(37至XX) 2 组合数学(05-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 粒子和系统力学(70-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 交换代数(13-XX) 1 实际功能(26年X月X日) 1 偏微分方程(35-XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 1 流体力学(76-XX) 按年份列出的引文