编辑配置文件（在新选项卡中打开） 克里斯蒂安·夏尔哈特 合著者距离 作者ID： 夏尔哈特·克里斯蒂安 发布日期： 克里斯蒂安·夏尔哈特 外部链接： MGP公司 已编制索引的文档： 9出版物自2005年以来 1进一步贡献 合著者： 7合著者具有10份联合出版物 386位合作作者 全部的 前5名合著者 0 单作者的 5 马丁·勒克 4 安德烈亚斯·霍尔泽 4 迈克尔·陶奇尼格 4 赫尔穆特·维思 2 安德烈亚斯·鲍尔 1 埃克塞尔·贝林芬特 1 特蕾莎·伯格 1 克尔斯滕·伯克科特 1 亨利克·比约克隆德 1 劳拉·布兰丹（Laura Brandán Briones） 1 曼弗雷德·布罗伊 1 斯特凡·D·布鲁达。 1 塞维琳·科林 1 戴振如 1 乔治·丁 1 董伟 1 穆罕默德·拉姆利 1 拉尔斯·弗兰岑 1 安吉洛·加甘蒂尼 1 克里斯托夫·加斯顿 1 马克·霍斯特曼 1 本特·琼森 1 Joost-Pieter卡托恩 1 雷蒙·科纳 1 莫伊斯·克里钦 1 莱维·卢西奥 1 莱昂纳多·马里亚尼 1 法比安·佩鲁克斯 1 菲利普斯，简 1 沃尔夫冈·普伦宁格 1 亚历山大·普雷施纳 1 哈拉尔德·拉菲尔特 1 马蒂亚斯·罗尔 1 马可·萨梅尔 1 斯文·桑德伯格 1 德克·塞弗特 1 卢卡·特雷维森 1 瓦列里察恩 1 马基尔·范德·比吉尔 1 维雷娜·沃尔夫 系列 2 逻辑与计算杂志 1 理论计算机科学 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 领域 10 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物被引用137中的次98文件 引用人▼ 年份▼ 运行时验证的简要说明。 Zbl 1192.68433号 马丁·勒克;克里斯蒂安·夏尔哈特 65 2009 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 比较运行时验证的LTL语义。 Zbl 1213.68363号 安德烈亚斯·鲍尔;马丁·勒克;克里斯蒂安·夏尔哈特 42 2010 实时属性的监控。 Zbl 1177.68141号 安德烈亚斯·鲍尔;马丁·勒克;Schallhart，基督徒 22 2006 查询驱动程序测试。 Zbl 1206.68089号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 三 2009 运行时验证中的公正预期。 Zbl 1183.68367号 董伟;马丁·勒克;克里斯蒂安·夏尔哈特 2 2008 FQL测试规范简介。 兹比尔1325.68148 安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;克里斯蒂安·夏尔哈特;赫尔穆特·维思 2 2011 正则语言有理集的结构和复杂性。 Zbl 1359.68170号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 1 2013 正则语言有理集的结构和复杂性。 Zbl 1359.68170号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 1 2013 FQL测试规范简介。 Zbl 1325.68148号 安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;克里斯蒂安·夏尔哈特;赫尔穆特·维思 2 2011 比较运行时验证的LTL语义。 Zbl 1213.68363号 安德烈亚斯·鲍尔;马丁·勒克;克里斯蒂安·夏尔哈特 42 2010 运行时验证的简要说明。 Zbl 1192.68433号 马丁·勒克;Schallhart，基督徒 65 2009 查询驱动程序测试。 Zbl 1206.68089号 安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思 三 2009 运行时验证中的公正预期。 Zbl 1183.68367号 董伟;马丁·勒克;克里斯蒂安·夏尔哈特 2 2008 实时属性的监控。 兹比尔1177.68141 安德烈亚斯·鲍尔;马丁·勒克;克里斯蒂安·夏尔哈特 22 2006 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 所有引用出版物 前5名被引用出版物 全部的 前5名230位作者引用 13 伊利耶斯·法尔科内 10 阿德里安·弗兰卡兰扎 6 卢卡·埃特罗 6 Anna Ingólfsdóttir 6 塞萨尔·桑切斯 5 安东尼斯·阿奇利奥斯 5 杰拉尔多·施奈德 4 David A.Basin。 4 安德烈亚斯·鲍尔 4 马丁·勒克 三 弗兰兹·巴德 三 克里斯蒂安·科伦坡 三 安吉洛·费兰多 三 费利克斯·克莱特克 三 克里斯蒂安·夏尔哈特 三 德米特里·特拉泰尔 三 尤根·兹利内斯库 2 埃齐奥·巴托西 2 萨德克·本萨勒姆 2 博尔祖·博纳克达尔普尔 2 马吕斯·博兹加 2 霍尔格·吉斯 2 罗伯特·马克·海伦斯 2 克雅坦松，Svarrn 2 丹尼尔·科宁 2 Sr Djan Krstić 2 马赛尔·利普曼 2 埃尔文·马尔坎德 2 维维亚娜·马斯卡迪 2 玛丽亚·马克西莫娃 2 梅雷约（Mercedes G.Merayo）。 2 Manuel A.努内兹。 2 乔尔·欧·瓦克宁。 2 戈登·佩斯。 2 马蒂厄·雷纳德 2 安托万·罗莱 2 格里高·罗什乌 2 斯文·施奈德 2 詹姆斯·沃雷尔。 2 马丁·齐默尔曼 1 纳伊姆·阿巴斯 1 沃尔夫冈·阿伦特 1 马尔科·阿尔贝蒂 1 玛丽亚·阿尔普特 1 穆罕默德·阿尔谢赫 1 埃利·阿纳斯塔西亚迪 1 大卫·安科纳 1 瓦那州安德烈 1 肖恩·阿佐帕迪 1 黛米斯·巴利斯 1 良太郎班诺 1 巴拉戈·纳加拉贾·巴特 1 卞、宋 1 多梅尼科·比安库利 1 汤姆·比恩米勒 1 罗德里克·布洛姆 1 劳拉·博奇 1 劳拉·博泽利 1 布莱恩，马丁 1 Jörg Brauer 1 安吉洛·布里洛特 1 Calinescu，拉杜C。 1 曹振福 1 拉斐尔·卡多佐（Rafael C.Cardoso）。 1 希曼舒·乔汉 1 陈杰 1 陈子春 1 陈哲 1 亚历山德罗·西马蒂 1 克莱尔·辛尼 1 克拉克（Edmund Melson jun Clarke）。 1 兰斯·克莱维兰 1 斯特凡妮娅·科斯坦蒂尼 1 卡洛斯·科特里尼·吉梅内斯 1 伯纳多·昆卡·格劳 1 莫特萨·达马纳夫珊 1 洛科·德尼古拉 1 皮耶朗基罗·德尔·阿夸 1 罗曼·德曼根 1 卢卡·迪·斯特法诺 1 沃尔克·迪克特 1 董伟 1 董晓雷 1 亚历山大·唐泽 1 Mehran S·法拉。 1 玛丽·法雷尔 1 马提亚斯·费莱森 1 Jean-Claude费尔南德斯 1 马蒙·菲拉利 1 安东尼奥·菲列里 1 塞巴斯蒂安·费奇迈斯特 1 迈克尔·费希尔 1 皮埃尔·弗拉吉奥德 1 弗朗西斯科·弗雷奇纳 1 马蒂亚斯·福格尔 1 维杰·加格。 1 法特梅·加塞米 1 卡洛·盖齐 1 马里奥·格雷舍尔 1 龚俊清 …还有130多名作者 全部的 前5名25篇连载文章中引用 22 系统设计中的形式化方法 9 程序设计中的逻辑和代数方法杂志 6 理论计算机科学 5 计算的形式方面 2 信息处理信件 2 逻辑与代数程序设计杂志 1 信息学报 1 人工智能 1 计算 1 计算机与系统科学杂志 1 算法 1 信息与计算 1 实时系统 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 分布式计算 1 函数编程杂志 1 数学与人工智能年鉴 1 美国医学会杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 计算机科学评论 1 应用与计算拓扑杂志 全部的 前5名在8个字段中引用 94 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 生物学和其他自然科学（92-XX） 2 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 按年份列出的引文