弗兰克·杰姆;亚伯拉罕·维诺德(Abraham P.Vinod)。;埃里克·古堡;西尔维·普托;乌富克托普库 未知系统的实时控制:从侧面信息到通过可达性的性能保证。 (英语) Zbl 07746634号 IEEE传输。自动。控制 68,第8号,4857-4872(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{F.Djeumou}等人,IEEE Trans。自动。控制68,编号8,4857--4872(2023;Zbl 07746634) 全文: 内政部 arXiv公司
玛丽亚·科斯塔·维亚纳;埃里克·古堡;卢克·杰林;Sylvie推杆 估算平面上线状扫描传感器的覆盖测量和探测面积。 arXiv:2309.03604 预印本,arXiv:2309.03604[cs.RO](2023)。 BibTeX公司 引用 \textit{M.C.Vianna}等人,“估算平面上线状扫描传感器的覆盖测量和探测面积”,预打印,arXiv:2309.03604[cs.RO](2023) 全文: arXiv公司 OA许可证
埃里克·古堡;罗马人科尼亚泽夫;杰雷米·莱登特 色超图的多重认知逻辑。 arXiv:2308.00477 预打印,arXiv:2308.00477[cs.LO](2023)。 BibTeX公司 引用 \textit{E.Goubault}等人,“色超图的多重认知逻辑”,预印本,arXiv:2308.00477[cs.LO](2023) 全文: arXiv公司 OA许可证
卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯 有向空间的持久同调。 arXiv:2305.03357 预印本,arXiv:2305.03357[math.AT](2023)。 BibTeX公司 引用 \textit{C.Calk}等人,“有向空间的持久同源性”,预印本,arXiv:2305.03357[math.AT](2023) 全文: arXiv公司 OA许可证
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 KB4(_n)的一个简单模型:具有可能死亡的代理的认识逻辑。 (英语) Zbl 07836600号 Berenbrink,Petra(ed.)等人,第39届计算机科学理论方面国际研讨会,STACS 2022,法国马赛,虚拟会议,2022年3月15日至18日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。219,第33条,第20页(2022年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,LIPIcs——莱布尼茨国际程序。通知。219,第33条,20页(2022;Zbl 07836600) 全文: 内政部 arXiv公司
卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯;乔治·斯特鲁斯 代数相干合流和更高球状Kleene代数。 (英语) Zbl 1508.18018号 日志。方法计算。科学。 18,第4号,第9号论文,43页(2022年). 审核人:Hirokazu Nishimura(筑波) MSC公司:18号30 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calk}等人,日志。方法计算。科学。18,第4号,第9号论文,43页(2022年;Zbl 1508.18018) 全文: 内政部 arXiv公司 OA许可证
埃里克·古堡;Sylvie推杆 RINO:神经网络控制系统的鲁棒内、外近似可达性。 (英语) 兹比尔1518.93013 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 511-523 (2022).MSC公司:93个B03 93B70型 93-08 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},Lect。注释计算。科学。13371、511--523(2022;Zbl 1518.93013) 全文: 内政部 OA许可证
尼古拉·贝尔尼尼;米哈伊尔·贝萨;德尔马斯,雷米;金,亚瑟;埃里克·古堡;罗曼·佩内克;Sylvie推杆;弗朗索瓦·西利翁 四翼机姿态控制强化学习中的几点经验教训。 (英语) Zbl 07807700号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第27号论文,第11页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Bernini}等人,in:《第24届ACM混合系统国际会议论文集:计算与控制》,HSCC 2021,CPS-IoT周,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第27号论文,第11页(2021;Zbl 07807700) 全文: 内政部 哈尔
卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯 抽象策略和连贯性。 (英语) Zbl 1517.68155号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 108-125 (2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calk}等人,Lect。注释计算。科学。13027,108-125(2021;Zbl 1517.68155) 全文: 内政部 哈尔
埃里克·古堡;塞巴斯蒂安·帕伦比;Sylvie推杆;路易斯·鲁斯滕霍尔茨;桑卡拉纳拉亚南,斯里拉姆 热带多面体ReLU神经网络的静态分析。 (英语) Zbl 1497.68304号 Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12913, 166-190 (2021).MSC公司:60年第68季度 14T90型 52号B12 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,Lect。注释计算。科学。12913、166--190(2021年;Zbl 1497.68304) 全文: 内政部 arXiv公司
汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 平等否定和其他认知覆盖任务的动态认知逻辑分析。 (英语) Zbl 1502.68195号 J.日志。阿尔盖布。方法计划。 121,文章ID 100662,26 p.(2021). 审核人:菲利普·高彻(巴黎) MSC公司:68问题85 03B42号 03B70号 57M10个 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100662,26 p.(2021;Zbl 1502.68195) 全文: 内政部
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 (英语) Zbl 1497.03032号 Inf.计算。 278,文章ID 104597,22 p.(2021). 审核人:菲利普·高彻(巴黎) MSC公司:03B42号 55单位35 18号40 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{É.Goubault}等人,信息计算。278,文章ID 104597,22 p.(2021;Zbl 1497.03032) 全文: 内政部 arXiv公司 链接
弗里堡,L。;古堡,E。;穆罕默德,S。;Mrozek,M。;Putot,S。 寻找连续系统不变集的拓扑方法。 (英语) Zbl 1473.37018号 Inf.计算。 277,文章ID 104581,12 p.(2021).MSC公司:37B25型 37B35型 2014年第30季度 34A26型 34D05型 37平方米1 68瓦30 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}等人,《信息计算》。277,文章ID 104581,第12页(2021;Zbl 1473.37018) 全文: 内政部
埃里克·古堡;塞缪尔·米姆拉姆 非正弯曲空间中的有向同伦。 (英语) Zbl 1496.68225号 日志。方法计算。科学。 16,第3号,第4号论文,55页(2020年). 审核人:菲利普·高彻(巴黎) MSC公司:68问题85 18日第15天 54E35个 55单位35 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}和\textit{S.Mimram},日志。方法计算。科学。16,第3号,第4号论文,55页(2020年;Zbl 1496.68225) 全文: arXiv公司 链接
埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 平等否定任务的动态认知逻辑分析。 (英语) Zbl 1496.03072号 Soares Barbosa,Luís(编辑)等人,《动态逻辑》。新趋势和应用。2019年10月7日至11日,第二届国际研讨会,DALI 2019,葡萄牙波尔图。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12005, 53-70 (2020).MSC公司:03B42号 03B70号 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,Lect。注释计算。科学。12005,53-70(2020;Zbl 1496.03072) 全文: 内政部 arXiv公司
卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯 并发系统的时间遍历同伦性质。 (英语) Zbl 1440.18009号 同源性同源性应用。 22,第2期,31-57(2020年).MSC公司:18立方厘米 55U99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Calk}等人,同调同伦应用。22,第2号,31-57(2020年;兹bl 1440.18009) 全文: 内政部 arXiv公司
埃里克·古堡;迈克尔·法伯;奥雷连·萨格尼尔 定向拓扑复杂性。 (英语) Zbl 1479.55008号 J.应用。计算。白杨。 4,第1期,11-27(2020年). 审核人:Ioan Pop(伊阿什) MSC公司:55立方米 55页99 2010年第68季度 93C99号 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,J.Appl。计算。白杨。4、第1号、第11--27号(2020年;Zbl 1479.55008) 全文: 内政部 arXiv公司
埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 等式否定任务的无等待可解性。 (英语) Zbl 1515.68141号 Jukka Suomela(编辑),第33届分布式计算国际研讨会,DISC 2019,匈牙利布达佩斯,2019年10月14-18日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。146,第21条,第16页(2019年)。MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,LIPIcs——莱布尼茨国际程序。通知。146,第21条,第16页(2019年;Zbl 1515.68141) 全文: 内政部
埃里克·古堡;杰雷米·莱登特;塞缪尔·米姆拉姆 超越线性化的并发规范。 (英语) Zbl 07561456号 曹建农(编辑)等,第22届分布式系统原理国际会议,OPODIS 2018,2018年12月17日至19日,中国香港。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。125,第28条,第16页(2019年)。MSC公司:64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,LIPIcs——莱布尼茨国际程序。通知。125,第28条,第16页(2019年;Zbl 07561456) 全文: 内政部
埃里克·古堡;Sylvie推杆 控制系统验证的内部和外部可达性。 (英语) Zbl 07120136号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。11-22 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。11-22(2019;Zbl 07120136) 全文: 内政部
埃里克·古堡;Sylvie推杆;洛伦兹·萨勒曼 延迟微分方程的内部和外部近似流管。 (英语) Zbl 1511.93048号 Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆:斯普林格公开赛。莱克特。注释计算。科学。10982, 523-541 (2018).MSC公司:93B70型 34K05号 60年第68季度 93个B03 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,Lect。注释计算。科学。10982、523--541(2018年;Zbl 1511.93048) 全文: 内政部 OA许可证
埃里克·古堡;勒登特,Jérémy;塞尔吉奥·拉杰斯鲍姆 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 (英语) Zbl 1498.03045号 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27773-87(2018)。MSC公司:03B42号 03B70号 18号40 55单位35 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{É.Goubault}等人,电子。程序。西奥。计算。科学。(EPTCS)277,73--87(2018;Zbl 1498.03045) 全文: 链接
埃里克·古堡;塞缪尔·米姆拉姆;克里斯汀·塔森 关于异步可计算性的几何和组合视图。 (英语) Zbl 1451.68046号 分布计算。 31,第4号,289-316(2018).MSC公司:64岁以下 55单位10 68个M12 68米15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,《分布计算》。31,第4号,289--316(2018;Zbl 1451.68046) 全文: 内政部 哈尔
杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 定向同源理论和Eilenberg-Steenrod公理。 (英语) Zbl 1422.55009号 申请。类别。结构。 25,第5号,775-807(2017).MSC公司:55号35 55号40 18克60 18G55型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubut}等人,应用。类别。结构。25,第5号,775--807(2017;Zbl 1422.55009) 全文: 内政部 哈尔
埃里克·古堡;Sylvie推杆 非线性连续系统的前向内逼近可达性。 (英语) Zbl 1369.93071号 2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。1-10 (2017).MSC公司:93个B03 93B40码 93立方厘米10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},in:第20届ACM混合系统国际会议论文集:计算与控制,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)。1-10(2017年;Zbl 1369.93071) 全文: 内政部
奥利维尔·布伊苏;埃里克·古堡;Sylvie推杆;Aleksandar Chakarov;桑卡拉纳拉亚南,斯里拉姆 使用概率仿射形式和度量不等式集中的不确定性传播。 (英语) Zbl 1420.68205号 Chechik,Marsha(编辑)等人,《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。9636, 225-243 (2016).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}等人,Lect。注释计算。科学。9636225-243(2016;Zbl 1420.68205) 全文: 内政部
杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 P-可及范畴模型中的互模拟和展开。 (英语) Zbl 1392.68296号 Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学学报59,第25条,第14页(2016年)。MSC公司:68问题85 18秒20 18层20 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubut}等人,LIPIcs——莱布尼茨国际程序。通知。59,第25条,第14页(2016年;Zbl 1392.68296) 全文: 内政部
杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 定向同伦假说。 (英语) Zbl 1369.55013号 Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第9条,第16页。(2016).MSC公司:55单位10 18D20天 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubut}等人,LIPIcs——莱布尼茨国际程序。通知。62,第9条,第16页(2016;Zbl 1369.55013) 全文: 内政部
劳伦特·弗里堡;埃里克·古堡;Sylvie推杆;萨米赫·穆罕默德 一种寻找切换系统不变集的拓扑方法。 (英语) Zbl 1364.93379号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。61-70 (2016).MSC公司:93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}等人,in:第19届ACM混合系统国际会议论文集:计算与控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。61-70(2016年;Zbl 1364.93379) 全文: 内政部
莉丝·法斯特鲁普;埃里克·古堡;埃曼纽尔·豪科特;塞缪尔·米姆拉姆;马丁·劳森 [莫里斯·赫利希] 有向代数拓扑和并发。有莫里斯·赫利希的前言和塞缪尔·米姆拉姆的前言。 (英语) Zbl 1338.68003号 施普林格应用科学与技术简介数学方法。查姆:施普林格(ISBN 978-3-319-15397-1/pbk;978-3-316-15398-8/电子书)。xi,167页。(2016). 审核人:Ioan Pop(伊阿什) MSC公司:68-02 55-01 18B30型 54个F05 55页99 55单位10 55单位35 55单位40 68号30 68问题55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}等人,定向代数拓扑和并发。由Maurice Herlihy作序,Samuel Mimram作序。查姆:斯普林格(2016;Zbl 1338.68003) 全文: 内政部
埃里克·古堡;塞缪尔·米姆拉姆;克里斯汀·塔森 从几何语义到异步可计算性。 (英语) 兹比尔1394.68038 Moses,Yoram(编辑),《分布式计算》。2015年10月7日至9日,日本东京,第29届国际研讨会,DISC 2015。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-48652-8/pbk;978-3-562-48653-5/ebook)。计算机科学讲义9363436-451(2015)。MSC公司:64岁以下 68个M12 68米15 PDF格式BibTeX公司 XML格式引用 \textit{É.Goubault}等人,Lect。注释计算。科学。9363、436--451(2015年;Zbl 1394.68038) 全文: 内政部 哈尔
劳伦·弗里堡;埃里克·古堡;萨米赫·穆罕默德;玛丽安·姆罗泽克;Sylvie推杆 寻找连续系统不变集的拓扑方法。 (英语) Zbl 1471.37018号 Bojañczyk,Mikołaj(编辑)等人,《可达性问题》。2015年9月21日至23日在波兰华沙举行的RP 2015第九届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9328, 63-75 (2015).MSC公司:37B35型 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}等人,Lect。注释计算。科学。9328,63-75(2015;Zbl 1471.37018) 全文: 内政部
埃里克·古堡;Sylvie推杆 功能抽象的分区框架。 (英语) Zbl 1331.68050号 形式方法系统。设计。 47,第3期,302-360(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},形式方法系统。设计。47,第3号,302-360(2015;Zbl 1331.68050) 全文: 内政部 arXiv公司
埃里克·古博;塞缪尔·米姆拉姆;克里斯汀·塔森 迭代的彩色细分是可折叠的。 (英语) Zbl 1344.55006号 申请。类别。结构。 23,第6期,777-818(2015). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:55单位10 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}等人,应用。类别。结构。23,第6号,777--818(2015;Zbl 1344.55006) 全文: 内政部 链接
杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 自然同源性。 (英语) Zbl 1448.55010号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:施普林格。莱克特。注释计算。科学。9135, 171-183 (2015). 审核人:菲利普·高彻(巴黎) MSC公司:55号35 18 C50 55N31号 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubut}等人,Lect。注释计算。科学。9135171--183(2015;Zbl 1448.55010) 全文: 内政部
埃里克·古堡;奥利维·穆利埃;Sylvie推杆;米歇尔·基弗 内近似可达性分析。 (英语) Zbl 1362.93016号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。163-172 (2014).MSC公司:93个B03 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,in:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。163-172(2014年;兹比尔1362.93016) 全文: 内政部 链接
阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 计算正随机博弈和程序静态分析中出现的序保非扩张映射的最小不动点。 (英语) Zbl 1309.47057号 数学杂志。分析。申请。 410,第1期,227-240(2014).MSC公司:2007年7月47日 2009年9月47日 47时10分 91A15型 47J25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Adjé}等人,《数学杂志》。分析。申请。410,编号1,227--240(2014;Zbl 1309.47057) 全文: 内政部 arXiv公司
埃里克·古堡;托拜厄斯·海因德尔;塞缪尔·米姆拉姆 部分降阶的几何视图。 (英语) Zbl 1334.68133号 Kozen,Dexter(ed.)等人,第29届编程语义数学基础会议论文集(MFPS XXIX),美国洛杉矶新奥尔良,2013年6月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》298179-195(2013)。MSC公司:60年第68季度 68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,《电子》。注释Theor。计算。科学。298179-195(2013年;Zbl 1334.68133) 全文: 内政部
泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古堡 利用有向超图计算热带多面体的顶点。 (英语) Zbl 1312.52001号 离散计算。地理。 49,第2期,247-279(2013).MSC公司:52A01型 05C65号 2015年10月14日 52个B05 2017年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,《离散计算》。地理。49,No.2,247--279(2013;Zbl 1312.52001) 全文: 内政部 arXiv公司
穆利埃·奥利维尔;埃里克·古博;米歇尔·基弗;Sylvie推杆 向量值函数的一般内逼近。 arXiv:1310.1709 预印本,arXiv:1310.1709[cs.NA](2013)。 BibTeX公司 引用 \textit{M.Olivier}等人,“向量值函数的一般内逼近”,预打印,arXiv:1310.1709[cs.NA](2013) 全文: arXiv公司 OA许可证
埃里克·古堡;塞缪尔·米姆拉姆 并发的几何模型和经典模型之间的形式关系。 (英语) Zbl 1347.68265号 Fajstrup,Lisbeth(编辑)等人,《计算机科学中几何和拓扑方法第九次研讨会论文集》,丹麦奥尔堡,2010年1月11日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记283,77-109(2012)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}和\textit{S.Mimram},电子。注释Theor。计算。科学。28377--109(2012;Zbl 1347.68265) 全文: 内政部
埃里克·古堡;特里斯坦勒加尔;Sylvie推杆 区域映射的精确连接,保留仿射输入/输出关系。 (英语) Zbl 1294.68055号 Midtgaard,Jan(编辑)等人,第四届数字和符号抽象域国际研讨会论文集,NSAD 2012,法国多维尔,2012年9月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记287,65-76(2012)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,《电子》。注释Theor。计算。科学。287、65-76(2012年;Zbl 1294.68055) 全文: 内政部
法斯特鲁普,利斯白(编辑);埃里克·古堡(编辑);马丁·劳森(编辑) 2010年1月11日至15日,丹麦奥尔堡,第九届计算机科学几何和拓扑方法研讨会论文集。 (英语) Zbl 1281.68022号 理论计算机科学电子笔记283.阿姆斯特丹:爱思唯尔。第177页。,仅限电子版(2012年)。MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}(ed.)等人,第九届计算机科学几何和拓扑方法研讨会论文集,丹麦奥尔堡,2010年1月11-15日。阿姆斯特丹:爱思唯尔(2012;Zbl 1281.68022) 全文: 链接
托马斯·马丁·高利察;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 抽象解释满足凸优化。 (英语) Zbl 1246.90118号 J.塞姆。计算。 47,第12期,1416-1446(2012).MSC公司:90C25型 65千5 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}等人,J.Symb。计算。47,第12号,1416--1446(2012;Zbl 1246.90118) 全文: 内政部
莉丝·法斯特鲁普;埃里克·古堡;埃曼纽尔·豪科特;塞缪尔·米姆拉姆;马丁·劳森 跟踪空间:一种有效的状态空间缩减新技术。 (英语) Zbl 1352.68032号 Seidl,Helmut(编辑),《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会(ESOP 2012)是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28868-5/pbk)。计算机科学讲义7211,274-294(2012)。MSC公司:68甲15 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}等人,Lect。注释计算。科学。7211,274--294(2012;Zbl 1352.68032) 全文: 内政部 arXiv公司
奥利维尔·布伊苏;埃里克·古堡;让·古鲍特·拉雷克;Sylvie推杆 (p\)-盒的仿射算法的推广。 (英语) Zbl 1247.60006号 计算 94,第2-4号,189-201(2012). 审核人:沃尔夫冈·纳瑟(弗赖堡) MSC公司:60A86型 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}等人,《计算》94,第2--4期,189-201(2012;Zbl 1247.60006) 全文: 内政部
阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 将策略迭代与半定松弛耦合,以计算静态分析中的精确数值不变量。 (英语) Zbl 1237.68054号 日志。方法计算。科学。 8,第1期,第1号论文,32页(2012年).MSC公司:68号30 90C20个 90C22型 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Adjé}等人,日志。方法计算。科学。8,第1期,第1号论文,32页(2012;Zbl 1237.68054) 全文: arXiv公司
帕斯卡·索丁;贝特朗·珍妮特;弗兰克·维德琳;埃里克·古堡 逻辑-数字抽象域中的策略迭代。 (英语) Zbl 1348.68113号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996290-305(2011)。MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Sotin}等人,Lect。注释计算。科学。6996、290--305(2011;Zbl 1348.68113) 全文: 内政部
埃里克·古堡;西尔维·普托 有限精度计算的静态分析。 (英语) Zbl 1317.68116号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,232-247(2011)。MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},Lect。注释计算。科学。6538,232--247(2011;Zbl 1317.68116) 全文: 内政部
埃里克·古堡;埃曼纽尔·豪科特;桑吉维·克里希南 定向拓扑中的未来路径组件。 (英语) Zbl 1342.68232号 Mislove,Michael(ed.)等人,《第26届编程语义数学基础会议论文集》(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265325-335(2010)。MSC公司:68问题85 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,《电子》。注释Theor。计算。科学。265325-335(2010年;Zbl 1342.68232) 全文: 内政部
埃里克·古堡;勒鲁(Le Roux,Stéphane);杰里米·勒孔特;利贝蒂,利奥;法布里西奥·马里内利 通过抽象解释进行静态分析:一种数学规划方法。 (英语) Zbl 1342.68086号 Miné,Antoine(ed.)等人,第二届数字和符号抽象域国际研讨会论文集:NSAD 2010,法国佩皮尼昂,2010年9月13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》267,第1期,73-87(2010)。MSC公司:68号30 68问题55 90立方厘米57 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,《电子》。注释Theor。计算。科学。267,编号1,73--87(2010;Zbl 1342.68086) 全文: 内政部
泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古堡 热带双重描述法。 (英语) Zbl 1230.52024号 Marion,Jean-Yves(编辑)等人,STACS 2010。第27届计算机科学理论方面国际研讨会,法国南希,2010年3月4-6日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-16-3)。LIPIcs–莱布尼茨国际信息学会议录5,47-58,仅电子版(2010年)。MSC公司:52号B10 2015年10月14日 52B55号 52A01级 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,LIPIcs——莱布尼茨国际程序。通知。5、47-58(2010年;Zbl 1230.52024) 全文: 内政部 链接
阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 将策略迭代与半定松弛耦合,以计算静态分析中的精确数值不变量。 (英语) Zbl 1260.68082号 Andrew D.Gordon(编辑),《编程语言和系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会(ESOP 2010),是欧洲软件理论与实践联合会议(ETAPS 2010)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11956-9/pbk)。计算机科学课堂讲稿6012,23-42(2010)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Adjé}等人,Lect。注释计算。科学。6012、23-42(2010年;Zbl 1260.68082) 全文: 内政部
埃里克·古堡;埃曼纽尔·豪科特;桑吉维·克里希南 有向拓扑的覆盖空间理论。 (英语) Zbl 1181.55014号 理论应用。类别。 22, 252-268 (2009). 审核人:Lisbeth Fajstrup(奥尔堡) MSC公司:55页99 54E99型 54个F05 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,理论应用。类别。22252--268(2009年;Zbl 1181.55014) 全文: arXiv公司 欧洲DML EMIS公司
泽维尔·阿拉米吉恩;圣埃芬·高伯特;埃里克·古堡 使用max-plus多面体推断最小和最大不变量。 (英语) Zbl 1149.68346号 Alpunte,María(编辑)等人,《静态分析》。2008年7月16日至18日在西班牙巴伦西亚举行的2008年SAS第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69163-1/pbk)。计算机科学课堂讲稿5079189-204(2008)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,Lect。注释计算。科学。5079、189--204(2008年;Zbl 1149.68346) 全文: 内政部
埃里克·古堡;Sylvie推杆 基于广义仿射算法的实数计算的欠近似。 (英语) Zbl 1211.68088号 Nielson、Hanne Riis(编辑)等,《静态分析》。2007年8月22日至24日,第14届国际研讨会,SAS,丹麦,Kongens Lyngby。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74060-5/pbk)。计算机科学课堂讲稿4634137-152(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},Lect。注释计算。科学。4634,137--152(2007;Zbl 1211.68088) 全文: 内政部
古堡,E。;E.豪科特。 基本类别的组成部分。二、。 (英语) Zbl 1131.55011号 申请。类别。结构。 15,第4号,387-414(2007). 审核人:菲利普·高彻(巴黎) MSC公司:55单位40 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{E.Haucourt},应用。类别。结构。15,第4号,387--414(2007;Zbl 1131.55011) 全文: 内政部
斯蒂芬·高伯特;埃里克·古堡;安库尔·塔利;莎拉·泽诺 通过关系域上的策略迭代进行静态分析。 (英语) Zbl 1187.68151号 De Nicola,Rocco(编辑),《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会,ESOP 2007,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71314-2/pbk)。计算机科学课堂讲稿4421237-252(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert}等人,Lect。注释计算。科学。4421,237--252(2007;Zbl 1187.68151) 全文: 内政部
埃里克·古堡;Sylvie推杆 数值算法的静态分析。 (英语) Zbl 1225.68073号 Yi,Kwangkeun(编辑),静态分析。2006年8月29日至31日,第13届国际研讨会,SAS 2006,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37756-6/pbk)。《计算机科学讲义》4134,18-34(2006)。MSC公司:68号30 65G30型 65克50 65岁99岁 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},Lect。注释计算。科学。4134、18-34(2006年;Zbl 1225.68073) 全文: 内政部
莉丝·法斯特鲁普;马丁·劳恩;埃里克·古堡 代数拓扑和并发。 (英语) Zbl 1099.55003号 西奥。计算。科学。 357,编号1-3,241-278(2006). 审核人:乔纳森·霍奇森(费城) MSC公司:55页99 99年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}等人,Theor。计算。科学。357,编号1--3,241--278(2006;Zbl 1099.55003) 全文: 内政部
埃里克·古堡;埃曼纽尔·豪科特 几何语义在并发程序静态分析中的实际应用。 (英语) Zbl 1134.68440号 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653503-517(2005)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{E.Haucourt},莱克特。注释计算。科学。3653、503--517(2005年;Zbl 1134.68440) 全文: 内政部
科斯坦,A。;S·高伯特。;古堡,E。;马特尔,M。;推杆,S。 一种用于计算程序静态分析中不动点的策略迭代算法。 (英语) Zbl 1081.68616号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576462-475(2005)。MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Costan}等人,Lect。注释计算。科学。3576、462--475(2005;Zbl 1081.68616) 全文: 内政部
希尔德布兰特,T。(编辑);A.库尔兹。(编辑);古堡,E。(编辑);美国法伦伯格。(编辑) CONCUR 2003:CMCIM和GETCO。2003年9月6日,法国马赛,第二届并行、交互和移动性分类方法研讨会和第五届并行几何和拓扑方法研讨会论文集。 (英语) Zbl 1271.68042号 理论计算机科学电子笔记100.阿姆斯特丹:爱思唯尔。125页。,仅电子版(2004)。MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hildebrandt}(编辑)等人,CONCUR 2003:CMCIM和GETCO。2003年9月6日,法国马赛,第二届并行、交互和移动性分类方法研讨会和第五届并行几何和拓扑方法研讨会论文集。阿姆斯特丹:Elsevier(2004;Zbl 1271.68042) 全文: 链接
Sylvie推杆;埃里克·古堡;马蒂厄·马特尔 基于静态分析的浮点计算验证。 (英语) Zbl 1126.65309号 Alt,René(编辑)等人,《数值软件与结果验证》。国际达格斯图尔研讨会,达格斯图城堡,德国,2003年1月19日至24日。修订论文。柏林:施普林格出版社(ISBN 3-540-2126-4/pbk)。计算机科学课堂讲稿2991306-313(2004)。MSC公司:65G20个 PDF格式BibTeX公司 XML格式引用 \textit{S.Putot}等人,Lect。注释计算。科学。2991306--313(2004年;Zbl 1126.65309) 全文: 内政部
费斯特鲁普,L。;M.劳森。;古堡,E。;E.豪科特。 基本类别的组成部分。 (英语) Zbl 1078.55020号 申请。类别。结构。 12,第1期,81-108(2004).MSC公司:55单位40 18A32飞机 54个F05 2005年第55季度 68号30 68问题85 55页99 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}等人,应用。类别。结构。12,编号1,81--108(2004;Zbl 1078.55020) 全文: 内政部
帕特里克·库索特(编辑);莉丝·法斯特鲁普(编辑);埃里克·古堡(编辑);莫里斯·赫利希(编辑);马丁·劳森(编辑);弗拉迪米罗·萨松(编辑) 并发和分布式系统理论中的几何和拓扑(DISC'02卫星研讨会)。第四次研讨会(GETCO’02)的论文,法国图卢兹,2002年10月。 (英语) Zbl 1270.68021号 理论计算机科学电子笔记81.阿姆斯特丹:爱思唯尔。99页。,仅电子版(2003年)。MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}(ed.)等人,《并发和分布式系统理论中的几何和拓扑》(DISC'02卫星研讨会)。第四次研讨会(GETCO’02)的论文,法国图卢兹,2002年10月。阿姆斯特丹:Elsevier(2003;Zbl 1270.68021) 全文: 链接
让·古鲍特·拉雷克;埃里克·古堡 关于直觉S4证明的几何。 (英语) Zbl 1022.03010号 同源同伦应用。 5,第2期,137-209(2003).MSC公司:03B45 03B70号 18立方厘米 18 C50 18日第15天 18层20 18克10 18G30型 03G30型 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}和\textit{埃里·古堡},同伦应用。5,第2号,137--209(2003;Zbl 1022.03010) 全文: 内政部 欧洲DML EMIS公司
菲利普·高彻;埃里克·古堡 高维自动机的拓扑变形。 (英语) Zbl 1030.68058号 同源同伦应用。 5,第2期,39-82(2003).MSC公司:65年第68季度 55页第15页 550单位5 PDF格式BibTeX公司 XML格式引用 \textit{P.Gaucher}和\textit{E.Goubault},同调同伦应用。5,第2号,39-82(2003年;兹bl 1030.68058) 全文: 内政部 arXiv公司 欧洲DML EMIS公司
埃里克·古堡;马蒂厄·马特尔;Sylvie推杆 断言浮点计算的精度:一个简单的抽象解释器。 (英语) Zbl 1077.68615号 Le Métayer,Daniel(编辑),《编程语言和系统》。2002年4月8日至12日,在法国格勒诺布尔举行的第11届欧洲编程研讨会,ESOP 2002,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43363-5)。莱克特。注释计算。科学。2305, 209-212 (2002).MSC公司:68N99型 65克50 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人,Lect。注释计算。科学。2305209--212(2002年;Zbl 1077.68615) 全文: 链接
埃里克·古堡;马丁·劳森 作为状态空间分析工具的双同伦。 (英语) Zbl 1059.68072号 Rajsbaum,Sergio(编辑),拉丁语2002:理论信息学。第五届拉丁美洲研讨会,墨西哥坎昆,2002年4月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43400-3)。莱克特。注释计算。科学。2286, 16-37 (2002).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}和\textit{M.劳森},莱克特。注释计算。科学。2286、16-37(2002年;Zbl 1059.68072) 全文: 链接
帕特里克·库索特(编辑);埃里克·古堡(编辑);Jeremy Gunawardena(编辑);莫里斯·赫利希(编辑);马丁·劳森(编辑);弗拉迪米罗·萨松(编辑) 并发理论中的几何和拓扑。2000年8月21日,美国宾夕法尼亚州大学公园宾夕法尼亚州立大学研讨会。 (英语) Zbl 0957.00044号 理论计算机科学电子笔记. 39,2. 阿姆斯特丹:Elsevier,4篇论文(仅电子版)(2000年)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}(ed.)等人,并发理论中的几何和拓扑。2000年8月21日,美国宾夕法尼亚州大学公园宾夕法尼亚州立大学研讨会。阿姆斯特丹:爱思唯尔(2000;Zbl 0957.00044) 全文: 链接
埃里克·古堡;克洛德·勒布里斯 \某些幂零李代数表示的(Ext^1)群和变形。(集团\(Ext^1)et déformations de representations de certaines algèbres de Lie nilpotentes) (法语) Zbl 0954.17501号 牛市。科学。数学。,二、。Sér。 116,第4期,465-486(1992). 审核人:F.W.Lemire(MR 93h:17018) MSC公司:17B30型 17B56号 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{C.Le Bris},公牛。科学。数学。,二、。Sér。116,第4号,465--486(1992;Zbl 0954.17501)