编辑配置文件(在新选项卡中打开) 玛莎·契契克 合著者距离 作者ID: 契克马沙 发布日期: 玛莎·契契克;M.契契克。 外部链接: MGP公司 已编制索引的文档: 34出版物自2001年起 7作为编辑的贡献 合著者: 40位合著者具有41联合出版物 1004名合作作者 全部的 前5名合著者 0 单作者的 21 阿里·古芬克尔 5 贝内特·德弗鲁 5 魏、欧 4 史蒂夫·伊斯特布鲁克 三 阿尔巴古提·奥斯 三 肖姆·本·达维德 2 托尔斯滕·阿伦特 2 布兰奇,桑德琳 2 卡洛·盖齐 2 Albert Y.C.赖。 2 克劳迪奥·蒙吉 2 维克托·彼得罗维赫 2 詹妮弗·普洛格 2 朱莉娅·鲁宾 2 斯波莱蒂尼,波拉 2 丹尼尔·斯特吕贝尔 2 加布里埃尔·坦泽尔 2 塞巴斯蒂安·乌奇特尔 2 弗兰克·范·布鲁格尔 1 穆拉德·阿洪多夫 1 克拉克·W·巴雷特。 1 谢尔盖·贝雷津 1 阿莱西奥·迪·桑德罗 1 大卫·L·迪尔。 1 尼克·冯 1 米哈埃拉·乔尔吉 1 Hui,Vincent W.H。 1 Joost-Pieter卡托恩 1 扎卡里·金凯德 1 马丁·勒克 1 李毅 1 费德里科·莫拉 1 洛根·墨菲 1 佩恩,迪米特里·O。 1 Jean-François拉斯金 1 拉米·沙欣 1 伊戈尔·什卡尼安 1 乔斯琳·西蒙兹 1 托林·维格 1 马丁·威尔辛 全部的 前5名系列 5 计算机科学课堂讲稿 三 计算的形式方面 2 信息与计算 1 计算 1 自动推理杂志 1 系统设计中的形式化方法 1 ACM计算逻辑事务 全部的 前5名字段 41 计算机科学(68-XX) 12 数学逻辑和基础(03-XX) 6 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 31出版物有被引用180中的次116文件 引用人▼ 年份▼ 符号多值模型检查的数据结构。 兹比尔1109.68063 玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;赖,阿尔伯特;史蒂夫·伊斯特布鲁克 22 2006 使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 兹伯利0985.68031 玛莎·契契克;贝内特·德弗鲁;阿里·古芬克尔 17 2001 SMT求解器的符号优化。 Zbl 1284.68410号 李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克 16 2014 通过经典模型检查进行多值模型检查。 Zbl 1274.68189号 阿里·古芬克尔;玛莎·契契克 14 2003 为什么要浪费一个完美的抽象? 兹比尔1180.68174 阿里·古芬克尔;玛莎·契契克 10 2006 空虚是多么空虚? Zbl 1126.68479号 阿里·古芬克尔;玛莎·契契克 10 2004 从欠近似到过近似再到反近似。 Zbl 1352.68140号 阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 10 2012 延长真空度。 Zbl 1117.68430号 阿里·古芬克尔;玛莎·契契克 9 2004 鲸鱼:一种基于插值的过程间验证算法。 Zbl 1325.68137号 阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 7 2012 多值逻辑的模型检查。 Zbl 0977.68704号 玛莎·契契克;史蒂夫·伊斯特布鲁克;维克托·彼得罗维奇 7 2001 CVC-Lite中部分函数的实用方法。 Zbl 1272.03136号 谢尔盖·贝雷津;克拉克·巴雷特;伊戈尔·什卡尼安;玛莎·契契克;阿里·古芬克尔;大卫·L·迪尔。 6 2005 系统构建模型检查的抽象。 Zbl 1176.68121号 阿里·古芬克尔;魏、欧;玛莎·契契克 5 2006 使用格表示的高效多值模型选择。 Zbl 1006.68085号 玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克;Albert Y.C.赖。;维克托·彼得罗维赫 5 2001 证明类反例。 Zbl 1031.68079号 阿里·古芬克尔;玛莎·契契克 5 2003 实现多值符号模型检查器。 Zbl 0978.68542号 玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克 4 2001 反例生成和探索的框架。 Zbl 1119.68368号 玛莎·契契克;阿里·古芬克尔 4 2005 支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号 克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐 4 2018 寻找时态逻辑查询的状态解决方案。 Zbl 1213.68377号 米哈埃拉·乔尔吉;阿里·古芬克尔;玛莎·契契克 三 2007 使用精确的谓词抽象对递归程序进行模型检查。 Zbl 1183.68373号 阿里·古芬克尔;魏、欧;玛莎·契契克 三 2008 重新审视混合过渡系统。 兹比尔1206.68194 魏、欧;阿里·古芬克尔;玛莎·契契克 三 2009 \({\mathcal X}\)Chek:多值模型检查器。 Zbl 1010.68809号 玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁 2 2002 控制器迭代设计的验证驱动框架。 Zbl 1425.68262号 克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐 2 2019 用于构建和分析系统的工具和算法。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。 Zbl 1360.68008号 2 2016 规则合并器:基于可变性的模型转换规则的自动构建。 Zbl 1378.68024号 丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格 2 2016 合并具有不同词汇表的部分行为模型。 Zbl 1390.68458号 肖姆·本·达维德;玛莎·契契克;塞巴斯蒂安·乌奇特尔 2 2013 多彻底就够了? Zbl 1159.68323号 阿里·古芬克尔;玛莎·契契克 1 2005 完全虚拟对称的识别和反抽象。 Zbl 1159.68345号 魏、欧;阿里·古芬克尔;玛莎·契契克 1 2005 结结巴巴地合上。 Zbl 1069.68564号 佩恩,迪米特里·O。;玛莎·契契克 1 2002 CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。 Zbl 1149.68018号 1 2008 软件工程的基本方法。2009年3月22日至29日,作为欧洲软件理论与实践联合会议的一部分,在英国约克举行了第12届国际会议,FASE 2009。诉讼程序。 Zbl 1157.68300号 1 2009 web服务应用程序的监视和恢复。 Zbl 1314.68037号 乔斯琳·西蒙兹;肖姆·本·达维德;玛莎·契契克 1 2013 控制器迭代设计的验证驱动框架。 Zbl 1425.68262号 克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐 2 2019 支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号 克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐 4 2018 用于构建和分析系统的工具和算法。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。 Zbl 1360.68008号 2 2016 规则合并器:基于变量的模型转换规则的自动构建。 Zbl 1378.68024号 丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格 2 2016 SMT求解器的符号优化。 Zbl 1284.68410号 李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克 16 2014 合并具有不同词汇表的部分行为模型。 Zbl 1390.68458号 肖姆·本·达维德;玛莎·契契克;塞巴斯蒂安·乌奇特尔 2 2013 web服务应用程序的监视和恢复。 Zbl 1314.68037号 乔斯琳·西蒙兹;肖姆·本·达维德;玛莎·契契克 1 2013 从欠近似到过近似再到反近似。 Zbl 1352.68140号 阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 10 2012 鲸鱼:一种基于插值的过程间验证算法。 Zbl 1325.68137号 阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 7 2012 重新审视混合过渡系统。 兹比尔1206.68194 魏、欧;阿里·古芬克尔;玛莎·契契克 三 2009 软件工程的基本方法。2009年3月22日至29日,作为欧洲软件理论与实践联合会议的一部分,在英国约克举行了第12届国际会议,FASE 2009。诉讼程序。 Zbl 1157.68300号 1 2009 使用精确的谓词抽象对递归程序进行模型检查。 兹比尔1183.68373 阿里·古芬克尔;魏、欧;玛莎·契契克 三 2008 CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。 Zbl 1149.68018号 1 2008 寻找时态逻辑查询的状态解决方案。 Zbl 1213.68377号 米哈埃拉·乔尔吉;阿里·古芬克尔;玛莎·契契克 三 2007 符号多值模型检查的数据结构。 兹比尔1109.68063 玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;赖,阿尔伯特;史蒂夫·伊斯特布鲁克 22 2006 为什么要浪费一个完美的抽象? Zbl 1180.68174号 阿里·古芬克尔;玛莎·契契克 10 2006 系统构建模型检查的抽象。 Zbl 1176.68121号 阿里·古芬克尔;魏、欧;玛莎·契契克 5 2006 CVC-Lite中部分函数的实用方法。 Zbl 1272.03136号 谢尔盖·贝雷津;克拉克·巴雷特;伊戈尔·什卡尼安;玛莎·契契克;阿里·古芬克尔;大卫·L·迪尔。 6 2005 反例生成和探索的框架。 Zbl 1119.68368号 玛莎·契契克;阿里·古芬克尔 4 2005 多彻底就够了? Zbl 1159.68323号 阿里·古芬克尔;玛莎·契契克 1 2005 完全虚拟对称的识别和反抽象。 Zbl 1159.68345号 魏、欧;阿里·古芬克尔;玛莎·契契克 1 2005 空虚是多么空虚? Zbl 1126.68479号 阿里·古芬克尔;玛莎·契契克 10 2004 延长真空度。 Zbl 1117.68430号 阿里·古芬克尔;玛莎·契契克 9 2004 通过经典模型检查进行多值模型检查。 Zbl 1274.68189号 阿里·古芬克尔;玛莎·契契克 14 2003 证明类反例。 Zbl 1031.68079号 阿里·古芬克尔;玛莎·契契克 5 2003 \({\mathcal X}\)Chek:多值模型检查器。 Zbl 1010.68809号 玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁 2 2002 结结巴巴的时候。 Zbl 1069.68564号 Păun,迪米特里·O。;玛莎·契契克 1 2002 使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 Zbl 0985.68031号 玛莎·契契克;贝内特·德弗鲁;阿里·古芬克尔 17 2001 多值逻辑的模型检查。 Zbl 0977.68704号 玛莎·契契克;史蒂夫·伊斯特布鲁克;维克托·彼得罗维奇 7 2001 使用格表示的高效多值模型选择。 Zbl 1006.68085号 玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克;Albert Y.C.赖。;维克托·彼得罗维赫 5 2001 实现多值符号模型检查器。 Zbl 0978.68542号 玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克 4 2001 所有引用出版物 排名前五的出版物 全部的 前5名233位作者引用 9 奥尔纳·库普弗曼 8 玛莎·契契克 7 阿里·古芬克尔 6 哈娜·乔克勒 5 李永明 4 奥尔纳·格伦伯格 4 Legay、Axel 4 克劳迪奥·蒙吉 4 罗伯托·塞巴斯蒂安 4 娜塔莎·莎莉吉娜 4 斯特里赫曼(Ofer Strichman) 三 肖姆·本·达维德 三 曹永志 三 曼弗雷德·德罗斯特 三 马苏德·易卜拉希米 三 格里戈里·费迪尤科维奇 三 安蒂·E·J·海瓦·里宁。 三 简·Křetínsk 三 潘海宇 三 维克多·舒潘 三 沙龙·肖姆 三 阿迪蒂亚·塔库尔。 三 帕特里克·特伦丁 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 海克,韦尔海姆 2 魏、欧 2 张,畅游 1 艾丽卡·阿尔布拉汉姆 1 穆拉德·阿洪多夫 1 贾马尔·阿希亚菲 1 沙乌尔·阿尔马戈 1 Alt,Leonardo S。 1 杰斐逊·O·安德拉德。 1 托尔斯滕·阿伦特 1 塞皮德·阿萨迪 1 阿夫尼,盖伊 1 迈克尔·巴克斯 1 亨利·E·巴尔。 1 克拉克·W·巴雷特。 1 杰拉德·巴斯勒 1 啤酒,伊兰 1 弗朗西斯科·贝拉迪内利 1 尼古拉·贝内什 1 德克·拜尔 1 尼古拉·S·比约纳。 1 马丁·布利查 1 拉斯蒂斯拉夫·博迪克 1 乌迪·博克 1 克里斯托弗出生 1 朱利安·布鲁内尔 1 费伦茨·巴伊托 1 西蒙·巴斯德 1 阿拉里科坎佩特利 1 卢卡·卡德利 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 乌里法伦伯格 1 费内科斯(Georgios E.Fainekos)。 …还有133位作者 全部的 前5名28篇连载文章中引用 14 系统设计中的形式化方法 8 理论计算机科学 5 信息与计算 5 自动推理杂志 5 计算的形式方面 4 模糊集与系统 2 信息学报 2 人工智能 2 信息科学 2 计算机程序设计科学 2 全球优化杂志 2 软计算 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 2 程序设计中的逻辑和代数方法杂志 1 计算 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 新一代计算 1 国际近似推理杂志 1 离散事件动态系统 1 计算机基础理论 1 系统科学与复杂性杂志 1 计算机科学中的逻辑方法 1 中欧计算机科学杂志 1 计算机科学评论 1 Modelirovanie i Analiz信息系统 全部的 前5名11个领域引用 105 计算机科学(68-XX) 51 数学逻辑和基础(03-XX) 6 运筹学、数学规划(90-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 2 组合数学(05-XX) 2 阶、格、有序代数结构(06-XX) 2 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 常微分方程(34-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文