编辑配置文件(在新选项卡中打开) 埃里克·古堡 合著者距离 作者ID: 古堡埃里克 发布日期: 埃里克·古堡;埃里克·古堡;Goubault,E。 更多。。。较少的 外部链接: ORCID公司 已编制索引的文档: 74出版物自1992年以来,包括1本书和8份额外的arXiv预印本 6作为编辑的贡献 合著者: 69合著者具有72联合出版物 1572合著作者 全部的 前5名合著者 8 单作者的 23 Sylvie推杆 9 圣埃芬·高伯特 9 塞缪尔·米姆拉姆 8 杰雷米·莱登特 8 马丁·劳森 7 埃马纽埃尔·豪考特 6 法斯特鲁普,利斯白 6 让·古鲍特·拉雷克 6 塞尔吉奥·拉杰斯鲍姆 4 阿萨勒阿杰 4 卡梅隆·卡克 4 杰雷米·杜布特 4 菲利普·马尔博斯 三 泽维尔·阿拉米吉恩 三 劳伦·弗里堡 三 莫里斯·赫利希。 三 玛丽亚娜·拉齐奇 三 马蒂厄·马特尔 三 萨米赫·穆罕默德 三 克里斯汀·塔森 2 奥利维尔·布瓦索 2 帕特里克·库索特 2 米歇尔·基弗 2 桑吉维·克里希南 2 玛丽安·姆罗泽克 2 桑卡拉纳拉亚南,斯里拉姆 2 弗拉迪米罗·萨松 1 尼古拉·贝尔尼尼 1 米哈伊尔·贝萨 1 Aleksandar Chakarov 1 亚历山德鲁·科斯坦 1 雷米·德尔马 1 弗兰克·杰姆 1 乌里·法伦贝格 1 迈克尔·S·法伯。 1 菲利普·高彻 1 托马斯·马丁·高利察 1 金,亚瑟 1 杰瑞米·古纳瓦德纳 1 托拜厄斯·海因德尔 1 托马斯·希尔德布兰特。 1 卢克·杰林 1 贝特朗·珍妮特 1 罗马人科尼亚泽夫 1 亚历山大·库兹 1 克洛德·勒布里斯 1 特里斯坦勒加尔 1 杰里米·勒孔特 1 圣埃芬·勒鲁 1 利贝蒂,利奥 1 法布里西奥·马里内利 1 奥利维·穆利埃 1 穆利埃·奥利维尔 1 塞巴斯蒂安·帕伦比 1 罗曼·佩内克 1 路易斯·鲁斯滕霍尔茨 1 奥雷连·萨格尼尔 1 洛伦兹·萨勒曼 1 赫尔穆特·塞德尔 1 弗朗索瓦·西利昂。 1 帕斯卡·索廷 1 乔治·斯特鲁斯 1 安库尔·塔利 1 乌富克托普库 1 汉斯·皮特·范·迪特马什 1 弗兰克·维德琳 1 玛丽亚·科斯塔·维亚纳 1 亚伯拉罕·维诺德(Abraham P.Vinod)。 1 莎拉·泽诺 全部的 前5名系列 5 理论计算机科学电子笔记 4 应用分类结构 4 同调、同伦及其应用 三 计算机科学中的逻辑方法 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 1 数学分析与应用杂志 1 数学科学公报。Deuxième Série 1 计算 1 IEEE自动控制汇刊 1 理论计算机科学 1 符号计算杂志 1 离散和计算几何 1 分布式计算 1 系统设计中的形式化方法 1 范畴的理论与应用 1 程序设计中的逻辑和代数方法杂志 1 应用与计算拓扑杂志 1 施普林格应用科学与技术简介 全部的 前5名领域 59 计算机科学(68至XX) 17 代数拓扑(55-XX) 13 范畴理论;同调代数(18-XX) 9 系统理论;控制(93至XX) 7 数值分析(65-XX) 6 总体主题;集合(00-XX) 6 数学逻辑和基础(03-XX) 6 一般拓扑结构(54至XX) 4 代数几何(14-XX) 4 运筹学、数学规划(90-XX) 三 常微分方程(34-XX) 三 凸几何和离散几何(52至XX) 2 动力系统和遍历理论(37至XX) 2 流形和细胞复合体(57至XX) 1 组合数学(05-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 非结合环和代数(17-XX) 1 算子理论(47-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 59出版物有被引用550中的次291文件 引用人▼ 年份▼ 代数拓扑和并发。 Zbl 1099.55003号 法斯特鲁普,利斯白;马丁·劳恩;埃里克·古堡 60 2006 有向代数拓扑和并发。有莫里斯·赫利希的前言和塞缪尔·米姆拉姆的前言。 Zbl 1338.68003号 法斯特鲁普,利斯白;埃里克·古堡;埃马纽埃尔·豪考特;塞缪尔·米姆拉姆;马丁·劳森 39 2016 基本类别的组成部分。 Zbl 1078.55020号 费斯特鲁普,L。;M.劳森。;古堡,E。;E.豪科特。 29 2004 程序静态分析中计算不动点的策略迭代算法。 Zbl 1081.68616号 科斯坦,A。;S·高伯特。;古堡,E。;马特尔,M。;推杆,S。 25 2005 并发理论中的一些几何观点。 Zbl 1034.68059号 埃里克·古堡 24 2003 利用有向超图计算热带多面体的顶点。 Zbl 1312.52001号 泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古堡 22 2013 通过关系域上的策略迭代进行静态分析。 Zbl 1187.68151号 斯蒂芬·高伯特;埃里克·古堡;安库尔·塔利;莎拉·泽诺 20 2007 基本类别的组成部分。二、。 兹比尔1131.55011 古堡,E。;E.豪科特。 19 2007 使用max-plus多面体推断最小和最大不变量。 Zbl 1149.68346号 泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古堡 19 2008 有限精度计算的静态分析。 Zbl 1317.68116号 埃里克·古堡;Sylvie推杆 18 2011 热带双重描述法。 Zbl 1230.52024号 泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古博 17 2010 几何和并发:用户指南。 Zbl 0956.68517号 埃里克·古堡 16 2000 将策略迭代与半定松弛耦合,以计算静态分析中的精确数值不变量。 Zbl 1260.68082号 阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 15 2010 数值算法的静态分析。 Zbl 1225.68073号 埃里克·古堡;Sylvie推杆 15 2006 高维自动机的拓扑变形。 Zbl 1030.68058号 菲利普·高彻;埃里克·古堡 14 2003 断言浮点计算的精度:一个简单的抽象解释器。 Zbl 1077.68615号 埃里克·古堡;马蒂厄·马特尔;Sylvie推杆 12 2002 作为状态空间分析工具的双同伦。 Zbl 1059.68072号 埃里克·古堡;马丁·劳森 12 2002 几何和经典并发模型之间的形式化关系。 Zbl 1347.68265号 埃里克·古堡;塞缪尔·米姆拉姆 10 2012 浮点运算精度的静态分析。 Zbl 0997.68518号 埃里克·古堡 10 2001 功能抽象的分区框架。 Zbl 1331.68050号 埃里克·古堡;Sylvie推杆 9 2015 使用概率仿射形式和度量不等式集中的不确定性传播。 Zbl 1420.68205号 奥利维尔·布瓦索;埃里克·古堡;Sylvie推杆;Aleksandar Chakarov;桑卡拉纳拉亚南,斯里拉姆 8 2016 跟踪空间:一种有效的状态空间缩减新技术。 Zbl 1352.68032号 法斯特鲁普,利斯白;埃里克·古堡;埃马纽埃尔·豪考特;塞缪尔·米姆拉姆;马丁·劳森 8 2012 内近似可达性分析。 Zbl 1362.93016号 埃里克·古堡;奥利维·穆利埃;Sylvie推杆;米歇尔·基弗 7 2014 基于静态分析的浮点计算验证。 Zbl 1126.65309号 Sylvie推杆;埃里克·古堡;马蒂厄·马特尔 7 2004 自然同源性。 兹比尔1448.55010 杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 6 2015 几何语义在并发程序静态分析中的实际应用。 Zbl 1134.68440号 埃里克·古堡;埃马纽埃尔·豪考特 6 2005 将策略迭代与半定松弛耦合,以计算静态分析中的精确数值不变量。 Zbl 1237.68054号 阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 6 2012 (p\)-盒的仿射算法的推广。 Zbl 1247.60006号 奥利维尔·布瓦索;埃里克·古堡;让·古鲍特·拉雷克;Sylvie推杆 6 2012 非正弯曲空间中的有向同伦。 Zbl 1496.68225号 埃里克·古堡;塞缪尔·米姆拉姆 6 2020 定向同源理论和Eilenberg-Steenrod公理。 Zbl 1422.55009号 杰瑞米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 6 2017 控制系统验证的内部和外部可达性。 Zbl 07120136号 埃里克·古堡;Sylvie推杆 5 2019 计算正随机博弈和程序静态分析中出现的序保非扩张映射的最小不动点。 Zbl 1309.47057号 阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 5 2014 定向拓扑复杂性。 Zbl 1479.55008号 埃里克·古堡;迈克尔·法伯;奥雷连·萨格尼尔 5 2020 抽象解释满足凸优化。 Zbl 1246.90118号 托马斯·马丁;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 5 2012 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1497.03032号 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 5 2021 通过抽象解释进行静态分析:一种数学规划方法。 Zbl 1342.68086号 埃里克·古堡;勒鲁(Le Roux,Stéphane);杰里米·勒孔特;利贝蒂,利奥;法布里西奥·马里内利 4 2010 非线性连续系统的前向内逼近可达性。 Zbl 1369.93071号 埃里克·古堡;Sylvie推杆 4 2017 偏序降阶的几何视图。 Zbl 1334.68133号 埃里克·古堡;托拜厄斯·海因德尔;塞缪尔·米姆拉姆 4 2013 并发规范超出线性化能力。 Zbl 07561456号 埃里克·古堡;杰雷米·莱登特;塞缪尔·米姆拉姆 三 2019 延迟微分方程的内部和外部近似流管。 Zbl 1511.93048号 埃里克·古堡;Sylvie推杆;洛伦兹·萨勒曼 三 2018 定向拓扑中的未来路径组件。 Zbl 1342.68232号 埃里克·古堡;埃马纽埃尔·豪考特;桑吉维·克里希南 三 2010 关于直觉S4证明的几何。 Zbl 1022.03010号 让·古鲍特·拉雷克;埃里克·古堡 三 2003 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 兹比尔1498.03045 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 三 2018 平等否定任务的动态认知逻辑分析。 Zbl 1496.03072号 埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 三 2020 平等否定和其他认知覆盖任务的动态认知逻辑分析。 Zbl 1502.68195号 汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;勒登特,Jérémy;塞尔吉奥·拉杰斯鲍姆 三 2021 代数相干合流和更高球状Kleene代数。 Zbl 1508.18018号 卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯;乔治·斯特鲁斯 2 2022 几何和并发。特殊问题。 Zbl 0952.00054号 2 2000 有向拓扑的覆盖空间理论。 Zbl 1181.55014号 埃里克·古堡;埃马纽埃尔·豪考特;桑吉维·克里希南 2 2009 迭代的彩色细分是可折叠的。 兹比尔1344.55006 埃里克·古堡;塞缪尔·米姆拉姆;克里斯汀·塔森 2 2015 一种寻找切换系统不变集的拓扑方法。 Zbl 1364.93379号 劳伦·弗里堡;埃里克·古堡;Sylvie推杆;萨米赫·穆罕默德 2 2016 基于广义仿射算法的实数计算的欠近似。 Zbl 1211.68088号 埃里克·古堡;Sylvie推杆 2 2007 P-可及范畴模型中的互模拟和展开。 Zbl 1392.68296号 杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 2 2016 未知系统的实时控制:从侧面信息到通过可达性的性能保证。 Zbl 07746634号 弗兰克·杰姆;亚伯拉罕·维诺德(Abraham P.Vinod)。;埃里克·古堡;Sylvie推杆;乌富克托普库 1 2023 等式否定任务的无等待可解性。 Zbl 1515.68141号 埃里克·古博;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 1 2019 抽象策略和连贯性。 Zbl 1517.68155号 卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯 1 2021 热带多面体ReLU神经网络的静态分析。 Zbl 1497.68304号 埃里克·古堡;塞巴斯蒂安·帕伦比;Sylvie推杆;路易斯·鲁斯滕霍尔茨;桑卡拉纳拉亚南,斯里拉姆 1 2021 寻找连续系统不变集的拓扑方法。 兹比尔1471.37018 劳伦·弗里堡;埃里克·古堡;萨米赫·穆罕默德;玛丽安·姆罗泽克;Sylvie推杆 1 2015 区域映射的精确连接,保留仿射输入/输出关系。 Zbl 1294.68055号 埃里克·古堡;特里斯坦勒加尔;Sylvie推杆 1 2012 并发系统的时间遍历同伦性质。 Zbl 1440.18009号 卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯 1 2020 未知系统的实时控制:从侧面信息到通过可达性的性能保证。 Zbl 07746634号 弗兰克·杰姆;亚伯拉罕·维诺德。;埃里克·古堡;Sylvie推杆;乌富克托普库 1 2023 代数相干合流和更高球状Kleene代数。 Zbl 1508.18018号 卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯;乔治·斯特鲁斯 2 2022 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1497.03032号 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 5 2021 平等否定和其他认知覆盖任务的动态认知逻辑分析。 Zbl 1502.68195号 汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 三 2021 抽象策略和连贯性。 Zbl 1517.68155号 卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯 1 2021 具有热带多面体的ReLU神经网络的静态分析。 Zbl 1497.68304号 埃里克·古堡;塞巴斯蒂安·帕伦比;Sylvie推杆;路易斯·鲁斯滕霍尔茨;桑卡拉纳拉亚南,斯里拉姆 1 2021 非正弯曲空间中的有向同伦。 Zbl 1496.68225号 埃里克·古堡;塞缪尔·米姆拉姆 6 2020 定向拓扑复杂性。 Zbl 1479.55008号 埃里克·古堡;迈克尔·法伯;奥雷连·萨格尼尔 5 2020 平等否定任务的动态认识逻辑分析。 Zbl 1496.03072号 埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 三 2020 并发系统的时间遍历同伦性质。 Zbl 1440.18009号 卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯 1 2020 控制系统验证的内部和外部可达性。 Zbl 07120136号 埃里克·古堡;Sylvie推杆 5 2019 并发规范超出线性化能力。 兹伯利07561456 埃里克·古堡;杰雷米·莱登特;塞缪尔·米姆拉姆 三 2019 等式否定任务的无等待可解性。 Zbl 1515.68141号 埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 1 2019 延迟微分方程的内部和外部近似流管。 Zbl 1511.93048号 埃里克·古堡;Sylvie推杆;洛伦兹·萨勒曼 三 2018 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1498.03045号 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 三 2018 定向同源理论和Eilenberg-Steenrod公理。 Zbl 1422.55009号 杰瑞米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 6 2017 非线性连续系统的前向内逼近可达性。 Zbl 1369.93071号 埃里克·古堡;Sylvie推杆 4 2017 有向代数拓扑和并发。有莫里斯·赫利希的前言和塞缪尔·米姆拉姆的前言。 Zbl 1338.68003号 法斯特鲁普,利斯白;埃里克·古堡;埃马纽埃尔·豪考特;塞缪尔·米姆拉姆;马丁·劳森 39 2016 使用概率仿射形式和度量不等式集中的不确定性传播。 Zbl 1420.68205号 奥利维尔·布瓦索;埃里克·古堡;Sylvie推杆;Aleksandar Chakarov;桑卡拉纳拉亚南,斯里拉姆 8 2016 一种寻找切换系统不变集的拓扑方法。 兹比尔1364.93379 劳伦·弗里堡;埃里克·古堡;Sylvie推杆;萨米赫·穆罕默德 2 2016 P-可及范畴模型中的互模拟和展开。 Zbl 1392.68296号 杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 2 2016 功能抽象的分区框架。 Zbl 1331.68050号 埃里克·古堡;Sylvie推杆 9 2015 自然同源性。 Zbl 1448.55010号 杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 6 2015 迭代的彩色细分是可折叠的。 Zbl 1344.55006号 埃里克·古堡;塞缪尔·米姆拉姆;克里斯汀·塔森 2 2015 寻找连续系统不变集的拓扑方法。 Zbl 1471.37018号 劳伦·弗里堡;埃里克·古堡;萨米赫·穆罕默德;玛丽安·姆罗泽克;Sylvie推杆 1 2015 内近似可达性分析。 Zbl 1362.93016号 埃里克·古堡;奥利维·穆利埃;Sylvie推杆;米歇尔·基弗 7 2014 计算正随机博弈和程序静态分析中出现的序保非扩张映射的最小不动点。 Zbl 1309.47057号 阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 5 2014 利用有向超图计算热带多面体的顶点。 Zbl 1312.52001号 泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古博 22 2013 部分降阶的几何视图。 Zbl 1334.68133号 埃里克·古堡;托拜厄斯·海因德尔;塞缪尔·米姆拉姆 4 2013 并发的几何模型和经典模型之间的形式关系。 Zbl 1347.68265号 埃里克·古堡;塞缪尔·米姆拉姆 10 2012 跟踪空间:一种有效的状态空间缩减新技术。 Zbl 1352.68032号 法斯特鲁普,利斯白;埃里克·古堡;埃马纽埃尔·豪考特;塞缪尔·米姆拉姆;马丁·劳森 8 2012 将策略迭代与半定松弛耦合,以计算静态分析中的精确数值不变量。 Zbl 1237.68054号 阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 6 2012 (p\)-盒的仿射算法的推广。 Zbl 1247.60006号 奥利维尔·布瓦索;埃里克·古堡;让·古鲍特·拉雷克;Sylvie推杆 6 2012 抽象解释满足凸优化。 Zbl 1246.90118号 托马斯·马丁·高利察;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 5 2012 zonotopes的精确连接,保留仿射输入/输出关系。 Zbl 1294.68055号 埃里克·古堡;特里斯坦勒加尔;Sylvie推杆 1 2012 有限精度计算的静态分析。 Zbl 1317.68116号 埃里克·古堡;Sylvie推杆 18 2011 热带双重描述法。 Zbl 1230.52024号 泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古堡 17 2010 将策略迭代与半定松弛耦合,以计算静态分析中的精确数值不变量。 Zbl 1260.68082号 阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 15 2010 通过抽象解释进行静态分析:一种数学规划方法。 Zbl 1342.68086号 埃里克·古堡;勒鲁(Le Roux,Stéphane);杰里米·勒孔特;利贝蒂,利奥;法布里西奥·马里内利 4 2010 定向拓扑中的未来路径组件。 Zbl 1342.68232号 埃里克·古堡;埃马纽埃尔·豪考特;桑吉维·克里希南 三 2010 有向拓扑的覆盖空间理论。 Zbl 1181.55014号 埃里克·古堡;埃马纽埃尔·豪考特;桑吉维·克里希南 2 2009 使用max-plus多面体推断最小和最大不变量。 Zbl 1149.68346号 泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古堡 19 2008 通过关系域上的策略迭代进行静态分析。 Zbl 1187.68151号 斯蒂芬·高伯特;埃里克·古堡;安库尔·塔利;莎拉·泽诺 20 2007 基本类别的组成部分。二、。 Zbl 1131.55011号 古堡,E。;E.豪科特。 19 2007 基于广义仿射算法的实数计算的欠近似。 Zbl 1211.68088号 埃里克·古堡;Sylvie推杆 2 2007 代数拓扑和并发。 Zbl 1099.55003号 法斯特鲁普,利斯白;马丁·劳恩;埃里克·古堡 60 2006 数值算法的静态分析。 Zbl 1225.68073号 埃里克·古堡;Sylvie推杆 15 2006 一种用于计算程序静态分析中不动点的策略迭代算法。 Zbl 1081.68616号 科斯坦,A。;S·高伯特。;古堡,E。;马特尔,M。;推杆,S。 25 2005 几何语义在并发程序静态分析中的实际应用。 Zbl 1134.68440号 埃里克·古堡;埃马纽埃尔·豪考特 6 2005 基本类别的组成部分。 Zbl 1078.55020号 费斯特鲁普,L。;M.劳森。;古堡,E。;E.豪科特。 29 2004 基于静态分析的浮点计算验证。 Zbl 1126.65309号 Sylvie推杆;埃里克·古堡;马特尔,马蒂厄 7 2004 并发理论中的一些几何观点。 Zbl 1034.68059号 埃里克·古堡 24 2003 高维自动机的拓扑变形。 Zbl 1030.68058号 菲利普·高彻;埃里克·古堡 14 2003 关于直觉S4证明的几何。 Zbl 1022.03010号 让·古鲍特·拉雷克;埃里克·古堡 三 2003 断言浮点计算的精度:一个简单的抽象解释器。 Zbl 1077.68615号 埃里克·古堡;马蒂厄·马特尔;Sylvie推杆 12 2002 作为状态空间分析工具的对偶。 Zbl 1059.68072号 埃里克·古堡;马丁·劳森 12 2002 浮点运算精度的静态分析。 Zbl 0997.68518号 埃里克·古堡 10 2001 几何和并发:用户指南。 Zbl 0956.68517号 埃里克·古堡 16 2000 几何和并发。特殊问题。 Zbl 0952.00054号 2 2000 所有引用出版物 前5名被引用出版物 全部的 前5名401位作者引用 27 埃里克·古堡 14 马丁·劳森 13 斯特凡·高伯特 11 菲利普·高彻 11 Krzysztof,Zimiañski 9 法斯特鲁普,利斯白 8 泽维尔·阿拉米吉恩 8 乌里·法伦贝格 8 托马斯·卡尔 8 Sylvie推杆 7 埃马纽埃尔·豪考特 7 里卡多·戴维·卡茨 7 马蒂厄·马特尔 6 阿萨勒阿杰 6 奥利维尔·布瓦索 6 桑吉维·克里希南 6 塞缪尔·米姆拉姆 5 托马斯·马丁·高利察 5 爷爷,马可 5 利贝蒂,利奥 5 桑卡拉纳拉亚南,斯里拉姆 4 亚历山大·查普托 4 帕特里克·库索特 4 杰雷米·杜布特 4 让·古鲍特·拉雷克 4 劳伦特·哈杜因 4 卢克·杰林 4 克里斯蒂安·约翰森 4 Legay、Axel 4 格奥尔格·洛霍 4 卡洛斯·安德烈(Carlos Andrey Maia) 4 安托万·米内 4 塞尔吉奥·拉杰斯鲍姆 4 路易吉·桑托卡纳莱 4 赫尔穆特·塞德尔 4 汉斯·皮特·范·迪特马什 4 罗德里克·华莱士 三 彼得·布特科维奇 三 阿曼多·卡斯塔涅达 三 陈丽倩 三 伊娃·达鲁洛娃 三 皮埃尔·洛伊奇·卡洛什 三 弗兰乔·伊万契奇 三 迈克尔·乔斯维格 三 金·古德斯特兰·拉森 三 杰雷米·莱登特 三 玛丽·麦凯 三 法布里西奥·马里内利 三 大卫·莫尼奥(David P.Monniaux)。 三 乔治·斯特鲁斯 三 王慧丽 三 王,季 2 吉安卢卡·阿马托 2 埃齐奥·巴托奇 2 罗宾·林恩·贝尔顿 2 弗朗索瓦·博伯特 2 罗宾·布鲁克斯 2 彼得·布贝尼克 2 卡梅隆·卡克 2 纳斯林·达穆切 2 Thao Dang先生 2 西蒙·迪纳多·迪迈奥 2 亚伦·M·达特(Aaron M.Dutle)。 2 斯特凡妮亚·埃布利 2 曼努埃尔·Fähndrich 2 布列塔尼·特雷泽·法西 2 Gonçalves,Vinicius Mariano 2 顾一佳 2 阿尔蒂·古普塔 2 托马斯·勒梅佐 2 杰里米·勒孔特 2 圣埃芬·勒鲁 2 弗朗西斯科·洛戈佐 2 鲁,齐 2 马克西姆·卢卡斯 2 维克多·马格伦 2 菲利普·马尔博斯 2 玛丽亚·希亚拉(Maria Chiara Meo) 2 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 2 塞萨尔·穆尼奥斯。 2 北,Paige Randall 2 皮埃尔·鲁克斯 2 齐格弗里德·迈克尔(Siegfried Michael),臀部 2 弗朗西丝卡·斯科扎里 2 亚萨米娜·塞拉吉 2 谢尔盖夫·米哈·洛维奇 2 米罗斯拉夫斯坦科维奇 2 田中、高平 2 克里斯汀·塔森 2 劳拉·蒂托洛 2 伊丽莎白·维多尔 2 托马斯·沃尔 2 贝诺伊·泽尔 1 亚历山德罗·阿巴特 1 罗莎·阿巴西 1 迪基·阿兹基亚 1 穆拉德·艾哈迈恩 1 沃尔夫冈·阿伦特 1 阿伦斯,贝内迪克特 1 玛丽安·阿基安 …还有301多名作者 全部的 前5名88篇连载文章被引用 13 线性代数及应用 12 理论计算机科学 11 系统设计中的形式化方法 10 应用分类结构 9 应用与计算拓扑杂志 7 Automatica公司 7 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 4 纯粹与应用代数杂志 4 拓扑及其应用 4 工程、通信和计算中的应用代数 4 范畴的理论与应用 三 符号计算杂志 三 信息与计算 三 自动化推理杂志 三 SIAM离散数学杂志 三 计算的形式方面 三 离散事件动态系统 三 分布式计算 三 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 三 同伦及相关结构杂志 三 非线性分析。混合动力系统 2 信息学报 2 离散应用数学 2 应用数学与计算 2 数学基础 2 哲学逻辑杂志 2 凯贝内提卡 2 应用数学进展 2 订单 2 离散和计算几何 2 国际代数与计算杂志 2 高阶和符号计算 2 代数和几何拓扑 2 康普特斯·伦德斯。数学竞赛。巴黎科学院 2 计算机科学中的数学 2 理论生物学杂志 2 程序设计中的逻辑和代数方法杂志 1 国际控制杂志 1 德国财政部(DMV) 1 富兰克林学院学报 1 数学分析与应用杂志 1 线性代数和多线性代数 1 物理报告 1 代数普遍性 1 计算 1 模糊集与系统 1 信息科学 1 国际数学与数学科学杂志 1 组合理论杂志。系列A 1 功能分析杂志 1 最优化理论与应用杂志 1 模拟中的数学和计算机 1 美国数学学会会刊 1 欧洲组合数学杂志 1 Rendiconti di Matematica e delle起诉Applicazioni。VII系列 1 计算机程序设计科学 1 运营研究信件 1 优化 1 算法 1 国际近似推理杂志 1 SIAM矩阵分析与应用杂志 1 应用概率年鉴 1 计算几何 1 全球优化杂志 1 爱丁堡皇家学会会刊,A辑,数学 1 SIAM审查 1 数学编程。A系列B系列 1 Indagationes Mathematicae公司。新系列 1 结理论杂志及其分歧 1 代数组合数学杂志 1 组合数学电子杂志 1 符号逻辑公报 1 数学与人工智能年鉴 1 信息计算杂志 1 优化方法和软件 1 软计算 1 组合优化期刊 1 离散数学和理论计算机科学。DMTCS公司 1 国际应用数学与计算机科学杂志 1 科学基础 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 差分方程研究进展 1 国际并行、紧急和分布式系统杂志 1 不动点理论与应用杂志 1 国际数值方法与应用杂志 1 高层建筑 全部的 前5名31个字段中引用 178 计算机科学(68至XX) 70 代数拓扑(55-XX) 36 数值分析(65-XX) 35 范畴理论;同调代数(18-XX) 31 系统理论;控制(93至XX) 24 线性代数和多线性代数;矩阵理论(15-XX) 23 运筹学、数学规划(90-XX) 20 数学逻辑和基础(03-XX) 20 代数几何(14-XX) 17 组合数学(05-XX) 17 凸几何和离散几何(52至XX) 13 一般拓扑结构(54至XX) 11 阶、格、有序代数结构(06-XX) 9 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 结合环与代数(16-XX) 6 常微分方程(34-XX) 6 流形和细胞复合体(57至XX) 6 概率论与随机过程(60-XX) 6 生物学和其他自然科学(92-XX) 4 统计学(62-XX) 三 动力系统和遍历理论(37至XX) 三 算子理论(47-XX) 三 信息与通信理论、电路(94-XX) 2 交换代数(13-XX) 2 功能分析(46倍X倍) 1 历史和传记(01-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 近似值和展开值(41至XX) 1 粒子和系统力学(70-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文