彼得·诺布尔。;托拜厄斯·温齐尔 一种隐式时间步进三角对象的多分辨率离散元方法。 (英语) Zbl 1502.70036号 SIAM J.科学。计算。 44,编号4,A2121-A2149(2022).MSC公司:70楼35 70E55型 68单位05 51第05页 37N15号 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Noble}和\textit{T.Weinzierl},SIAM J.Sci。计算。44,第4号,A2121--A2149(2022;Zbl 1502.70036) 全文: 内政部 arXiv公司
赫尔穆特·塞德尔;拉尔夫·福格勒 自上而下求解器的三个改进。 (英语) Zbl 1489.68053号 数学。结构。计算。科学。 31,第9期,1090-1134(2021).MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{R.Vogler},数学。结构。计算。科学。31,第9号,1090--1134(2021;Zbl 1489.68053) 全文: 内政部
雷卡·派;阿披实·辛格;迪帕克·D’Souza;米纳克什·D’Souza;普拉卡什,普拉蒂巴 用于检测RTOS内核中高级竞争的静态分析。 (英语) Zbl 1505.68006号 形式方法系统。设计。 58,编号1-2,294-321(2021).MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{R.Pai}等人,《形式方法系统》。设计。58,编号1--2,294--321(2021;Zbl 1505.68006) 全文: 内政部
赫尔穆特·塞德尔;朱利安·埃哈德;拉尔夫·福格勒 增量抽象解释。 (英语) Zbl 1440.68047号 Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12065, 132-148 (2020).MSC公司:68纳米30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}等人,Lect。注释计算。科学。12065、132--148(2020;Zbl 1440.68047) 全文: 内政部
Larsen,Kim G。(编辑);吉·斯尔巴(编辑) 第28届北欧规划理论研讨会论文选集(NWPT’16)。 (英语) 兹比尔1431.68008 J.日志。阿尔盖布。方法计划。 107, 177-178 (2019).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)和textit{J.Srba}(主编),J.Log。阿尔盖布。方法计划。107、177--178(2019年;Zbl 1431.68008) 全文: 内政部
斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·福格勒 强制终止程序间分析。 (英语) Zbl 1425.68083号 形式方法系统。设计。 53,第2期,313-338(2018).MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulze Frielinghaus}等人,《形式方法系统》。设计。53,No.2,313--338(2018;Zbl 1425.68083) 全文: 内政部 arXiv公司
卡默·阿皮尼;瓦尔莫·维尼;沃伊达尼,维萨尔 基于地图的抽象域的需求驱动的过程间分析。 (英语) Zbl 1400.68054号 J.日志。阿尔盖布。方法计划。 100, 57-70 (2018).MSC公司:68纳米30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Apinis}等人,J.Log。阿尔盖布。方法计划。100,57-70(2018;Zbl 1400.68054) 全文: 内政部