编辑配置文件（在新选项卡中打开） 迈克尔·科隆。 合著者距离 作者ID： 科隆迈查尔-a 发布日期： 迈克尔·科隆。 外部链接： MGP公司 已编制索引的文档： 8出版物自2001年起 合著者： 3位合著者具有5联合出版物 112位Co-Co作者 合著者 三 单作者的 4 亨尼·B·西普玛。 三 桑卡拉纳拉亚南，斯里拉姆 1 佐哈尔·曼纳 系列 1 计算机程序设计科学 领域 8 计算机科学（68至XX） 1 交换代数（13-XX） 1 凸和离散几何（52-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用106次88文件 引用人▼ 年份▼ 使用非线性约束求解生成线性不变量。 Zbl 1278.68164号 迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 40 2003 线性排序函数的合成。 Zbl 0978.68095号 迈克尔·科隆。;亨尼·B·西普玛。 25 2001 证明程序终止的实用方法。 Zbl 1010.68774号 迈克尔·科隆。;亨尼·B·西普玛。 15 2002 高效的强关联多面体分析。 兹比尔1176.68051 桑卡拉纳拉亚南，斯里拉姆;迈克尔·科隆。;西普玛，亨尼;佐哈尔·曼纳 13 2006 泛化模板多面体域。 兹比尔1326.68088 迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆 4 2011 逼近命令式程序的代数关系语义。 Zbl 1104.68017号 迈克尔·科隆。 4 2004 命令式程序关系语义的多项式近似。 Zbl 1171.68541号 迈克尔·科隆。 三 2007 通过约束求解实现命令式程序的模式引导合成。 Zbl 1134.68345号 迈克尔·科隆。 2 2005 泛化模板多面体域。 兹比尔1326.68088 迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆 4 2011 命令式程序关系语义的多项式近似。 Zbl 1171.68541号 迈克尔·科隆。 三 2007 高效的强关联多面体分析。 兹比尔1176.68051 桑卡拉纳拉亚南，斯里拉姆;迈克尔·科隆。;西普玛，亨尼;佐哈尔·曼纳 13 2006 通过约束求解实现命令式程序的模式引导合成。 Zbl 1134.68345号 迈克尔·科隆。 2 2005 逼近命令式程序的代数关系语义。 Zbl 1104.68017号 迈克尔·科隆。 4 2004 使用非线性约束求解生成线性不变量。 兹比尔1278.68164 迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 40 2003 证明程序终止的实用方法。 Zbl 1010.68774号 迈克尔·科隆。;亨尼·B·西普玛。 15 2002 线性排序函数的合成。 Zbl 0978.68095号 迈克尔·科隆。;亨尼·B·西普玛。 25 2001 所有引用出版物 前5名被引用出版物 全部的 前5名193位作者引用 5 迪帕克·卡普尔 5 乔尔·欧·瓦克宁。 5 詹姆斯·沃雷尔。 5 埃纳州扎法内拉 4 库克，拜伦 4 桑卡拉纳拉亚南，斯里拉姆 4 詹乃军 三 吉尔根·吉斯尔 三 丹尼尔·科宁 三 李毅 三 阿里·米莉 三 恩里克·罗德里格斯-卡博内尔 三 阿尔伯特·鲁比奥 三 安德烈·里巴尔琴科 三 夏碧灿 2 亚历山德罗·阿巴特 2 阿萨勒阿杰 2 谢尔·亚哈龙 2 吉安卢卡·阿马托 2 罗伯托·巴格纳拉 2 德克·拜尔 2 达里奥·卡塔鲁扎 2 莱昂纳多·德·莫拉 2 斯蒂芬·福克 2 卡洛·阿尔贝托·福里亚 2 圣埃芬·高伯特 2 托马斯·马丁·高利察 2 萨米尔·根奈姆 2 埃里克·古堡 2 佐哈尔·曼纳 2 贝特朗·梅耶 2 查塔尼亚·纳德卡尼 2 阿尔伯特·奥利弗拉斯 2 彼得·施拉梅尔 2 弗朗西丝卡·斯科扎里 2 赫尔穆特·塞德尔 2 埃克塞尔·西蒙 2 Christoph M.温特斯泰格。 2 吴敏 2 徐明 2 杨正峰 2 曾振兵 2 张志海 2 赵恒军 1 亚历克斯·艾肯 1 艾尔维拉·阿尔伯特 1 沙乌尔·阿尔马戈 1 普拉纳夫，阿沙尔 1 Domagoj Babić 1 克里斯特尔·拜尔 1 安娜·贝基 1 斯蒂芬·贝克尔。 1 阿米尔·本·阿姆拉姆。 1 本·萨西，穆罕默德·阿明 1 尼古拉·S·比约纳。 1 米歇尔·博雷尔 1 克里斯蒂娜·博拉莱拉斯 1 艾哈迈德·博阿贾尼 1 韦尔·阿明（Wael-Amine）Boutglay 1 亚伦·R·布拉德利。 1 马克·布罗克施米特 1 蔡少伟 1 洛伦佐·坎迪戈 1 Chang，Bor-Yuh Evan先生 1 克里希南德·查特吉 1 德米特里五世·奇斯蒂科夫。 1 迈克尔·科隆。 1 马蒂亚斯·丹格尔 1 丹尼·德·施雷耶 1 邓玉欣 1 朱尔斯·德沙奈斯 1 迪亚洛，纳菲 1 克劳斯·阿格博士 1 帕夫洛斯·艾里纳基斯 1 方、斌 1 方，易 1 纳塔娜·菲亚尔科夫 1 伯恩德·芬克贝纳 1 贾斯敏·费希尔 1 安德烈亚·弗莱克塞德 1 戈兰·弗雷斯 1 傅洪飞 1 卡斯滕·福斯 1 弗洛里安·芬克 1 马来K·加奈。 1 普拉纳夫·加格 1 皮埃尔·洛伊奇·卡洛什 1 加尔达洛，Wided 1 米尔科·贾科布 1 阿米尔·卡夫什达尔·戈哈沙迪 1 杰西卡·格伦斯基。 1 巴加夫·古拉瓦尼。 1 苏米特·古尔瓦尼 1 阿尔蒂·古普塔 1 彼得·哈贝梅尔 1 威廉·哈格曼 1 尤塞夫·哈马迪 1 一郎·哈索 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 帕特里夏·M·希尔。 …还有93位作者 全部的 前5名22篇连载文章中引用 8 符号计算杂志 7 系统设计中的形式化方法 5 自动推理杂志 5 系统科学与复杂性杂志 4 理论计算机科学 三 信息与计算 三 计算的形式方面 2 高阶和符号计算 1 倒排索引综述 1 计算机程序设计科学 1 约束条件 1 计算系统理论 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 中国计算机科学前沿 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在14个字段中引用 80 计算机科学（68至XX） 11 运筹学、数学规划（90-XX） 9 数学逻辑和基础（03-XX） 5 系统论；控制（93至XX） 4 凸和离散几何（52-XX） 4 数值分析（65-XX） 三 交换代数（13-XX） 2 常微分方程（34-XX） 2 动力系统和遍历理论（37至XX） 1 数论（11-XX） 1 代数几何（14-XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文