编辑配置文件(在新选项卡中打开) 莫伊斯·克里钦 合著者距离 作者ID: 克里钦·莫兹 发布日期: 莫伊斯·克里钦 已编制索引的文档: 9出版物自2004年起 1进一步贡献 合著者: 4位合著者具有8联合出版物 161位合作作者 全部的 前5名合著者 1 单作者的 4 Nathalie Bertrand 4 蒂埃里·杰伦 4 阿梅利·施泰纳 4 斯塔夫罗斯·特里帕基斯 1 埃克塞尔·贝林芬特 1 特蕾莎·伯格 1 克尔斯滕·伯克科特 1 亨利克·比约克隆德 1 劳拉·布兰丹,布里奥内斯 1 曼弗雷德·布罗伊 1 斯特凡·D·布鲁达。 1 塞维琳·科林 1 戴振如 1 乔治·丁 1 穆罕默德·勒姆利 1 拉尔斯·弗兰岑 1 安吉洛·加甘蒂尼 1 克里斯托夫·加斯顿 1 马克·霍斯特曼 1 Jonsson,孟加拉人 1 Joost-Pieter卡托恩 1 雷蒙·科纳 1 马丁·勒克 1 利瓦·卢西奥 1 莱昂纳多·马里亚尼 1 法比安·佩鲁克斯 1 菲利普斯,简 1 沃尔夫冈·普伦宁格 1 亚历山大·普雷施纳 1 哈拉尔德·拉菲尔特 1 马蒂亚斯·罗尔 1 马可·萨梅尔 1 斯文·桑德伯格 1 克里斯蒂安·夏尔哈特 1 德克·塞弗特 1 瓦列里Tschaen 1 马基尔·范德·比吉尔 1 维雷娜·沃尔夫 系列 2 系统设计中的形式化方法 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 领域 10 计算机科学(68至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用44中的次24文件 引用人▼ 年份▼ 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 实时系统的一致性测试。 Zbl 1180.68072号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 13 2009 实时系统的黑盒一致性测试。 Zbl 1125.68370号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 10 2004 确定时间自动机的博弈方法。 Zbl 1326.68173号 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 6 2011 确定时间自动机的博弈方法。 Zbl 1323.68337号 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 5 2015 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1248.68319号 Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 4 2012 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1315.68082号 Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 3 2011 使用时间自动机测试仪和覆盖标准进行实时测试。 Zbl 1109.68368号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 2 2004 实时一致性关系tioco的有趣特性。 Zbl 1168.68385号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 1 2006 确定时间自动机的博弈方法。 Zbl 1323.68337号 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 5 2015 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1248.68319号 Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 4 2012 确定时间自动机的博弈方法。 兹比尔1326.68173 Nathalie Bertrand;阿梅利·施泰纳;蒂埃里·杰伦;莫伊斯·克里钦 6 2011 非确定性时间自动机的离线测试选择与测试目的。 Zbl 1315.68082号 Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 3 2011 实时系统的一致性测试。 Zbl 1180.68072号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 13 2009 实时一致性关系tioco的有趣特性。 Zbl 1168.68385号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 1 2006 反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号 51 2005 实时系统的黑盒一致性测试。 兹比尔1125.68370 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 10 2004 使用时间自动机测试仪和覆盖标准进行实时测试。 Zbl 1109.68368号 莫伊斯·克里钦;斯塔夫罗斯·特里帕基斯 2 2004 所有引用出版物 前5名被引用出版物 全部的 前5名52位作者引用 5 蒂埃里·杰伦 3 利奥·亨利 3 罗伯特·马克·海伦斯 3 莫伊斯·克里钦 3 尼古拉斯·马基 3 德扬·尼科维奇 3 阿梅利·施泰纳 2 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 2 Nathalie Bertrand 2 洛伦佐·克莱门特 2 Sławomir拉索塔 2 弗洛里安·洛伯 2 梅雷约(Mercedes G.Merayo)。 2 Manuel A.努涅斯。 2 拉多斯·瓦·皮奥科夫斯基 2 阿姆诺·罗森曼 1 安、杰 1 詹姆斯·巴克斯特 1 阿迪森·路易斯·博尼法西奥 1 安娜·卡瓦尔坎蒂 1 汤姆·乔西亚 1 阿登尼索·达席尔瓦·西芒 1 德波尔(Frank S。 1 北卡罗来纳州埃夫图申科。 1 马西耶·加兹达。 1 吉勒·杰勒茨 1 乔·古森 1 洛依茨海露 1 穆罕默德·马赫迪·贾古奥里 1 卡里姆·凯西 1 Delphine Longuet 1 何塞·卡洛斯·马尔多纳多 1 奥德·马勒 1 阿纳多·维埃拉·穆拉 1 阮,Thi van Anh 1 阿米尔·普努利 1 伊斯梅尔·罗德里格斯 1 费尔南多·罗莎·维拉尔多 1 费尔南多·鲁比奥 1 朱利安·施马耳茨 1 沈伟 1 马尔詹·西尔贾尼 1 吉·斯尔巴 1 唐晓晨 1 特雷特曼,Jan 1 斯塔夫罗斯·特里帕基斯 1 特瓦尔多夫斯基。 1 阿列克桑德·特瓦尔多夫斯基 1 叶夫图申科,尼娜 1 詹伯华 1 詹乃军 1 张苗苗 全部的 前5名9篇连载文章中引用 3 系统设计中的形式化方法 1 信息学报 1 理论计算机科学 1 实时系统 1 分布式计算 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 在4个字段中引用 24 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文