布兰登·保尔森；王超 用于神经网络验证的线性近似的示例引导合成。 （英语） Zbl 1514.68142号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 149-170 (2022).MSC公司：60年第68季度 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{B.Paulsen}和\textit{C.Wang}，Lect。注释计算。科学。13371、149-170（2022年；Zbl 1514.68142） 全文： DOI程序 OA许可证
伊格纳西奥·阿里亚；达米尔·阿利昆蒂；佛朗哥·阿迪莱斯；布鲁里奥·洛博 非线性双目标优化：使用可行线段改进上包络。 （英语） Zbl 1465.90090号 J.全球。最佳方案。 79，编号2，503-520（2021）.MSC公司：90C29型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{I.Araya}等人，J.Glob。最佳方案。79，编号2，503--520（2021；Zbl 1465.90090） 全文： DOI程序
维克多·雷耶斯；伊格纳西奥·阿里亚 AbsTaylor公司：非线性连续全局优化问题中带内部区域的上界。 （英语） Zbl 1465.90079号 J.全球。最佳方案。 79，编号2，413-429（2021）.MSC公司：90C26型 PDF格式BibTeX公司 XML格式引用 \textit{V.Reyes}和\textit{I.Araya}，J.Glob。最佳方案。79，编号2，413--429（2021；Zbl 1465.90079） 全文： DOI程序
安托万·马伦代特；亚历山大·戈德斯特恩；吉尔·查伯特；克里斯托夫·杰曼 非线性半无限问题的标准分枝定界方法。 （英语） Zbl 1430.90536号 欧洲药典。物件。 282，第2期，438-452（2020年）.MSC公司：90立方厘米 90立方 65千5 PDF格式BibTeX公司 XML格式引用 \textit{A.Marendet}等人，《欧洲药典》。第282号决议，第2号，第438--452条（2020年；Zbl 1430.90536） 全文： DOI程序 哈尔
伊格纳西奥·阿里亚；何塞·坎普萨诺；达米尔·阿利昆蒂 非线性双目标优化：区间分枝定界算法的改进。 （英语） Zbl 1429.90066号 J.全球。最佳方案。 75，编号1，91-110（2019）.MSC公司：90C29型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{I.Araya}等人，J.Glob。最佳方案。75，第1号，91-110（2019年；Zbl 1429.90066） 全文： DOI程序
Neveu，伯特兰；马丁·德·拉·戈尔斯；帕斯卡·莫纳塞；Gilles Trombettoni 参数估计的通用区间分枝定界算法。 （英语） Zbl 1420.90050 J.全球。最佳方案。 73，编号3，515-535（2019）.MSC公司：90C26型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{B.Neveu}等人，J.Glob。最佳方案。73，编号3515-535（2019年；兹bl 1420.9050） 全文： DOI程序 链接
亚历山大·戈德斯特恩；吉尔·查伯特 利用区间李亚普诺夫方程估计非光滑系统的鲁棒吸引域。 （英语） Zbl 1415.93080号 Automatica公司 100, 371-377 (2019).MSC公司：93B18号机组 93立方厘米 93D20型 93天30分 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Goldsztejn}和\textit{G.Chabert}，自动化100，371--377（2019；Zbl 1415.93080） 全文： DOI程序 哈尔
伊格纳西奥·阿里亚；Neveu，伯特兰 艾斯迈尔：区间分枝定界解算器的变量选择策略。 （英语） Zbl 1402.90123号 J.全球。最佳方案。 71，第3期，483-500（2018）.MSC公司：90C26型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{I.Araya}和\textit{B.Neveu}，J.Glob。最佳方案。71，第3号，483--500（2018；Zbl 1402.90123） 全文： DOI程序
阿尼塞特·巴特；夏洛特·特鲁切特；埃里克·蒙弗罗伊 实时流过近似的全局约束。 （英语） Zbl 1387.90206号 约束条件 22，第3号，463-490（2017）.MSC公司：90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bart}等人，《约束》22，第3期，463--490（2017；Zbl 1387.90206） 全文： DOI程序
本杰明·马丁；马可·科雷亚；乔治·克鲁兹 基于可靠性的优化问题的经认证的分支定界方法。 （英语） Zbl 1382.90070 J.全球。最佳方案。 69，第2期，461-484（2017）.MSC公司：90立方厘米 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{B.Martin}等人，J.Glob。最佳方案。69，第2号，461--484（2017；Zbl 1382.90070） 全文： DOI程序
普洛希特，哈什；亚历山大·戈德斯特恩；克里斯托夫·杰曼；Laurent Granvilliers；福雷德里克·古阿拉德；P.S.V.纳塔拉吉。；巴盖什·帕蒂尔 使用非线性规划同时自动设计结构化QFT控制器和预滤波器。 （英语） Zbl 1373.93120号 国际J鲁棒非线性控制 27，第15号，2529-2548（2017）.MSC公司：93亿B50 90立方 93立方厘米 93B35型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Purohit｝et al.，Int.J.鲁棒非线性控制27，编号152529-2548（2017；Zbl 1373.93120） 全文： DOI程序
阿黛尔·贾巴拉；亚历山大·查波托；米歇尔·基弗；奥利维尔·布瓦索 利用区间分析构造动力系统的参数障碍函数。 （英语） Zbl 1357.93046号 Automatica公司 78, 287-296 (2017).MSC公司：93立方厘米 93立方厘米 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Djaballah}等人，Automatica 78，287--296（2017；Zbl 1357.93046） 全文： DOI程序 arXiv公司 哈尔
菲利普·维斯马拉；雷米·科莱塔；Gilles Trombettoni 葡萄酒调配的约束全局优化。 （英语） Zbl 1368.90133号 约束条件 21，第4期，597-615（2016）.MSC公司：90C26型 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{P.Vismara}等人，《约束21》，第4期，597--615（2016；Zbl 1368.90133） 全文： DOI程序 链接
伊格纳西奥·阿里亚；维克多·雷耶斯 优化和约束满足的区间分枝定界算法：综述与展望。 （英语） Zbl 1353.90113号 J.全球。最佳方案。 65，第4期，837-866（2016）.MSC公司：90C26型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{I.Araya}和\textit{V.Reyes}，J.Glob。最佳方案。65，第4号，837--866（2016；Zbl 1353.90113） 全文： DOI程序
Neveu，伯特兰；Gilles Trombettoni；伊格纳西奥·阿拉亚 区间分枝定界算法中的节点选择策略。 （英语） Zbl 1339.90268号 J.全球。最佳方案。 64，第2289-304号（2016）.MSC公司：90C26型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{B.Neveu}等人，J.Glob。最佳方案。64，第2号，289--304（2016；Zbl 1339.90268） 全文： DOI程序 链接
亚历山大·迪特·桑德雷托，朱利安；Gilles Trombettoni；大卫·丹尼 模型确认的区间方法：方法论和高级应用。 （英语） Zbl 1302.65125号 数学。计算。科学。 8，第3-4号，479-493（2014）.MSC公司：65G40型 第60页 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{J.Alexandre dit Sandretto}等人，数学。计算。科学。8、编号3--4、479--493（2014；Zbl 1302.65125） 全文： DOI程序 哈尔