编辑配置文件（在新选项卡中打开） 科马克·弗拉纳根 合著者距离 作者ID： 弗拉纳根语 发布日期： 科马克·弗拉纳根;弗拉纳根，C。 外部链接： MGP公司 已编制索引的文档： 29出版物自1999年起 1名编辑贡献 合著者： 27位合著者具有26联合出版物 347位合作作者 全部的 前5名合著者 4 单作者的 7 斯蒂芬·尼尔（Stephen Neal Freund） 6 沙兹·卡迪尔 三 马提亚斯·费莱森 2 迪士尼，蒂姆 2 罗伯特·布鲁斯·芬德勒 2 拉杰夫·乔希 2 Leino，K.Rustan M。 2 詹姆斯·B·萨克斯。 2 桑吉特·阿伦库马尔·塞希亚 1 托马斯·奥斯汀。 1 约翰·克莱门茨（John C.Clements）。 1 克里斯托斯·迪穆拉斯 1 马修·弗拉特 1 帕特丽斯·戈德弗里德 1 大卫·赫尔曼 1 杰克曼，N。 1 凯里，J.F。 1 肯尼思·诺尔斯 1 巴巴拉·科尼格 1 克里希纳穆提，施莱姆 1 杰·麦卡锡（Jay A.McCarthy）。 1 奥法雷尔，M。 1 欧新明 1 凯特琳·萨多夫斯基 1 谢里丹，C。 1 Paul A.Steckler。 1 阿伦·汤姆 全部的 前5名系列 三 计算机程序设计科学 2 函数编程杂志 1 信息处理信件 1 理论计算机科学 1 高阶与符号计算 1 计算机科学课堂讲稿 1 非线性分析。混合动力系统 全部的 前5名领域 29 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 26出版物有被引用249中的次205文件 引用人▼ 年份▼ 模型检测软件的动态部分阶降阶。 Zbl 1369.68135号 科马克·弗拉纳根;帕特丽斯·戈德弗里德 40 2005 胡迪尼是ESC/Java的注释助手。 Zbl 0977.68671号 科马克·弗拉纳根;Leino，K.Rustan M。 24 2001 线程模块模型检查。 兹比尔1023.68529 科马克·弗拉纳根;沙兹·卡迪尔 18 2003 避免指数爆炸：生成紧凑的验证条件。 兹比尔1323.68372 科马克·弗拉纳根;詹姆斯·B·萨克斯。 18 2001 用于软件验证的谓词抽象。 Zbl 1323.68371号 科马克·弗拉纳根;卡迪尔，沙兹 18 2002 使用懒惰证明解释的定理证明。 Zbl 1278.68259号 科马克·弗拉纳根;拉杰夫·乔希;欧新明;詹姆斯·B·萨克斯。 17 2003 混合型检查。 Zbl 1370.68202号 科马克·弗拉纳根 14 2006 节省空间的渐进式打字。 Zbl 1232.68025号 大卫·赫尔曼;阿伦·汤姆;科马克·弗拉纳根 12 2010 DrScheme：方案的编程环境。 Zbl 0987.68610号 罗伯特·布鲁斯·芬德勒;约翰·克莱门茨;科马克·弗拉纳根;马修·弗拉特;克里希纳穆提，施莱姆;保罗·斯特克勒;马提亚斯·费莱森 11 2002 未来和应用程序的语义。 Zbl 0926.68075号 弗拉纳根，C。;费尔莱森，M。 10 1999 软件模型检查事务。 Zbl 1271.68086号 科马克·弗拉纳根;沙兹·卡迪尔 9 2003 共享内存程序的线程模块验证。 Zbl 1077.68606号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。;沙兹·卡迪尔 9 2002 雾化器：多线程程序的动态原子性检查器。 Zbl 1146.68350号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。 7 2008 纠正对合同的指责，不再成为替罪羊。 Zbl 1284.68176号 克里斯托斯·迪穆拉斯;罗伯特·布鲁斯·芬德勒;科马克·弗拉纳根;马提亚斯·费莱森 6 2011 动态信息流的多个方面。 Zbl 1321.68034号 托马斯·奥斯汀。;科马克·弗拉纳根 5 2012 雾化器：多线程程序的动态原子性检查程序。 Zbl 1325.68064号 科马克·弗拉纳根;斯蒂芬·弗洛伊德。 5 2004 临时高阶合同。 Zbl 1323.68068号 迪士尼，蒂姆;科马克·弗拉纳根;麦卡锡，杰伊 5 2011 多线程程序的模块化验证。 Zbl 1108.68080号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。;沙兹·卡迪尔;Sanjit A.Seshia。 4 2005 SingleTrack：多线程程序的动态确定性检查程序。 Zbl 1234.68066号 凯特琳·萨多夫斯基;斯蒂芬·弗伦德（Stephen N.Freund）。;科马克·弗拉纳根 三 2009 多线程程序的模块化检查器。 Zbl 1010.68501号 科马克·弗拉纳根;沙兹·卡迪尔;Sanjit A.Seshia。 三 2002 通过约束逻辑自动检查软件模型。 Zbl 1091.68071号 科马克·弗拉纳根 三 2004 用于构建和分析系统的工具和算法。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。 Zbl 1238.68014号 2 2012 使用CLP进行自动软件模型检查。 Zbl 1032.68058号 科马克·弗拉纳根 2 2003 针对种族的类型推断。 Zbl 1104.68399号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。 2 2004 针对种族的类型推断。 Zbl 1171.68399号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。 1 2007 常规细化类型的类型重建。 Zbl 1187.68154号 肯尼思·诺尔斯;科马克·弗拉纳根 1 2007 动态信息流的多个方面。 Zbl 1321.68034号 托马斯·奥斯汀。;科马克·弗拉纳根 5 2012 用于构建和分析系统的工具和算法。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。 Zbl 1238.68014号 2 2012 纠正对合同的指责，不再成为替罪羊。 Zbl 1284.68176号 克里斯托斯·迪穆拉斯;罗伯特·布鲁斯·芬德勒;科马克·弗拉纳根;马提亚斯·费莱森 6 2011 时间上的高阶合同。 Zbl 1323.68068号 迪士尼，蒂姆;科马克·弗拉纳根;麦卡锡，杰伊 5 2011 节省空间的渐进式打字。 Zbl 1232.68025号 大卫·赫尔曼;阿伦·汤姆;科马克·弗拉纳根 12 2010 SingleTrack：多线程程序的动态确定性检查程序。 Zbl 1234.68066号 凯特琳·萨多夫斯基;斯蒂芬·弗伦德（Stephen N.Freund）。;科马克·弗拉纳根 三 2009 雾化器：多线程程序的动态原子性检查器。 Zbl 1146.68350号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。 7 2008 针对种族的类型推断。 Zbl 1171.68399号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。 1 2007 常规细化类型的类型重建。 Zbl 1187.68154号 肯尼思·诺尔斯;科马克·弗拉纳根 1 2007 混合型检查。 Zbl 1370.68202号 科马克·弗拉纳根 14 2006 模型检测软件的动态部分阶降阶。 Zbl 1369.68135号 科马克·弗拉纳根;帕特丽斯·戈德弗里德 40 2005 多线程程序的模块化验证。 Zbl 1108.68080号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。;沙兹·卡迪尔;Sanjit A.Seshia。 4 2005 雾化器：多线程程序的动态原子性检查程序。 Zbl 1325.68064号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。 5 2004 通过约束逻辑自动检查软件模型。 Zbl 1091.68071号 科马克·弗拉纳根 三 2004 针对种族的类型推断。 Zbl 1104.68399号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。 2 2004 线程模块模型检查。 兹比尔1023.68529 科马克·弗拉纳根;沙兹·卡迪尔 18 2003 利用惰性证明说明证明定理。 Zbl 1278.68259号 科马克·弗拉纳根;乔希，拉吉耶夫;欧新明;詹姆斯·B·萨克斯。 17 2003 用于软件模型检查的事务。 兹比尔1271.68086 科马克·弗拉纳根;沙兹·卡迪尔 9 2003 使用CLP进行自动软件模型检查。 Zbl 1032.68058号 科马克·弗拉纳根 2 2003 用于软件验证的谓词抽象。 Zbl 1323.68371号 科马克·弗拉纳根;沙兹·卡迪尔 18 2002 DrScheme：方案的编程环境。 Zbl 0987.68610号 罗伯特·布鲁斯·芬德勒;约翰·克莱门茨;科马克·弗拉纳根;马修·弗拉特;克里希纳穆提，施莱姆;保罗·斯特克勒;马提亚斯·费莱森 11 2002 共享内存程序的线程模块验证。 Zbl 1077.68606号 科马克·弗拉纳根;斯蒂芬·弗伦德（Stephen N.Freund）。;沙兹·卡迪尔 9 2002 多线程程序的模块化检查器。 Zbl 1010.68501号 科马克·弗拉纳根;沙兹·卡迪尔;Sanjit A.Seshia。 三 2002 胡迪尼是ESC/Java的注释助手。 Zbl 0977.68671号 科马克·弗拉纳根;Leino，K.Rustan M。 24 2001 避免指数爆炸：生成紧凑的验证条件。 Zbl 1323.68372号 科马克·弗拉纳根;詹姆斯·B·萨克斯。 18 2001 未来和应用程序的语义。 Zbl 0926.68075号 弗拉纳根，C。;费尔莱森，M。 10 1999 所有引用出版物 前5名被引用出版物 全部的 前5名523位作者引用 10 丹尼尔·科宁 5 曼努埃尔五世（Manuel V.Hermenegildo）。 5 娜塔莎·莎莉吉娜 4 艾尔维拉·阿尔伯特 4 罗伯特·布鲁托梅索 4 亚历山德罗·西马蒂 4 马提亚斯·费莱森 4 阿尔蒂·古普塔 4 帕塔萨拉西马杜苏丹 4 何塞·弗朗西斯科·莫拉莱斯 4 沙兹·卡迪尔 4 西尔维奥·兰伊斯 三 阿扎德法尔赞 三 格里戈里·费迪尤科维奇 三 普拉纳夫·加格 三 西尔维奥·吉拉尔迪 三 米盖尔·戈梅斯·扎马洛亚 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 Atsushi Igarashi 三 埃纳尔·布罗赫·约翰森 三 Shuvendu Kumar拉希里 三 Kedar S.Namjoshi。 三 豪尔赫·索萨·品托 三 安德烈亚斯·波德尔斯基 三 罗伯托·塞巴斯蒂亚尼 三 沙龙·肖姆 三 彼得·蒂曼。 三 托马斯·沃尔 2 彼得·阿奇顿 2 托马斯·巴利奥 2 艾哈迈德·博阿贾尼 2 马可·波扎诺 2 Supratik查克拉博蒂 2 克拉克（Edmund Melson jun Clarke）。 2 维克多·库克 2 瑞安·库佩普 2 达米安·德切夫 2 阿拉斯泰尔·唐纳森。 2 迈克尔·埃米 2 康斯坦丁·埃纳 2 伊利耶斯·法尔科内 2 约塔姆·M·Y·费尔德曼。 2 罗伯特·布鲁斯，芬德勒 2 科马克·弗拉纳根 2 玛丽亚·乔昂·弗雷德 2 伊莎贝尔·加西亚·孔特雷拉斯 2 迪米特拉·吉安娜科波卢 2 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 2 阿尔贝托·格里乔 2 阿什图什·古普塔 2 凯乔·赫尔扬科 2 马蒂·Järvisalo 2 兰吉特·贾拉 2 汤米·A·琼蒂拉。 2 亚历山大·凯泽。 2 直纪小林 2 Leino，K.Rustan M。 2 佩德罗·洛佩兹·加西亚 2 克劳德·马奇 2 扬尼克·莫伊 2 丹尼尔·奈德 2 新，Max S。 2 约阿希姆·尼伦 2 科琳娜·s·佩斯勒诺。 2 克里斯蒂娜·彼得森。 2 茨沃尼米尔·拉卡马里奇 2 罗伊，苏巴吉特 2 阿尔伯特·鲁比奥 2 菲利普·吕默 2 安德烈·萨贝尔菲尔德 2 马蒂奥·桑马蒂诺 2 施温哈默（Jan Schwinghammer） 2 塞·库什克 2 杰里米·西克。 2 亚历山德拉·席尔瓦 2 卡斯滕·辛兹 2 马塞洛·索萨。 2 马丁·斯特芬 2 斯特里赫曼（Ofer Strichman） 2 萨姆·托宾·霍施塔特 2 斯特凡诺·托内塔 2 迪夫耶什·乌纳德卡特 2 彼得·范·罗苏姆 2 德国维达尔 2 王超 2 本杰明·韦斯 2 乔治·威森巴赫 2 托马斯·维斯 2 埃兰·雅哈夫 1 帕罗什·阿齐兹·阿卜杜拉 1 安倍晋三 1 艾丽卡·阿尔布拉汉姆 1 萨尔瓦多阿布雷乌 1 帕拉克·阿加瓦尔 1 普拉图什·阿加瓦尔 1 西瓦利·阿加瓦尔 1 阿马尔·艾哈迈德 1 沃尔夫冈·阿伦特 1 亚历克斯·艾肯 1 贝扎德·阿克巴普尔 …还有423位作者 全部的 前5名25篇连载文章中引用 24 系统设计中的形式化方法 11 自动推理杂志 11 函数编程杂志 8 计算的形式方面 8 程序设计中的逻辑与代数方法杂志 7 理论计算机科学 5 信息学报 5 计算机程序设计科学 5 高阶与符号计算 5 逻辑与代数程序设计杂志 5 逻辑程序设计理论与实践 三 编程与计算机软件 三 信息与计算 2 人工智能 2 符号计算杂志 1 信息处理信件 1 计算 1 计算机与系统科学杂志 1 并行与分布式计算杂志 1 国际计算机科学基础杂志 1 天体力学和动力学天文学 1 数学与人工智能年鉴 1 约束条件 1 计算机语言、系统和结构 1 计算机科学评论 全部的 前5名在9个字段中引用 203 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 2 数学教育（97-XX） 1 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 1 常微分方程（34-XX） 1 粒子和系统力学（70-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文