编辑配置文件（在新选项卡中打开） 弗兰克·卡塞兹 合著者距离 作者ID： 卡塞兹·弗朗克 发布日期： 弗兰克·卡塞兹;卡塞兹，F。 已编制索引的文档： 41出版物自1995年起 3作为编辑的贡献 合著者： 39位合著者具有41联合出版物 950位合作作者 全部的 前5名合著者 三 单作者的 9 莱姆，迪迪埃 8 金·古德斯特兰·拉森 8 奥利维尔·H·鲁克斯。 6 Jean-François拉斯金 6 Olivier F.鲁克斯。 5 Bérard，Béatrice公司 5 谢尔盖·哈达德 4 帕特里夏·鲍耶 三 亚历山大·戴维 三 伊曼纽尔·弗勒里 三 克洛德·贾德 三 弗朗索瓦·拉鲁西尼 2 吉莱斯·贝纳塔 2 杰瑞米·杜布雷尔 2 弗雷德里克·赫布雷托 2 彼得·格约尔·詹森 2 埃尔文·马尔坎德 2 皮埃尔·阿莱·雷尼尔 2 莱恩，马克·德莫特 2 罗恩·范德梅登 2 张晨毅 1 罗曼·布伦吉尔 1 彼得·布利切夫（Peter E.Bulychev）。 1 卡拉·伯内特 1 托马斯·查泰恩 1 菲利普·达西 1 阿兰·芬克尔 1 阿尔班·格雷斯廷 1 Guldstrand、Larsen Kim 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 Jan J.杰森。 1 克莱尔·佩吉蒂 1 亚美尼亚普里金特 1 布里吉特·罗佐伊 1 弗拉德·鲁苏 1 皮埃尔·伊夫·肖本斯 1 格雷戈伊尔·萨特雷 1 斯塔夫罗斯·特里帕基斯 1 弗罗文·齐格勒 全部的 前5名系列 4 理论计算机科学 三 计算机基础理论 三 计算机科学课堂讲稿 1 国际控制杂志 1 IEEE自动控制汇刊 1 计算的形式方面 1 实时系统 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 领域 42 计算机科学（68至XX） 9 系统论；控制（93至XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用280中的次217文件 引用人▼ 年份▼ 用于分析计时游戏的高效实时算法。 Zbl 1134.68382号 弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;Larsen，Kim G。;莱姆，迪迪埃 44 2005 秒表令人印象深刻的力量。 Zbl 0999.68112号 弗兰克·卡塞兹;拉森，金 26 2000 使用静态和动态观测器进行故障诊断。 Zbl 1167.68011号 弗兰克·卡塞兹;斯塔夫罗斯·特里帕基斯 25 2008 用静态和动态掩模合成不透明系统。 Zbl 1247.68161号 弗兰克·卡塞兹;杰雷米·杜布雷尔;埃尔文·马尔坎德 25 2012 定价时间博弈自动机中的最优策略。 Zbl 1117.68396号 帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。 18 2004 时间自动机和时间Petri网表达能力的比较。 Zbl 1175.68270号 贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 13 2005 定时系统和混合系统控制问题的比较。 Zbl 1044.93518号 弗兰克·卡塞兹;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 12 2002 鲁棒和最优控制器的自动综合——一个工业案例研究。 Zbl 1237.93058号 弗兰克·卡塞兹;杰森，简·J。;Larsen，Kim G。;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 12 2009 时间Petri网不同语义的比较。 Zbl 1170.68537号 Bérard，B。;卡塞兹，F。;哈达德，S。;莱姆，迪迪埃;O.H.罗克斯。 11 2005 离散事件和定时系统协可诊断性的复杂性。 Zbl 1369.93374号 弗兰克·卡塞兹 10 2012 不透明系统合成的动态观测器。 Zbl 1262.68107号 弗兰克·卡塞兹;杰雷米·杜布雷尔;埃尔文·马尔坎德 8 2009 时间Petri网的表达能力。 Zbl 1259.68141号 Bérard，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 8 2013 基于观察和断续不变策略的时间控制。 Zbl 1141.68428号 弗兰克·卡塞兹;亚历山大·戴维;Larsen，Kim G。;莱姆，迪迪埃;Jean-François拉斯金 7 2007 能量和平均值计时游戏。 Zbl 1362.91003号 罗曼·布伦吉尔;弗兰克·卡塞兹;Jean-François拉斯金 7 2014 通过商和约束求解对混合系统进行模型检查。 Zbl 0974.68117号 弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 6 2000 从时间Petri网到时间自动机的结构转换。 Zbl 1272.68294号 弗兰克·卡塞兹;奥利维尔·H·鲁克斯。 5 2005 定时系统中事件发生的可预测性。 Zbl 1390.68383号 弗兰克·卡塞兹;阿尔班·格雷斯廷 5 2013 无干扰定时系统的控制与综合。 Zbl 1328.93109号 吉莱斯·贝纳塔;弗兰克·卡塞兹;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 4 2015 使用跟踪抽象细化验证并发程序。 Zbl 1471.68134号 弗兰克·卡塞兹;弗罗文·齐格勒 4 2015 实时程序跟踪抽象的改进。 兹比尔1478.68052 弗兰克·卡塞兹;彼得·格约尔·詹森;金·古德斯特兰·拉森 4 2017 时间自动机何时弱时间与时间Petri网相似？ Zbl 1158.68029号 Bérard，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 三 2008 用于部分可观察定时游戏的高效实时算法。 Zbl 1141.93377号 弗兰克·卡塞兹 三 2007 实时系统的定时模态逻辑。规范、验证和控制。 Zbl 1216.68158号 帕特里夏·鲍耶;弗兰克·卡塞兹;拉鲁西尼，弗朗索瓦 三 2011 信息流安全同步概念的复杂性。 Zbl 1284.68385号 弗兰克·卡塞兹;罗恩·范德梅登;张晨毅 2 2010 时间自动机网络的符号展开。 Zbl 1161.68615号 弗兰克·卡塞兹;托马斯·查泰恩;克洛德·贾德 2 2006 定时控制的模态逻辑。 Zbl 1134.68399号 帕特里夏·鲍耶;弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 2 2005 时间自动机何时弱时间与时间Petri网相似？ Zbl 1158.68424号 贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 2 2005 用于验证和分析的自动化技术。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。 Zbl 1325.68014号 2 2014 并行过程的建模和验证。2000年6月19日至23日，法国南特，第四所暑期学校，MOVEP 2000。修订的教程讲座。 Zbl 0974.00044号 2 2001 无干扰定时系统的综合。 Zbl 1262.68084号 吉莱斯·贝纳塔;弗兰克·卡塞兹;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 1 2009 ALTARICA的定时扩展。 兹比尔1097.68573 弗兰克·卡塞兹;克莱尔·佩吉蒂;奥利维尔·鲁克斯 1 2004 最佳策略的综合使用高超声速. Zbl 1272.68228号 帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。 1 2005 离散事件和定时系统协可诊断性的复杂性。 Zbl 1305.68111号 弗兰克·卡塞兹 1 2010 使用跟踪抽象细化的实时程序的验证和参数合成。 Zbl 1478.68053号 弗兰克·卡塞兹;彼得·格约尔·詹森;Guldstrand、Larsen Kim 1 2021 使用跟踪抽象细化的实时程序的验证和参数合成。 Zbl 1478.68053号 弗兰克·卡塞兹;彼得·格约尔·詹森;拉森·金（Larsen Kim Guldstrand） 1 2021 实时程序跟踪抽象的改进。 Zbl 1478.68052号 弗兰克·卡塞兹;彼得·格约尔·詹森;金·古德斯特兰·拉森 4 2017 无干扰定时系统的控制与综合。 Zbl 1328.93109号 吉莱斯·贝纳塔;弗兰克·卡塞兹;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 4 2015 使用跟踪抽象细化验证并发程序。 Zbl 1471.68134号 弗兰克·卡塞兹;弗罗文·齐格勒 4 2015 能量和平均值计时游戏。 Zbl 1362.91003号 罗曼·布伦吉尔;弗兰克·卡塞兹;Jean-François拉斯金 7 2014 用于验证和分析的自动化技术。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。 Zbl 1325.68014号 2 2014 时间Petri网的表达能力。 Zbl 1259.68141号 Bérard，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 8 2013 定时系统中事件发生的可预测性。 Zbl 1390.68383号 弗兰克·卡塞兹;阿尔班·格雷斯廷 5 2013 用静态和动态掩模合成不透明系统。 兹比尔1247.68161 弗兰克·卡塞兹;杰雷米·杜布雷尔;埃尔文·马尔坎德 25 2012 离散事件和定时系统协可诊断性的复杂性。 Zbl 1369.93374号 弗兰克·卡塞兹 10 2012 实时系统的定时模态逻辑。规范、验证和控制。 兹比尔1216.68158 帕特里夏·鲍耶;弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 三 2011 信息流安全同步概念的复杂性。 Zbl 1284.68385号 弗兰克·卡塞兹;罗恩·范德梅登;张晨毅 2 2010 离散事件和定时系统协可诊断性的复杂性。 Zbl 1305.68111号 弗兰克·卡塞兹 1 2010 鲁棒和最优控制器的自动综合——工业案例研究。 Zbl 1237.93058号 弗兰克·卡塞兹;Jan J.杰森。;Larsen，Kim G。;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 12 2009 不透明系统合成的动态观测器。 Zbl 1262.68107号 弗兰克·卡塞兹;杰雷米·杜布雷尔;埃尔文·马尔坎德 8 2009 无干扰定时系统的综合。 Zbl 1262.68084号 吉莱斯·贝纳塔;弗兰克·卡塞兹;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 1 2009 使用静态和动态观测器进行故障诊断。 Zbl 1167.68011号 弗兰克·卡塞兹;斯塔夫罗斯·特里帕基斯 25 2008 时间自动机何时弱时间与时间Petri网相似？ Zbl 1158.68029号 Bérard，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 三 2008 基于观察和断续不变策略的时间控制。 Zbl 1141.68428号 弗兰克·卡塞兹;亚历山大·戴维;Larsen，Kim G。;莱姆，迪迪埃;Jean-François拉斯金 7 2007 用于部分可观察定时游戏的高效实时算法。 Zbl 1141.93377号 弗兰克·卡塞兹 三 2007 时间自动机网络的符号展开。 Zbl 1161.68615号 弗兰克·卡塞兹;托马斯·查泰恩;克洛德·贾德 2 2006 用于分析计时游戏的高效实时算法。 Zbl 1134.68382号 弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;Larsen，Kim G。;莱姆，迪迪埃 44 2005 时间自动机和时间Petri网表达能力的比较。 Zbl 1175.68270号 贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·鲁克斯。 13 2005 时间Petri网不同语义的比较。 Zbl 1170.68537号 Bérard，B。;卡塞兹，F。;哈达德，S。;莱姆，迪迪埃;O.H.罗克斯。 11 2005 从时间Petri网到时间自动机的结构转换。 Zbl 1272.68294号 弗兰克·卡塞兹;奥利维尔·H·鲁克斯。 5 2005 定时控制的模态逻辑。 Zbl 1134.68399号 帕特里夏·鲍耶;弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 2 2005 时间自动机何时弱时间与时间Petri网相似？ Zbl 1158.68424号 贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 2 2005 使用综合优化策略高超声速. Zbl 1272.68228号 帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。 1 2005 定价时间博弈自动机中的最优策略。 Zbl 1117.68396号 帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。 18 2004 ALTARICA的定时扩展。 Zbl 1097.68573号 弗兰克·卡塞兹;克莱尔·佩吉蒂;奥利维尔·鲁克斯 1 2004 定时系统和混合系统控制问题的比较。 Zbl 1044.93518号 弗兰克·卡塞兹;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金 12 2002 并行过程的建模和验证。2000年6月19日至23日，法国南特，第四届暑期学校，MOVEP 2000。修订的教程讲座。 Zbl 0974.00044号 2 2001 秒表令人印象深刻的力量。 Zbl 0999.68112号 弗兰克·卡塞兹;拉森，金 26 2000 通过商和约束求解对混合系统进行模型检查。 Zbl 0974.68117号 弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 6 2000 所有引用出版物 前5名被引用出版物 全部的 前5名369位作者引用 21 金·古德斯特兰·拉森 19 帕特里夏·鲍耶 19 尼古拉斯·马基 13 圣菲拉福顿 13 莱姆，迪迪埃 10 奥利维尔·H·鲁克斯。 9 弗兰克·卡塞兹 9 尹、香 8 李志武 8 Jean-François拉斯金 8 皮埃尔·阿莱·雷尼尔 8 吉·斯尔巴 7 乌里·法伦贝格 7 洛依茨海露 7 Legay、Axel 6 托马斯·布里海耶 6 谢尔盖·哈达德 6 埃尔文·马尔坎德 6 高井，Shigemasa 5 埃蒂安·安德烈 5 Bérard，Béatrice公司 5 亚历山大·戴维 5 劳伦特·多恩 5 奥坎·桑库尔 5 王伟林 4 乔·卡洛斯·巴西利奥 4 吉勒·杰勒茨 4 恩格尔·勒福丘 4 本杰明·蒙梅格 4 路易斯·马里·特劳努埃兹 4 安德烈·索夫斯基 三 伯纳德·伯托米厄 三 哈尼法·布切内布 三 达米安·巴斯托·加斯顿 三 克里希南德·查特吉 三 布莱斯·基内斯特 三 亚历山德罗·朱阿 三 斯特凡·哈尔 三 迪米特里·列斐伏尔 三 林，冯 三 刘荣健 三 卢建全 三 鲁帕克·马朱姆达尔 三 格钦·诺曼 三 米凯尔·兰多尔 三 弗朗索瓦·沃纳达特。 三 吴义钦 三 张奎泽 2 普拉奈阿格拉瓦尔 2 阿克西，S。 2 拉巴·阿穆尔 2 阿夫尼，盖伊 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 乔瓦尼·巴奇 2 彼得·布利切夫（Peter E.Bulychev）。 2 托马斯·查泰恩 2 Fabrice骑士 2 杰雷米·杜布雷尔 2 盖尔·杜勒鲁（Geir E.Dullerud）。 2 伊利耶斯·法尔科内 2 埃琳娜·费斯曼 2 劳伦·弗里堡 2 休伯特·加拉维 2 凯伦·戈达里·德杰恩 2 什巴希斯·古哈 2 利奥·亨利 2 拉塞·雅各布森 2 莫滕·雅各布森 2 彼得·格约尔·詹森 2 蒂埃里·杰伦 2 季一丁 2 奎杰珀，沃特 2 奥尔纳·库普弗曼 2 弗雷德里克·朗 2 西蒙·劳尔森 2 爱德华·勒克莱尔 2 李绍元 2 李兆坚 2 汤马斯·马斯托普斯 2 梅、刘娟 2 米凯尔·哈克杰·默勒 2 马科斯·文森特·莫雷拉 2 哈桑·莫塔列比 2 乌尔里克·尼曼 2 Ouaknine，Joel O。 2 雷米鹦鹉 2 弗洛伦特·佩雷斯 2 保罗·佩特森 2 帕维特拉·普拉巴卡 2 里塔姆·拉哈 2 鲁迪、凯伦 2 埃里克·鲁顿 2 埃里克·桑拉维尔 2 马修·萨索拉斯 2 大卫·R·W·西尔斯。 2 卡拉·西特祖 2 童，尹 2 范德波尔，扬·科内利斯 2 罗恩·范德梅登 2 马赫什·维斯瓦纳坦 …还有269位作者 全部的 前5名32篇连载文章中引用 28 Automatica公司 27 离散事件动态系统 15 理论计算机科学 12 系统设计中的形式化方法 9 信息与计算 5 信息学学报 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 计算机科学评论 全部的 前5名在12个字段中引用 162 计算机科学（68至XX） 87 系统论；控制（93至XX） 29 博弈论、经济学、金融和其他社会和行为科学（91-XX） 16 运筹学、数学编程（90-XX） 15 数学逻辑和基础（03-XX） 6 信息与通信理论、电路（94-XX） 2 概率论与随机过程（60-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文