编辑配置文件（在新选项卡中打开） 莫西尔·Křetínsk \345] 合著者距离 作者ID： 克里廷斯基·莫杰米尔 发布日期： 莫西尔·Křetínsk \345];莫杰米尔·克雷廷斯基;Křetඃnskõ，Mojmör;Křetínsk \345]，M。 更多。。。较少的 已编制索引的文档： 18出版物自1996年起 3作为编辑的贡献 审查活动： 22评论 合著者： 15位合著者具有21联合出版物 320名Co-Co作者 全部的 前5名合著者 0 单作者的 12 斯特雷切克，简 10 艾哈克，沃伊特 5 卢博什·布里姆 3 大卫·吉尔伯特 3 Jean-Marie雅克 3 安东尼·库塞拉 2 汤姆·巴比亚克 2 弗兰蒂舍克·布拉胡德克 2 劳拉·博泽利 2 伊万娜·乔纳 2 彼得·扬查尔 1 科什卡，米兰 1 兹登·科塔塞克 1 卢德克·马蒂斯卡 1 汤姆·沃纳 全部的 前5名系列 2 信息学报 2 理论计算机科学电子笔记 1 理论计算机科学 1 信息与计算 1 计算与信息学 1 计算机科学课堂讲稿 领域 21 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 3 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用64中的次49文件 引用人▼ 年份▼ LTL到Büchi自动机的转换：快速且更具确定性。 Zbl 1352.68142号 汤姆·巴比亚克;莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 16 2012 LTL到确定性Rabin自动机的有效转换：超越（（F，G）片段。 Zbl 1414.03003号 汤姆·巴比亚克;弗兰蒂舍克·布拉胡德克;莫西尔·Křetínsk \345];斯特雷切克，简 10 2013 扩展过程重写系统：表达性和可达性。 Zbl 1099.68068号 莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 9 2004 比较规范BPA和规范BPP过程的表达能力。 Zbl 0947.68109号 伊万娜·乔纳;莫西尔·Křetínsk \345];安东·库切拉 5 1999 过程重写系统LTL模型检查的可判定性。 Zbl 1172.68038号 劳拉·博泽利;莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 4 2009 弱扩展PRS的Hennessy-Milner性质的可达性。 Zbl 1172.68543号 莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 4 2005 LTL与确定性Rabin自动机翻译器的比较。 Zbl 1406.68050号 弗兰蒂舍克·布拉胡德克;莫西尔·Křetínsk \345];斯特雷切克，简 4 2013 关于过程重写系统的扩展：用弱有限状态单元重写系统。 Zbl 1271.68121号 Křetඃnskõ，Mojmör;Vojtěch Rehák;斯特雷切克，简 4 2004 同步并发约束编程的进程代数。 Zbl 1355.68191号 卢博什·布里姆;Jean-Marie雅克;大卫·吉尔伯特;莫西尔·Křetínsk \345] 3 1996 过程重写系统LTL模型检查的可判定性。 Zbl 1177.68143号 劳拉·博泽利;莫西尔·Křetínsk \345];Řehák，沃伊特奇;斯特雷切克，简 2 2006 将多智能体系统建模为同步并发约束过程。 Zbl 1076.68043号 卢博什·布里姆;莫西尔·Křetínsk \345];Jean-Marie雅克;大卫·吉尔伯特 1 2002 在规范化BPA和规范化BPP过程的结合中，相似性是可以决定的。 Zbl 0911.68065号 乔纳，I。;Křetínsk \345]，M。;库切拉，A。 1 1997 细化弱双相似性的不可判定边界。 Zbl 1273.68261号 莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 1 2006 LTL到确定性Rabin自动机的有效转换：超越（（F，G）片段。 Zbl 1414.03003号 汤姆·巴比亚克;弗兰蒂舍克·布拉胡德克;莫西尔·Křetínsk \345];斯特雷切克，简 10 2013 LTL与确定性Rabin自动机翻译器的比较。 Zbl 1406.68050号 弗兰蒂舍克·布拉胡德克;莫西尔·Křetínsk \345];斯特雷切克，简 4 2013 LTL到Büchi自动机的转换：快速且更具确定性。 Zbl 1352.68142号 汤姆·巴比亚克;莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 16 2012 过程重写系统LTL模型检查的可判定性。 Zbl 1172.68038号 劳拉·博泽利;莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 4 2009 过程重写系统LTL模型检查的可判定性。 Zbl 1177.68143号 劳拉·博泽利;莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 2 2006 细化弱双相似性的不可判定边界。 Zbl 1273.68261号 莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 1 2006 弱扩展PRS的Hennessy-Milner属性可达性。 Zbl 1172.68543号 莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简 4 2005 扩展过程重写系统：表达性和可达性。 Zbl 1099.68068号 莫西尔·Křetínsk \345];Řehák，沃伊特奇;斯特雷切克，简 9 2004 关于过程重写系统的扩展：用弱有限状态单元重写系统。 Zbl 1271.68121号 Křetඃnskõ，Mojmör;Vojtěch Rehák;斯特雷切克，简 4 2004 将多智能体系统建模为同步并发约束过程。 Zbl 1076.68043号 卢博什·布里姆;莫西尔·Křetínsk \345];Jean-Marie雅克;大卫·吉尔伯特 1 2002 比较规范BPA和规范BPP过程的表达能力。 Zbl 0947.68109号 伊万娜·乔纳;莫西尔·Křetínsk \345];安东·库切拉 5 1999 在规范化BPA和规范化BPP过程的结合中，相似性是可以决定的。 Zbl 0911.68065号 乔纳，I。;Křetínsk \345]，M。;库切拉，A。 1 1997 用于同步并发约束编程的过程代数。 Zbl 1355.68191号 卢博什·布里姆;Jean-Marie雅克;大卫·吉尔伯特;莫西尔·Křetínsk \345] 3 1996 所有引用出版物 前5名被引用出版物 全部的 前5名112位作者引用 7 斯特雷切克，简 4 彼得·扬查尔 4 简·Křetínsk \345] 4 莫西尔·Křetínsk \345] 4 艾哈克，沃伊特 4 所罗门·西克特 3 拜尔，克里斯特尔 3 安东尼·库塞拉 3 米勒（David I。 2 弗兰蒂舍克·布拉胡德克 2 哈维尔·埃斯帕尔扎 2 约阿希姆·克莱因 2 马丁·科特 2 Marta Z.Kwiatkowska。 2 金·古德斯特兰·拉森 2 Anthony Widjaja林 2 理查德·梅尔（Richard M.Mayr）。 2 托拜厄斯·梅根多夫 2 秦、郑 2 Zdeněk萨瓦 2 Shan、Laixiang 2 吉·斯尔巴 2 泰瑟·图利 2 克拉拉·沃尔德曼 2 马克西米利安·威宁格 1 帕罗什·阿齐兹·阿卜杜拉 1 达拉·阿拉杰 1 Calin A.Belta。 1 艾哈迈德·博阿贾尼 1 劳拉·博泽利 1 朱利安·布伦纳 1 彼得·布利切夫（Peter E.Bulychev）。 1 卡德，莫菲 1 戴维德·贾科莫·卡维扎 1 陈明石 1 普拉蒂斯·达塔 1 大卫，亚历山大 1 卢卡·德·阿尔法罗 1 德波尔（Frank S。 1 丁旭初 1 德奥索，朱利安 1 杜晓敏 1 亚历山大·杜雷特·卢茨 1 拉塔·杜塔 1 彼得·费蒙维尔 1 伯恩德·芬克贝纳 1 Forejt，Vojtěch公司 1 大卫·吉尔伯特 1 斯特凡·格勒 1 米歇尔·古兹曼 1 安德拉斯·吉尔吉 1 斯特凡·哈尔 1 Shigeki Hagihara 1 马修·黑格 1 恩斯特·莫里茨·哈恩 1 韩慧珍 1 何朝东 1 何继峰 1 简·希尔斯顿 1 汉斯·休特尔 1 西蒙·扬奇 1 彼得·格约尔·詹森 1 利迪亚·卡夫拉基。 1 迪利普·拉古纳特·基尼 1 Morteza拉希贾尼扬 1 米尔恰·拉扎尔 1 Legay、Axel 1 Letychev'kyĭ，Oleksandr Adol'vych 1 李广元 1 李建文 1 Juraj少校 1 马丁·奥列特，纳西索 1 约翰·朱尔斯·查尔斯·梅耶 1 苏拉夫·穆霍帕德海伊 1 简·佩莱斯卡 1 萨利姆·珀西 1 马特奥·佩雷斯 1 伊莎贝尔·皮塔 1 浦、葛光 1 秦军 1 拉贝，马库斯·N。 1 Jean-François拉斯金 1 安托尼奥·拉瓦拉 1 佩德罗·雷森德 1 艾哈迈德·雷津 1 鲁宾·鲁比奥 1 卡米洛·鲁埃达 1 里卡多·桑费利斯（Ricardo G.Sanfelice）。 1 斯文·舍韦 1 塞德尔，贝内迪克特 1 Masaya岛川 1 法比奥·萨蒙齐 1 宋，傅 1 马里亚·斯沃雷奥娃 1 Leander Tentrup公司 1 丰田隆树 1 阿舒托什·特里维迪 1 上野，Atsushi 1 尼古拉·延森·乌尔里克 1 弗兰克·巴伦西亚。 …还有12位作者 全部的 前5名14篇连载文章中引用 7 理论计算机科学 4 信息学报 3 信息与计算 2 计算的形式方面 2 系统设计中的形式化方法 1 Automatica公司 1 自动推理杂志 1 控制论与系统分析 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 非线性分析。混合动力系统 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 45 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 3 系统论；控制（93至XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 测量和集成（28-XX） 1 变分法与最优控制；最优化（49至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文