尼古拉·贝蒂埃;Khakpour、Narges 符号抽象堆用于多态信息流保护推断。 （英语） Zbl 1529.68079号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13881, 66-90 (2023).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{N.Berthier}和\textit{N.Khakpour}，莱克特。票据计算。科学。13881、66-90（2023年；Zbl 1529.68079） 全文： 内政部 arXiv公司
克莱门·奥伯特;托马斯·鲁比亚诺;内亚·鲁施;托马斯·塞勒 分配和并行化非规范循环。 （英语） Zbl 1529.68078号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13881, 1-24 (2023).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}等人，Lect。票据计算。科学。13881，1--24（2023；Zbl 1529.68078） 全文： 内政部 哈尔
Michael Innerberger;德克·普雷托利乌斯 MooAFEM：一个面向对象的Matlab代码，用于（非线性）椭圆偏微分方程的高阶自适应有限元分析。 （英语） Zbl 1511.65003号 申请。数学。计算。 442，文章ID 127731，17 p.（2023）.理学硕士：65-04 65N30型 65牛顿50 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Innerberger}和\textit{D.Praetorius}，苹果。数学。计算。442，文章ID 127731，17 p.（2023；Zbl 1511.65003） 全文： 内政部 arXiv公司 OA许可证
爱德华·A·李。;马滕·洛斯特罗 概括逻辑执行时间。 （英语） Zbl 1528.68072号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 160-181 (2022).理学硕士：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Lee}和\textit{M.Lohstroh}，莱克特。票据计算。科学。13660160-181（2022年；Zbl 1528.68072） 全文： 内政部
宋世宗曼;佩特拉·范登·博斯 编舞的谓词变换器。计算舞蹈编程中的先决条件。 （英语） Zbl 1528.68080号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13240, 520-547 (2022).理学硕士：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.Jongmans}和\textit{P.van den Bos}，莱克特。票据计算。科学。13240520-547（2022年；Zbl 1528.68080） 全文： 内政部 OA许可证
乌尔里希·伯杰;Hideki Tsuiki 从证明中提取总Amb程序。 （英语） Zbl 1528.68077号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13240, 85-113 (2022).理学硕士：68号30 03B70号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Tsuiki}，莱克特。票据计算。科学。13240，85-113（2022；Zbl 1528.68077） 全文： 内政部 arXiv公司 OA许可证
大卫·J·加德纳。;丹尼尔·雷诺兹。;卡罗尔·伍德沃德。;科迪·巴洛斯。 在SUNDIALS非线性和微分/代数方程求解器套件中实现了新的灵活性。 （英语） Zbl 07668775号 ACM事务处理。数学。柔和。 48，第3条，第31条，第24页（2022年）.理学硕士：65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Gardner}等人，《美国医学杂志》。数学。柔和。48，第3号，第31条，第24页（2022；Zbl 07668775） 全文： 内政部 arXiv公司
德国维达尔 在带有选择性接收的消息传递并发编程中计算竞争变量。 （英语） Zbl 1499.68070号 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13273, 188-207 (2022).理学硕士：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.维达尔}，莱克特。票据计算。科学。13273188-207（2022年；Zbl 1499.68070） 全文： 内政部 arXiv公司
多米尼克·拉切·温德林（Dominique Larchey-Wendling）;Jean-François莫宁 Braga方法：从Coq中的复杂递归方案中提取认证算法。 （英语） Zbl 1528.68392号 Mainzer，Klaus（编辑）等人，《证明与计算II》。从证明理论和单叶数学到程序提取和验证。基于国际秋季学校“证明与计算”，2019年9月20日至26日。新泽西州哈肯萨克：《世界科学》。305-386 (2022).理学硕士：68伏15 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{J.-F.Monin}，见：证明与计算II。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日的国际秋季学校“证明与计算”。新泽西州哈肯萨克：《世界科学》。305-386（2022年；Zbl 1528.68392） 全文： 内政部 哈尔
瑞安·卡瓦纳 会话类型语言的公平性和基于通信的语义。 （英语） Zbl 1504.68030号 Inf.计算。 285，B部分，文章ID 104892，77 p.（2022）.理学硕士：68甲15 68甲18 68甲19 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kavanagh}，信息计算。285，B部分，文章ID 104892，77页（2022；Zbl 1504.68030） 全文： 内政部 arXiv公司 OA许可证
奇拉格·朱亚尔;桑迪普·库尔卡尼;斯威塔·库马里;萨提亚·佩里;阿奇特·索马尼 使用优化的基于多版本对象的事务系统实现组合的有效方法。 （英语） Zbl 07527806号 Inf.计算。 285，A部分，文章ID 104696，25 p.（2022）.理学硕士：68甲19 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{C.Juyal}等人，《信息计算》。285，A部分，文章ID 104696，25 p.（2022；Zbl 07527806） 全文： 内政部 arXiv公司 链接
Teoh，Teik Toe（Teik脚趾）;郑荣 Python的人工智能。 （英语） Zbl 07477922号 机器学习：基础、方法和应用新加坡：Springer（ISBN 978-981-16-8614-6/hbk；978-981-6-9322-9/pbk；988-981-16-8615-3/电子书）。xiv，第336页。(2022). 审核人：Irina Ioana Mohorianu（牛津） 理学硕士：68-01 68-04 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Teoh}和\textit{Z.Rong}，Python人工智能。新加坡：施普林格（2022；兹bl 07477922） 全文： 内政部
Bidlingmaier，Martin E。;弗洛里安·费索尔;Spitters，巴斯 概率规划同伦类型理论中的合成拓扑。 （英语） Zbl 1517.68072号 数学。结构。计算。科学。 31，第10号，1301-1329（2021）.理学硕士：68甲19 03B38型 03层60 2012年2月6日 18对25 18个C20 18 C50 18号45 第28页，共15页 55单位35 68号30 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Bidlingmaier}等人，《数学》。结构。计算。科学。31，第10号，1301--1329（2021；Zbl 1517.68072） 全文： 内政部 arXiv公司
Divyanjali Sharma;沙尔马，苏博德 发布获取并发的线程模块分析。 （英语） Zbl 1497.68123号 Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，美国伊利诺伊州芝加哥，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12913, 384-404 (2021).理学硕士：68号30 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Sharma}和\textit{S.Sharma}Lect。票据计算。科学。12913，384--404（2021；Zbl 1497.68123） 全文： 内政部 arXiv公司
迈克尔·施瓦兹;西蒙·萨恩;赫尔穆特·塞德尔;卡默·阿皮尼;朱利安·埃哈德;维萨尔·沃达尼 改进线程模块抽象解释。 （英语） Zbl 1497.68122号 Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12913, 359-383 (2021).理学硕士：68号30 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Schwarz}等人，Lect。票据计算。科学。12913，359--383（2021；Zbl 1497.68122） 全文： 内政部 arXiv公司
马尔科·艾尔斯;Severin Meier;彼得·米勒 野生产品程序：改造程序验证器以检查信息流安全性。 （英语） Zbl 1493.68106号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 718-741 (2021).理学硕士：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Eilers}等人，Lect。票据计算。科学。12759718--741（2021年；Zbl 1493.68106） 全文： 内政部 OA许可证
安德鲁·约翰逊;托马斯·瓦尔 无延迟的延迟调度！ （英语） Zbl 1493.68113号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 380-402 (2021).理学硕士：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Johnson}和\textit{T.Wahl}，莱克特。票据计算。科学。12759380--402（2021年；Zbl 1493.68113） 全文： 内政部 arXiv公司 OA许可证
弗拉维恩·布鲁瓦特;乌戈·达尔拉戈;阿加提·埃尔鲁 关于高阶概率次递归。 （英语） Zbl 1486.68039号 日志。计算方法。科学。 17，第4号，第25号论文，35页（2021年）.理学硕士：68号30 03B40型 68甲19 第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Breuvart}等人，日志。计算方法。科学。17，第4号，第25号文件，第35页（2021；兹bl 1486.68039） 全文： arXiv公司 链接
托马斯·帕尼;乔治·威森巴赫;弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。应用于证明非阻塞算法是有界无锁的。 （英语） Zbl 1522.68161号 形式方法系统。设计。 57，第2期，270-302（2021）.理学硕士：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Pani}等人，《形式方法系统》。设计。57，第2号，270--302（2021；Zbl 1522.68161） 全文： 内政部 OA许可证
雨果·帕奎特 贝叶斯策略：作为通用图形模型的概率程序。 （英语） Zbl 1473.68054号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12648, 519-547 (2021).理学硕士：68号30 62H22个 68甲15 68甲19 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Paquet}，莱克特。票据计算。科学。12648、519--547（2021；Zbl 1473.68054） 全文： 内政部 OA许可证
马塞尔·穆斯布鲁克;埃齐奥·巴托西;Joost-Pieter卡托恩;劳拉·科瓦奇 多项式概率程序的自动终止分析。 （英语） Zbl 1473.68053号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12648, 491-518 (2021).理学硕士：68号30 68甲19 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Moosbrugger}等人，Lect。票据计算。科学。12648491--518（2021年；Zbl 1473.68053） 全文： 内政部 arXiv公司 OA许可证
马克·卡罗尔;Ong，C.-H.卢克;雨果·帕奎特;多米尼克·瓦格纳 几乎可以肯定的是，终止概率程序的密度几乎处处都是可微的。 （英语） Zbl 1473.68048号 Yoshida，Nobuko（编辑），《编程语言和系统》。第30届欧洲编程研讨会，ESOP 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12648, 432-461 (2021).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Mak}等人，Lect。票据计算。科学。12648、432--461（2021；Zbl 1473.68048） 全文： 内政部 arXiv公司 OA许可证
乔治亚娜·卡尔泰斯;昆卡罐Tunç 解释NetKAT中的安全故障。 （英语） Zbl 1518.68046号 J.日志。阿尔盖布。方法计划。 121，文章ID 100676，16 p.（2021）.理学硕士：68号30 03B70号 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}和\textit{H.C.Tunç}，J.Log。阿尔盖布。方法计划。121，文章ID 100676，16 p.（2021；Zbl 1518.68046） 全文： 内政部 arXiv公司
圣地亚哥巴迪亚;阿尔贝托·马汀。 由教程驱动的并行有限元库简介女性1.0.0版。 （英语） Zbl 07678485号 计算。物理学。Commun公司。 248，文章ID 107059，24 p.（2020）.理学硕士：65-XX岁 74-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{S.Badia}和\textit{A.F.Martín}，计算。物理学。Commun公司。248，文章ID 107059，24 p.（2020；Zbl 07678485） 全文： 内政部 arXiv公司
埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 定义和验证持久不透明度：持久软件事务内存的正确性。 （英语） 兹比尔1511.68072 Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12136, 39-58 (2020).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Bila}等人，Lect。票据计算。科学。12136，39-58（2020；Zbl 1511.68072） 全文： 内政部 arXiv公司
安德烈·特林达德;乔安·莫塔;安托尼奥·拉瓦拉 自动和返回的类型状态：一个工具。 （英语） Zbl 1477.68073号 Lange，Julien（编辑）等人，《第13届交互和并发体验研讨会论文集》，ICE’20，在线，2020年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）324，25-42（2020年）。理学硕士：68甲18 68-04 68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Trindade}等人，《电子》。程序。西奥。计算。科学。（EPTCS）324，25-42（2020；Zbl 1477.68073） 全文： arXiv公司 链接
莱安德罗·法希内蒂;扎卡里·帕尔默;斯科特·史密斯。;吴，柯;Ayaka Yorihiro 用于程序分析的基于集合的上下文模型。 （英语） Zbl 1476.68061号 Oliveira，Bruno C.d.S.（编辑），《编程语言和系统》。2020年11月30日至12月2日，日本福冈，APLAS 2020第18届亚洲研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12470, 3-24 (2020).理学硕士：68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Fachinetti}等人，Lect。票据计算。科学。12470，3--24（2020；Zbl 1476.68061） 全文： 内政部
丹尼尔·舍梅尔;朱利安·勃宁;塞萨尔·罗德里格斯;戴维·拉普雷尔;克劳斯·韦尔 用于测试多线程程序的符号部分顺序执行。 （英语） Zbl 1478.68046号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12224, 376-400 (2020).理学硕士：68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Schemmel}等人，Lect。票据计算。科学。12224，376--400（2020年；Zbl 1478.68046） 全文： 内政部 arXiv公司 OA许可证
多罗申科，A.Y。;O.A.Yatsenko。 并行软件设计自动化的形式化方法。 （英语） Zbl 1463.68016号 多波夫。国家。阿卡德。诺克乌克兰。，材料价格。泰克。恶心 2020年，第6期，15-20（2020）.理学硕士：68号30 68甲19 2012年第68季度 68周01 70-10 70层10 PDF格式BibTeX公司 XML格式引用 \textit｛A.Y.Doroshenko｝和\textit｛O.A.Yatsenko｝，Dopov。国家。阿卡德。诺克乌克兰。，材料价格。泰克。Nauky 2020，第6期，第15--20期（2020；Zbl 1463.68016） 全文： 内政部 OA许可证
卢多维奇·亨利奥;克里斯托夫·凯斯勒;李璐 利用模型中的访问模式声明实现异构系统中的内存一致性。 （英语） 兹比尔1494.68043 J.日志。阿尔盖布。方法计划。 110，文章ID 100498，17 p.（2020）.理学硕士：68甲19 68米14 PDF格式BibTeX公司 XML格式引用 \textit{L.Henrio}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100498，第17页（2020；Zbl 1494.68043） 全文： 内政部 arXiv公司
奇拉格·朱亚尔;桑迪普·库尔卡尼;斯威塔·库马里;萨提亚·佩里;阿奇特·索马尼 在多版本基于对象的事务性内存系统中，通过更大的并发性实现无匮乏。 （英语） Zbl 07835008号 Ghaffari，Mohsen（编辑）等人，《分布式系统的稳定、安全和保障》。2019年10月22日至25日在意大利比萨举行的第21届SSS 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11914, 209-227 (2019).理学硕士：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Juyal}等人，Lect。票据计算。科学。11914、209--227（2019；Zbl 07835008） 全文： 内政部 arXiv公司
菲利波·邦奇;劳拉·布西;法比奥·加杜奇;弗朗西斯科·桑蒂尼 多元软约束。 （英语） Zbl 07817551号 Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。11760, 241-257 (2019).理学硕士：68号30 03G15年 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，Lect。票据计算。科学。11760、241--257（2019；Zbl 07817551） 全文： 内政部
毛里齐奥·加布里埃利;萨韦里奥·贾洛伦佐;伊万·拉内斯;雅各布·毛罗 猜猜谁会来：编舞中的参与者在运行时加入。 （英语） Zbl 07817544号 Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。11760, 118-138 (2019).理学硕士：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}等人，Lect。票据计算。科学。11760、118--138（2019；Zbl 07817544） 全文： 内政部 哈尔
科西莫·拉内夫;卢卡·帕多瓦尼 等待通知协调的死锁分析。 （英语） Zbl 07817540号 Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。11760, 50-67 (2019).理学硕士：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{L.Padovani}，莱克特。票据计算。科学。11760，50-67（2019；Zbl 07817540） 全文： 内政部 哈尔
什蒂尔，弗拉迪米尔;JiříBarnat 并行C++程序的本地非终止检测。 （英语） Zbl 07817491号 Ölveczky，Peter Csaba（编辑）等人，《软件工程与形式化方法》。2019年9月18-20日在挪威奥斯陆举行的第17届SEFM国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11724, 373-390 (2019).理学硕士：68号30 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛V.Štill｝和\textit｛J.Barnat｝，Lect。票据计算。科学。11724，373--390（2019；Zbl 07817491） 全文： 内政部
亚历山德罗·范特奇;伊利·纳伊姆;Jean-Bernard斯特凡尼 从行为合同到会话类型。 （英语） Zbl 1534.68043号 Boreale，Michele（编辑）等人，并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。11665, 278-297 (2019).理学硕士：68甲19 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Fantechi}等人，Lect。票据计算。科学。11665、278--297（2019年；Zbl 1534.68043） 全文： 内政部
保罗·唐恩;沙利文，扎卡里;泽纳·M·阿里奥拉。;西蒙·佩顿·琼斯 行动中的Codata。 （英语） Zbl 1524.68083号 Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11423, 119-146 (2019).理学硕士：68号30 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Downen}等人，Lect。票据计算。科学。11423119-146（2019年；兹比尔1524.68083） 全文： 内政部 OA许可证
伊斯梅尔·库鲁;科林·戈登。 类型的安全延迟内存回收。 （英语） 兹比尔1524.68093 Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11423, 88-116 (2019).理学硕士：68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.Kuru}和\textit{C.S.Gordon}，莱克特。票据计算。科学。11423、88-116（2019年；Zbl 1524.68093） 全文： 内政部 arXiv公司 OA许可证
马尔科·卡博尼;路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;阿加塔·穆拉夫斯卡 多党古典舞蹈。 （英语） Zbl 1524.68079号 弗雷德·梅斯纳德（编辑）等，基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。11408, 59-76 (2019).理学硕士：68号30 03B70号 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Carbone}等人，Lect。票据计算。科学。11408、59-76（2019年；Zbl 1524.68079） 全文： 内政部 arXiv公司
亚历山大·波洛克;安德烈亚斯·科克纳;德克·齐默 基于等式的建模的心理学方面。 （英语） Zbl 1485.93008号 数学。计算。模型。动态。系统。 25，第2期，115-138（2019）.理学硕士：93-04 93-08 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pollok}等人，数学。计算。模型。动态。系统。25，编号2，115--138（2019；Zbl 1485.93008） 全文： 内政部 链接
傅洪飞;克里希南德·查特吉 非确定性概率程序的终止。 （英语） Zbl 1522.68152号 Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11388, 468-490 (2019).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{H.Fu}和\textit{K.Chatterjee}，莱克特。票据计算。科学。11388、468--490（2019年；Zbl 1522.68152） 全文： 内政部
奥尔蒂斯·伯纳丁，A。;C·阿尔瓦雷斯。;Hitschfeld-Kahler，N。;A.拉索。;Silva Valenzuela，R。;Olate-Sanzana，E。 Veamy：虚拟元素方法的可扩展面向对象C++库。 （英语） Zbl 1442.65002号 数字。算法 82，第4期，1189-1220（2019）.理学硕士：65-04 65N30型 65牛顿50 35J05型 74B99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ortiz-Barnardin}等人，数字。算法82，No.4，1189--1220（2019；Zbl 1442.65002） 全文： 内政部 arXiv公司
艾哈迈德·博阿贾尼;康斯坦丁·埃纳;Lahiri，Shuvendu K。 进化并发程序的抽象语义差异。 （英语） Zbl 1425.68063号 形式方法系统。设计。 54，第1期，4-26（2019）.理学硕士：68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，《形式方法系统》。设计。54，编号1，4--26（2019；Zbl 1425.68063） 全文： 内政部 哈尔
安德烈·特夫内斯库;斯蒂芬·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;erbṭnu𓁂ṙኵe，Traian Florin 全通可达性逻辑。 （英语） Zbl 1421.68015号 日志。计算方法。科学。 15，第2号，第5号论文，23页（2019年）.理学硕士：68号30 03B70号 68甲19 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.ötefnescu}等人，《日志》。计算方法。科学。15，第2号，第5号论文，23页（2019年；Zbl 1421.68015） 全文： arXiv公司
保拉·吉安尼尼;马可·塞韦托;祖卡，埃琳娜;詹姆斯·科内 唯一性和不变性的灵活恢复。 （英语） Zbl 1417.68032号 西奥。计算。科学。 764, 145-172 (2019).理学硕士：68号30 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Giannii}等人，Theor。计算。科学。764145-172（2019年；Zbl 1417.68032） 全文： 内政部 arXiv公司 链接
Le，Xuan-Bach（宣巴赫·勒）;阿奎那·霍伯;Anthony W·林。 树共享结构的复杂性分析。 （英语） Zbl 1519.68059号 Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，2018年APLAS，新西兰惠灵顿，2018年12月2-6日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11275, 89-108 (2018).理学硕士：68号30 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.-B.Le}等人，Lect。票据计算。科学。11275，89-108（2018；Zbl 1519.68059） 全文： 内政部 arXiv公司
何继峰 概率规划的联系理论。 （英语） Zbl 1518.68053号 Jones，Cliff（编辑）等人，实时和混合系统研讨会。在周朝晨教授80岁生日之际，献给他的散文。查姆：斯普林格。莱克特。票据计算。科学。11180, 186-210 (2018).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{H.吉峰}，Lect。票据计算。科学。11180186-210（2018；Zbl 1518.68053） 全文： 内政部
雨果·帕奎特;格林·温斯克尔 并发博弈中的连续概率分布。 （英语） Zbl 1527.68141号 Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。341, 321-344 (2018).理学硕士：68问题85 68甲19 68号30 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Paquet}和\textit{G.Winskel}，电子。注释Theor。计算。科学。341、321--344（2018；Zbl 1527.68141） 全文： 内政部
弗雷德里克·达尔奎斯特;亚历山德拉·席尔瓦;文森特·达诺斯;伊利亚斯·加尼尔 Borel核及其近似，绝对地。 （英语） Zbl 1527.68039号 Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。341, 91-119 (2018).理学硕士：68号30 18 C50 18米40 2005年10月28日 60B99型 60J20型 2015年1月62日 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}等人，《电子》。注释Theor。计算。科学。341、91——119（2018；Zbl 1527.68039） 全文： 内政部 arXiv公司
雅克·卡雷特;陈朝红;维克拉曼·乔杜里;阿穆尔·萨布里 从可逆程序到单价宇宙再到可逆程序。 （英语） 兹比尔1525.68024 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 5-25 (2018).理学硕士：68号30 18 C50 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，《电子》。注释Theor。计算。科学。336，5--25（2018；Zbl 1525.68024） 全文： 内政部 arXiv公司
基西亚，R.A。;J·克瓦斯托夫斯基。;Staszewski，R。;J·特努。 GenEx：一种简单的生成器结构，用于高能碰撞中的独占过程。 （英语） Zbl 1475.82028号 Commun公司。计算。物理学。 24，第3期，860-884（2018）.理学硕士：82立方米 65二氧化碳 65日元 82-04 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Kycia}等人，Commun。计算。物理学。24，第3号，860--884（2018；Zbl 1475.82028） 全文： 内政部 arXiv公司
杜鹃花拉德;奥里·拉哈夫;维克托·瓦菲亚迪斯 并行快照隔离和发布/获取一致性。 （英语） 兹比尔1418.68064 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10801, 940-967 (2018).理学硕士：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Raad}等人，Lect。票据计算。科学。10801、940--967（2018；Zbl 1418.68064） 全文： 内政部 OA许可证
托比亚斯·卡佩;保罗·布鲁内特;亚历山德拉·席尔瓦;法比奥·扎纳西 并发Kleene代数：自由模型和完备性。 （英语） Zbl 1422.68035号 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10801, 856-882 (2018).理学硕士：68号30 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人，Lect。票据计算。科学。10801856--882（2018；Zbl 1422.68035） 全文： 内政部 arXiv公司 OA许可证
贾法尔，哈明;巴特·雅各布斯 无死锁监视器。 （英语） Zbl 1418.68056号 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10801, 415-441 (2018).理学硕士：68号30 68甲19 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛J.Hamin｝和\textit｛B.Jacobs｝，Lect。票据计算。科学。10801、415--441（2018；Zbl 1418.68056） 全文： 内政部 OA许可证
Le，Xuan-Bach（宣巴赫·勒）;阿奎那·霍伯 不相交权限的逻辑推理。 （英语） 兹比尔1418.68059 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10801, 385-414 (2018).理学硕士：68号30 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.-B.Le}和\textit{A.Hobor}，莱克特。票据计算。科学。10801385--414（2018；Zbl 1418.68059） 全文： 内政部 OA许可证
卡斯珀·斯文森;Jean Pichon-Pharabod;马可·多科;奥里·拉哈夫;维克托·瓦菲亚迪斯 一种有前途的语义的分离逻辑。 （英语） Zbl 1422.68037号 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10801, 357-384 (2018).理学硕士：68号30 03B70号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Svendsen}等人，Lect。票据计算。科学。10801、357--384（2018；Zbl 1422.68037） 全文： 内政部 OA许可证
肖思阳;姜汉如;梁洪进;冯新宇 无数据追踪程序的非呈现语义。 （英语） Zbl 1518.68068号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11187, 513-531 (2018).理学硕士：68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Xiao}等人，Lect。票据计算。科学。11187513--531（2018年；Zbl 1518.68068） 全文： 内政部
马克斯·萨吉巴姆;阿尔布林，T。;N.R.Gauger。 用于在算法微分的反向模式中进行原值录制的表达式模板。 （英语） Zbl 1401.65164号 最佳方案。方法软件。 33，第4-6号，1207-1231（2018）.理学硕士：65年20月 68甲19 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sagebaum}等人，Optim。方法软件。33、编号4--6、1207--1231（2018；Zbl 1401.65164） 全文： 内政部
阮和武;泰瑟·图利 多线程程序的CARET分析。 （英语） Zbl 1508.68073号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10855, 73-90 (2018).理学硕士：68号30 03B44号 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛H.-V.Nguyen｝和\textit｛T.Touili｝，Lect。票据计算。科学。10855、73-90（2018年；Zbl 1508.68073） 全文： 内政部 arXiv公司
安托万·埃尔·霍卡耶姆;伊利耶斯·法尔科内;穆罕默德贾比尔 将基于正式组件的系统中的行为和架构横切关注点模块化——应用于行为交互优先级框架。 （英语） Zbl 1395.68092号 J.日志。阿尔盖布。方法计划。 99, 143-177 (2018).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.El-Hokayem}等人，J.Log。阿尔盖布。方法计划。99、143--177（2018；Zbl 1395.68092） 全文： 内政部 arXiv公司
肖恩·沃克。 FELICITY：用于开发有限元方法和仿真建模的Matlab/C++工具箱。 （英语） Zbl 1481.65192号 SIAM J.科学。计算。 40，编号2，C234-C257（2018）.理学硕士：65M60毫米 65N30型 65-04 65日元 68甲19 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.W.Walker}，SIAM J.Sci。计算。40，编号2，C234-C257（2018；兹bl 1481.65192） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Ngo、Tuan Phong 用于总存储顺序的加载缓冲语义。 （英语） Zbl 1459.68038号 日志。计算方法。科学。 14，第1号，第9号论文，46页（2018年）.理学硕士：68号30 68甲19 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，日志。计算方法。科学。14，第1号，第9号论文，46页（2018；Zbl 1459.68038） 全文： 内政部 arXiv公司
阿德里安·蓬梅莱;泰瑟·图利 通过rendez-vous通信的多线程递归程序的静态分析。 （英语） Zbl 1503.68047号 Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10695, 235-254 (2017).理学硕士：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Pommellet}和\textit{T.Touili}，莱克特。票据计算。科学。10695，235-254（2017；Zbl 1503.68047） 全文： 内政部 arXiv公司
马特·温莎;多兹，迈克;本·辛纳;马修·帕金森。 Starling：使用视图进行轻量级并发验证。 （英语） Zbl 1494.68065号 Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。10426, 544-569 (2017).理学硕士：68号30 03B70号 68甲19 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Windsor}等人，Lect。票据计算。科学。10426、544--569（2017；Zbl 1494.68065） 全文： 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;玛丽亚·加西亚（María García）;米盖尔·戈梅斯·扎马洛亚;彼得·斯图基（Peter J.Stuckey）。 上下文相关的动态偏序约简。 （英语） Zbl 1494.68047号 Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。10426, 526-543 (2017).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，Lect。票据计算。科学。10426、526--543（2017；Zbl 1494.68047） 全文： 内政部 链接
莎拉·查辛斯;Phothilimthana、Phitchaya Mangpo 全概率程序的数据驱动综合。 （英语） Zbl 1494.68052号 Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。10426, 279-304 (2017).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Chasins}和\textit{P.M.Phothilimthana}，莱克特。票据计算。科学。10426279--304（2017；Zbl 1494.68052） 全文： 内政部
大卫·M·卡恩。 概率网络规划的不可解释问题。 （英语） Zbl 1441.68019号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第68条，第17页（2017年）。理学硕士：68甲19 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Kahn}，LIPIcs——莱布尼茨国际程序。通知。83，第68条，第17页（2017；Zbl 1441.68019） 全文： 内政部
Temesghen Kahsai;罗迪·克尔斯滕;菲利普·吕默;马丁·施瓦夫 面向对象程序的量化堆不变量。 （英语） 兹比尔1403.68126 Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，368-384（2017）。理学硕士：60年第68季度 68甲19 68号30 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahsai}等人，EPiC Ser。计算。46、368--384（2017；Zbl 1403.68126） 全文： 内政部
安倍晋三;乌加瓦、托马哈鲁;前田俊彦 内存一致性模型检查中状态爆炸的重排序控制方法。 （英语） Zbl 1403.68120号 Paskevich，Andrei（编辑）等人，《验证软件》。理论、工具和实验。第九届国际会议，2017年7月22日至23日，德国海德堡，VSTTE 2017。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-72307-5/pbk；978-3-3169-72308-2/电子书）。计算机科学课堂讲稿10712，170-190（2017）。理学硕士：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.Abe}等人，Lect。票据计算。科学。10712，170-190（2017；Zbl 1403.68120） 全文： 内政部
T.V.潘琴科。;叶维·伊万诺夫。;法本米，Sunmade;Skidonenko，A.V.公司。;叶·奥·特罗夫曼科。 IPCL中扩展的动态状态和实例生成模型。 （乌克兰语。英文摘要） Zbl 1413.68017号 视力。，序列号。菲兹-Mat.Nauky，基辅。进出口大学。塔拉萨·舍甫琴卡 2017年第4期，127-130（2017）.理学硕士：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}等人，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2017，第4期，127--130（2017；Zbl 1413.68017）
法本米·桑马德 IPCL中的一些原子操作符语义。 （乌克兰语。英文摘要） Zbl 1413.68019号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2017年第4期，59-62（2017）.理学硕士：68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛F.Sunmade｝，可见。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2017，第4号，第59-62号（2017；Zbl 1413.68019）
西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 证明悲观STM的不透明度。 （英语） Zbl 1432.68070号 Fatourou，Panagiota（编辑）等人，第20届分布式系统原理国际会议（OPODIS 2016），西班牙马德里，2016年12月13日至16日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70，第35条，第17页。(2017).理学硕士：68号30 68甲19 65年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人，LIPIcs——莱布尼茨国际程序。通知。70，第35条，第17页（2017年；兹bl 1432.68070） 全文： 内政部
米洛舍·萨维奇;米尔贾纳·伊万诺维奇;米洛舍·拉多瓦诺维奇 面向对象软件系统中的高结构类耦合分析。 （英语） Zbl 1382.68052号 计算机 99，第11期，1055-1079（2017）.理学硕士：68甲19 05C82号 PDF格式BibTeX公司 XML格式引用 \textit{M.Savić}等人，Computing 99，No.11，1055--1079（2017；Zbl 1382.68052） 全文： 内政部
沃纳·本格;沃尔夫冈·多布勒 海量几何代数：几何代数在C++实现中扩展到大数据时代的愿景。 （英语） Zbl 1425.68424号 高级申请。克利夫德·阿尔盖布（Clifford Algebr）。 27，第3期，2153-2174（2017）.理学硕士：68单位05 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{W.Benger}和\textit{W.Dobler}，高级应用程序。克利夫德·阿尔盖布（Clifford Algebr）。27，第3号，2153--2174（2017；Zbl 1425.68424） 全文： 内政部
静、伟鹏;唐丹玉;王延刚;王靖远;刘亚秋;赵鹏 MaMR：用于材料云应用程序的高性能MapReduce编程模型。 （英语） Zbl 1376.68022号 计算。物理学。Commun公司。 211, 79-87 (2017).理学硕士：68米14 68英里11 68甲19 74-04 82-04 PDF格式BibTeX公司 XML格式引用 \textit{W.Jing}等人，计算。物理学。Commun公司。211、79-87（2017；Zbl 1376.68022） 全文： 内政部
Nguyín，Phüc c。;萨姆·托宾·霍施塔特;戴维·范霍恩 用于合同验证和反驳的高阶符号执行。 （英语） Zbl 1418.68061号 J.功能。程序。 27，论文编号e3，56 p.（2017）.理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Nguyín}等人，J.Funct。程序。27，论文编号e3，56 p.（2017；Zbl 1418.68061） 全文： 内政部 arXiv公司
濑山太郎;Atsushi Igarashi 有状态的舱单合同。 （英语） Zbl 1380.68105号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。530-544 (2017).理学硕士：68甲19 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛T.Sekiyama｝和\textit｛A.Igarashi｝，载于：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。530--544（2017；Zbl 1380.68105） 全文： 内政部
Shan、Chung-chieh;诺曼·拉姆齐 符号分解的精确贝叶斯推理。 （英语） Zbl 1380.68106号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。130-144 (2017).理学硕士：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Shan}和\textit{N.Ramsey}，摘自：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。130-144（2017；Zbl 1380.68106） 全文： 内政部
阿尔加莱、杰德;帕特里克·库索特 Ogre和Pythia：弱一致性模型的不变性证明方法。 （英语） Zbl 1380.68101号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。3-18 (2017).理学硕士：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Algale}和\textit{P.Cousot}，摘自：第44届ACM SIGPLAN编程语言原理研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。3-18（2017年；Zbl 1380.68101） 全文： 内政部 链接
沃尔夫冈·阿伦特;杰苏斯·莫里西奥·奇曼托;戈登·佩斯。;杰拉尔多·施奈德 结合静态和运行时验证验证面向数据和控制的属性：理论和工具。 （英语） Zbl 1370.68195号 形式方法系统。设计。 51，编号1200-265（2017）.理学硕士：60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}等人，《形式方法系统》。设计。51，No.1，200--265（2017；Zbl 1370.68195） 全文： 内政部 OA许可证
艾尔维拉·阿尔伯特;安东尼奥·弗洛雷斯·蒙托亚;萨米尔·根奈姆;恩里克·马丁·马汀 具有并发交织的环路的可靠保证端接和成本分析。 （英语） Zbl 1409.68071号 J.汽车。推理 59，第1号，47-85（2017）.理学硕士：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，J.Autom。推理59，No.1，47--85（2017；Zbl 1409.68071） 全文： 内政部
彼得·库兹涅佐夫;萨提亚·佩里 事务内存中的无干扰和本地正确性。 （英语） Zbl 1371.68052号 西奥。计算。科学。 688, 103-116 (2017).理学硕士：68号30 68米14 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Kuznetsov}和\textit{S.Peri}，Theor。计算。科学。688103-116（2017；Zbl 1371.68052） 全文： 内政部
马可·科米尼;玛丽亚·德尔·马尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 程序分析框架三氯乙酸基于抽象解释。 （英语） Zbl 1362.68045号 正式Asp。计算。 29，第3期，531-557（2017）.理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人，《形式语法》。计算。29，第3号，531--557（2017；Zbl 1362.68045） 全文： 内政部
约瑟夫·塔萨罗蒂;拉尔夫·荣格;罗伯特·哈珀 一种用于并发终止保护优化的高阶逻辑。 （英语） Zbl 1485.68076号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 909-936 (2017).理学硕士：68号30 03B70号 68甲15 68甲19 68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Tassarotti}等人，Lect。票据计算。科学。10201、909--936（2017；Zbl 1485.68076） 全文： 内政部 arXiv公司
萨姆·斯塔顿 概率规划的交换语义。 （英语） Zbl 1485.68033号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日，作为欧洲软件理论和实践联席会议的一部分，在瑞典乌普萨拉举行的第26届欧洲编程研讨会，ESOP 2017。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 855-879 (2017).理学硕士：68甲15 68甲19 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Staton}，莱克特。票据计算。科学。10201、855--879（2017；Zbl 1485.68033） 全文： 内政部 链接
马可·多科;维克托·瓦菲亚迪斯 使用FSL++处理真实的放松并发。 （英语） Zbl 1485.68061号 Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 448-475 (2017).理学硕士：68号30 03B70号 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Doko}和\textit{V.Vafeiadis}，莱克特。票据计算。科学。10201、448--475（2017；Zbl 1485.68061） 全文： 内政部
乌戈·达尔拉戈;查尔斯·格雷洛伊斯 通过一元仿射大小的键入进行概率终止。 （英语） Zbl 1485.68045号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 393-419 (2017).理学硕士：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{C.Grellois}，莱克特。票据计算。科学。10201、393--419（2017；Zbl 1485.68045） 全文： 内政部 arXiv公司 哈尔
瑞安·库佩普;安德鲁·科布 具有连续随机变量和评分的概率程序的上下文等价性。 （英语） Zbl 1485.68029号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 368-392 (2017).理学硕士：68甲15 68甲19 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Culpiper}和\textit{A.Cobb}，莱克特。票据计算。科学。10201、368--392（2017；Zbl 1485.68029） 全文： 内政部
路易斯·凯雷斯;佩雷斯（Jorge A.Pérez）。 线性、控制效果和行为类型。 （英语） Zbl 1485.68055号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 229-259 (2017).理学硕士：68号30 03楼52 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{J.A.Pérez}，莱克特。票据计算。科学。10201、229--259（2017；Zbl 1485.68055） 全文： 内政部 链接
弗拉维恩·布鲁瓦特;乌戈·达尔拉戈;阿加提·埃尔鲁 关于高阶概率次递归。 （英语） Zbl 1486.68038号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日，在瑞典乌普萨拉举行的2017年欧洲软件理论与实践联合会议ETAPS第20届国际会议FOSSACS。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10203, 370-386 (2017).理学硕士：68号30 03B40型 68甲19 第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Breuvart}等人，Lect。票据计算。科学。10203、370--386（2017；Zbl 1486.68038） 全文： 内政部 哈尔
鲁米亚纳内科娃;吉田、Nobuko 多方会话参与者。 （英语） Zbl 1398.68097号 日志。计算方法。科学。 13，第1号，第17号论文，第30页（2017）.理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Neykova}和\textit{N.吉田}，日志。计算方法。科学。13，第1号，第17号论文，30页（2017；Zbl 1398.68097） 全文： 内政部 arXiv公司
伯恩哈德·莫勒;你好，托尼;马丁·米勒。;乔治·斯特鲁斯 并发程序执行的离散几何模型。 （英语） Zbl 1483.68086号 Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10134, 1-25 (2017).理学硕士：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}等人，Lect。票据计算。科学。10134，1-25（2017；Zbl 1483.68086） 全文： 内政部 链接
拉斐尔·莫纳特;安托万·米内 使用关系干扰抽象对并发程序进行精确的线程模块化抽象解释。 （英语） Zbl 1484.68050号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10145, 386-404 (2017).理学硕士：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Monat}和\textit{A.Miné}，莱克特。票据计算。科学。10145386-404（2017年；兹比尔1484.68050） 全文： 内政部 哈尔
亨宁·Günther;阿尔芬斯·拉阿尔曼;安娜·索科洛娃;乔治·威森巴赫 用于模型检查并发软件的动态约简。 （英语） Zbl 1484.68102号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10145, 246-265 (2017).理学硕士：60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Günther}等人，Lect。票据计算。科学。10145246--265（2017；Zbl 1484.68102） 全文： 内政部 arXiv公司
马里奥·布拉维蒂;埃琳娜·贾奇诺;迈克尔·连哈特;Peter Y.H.Wong。 并发对象组的动态重新绑定：理论与实践。 （英语） Zbl 1353.68044号 J.日志。阿尔盖布。方法计划。 86，第1号，349-390（2017）.理学硕士：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人，J.Log。阿尔盖布。方法计划。86，编号1349-390（2017年；兹bl 1353.68044） 全文： 内政部
多雷尔·卢卡努;erbénuţ\355 ;Ņé，Traian-Florin;格里高·罗什乌 走向未来。 （英语） Zbl 1475.68071号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。9660, 325-343 (2016).理学硕士：68甲19 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人，Lect。票据计算。科学。9660325--343（2016；Zbl 1475.68071） 全文： 内政部
比约恩·恩格尔曼;奥尔德罗格（Ernst-Rüdiger Olderog） 适用于动态类型、面向对象程序的完善的Hoare逻辑。 （英语） Zbl 1475.68085号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。9660, 173-193 (2016).理学硕士：68号30 03B70号 68甲19 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Engelmann}和\textit{E.-R.Olderog}，莱克特。票据计算。科学。9660，173--193（2016；Zbl 1475.68085） 全文： 内政部 arXiv公司
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田、Nobuko 子类型的含义和操作精确性：路线图。在弗兰克·德波尔60岁生日之际献给他。 （英语） Zbl 1475.68082号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。9660, 155-172 (2016).理学硕士：68号30 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Lect。票据计算。科学。9660、155——172（2016年；兹比尔1475.68082） 全文： 内政部
克拉克、戴夫;托拜厄斯·Wrigstad Vats：一种安全、反应性的存储抽象。 （英语） 兹比尔1475.68078 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。9660, 140-154 (2016).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Clarke}和\textit{T.Wrigstad}，莱克特。票据计算。科学。9660，140--154（2016；Zbl 1475.68078） 全文： 内政部
朱利安·兰格;吉田、Nobuko 会话类型的特征公式。 （英语） Zbl 1420.68070号 Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9636, 833-850 (2016).理学硕士：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Lange}和\textit{N.吉田}，莱克特。票据计算。科学。9636833--850（2016；Zbl 1420.68070） 全文： 内政部 arXiv公司 链接