编辑配置文件（在新选项卡中打开） 克劳斯·施耐德 合著者距离 作者ID： 施耐德.克劳斯.1 发布日期： 克劳斯·施耐德;施耐德，K。 主页： https://es.cs.uni-kl.de/people/schneider网站/ 外部链接： MGP公司·ORCID公司·数据库许可证·接地 已编制索引的文档： 27出版物自1992年以来，包括1本书 2作为编辑的贡献 合著者： 23位合著者具有25联合出版物 123联合作者 全部的 前5名合著者 4 单作者的 5 詹斯·勃兰特 4 安德烈亚斯·莫根斯顿 三 科尔斯汀·鲍尔 三 庆蒂里尼、拉斐拉 三 托马斯·克罗普夫 三 拉梅亚·库马尔 2 马克·达勒姆 2 特里普蒂·杰恩 1 迈克尔·巴尔达穆斯 1 丹尼尔·鲍迪什 1 Bhagyanath，阿诺普 1 Mike Gemünde 1 曼纽尔·盖塞尔 1 迈克尔·吉尔曼 1 德克·霍夫曼。 1 斯文·兰贝蒂 1 阿恩·施·赫夫特 1 维克托·萨贝尔菲尔德（Viktor K.Sabelfeld）。 1 托拜厄斯·舒勒 1 桑迪普·库马尔·舒克拉 1 Jean-Pierre塔宾 1 托马斯·图尔克 1 阿德里安·威伦布彻 全部的 前5名系列 三 系统设计中的形式化方法 1 计算机基础理论 1 逻辑程序设计理论与实践 1 并行处理信件 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 理论计算机科学课文。EATCS系列 领域 29 计算机科学（68至XX） 12 数理逻辑与基础（03-XX） 2 总体主题；集合（00-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用45中的次41文件 引用人▼ 年份▼ 验证反应系统。形式化方法和算法。 Zbl 1067.68092号 克劳斯·施耐德 11 2004 通过考虑自动机层次结构改进线性时序逻辑的自动机生成。 Zbl 1275.68096号 克劳斯·施耐德 5 2001 用于单调CTL模型检查的混合自动机的连续抽象。 Zbl 1132.68446号 Gentilini，R。;施耐德，K。;米什拉，B。 5 2007 从LTL到符号表示的确定性自动机。 兹比尔1138.68454 安德烈亚斯·莫根斯顿;克劳斯·施耐德 5 2008 构造性多时系统。 兹比尔1437.68109 Jean-Pierre塔宾;詹斯·勃兰特;Mike Gemünde;克劳斯·施耐德;桑迪普·舒克拉 4 2013 利用时序逻辑层次和非通量特性进行高效的LTL综合。 Zbl 1456.68099号 安德烈亚斯·莫根斯顿;克劳斯·施耐德 4 2010 无限状态系统的有界模型检验。 Zbl 1117.68047号 托拜厄斯·舒勒;克劳斯·施耐德 三 2007 从同步程序到混合系统的符号表示。 Zbl 1361.68057号 科尔斯汀·鲍尔;克劳斯·施耐德 三 2010 在高阶定理证明环境中构造和自动化硬件证明。 Zbl 0778.68074号 拉梅亚·库马尔;克劳斯·施耐德;托马斯·克罗普夫 1 1993 LTL的渐近正确有限路径语义。 Zbl 1352.68160号 安德烈亚斯·莫根斯顿;曼纽尔·盖塞尔;克劳斯·施耐德 1 2012 证明了微步语义和宏观语义的等价性。 兹比尔1013.68197 克劳斯·施耐德 1 2002 用于将线性时间时序逻辑转换为（ω）-自动机的HOL转换。 Zbl 0943.03008号 克劳斯·施耐德;德克·霍夫曼。 1 1999 使用紧凑表示加速表格证明。 Zbl 0808.03006号 克劳斯·施耐德;拉梅亚·库马尔;托马斯·克罗普夫 1 1994 构造性多时系统。 兹比尔1437.68109 Jean-Pierre塔宾;詹斯·勃兰特;Mike Gemünde;克劳斯·施耐德;桑迪普·舒克拉 4 2013 LTL的渐近正确有限路径语义。 Zbl 1352.68160号 安德烈亚斯·莫根斯顿;曼纽尔·盖塞尔;克劳斯·施耐德 1 2012 利用时序逻辑层次和非通量特性进行高效的LTL综合。 Zbl 1456.68099号 安德烈亚斯·莫根斯顿;克劳斯·施耐德 4 2010 从同步程序到混合系统的符号表示。 Zbl 1361.68057号 科尔斯汀·鲍尔;克劳斯·施耐德 三 2010 从LTL到符号表示的确定性自动机。 Zbl 1138.68454号 安德烈亚斯·莫根斯顿;克劳斯·施耐德 5 2008 用于单调CTL模型检查的混合自动机的连续抽象。 Zbl 1132.68446号 Gentilini，R。;施耐德，K。;米什拉，B。 5 2007 无限状态系统的有界模型检验。 Zbl 1117.68047号 托拜厄斯·舒勒;克劳斯·施耐德 三 2007 验证反应系统。形式化方法和算法。 Zbl 1067.68092号 克劳斯·施耐德 11 2004 证明了微步语义和宏观语义的等价性。 Zbl 1013.68197号 克劳斯·施耐德 1 2002 通过考虑自动机层次结构改进线性时序逻辑的自动机生成。 兹比尔1275.68096 克劳斯·施耐德 5 2001 用于将线性时间时序逻辑转换为（ω）-自动机的HOL转换。 Zbl 0943.03008号 克劳斯·施耐德;德克·霍夫曼。 1 1999 使用紧凑表示加速表格证明。 Zbl 0808.03006号 克劳斯·施耐德;拉梅亚·库马尔;托马斯·克罗普夫 1 1994 在高阶定理证明环境中构造和自动化硬件证明。 兹比尔0778.68074 拉梅亚·库马尔;克劳斯·施耐德;托马斯·克罗普夫 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名102位作者引用 5 克劳斯·施耐德 三 罗德里克·布洛姆 三 庆蒂里尼、拉斐拉 2 科尔斯汀·鲍尔 2 克里希南德·查特吉 2 Chebotarev，Anatoli N。 2 佐尔坦·埃西克 2 何安平 2 芭芭拉·乔布斯曼 2 罗伯特·Könighfer 2 所罗门·西克特 2 马赫什·维斯瓦纳坦 2 吴金钊 2 徐启文 2 杨世翰 2 朱慧彪 2 朱龙飞 1 华金·阿瓜多 1 克里斯特尔·拜尔 1 蒂鲍特·巴拉邦斯基 1 凯文·巴茨 1 阿尔伯特·本文尼斯特 1 马尔塞洛·玛丽亚·贝尔萨尼 1 博克，乌迪 1 弗莱德里克·博朗格 1 蒂莫西·布鲁克 1 特夫菲克·布尔坦 1 米歇尔·卡迪尔哈克 1 贝努伊特Caillaud 1 奥利维尔·卡尔顿 1 陈明帅 1 亚历山德罗·西马蒂 1 彼得·柯林斯。 1 普拉蒂斯·达塔 1 盖尔·杜勒鲁（Geir E.Dullerud）。 1 拉塔·杜塔 1 格什温·菲 1 安德烈亚·福米萨诺 1 阿基尔·弗里吉里 1 Insa Fuhrmann公司 1 杰科·盖尔登胡伊斯 1 费利佩·戈罗斯蒂亚加 1 费比安·格雷夫 1 卡琳·格雷梅尔 1 何继峰 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 乔治·霍夫雷克 1 斯特凡·霍夫曼 1 本杰明·卢西恩，卡明斯基 1 Joost-Pieter卡托恩 1 香塔尔·凯勒 1 迪利普·拉古纳特·基尼 1 约阿希姆·克莱因 1 克吕佩尔霍尔茨，萨沙 1 贝蒂娜·科尼霍费尔 1 丹尼尔·克罗布 1 托马斯·克罗普夫 1 拉梅亚·库马尔 1 奥尔纳·库普弗曼 1 马丁·吕克 1 卢滕伯格，迈克尔 1 克里斯托夫·马提亚 1 迈克尔·门德勒 1 菲利普·梅耶（Philipp J.Meyer）。 1 安德烈亚斯·莫根斯顿 1 安杰洛·莫尔岑蒂 1 苏拉夫·穆霍帕德海伊 1 米勒（David I。 1 阮文海 1 玛丽安娜·尼科洛西·阿斯蒙多 1 布鲁诺·帕加诺 1 查尔斯·帕普曼 1 卡拉广场 1 药丸，印戈 1 阿尔贝托·波利里蒂 1 马克·普泽特 1 帕维特拉·普拉巴卡 1 马蒂奥·普拉德拉 1 亨氏里纳 1 弗兰茨·罗克 1 罗西（Matteo A.C.Rossi）。 1 塞萨尔·桑切斯 1 亚历山大·辛普夫 1 菲利普·施罗德 1 托拜厄斯·舒勒 1 西比尔·施瓦兹 1 斯马乌斯，Jan-Georg 1 路德维希·施泰格 1 谭红燕 1 田，春 1 斯特凡诺·托内塔 1 贝诺缬氨酸 1 安蒂·瓦尔马里 1 弗拉基米罗 1 冯·汉克斯莱登 1 王，胡安 1 沃尔夫，伯克哈特 1 图巴·雅武兹·卡维奇 1 伊万·萨普雷夫。 1 赵永新 …还有另外两位作者 全部的 前5名10连载 6 理论计算机科学 6 系统设计中的形式化方法 4 信息学报 2 控制论与系统分析 2 应用数学杂志 1 算法 1 应用非经典逻辑杂志 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 全部的 前5名在6个字段中引用 40 计算机科学（68至XX） 17 数理逻辑与基础（03-XX） 6 系统论；控制（93至XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 阶、格、有序代数结构（06-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文