克里斯蒂安·斯特纳格尔;Akihisa山田 重写终止和合流的可达性分析。 （英语） Zbl 1527.68119号 Vojnar，Tomáš（编辑）等人，用于构建和分析系统的工具和算法。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11427, 262-278 (2019).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sternagel}和\textit{A.Yamada}，莱克特。注释计算。科学。11427、262--278（2019年；Zbl 1527.68119） 全文： 内政部
John W.钦奈克。 最大可行子集问题及其应用。 （英语） Zbl 1510.90174号 信息：信息系统。操作。物件。 57，第4号，496-516（2019）。MSC公司：90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{J.W.Chinneck}，信息：信息系统。操作。第57号决议，第4号，496--516（2019年；Zbl 1510.90174） 全文： 内政部
戈兰·班雅克;保罗·古拉特;巴尔托洛梅奥·斯特拉托;斯蒂芬·博伊德 凸优化乘数交替方向法中的不可行性检测。 （英语） Zbl 1429.90050 J.优化。理论应用。 183，编号2，490-519（2019）。MSC公司：90C25型 90C20个 90C06型 90C22型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Banjac}等人，J.Optim。理论应用。183，编号2，490--519（2019；Zbl 1429.90050） 全文： 内政部 链接
穆罕默德·雷扎·加西米;约书亚·伊格纳修斯;巴巴克·雷扎伊 基于偏差变量框架提高数据包络模型的识别能力。 （英语） Zbl 1430.90403号 欧洲药典。物件。 278，第2期，442-447（2019）。MSC公司：90C08型 90磅50英寸 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Ghasemi}等人，《欧洲药典》。第278号决议，第2号，第442--447号（2019年；Zbl 1430.90403） 全文： 内政部 链接
伊阿戈·卡瓦略。 关于算法不可行解计算实验的统计评估。 （英语） Zbl 1478.68467号 信息处理。莱特。 143, 24-27 (2019)。MSC公司：68瓦99 62J15型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Carvalho}，Inf.过程。莱特。143、24-27（2019年；Zbl 1478.68467） 全文： 内政部 arXiv公司