安德烈亚斯·洛赫比勒 可数网络最大流最小割定理的机械化证明及其在概率论中的应用。 (英语) Zbl 1512.05165号 J.汽车。推理 66,第4期,585-610(2022年).MSC公司:05C21号 05C63号 60E05型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},J.Autom。推理66,No.4,585--610(2022;Zbl 1512.05165) 全文: 内政部
巴特勒,D。;Lochbihler,A。;阿斯皮纳尔D。;A.加斯科恩。 使用CryptHOL对协议和承诺方案进行形式化。 (英语) Zbl 1524.94063号 J.汽车。推理 65,第4期,521-567(2021年).MSC公司:94A60型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Butler}等人,J.Autom。推理65,No.4,521--567(2021;Zbl 1524.94063) 全文: 内政部
安德烈亚斯·洛赫比勒 高阶逻辑中的效果多态性(证明珍珠)。 (英语) Zbl 1468.68062号 J.汽车。推理 63,第2期,439-462(2019).MSC公司:68甲18 68N20型 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},J.Autom。推理63,第2期,439-462(2019年;兹bl 1468.68062) 全文: 内政部
彼得·兰米奇;安德烈亚斯·洛赫比勒 高效数据结构的自动细化:两种方法的比较。 (英语) 兹比尔1459.68228 J.汽车。推理 63,第1号,53-94(2019).MSC公司:68伏15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}和\textit{A.Lochbihler},J.Autom。推理63,No.1,53--94(2019;Zbl 1459.68228) 全文: 内政部
安德烈亚斯·洛赫比勒 使用经过验证的编译器实现多线程Java的类型安全模型。 (英语) Zbl 1451.68178号 J.汽车。推理 61,编号1-4,243-332(2018).MSC公司:60年第68季度 68甲15 68N20型 第68季度55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},J.Autom。推理61,No.1--4,243--332(2018;Zbl 1451.68178) 全文: 内政部