×

找到4189份文件（结果1-100）

最新的 引文 关联
赫瓦托夫，A.A。;蒂托夫，R.V。

走向微分方程的发现。 （英语。俄文原件） Zbl 07825755号

多克。数学。 108，补遗2，S257-S264（2023）; Dokl翻译。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。514，第2期，第109-117页（2023年）。
MSC公司：65M99型 65J20型 68问题32 68T07型 68甲19 68瓦30 2015年1月62日 62立方厘米10 90C29型 41A60型 35B65毫米
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Hvatov}和\textit{R.V.Titov}，Dokl。数学。108，S257--S264（2023；Zbl 07825755）；Dokl翻译。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。514，编号2，109--117（2023）
全文： DOI程序 arXiv公司
丘克里·苏伊迪;伊利耶斯·法尔科内

声音并发跟踪用于在线监测。 （英语） Zbl 07750356号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 59-80 (2023).
MSC公司：68问题85 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Soueidi}和\textit{Y.Falcone}，莱克特。注释计算。科学。13872，59-80（2023；Zbl 07750356）
全文： DOI程序 arXiv公司 哈尔
罗伯特·J·科尔文。

弱内存模型下数组和指针的细粒度语义。 （英语） Zbl 1529.68177号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 301-320 (2023).
MSC公司：68问题85 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。注释计算。科学。14000，301-320（2023；Zbl 1529.68177）
全文： DOI程序
海克·卫尔海姆;劳拉·巴格曼;布里杰什·多戈尔

具有事件结构的弱记忆模型中关于承诺的推理。 （英语） Zbl 1529.68181号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 282-300 (2023).
MSC公司：68问题85 03B70号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛H.Wehrheim｝等人，Lect。注释计算。科学。14000、282--300（2023年；Zbl 1529.68181）
全文： DOI程序 arXiv公司 链接
尼古拉·贝蒂埃;Khakpour、Narges

符号抽象堆用于多态信息流保护推断。 （英语） Zbl 1529.68079号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 66-90 (2023).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Berthier}和\textit{N.Khakpour}，莱克特。注释计算。科学。13881、66-90（2023年；Zbl 1529.68079）
全文： DOI程序 arXiv公司
克莱门·奥伯特;托马斯·鲁比亚诺;内亚·鲁施;托马斯·塞勒

分配和并行化非规范循环。 （英语） Zbl 1529.68078号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 1-24 (2023).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，Lect。注释计算。科学。13881，1--24（2023；Zbl 1529.68078）
全文： DOI程序 哈尔
柯斯汀·彼得斯;吉田、Nobuko

关于混合选择会话的表达能力。 （英语） Zbl 07800872号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368113-130（2022年）。
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}和\textit{N.吉田}，电子。程序。西奥。计算。科学。（EPTCS）368113--130（2022；Zbl 07800872）
全文： arXiv公司 链接
爱德华·A·李。;马滕·洛斯特罗

概括逻辑执行时间。 （英语） Zbl 1528.68072号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 160-181 (2022).
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Lee}和\textit{M.Lohstroh}，莱克特。注释计算。科学。13660160-181（2022年；Zbl 1528.68072）
全文： DOI程序
王超;古斯塔沃·佩特里;吕毅;朗，腾;刘志明

TSO内存模型上并发对象的活动性的决定。 （英语） Zbl 1528.68073号

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 149-165 (2022).
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Wang}等人，Lect。注释计算。科学。13649，149--165（2022；Zbl 1528.68073）
全文： DOI程序 arXiv公司
宋世宗曼;佩特拉·范登博斯

编舞的谓词变换器。计算舞蹈编程中的先决条件。 （英语） Zbl 1528.68080号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 520-547 (2022).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.-S.Jongmans}和\textit{P.van den Bos}，莱克特。注释计算。科学。13240520-547（2022年；Zbl 1528.68080）
全文： DOI程序
OA许可证
乌尔里希·伯杰;Hideki Tsuiki

从证明中提取总Amb程序。 （英语） 兹比尔1528.68077

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240，85-113（2022）。
MSC公司：68号30 03B70号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{U.Berger}和\textit{H.Tsuiki}，莱克特。注释计算。科学。13240，85-113（2022；Zbl 1528.68077）
全文： DOI程序 arXiv公司
OA许可证
凯文·巴茨;伊拉·费塞费尔特;马文·詹森;Joost-Pieter卡托恩;弗洛里安·科勒;克里斯托夫·马提亚;诺尔，托马斯

定量分离逻辑中蕴含检查的基础。 （英语） Zbl 1528.68208号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 57-84 (2022).
MSC公司：60年第68季度 03B70号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.Batz}等人，Lect。注释计算。科学。13240，57-84（2022；Zbl 1528.68208）
全文： DOI程序 arXiv公司
OA许可证
卡亚姆·萨利希;阿里·A·诺鲁齐。;阿米尔·穆罕默德·塞佩尔;穆罕默德·穆罕默德·莫哈盖吉

并发程序的自动定量信息流分析。 （英语） Zbl 1522.68135号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 43-63 (2022).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.Salehi}等人，Lect。注释计算。科学。13479，43-63（2022年；兹比尔1522.68135）
全文： DOI程序
艾哈迈德·卡里米;马塞尔·穆斯布鲁克;米罗斯拉夫斯坦科维奇;劳拉·科瓦奇;埃齐奥·巴托西;埃夫斯塔提亚·布拉

概率环的分布估计。 （英语） Zbl 1522.68132号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 26-42 (2022).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Karimi}等人，Lect。注释计算。科学。13479，26-42（2022；Zbl 1522.68132）
全文： DOI程序 arXiv公司
安德烈·科夫诺夫;马塞尔·穆斯布鲁克;米罗斯拉夫斯坦科维奇;埃齐奥·巴托西;埃夫斯塔提亚·布拉

具有非多项式赋值的概率循环的基于矩的不变量。 （英语） 兹比尔1522.68133

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 3-25 (2022).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Kofnov}等人，Lect。注释计算。科学。13479，3-25（2022年；兹比尔1522.68133）
全文： DOI程序 arXiv公司
纳塔利娅Garanina;谢尔盖·斯塔罗列托夫;谢尔盖·戈拉奇

模型检查满足高性能程序的自动调整。 （英语） Zbl 1522.68317号

Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13474, 63-82 (2022).
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Garanina}等人，Lect。注释计算。科学。13474，63-82（2022；Zbl 1522.68317）
全文： DOI程序
塞巴斯蒂安·荣格斯;马蒂杰斯·斯帕。

层次概率模型的抽象精化。 （英语） Zbl 1514.68029号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 102-123 (2022).
MSC公司：68甲19 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}和\textit{M.T.J.Spaan}，莱克特。注释计算。科学。13371002-123（2022年；兹比尔1514.68029）
全文： DOI程序 arXiv公司
OA许可证
陈明帅;Joost-Pieter卡托恩;卢茨克林肯贝格;托拜厄斯·温克勒

程序是否产生正确的分布？通过生成函数验证概率程序。 （英语） Zbl 1514.68028号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 79-101 (2022).
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Chen}等人，Lect。注释计算。科学。13371，79-101（2022；Zbl 1514.68028）
全文： DOI程序 arXiv公司
OA许可证
克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;托拜厄斯·梅根多夫;Đikelić或

可靠完整的概率程序定量终止分析证书。 （英语） Zbl 1514.68027号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 55-78 (2022).
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。13371，55-78（2022；兹比尔1514.68027）
全文： DOI程序
OA许可证
鲍嘉璐;奈特什·特里维迪;德拉什蒂·巴沙克;贾斯汀·徐;罗伊，苏巴吉特

概率程序的数据驱动不变学习。 （英语） Zbl 1514.68026号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 33-54 (2022).
MSC公司：68甲19 60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Bao}等人，Lect。注释计算。科学。13371、33-54（2022年；Zbl 1514.68026）
全文： DOI程序 arXiv公司
OA许可证
Germán维达尔

在带有选择性接收的消息传递并发编程中计算竞争变量。 （英语） Zbl 1499.68070号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 188-207 (2022).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.维达尔}，莱克特。注释计算。科学。13273188-207（2022年；Zbl 1499.68070）
全文： DOI程序 arXiv公司
劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁，Shoji

可逆时间过程语言。 （英语） Zbl 1499.68220号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。2022年6月13日至17日，第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，DisCoTec 2022，意大利卢卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 31-49 (2022).
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{L.Bocchi}等人，Lect。注释计算。科学。13273，31-49（2022；Zbl 1499.68220）
全文： DOI程序 哈尔
Unnikrishnan，C.S。

引力宇宙中的新相对论。宇宙相对论及其实验证据。 （英语） Zbl 1519.83028号

物理基础理论209.查姆：施普林格（ISBN 978-3-031-08934-3/hbk；978-3-0031-08937-4/pbk；978-1-031-08935-0/电子书）。xxi，485页。(2022).
MSC公司：83立方40 83个F05 83立方厘米 68甲19 00A79号 83-01
PDF格式BibTeX公司 XML格式引用
\textit{C.S.Unnikrishnan}，引力宇宙中的新相对论。宇宙相对论及其实验证据。查姆：施普林格（2022；Zbl 1519.83028）
全文： DOI程序
多米尼克·拉切·温德林（Dominique Larchey-Wendling）;Jean-François莫宁

Braga方法：从Coq中的复杂递归方案中提取认证算法。 （英语） Zbl 1528.68392号

Mainzer，Klaus（编辑）等人，《证明与计算II》。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日国际秋季学校“证明与计算”。新泽西州哈肯萨克：《世界科学》。305-386 (2022).
MSC公司：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）
全文： DOI程序 哈尔
亚历山大·霍彭;诺尔，托马斯

概率程序的调试器。 （英语） 兹比尔1522.68131

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 282-289 (2021).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Hoppen}和\textit{T.Noll}，莱克特。注释计算。科学。13085，282--289（2021；Zbl 1522.68131）
全文： DOI程序
Bidlingmaier，Martin E。;弗洛里安·费索尔;溅出物，Bas

概率规划同伦类型理论中的合成拓扑。 （英语） 兹比尔1517.68072

数学。结构。计算。科学。 31，第10号，1301-1329（2021）.
MSC公司：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）
全文： DOI程序 arXiv公司
黄子欣;塞卡特·杜塔;米赛洛维奇，萨萨

AQUA：概率程序的自动量化推理。 （英语） Zbl 1497.68099号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 229-246 (2021).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{Z.Huang}等人，Lect。注释计算。科学。12971、229--246（2021；Zbl 1497.68099）
全文： DOI程序
Divyanjali Sharma;沙尔马，苏博德

发布获取并发的线程模块分析。 （英语） Zbl 1497.68123号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 384-404 (2021).
MSC公司：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）
全文： DOI程序 arXiv公司
迈克尔·施瓦兹;西蒙·萨恩;赫尔穆特·塞德尔;卡默·阿皮尼;朱利安·埃哈德;维萨尔·沃达尼

改进线程模块抽象解释。 （英语） Zbl 1497.68122号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 359-383 (2021).
MSC公司：68号30 68甲19 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Schwarz}等人，Lect。注释计算。科学。12913，359--383（2021；Zbl 1497.68122）
全文： DOI程序 arXiv公司
Dokter，Kasper公司;法哈德·阿尔巴

协议调度。 （英语） Zbl 1496.68097号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 3-17 (2021).
MSC公司：68甲19 68平方米 65年第68季度 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Dokter}和\textit{F.Arbab}，莱克特。注释计算。科学。12818，3-17（2021；Zbl 1496.68097）
全文： DOI程序 链接
斯扎·阿斯（Szałas）、安德烈吉（Andrzej）

多值动态面向对象继承和近似。 （英语） Zbl 1495.68232号

Ramanna，Sheela（编辑）等人，《粗糙集》。2021年9月19日至24日，斯洛伐克布拉迪斯拉发，IJCRS 2021国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12872, 103-119 (2021).
MSC公司：68层37 68甲19 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Szałas}，莱克特。注释计算。科学。12872、103-119（2021；Zbl 1495.68232）
全文： DOI程序
吉田、Nobuko;周方毅;弗朗西斯科·费雷拉

通信有限状态机和多方会话类型的可扩展工具链。 （英语） Zbl 1487.68168号

Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12867, 18-35 (2021).
MSC公司：68问题85 68甲19 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Yoshida}等人，Lect。注释计算。科学。12867，18-35（2021；Zbl 1487.68168）
全文： DOI程序
Edsger Dijkstra

并发程序控制问题的解决（1965年）。 （英语） Zbl 1529.68022号

Lewis，Harry R.（编辑），《创造未来的想法》。计算机科学的经典论文。马萨诸塞州剑桥：麻省理工学院出版社。267-270 (2021).
MSC公司：68-03 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{E.Dijkstra}，in：创造未来的想法。计算机科学的经典论文。马萨诸塞州剑桥：麻省理工学院出版社。267--270（2021年；Zbl 1529.68022）
托拜厄斯·莱因哈德;雅各布斯，巴特

Ghost信号：验证忙等待的终止。 （英语） Zbl 1493.68097号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760，27-50（2021）。
MSC公司：68甲19 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Reinhard}和\textit{B.Jacobs}，莱克特。注释计算。科学。12760，27-50（2021；Zbl 1493.68097）
全文： DOI程序 arXiv公司
OA许可证
亚历山德罗·阿巴特;米尔科，贾科贝;罗伊，迪帕尔科

学习概率终止证明。 （英语） 兹比尔1493.68095

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 3-26 (2021).
MSC公司：68甲19 60年第68季度 87年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，Lect。注释计算。科学。12760，3--26（2021；Zbl 1493.68095）
全文： DOI程序
OA许可证
马尔科·艾尔斯;Severin Meier;彼得·米勒

野生产品程序：改造程序验证器以检查信息流安全性。 （英语） Zbl 1493.68106号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 718-741 (2021).
MSC公司：68号30 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Eilers}等人，Lect。注释计算。科学。12759718--741（2021年；Zbl 1493.68106）
全文： DOI程序
OA许可证
安德鲁·约翰逊;托马斯·瓦尔

无延迟的延迟调度！ （英语） Zbl 1493.68113号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 380-402 (2021).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Johnson}和\textit{T.Wahl}，莱克特。注释计算。科学。12759、380——402（2021年；Zbl 1493.68113）
全文： DOI程序 arXiv公司
OA许可证
丹尼尔·迪特施;马蒂亚斯·海兹曼;多米尼克·克伦普;迈赫迪·瑙阿尔;安德烈亚斯·波德尔斯基;克劳斯·施瓦兹勒

使用Petri网展开验证并发程序。 （英语） 兹比尔1472.68087

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 174-195 (2021).
MSC公司：60年第68季度 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Dietsch}等人，Lect。注释计算。科学。12597174-195（2021年；Zbl 1472.68087）
全文： DOI程序
克里斯蒂娜·彼得森;维克多·库克;戴米安·德切夫

向量空间中的并发正确性。 （英语） Zbl 1472.68092号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 151-173 (2021).
MSC公司：60年第68季度 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Peterson}等人，Lect。注释计算。科学。12597，151--173（2021；Zbl 1472.68092）
全文： DOI程序
雨果·帕奎特

贝叶斯策略：作为广义图形模型的概率程序。 （英语） Zbl 1473.68054号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 519-547 (2021).
MSC公司：68号30 62H22个 68甲15 68甲19 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{H.Paquet}，莱克特。注释计算。科学。12648119-547（2021年；兹比尔1473.68054）
全文： DOI程序
OA许可证
马塞尔·穆斯布鲁克;埃齐奥·巴托西;Joost-Pieter卡托恩;劳拉·科瓦奇

多项式概率程序的自动终止分析。 （英语） Zbl 1473.68053号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 491-518 (2021).
MSC公司：68号30 68甲19 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Moosbrugger}等人，Lect。注释计算。科学。12648491--518（2021年；Zbl 1473.68053）
全文： DOI程序 arXiv公司
OA许可证
马克·卡罗尔;C.·H·卢克·翁;雨果·帕奎特;多米尼克·瓦格纳

几乎可以肯定的是，终止概率程序的密度几乎处处都是可微的。 （英语） Zbl 1473.68048号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 432-461 (2021).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{C.Mak}等人，Lect。注释计算。科学。12648、432--461（2021；Zbl 1473.68048）
全文： DOI程序 arXiv公司
OA许可证
丹尼尔·隆德;约翰·博格斯特罗姆;大卫·布罗曼

概率编程语言的序贯蒙特卡罗推理的正确性。 （英语） Zbl 1473.68038号

Yoshida，Nobuko（编辑），《编程语言与系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 404-431 (2021).
MSC公司：68甲15 68甲18 68甲19 68问题55 87年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Lundén}等人，Lect。注释计算。科学。12648、404--431（2021；Zbl 1473.68038）
全文： DOI程序 arXiv公司
OA许可证
彼得·库兹涅佐夫;蒂博特·里尤德;萨拉·图西·皮尔乔瓦尼

可重构格协议及其应用。 （英语） 兹比尔1504.68017

Felber，Pascal（编辑）等人，第23届分布式系统原理国际会议，OPODIS 2019，瑞士诺伊查泰尔，2019年12月17日至19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。153，第31条，第17页（2020年）。
MSC公司：64岁以下 68甲19 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{P.Kuznetsov}等人，LIPIcs——莱布尼茨国际程序。通知。153，第31条，第17页（2020年；Zbl 1504.68017）
全文： DOI程序 arXiv公司
埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆

定义和验证持久不透明度：持久软件事务内存的正确性。 （英语） Zbl 1511.68072号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 39-58 (2020).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{E.Bila}等人，Lect。注释计算。科学。12136，39-58（2020；Zbl 1511.68072）
全文： DOI程序 arXiv公司
马尔科·帕维奥蒂;西蒙·库克西;阿努克·帕拉迪斯;丹尼尔·赖特;斯科特·欧文斯;马克·巴蒂

弱内存并发中的模块化松散依赖。 （英语） Zbl 1508.68045号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075599-625（2020年）。
MSC公司：68甲19 68甲15 68N20型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Paviotti}等人，Lect。注释计算。科学。12075、599--625（2020年；Zbl 1508.68045）
全文： DOI程序
OA许可证
雅各布·劳雷尔;萨萨·米塞洛维奇

带修正的概率程序的连续化。 （英语） Zbl 1508.68044号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 366-393 (2020).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{J.Laurel}和\textit{S.Misailovic}，莱克特。注释计算。科学。12075、366--393（2020年；Zbl 1508.68044）
全文： DOI程序
OA许可证
马克西米利亚诺·克莱门;佩德罗·洛佩兹·加西亚;约翰·加拉赫（John P.Gallagher）。;JoséF·莫拉莱斯。;曼努埃尔五世（Manuel V.Hermenegildo）。

并行逻辑程序静态成本分析的一般框架。 （英语） Zbl 1502.68068号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。第29届国际研讨会，LOPSTR 2019，葡萄牙波尔图，2019年10月8日至10日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 19-35 (2020).
MSC公司：68N17号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Klemen}等人，Lect。注释计算。科学。12042，19-35（2020；Zbl 1502.68068）
全文： DOI程序 arXiv公司 链接
安德烈·特林达德;乔安·莫塔;安托尼奥·拉瓦拉

自动和返回的类型状态：一个工具。 （英语） Zbl 1477.68073号

Lange，Julien（编辑）等人，《第13届交互和并发体验研讨会论文集》，ICE’20，在线，2020年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）324，25-42（2020年）。
MSC公司：68甲18 68-04 68甲19 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Trindade}等人，《电子》。程序。西奥。计算。科学。（EPTCS）324，25-42（2020；Zbl 1477.68073）
全文： arXiv公司 链接
朱利安·麦凯;亚历克斯·波坦;乔纳森·奥尔德里奇;林赛·格罗夫斯

语法上限制可判定子类型的有界多态性。 （英语） Zbl 1476.68041号

Oliveira，Bruno C.d.S.（编辑），《编程语言与系统》。2020年11月30日至12月2日，日本福冈，APLAS 2020第18届亚洲研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12470, 125-144 (2020).
MSC公司：68甲15 68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{J.Mackay}等人，Lect。注释计算。科学。12470125-144（2020年；Zbl 1476.68041）
全文： DOI程序
戴维·杰宁

异步并发编程的一种等式建模。 （英语） Zbl 1475.68062号

Byrski，Aleksander（编辑）等人，《函数编程趋势》。第21届国际研讨会，2020年TFP，波兰克拉科夫，2020年2月13-14日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12222, 180-203 (2020).
MSC公司：68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{D.Janin}，莱克特。注释计算。科学。12222、180--203（2020；Zbl 1475.68062）
全文： DOI程序 哈尔
阿隆·德尔奥卡;乔瓦尼·M·波尔塔。

通过Karhunen-Loève展开描述随机介质中的流动：信息论的视角。 （英语） Zbl 1462.94018号

宝石。国际地理数学杂志。 11，第1号，第18号论文，第18页（2020年）.
MSC公司：94甲17 94A05型 65立方米 68甲19 76立方米
PDF格式BibTeX公司 XML格式引用
\textit{A.Dell'Oca}和\textit{G.M.Porta}，创业板。国际地理数学杂志。11，第18号论文，18页（2020年；Zbl 1462.94018）
全文： DOI程序
丹尼尔·施梅尔;朱利安·比宁;塞萨尔·罗德里格斯;戴维·拉普雷尔;克劳斯·韦尔

用于测试多线程程序的符号部分顺序执行。 （英语） Zbl 1478.68046号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 376-400 (2020).
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Schemmel}等人，Lect。注释计算。科学。12224，376--400（2020；Zbl 1478.68046）
全文： DOI程序 arXiv公司
OA许可证
伯克·圣伊里西奇;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥伦·穆特鲁吉尔

导致线性化能力违规的根源。 （英语） Zbl 1478.68043号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 350-375 (2020).
MSC公司：68甲19 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Co虹膜}等人，Lect。注释计算。科学。12224，350-375（2020；Zbl 1478.68043）
全文： DOI程序
OA许可证
伯恩哈德克拉格尔;沙兹·卡迪尔;托马斯·亨辛格（Thomas A.Henzinger）。

结构化并发程序的优化。 （英语） Zbl 1478.68044号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 275-298 (2020).
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Kragl｝等人，Lect。注释计算。科学。12224，275--298（2020年；Zbl 1478.68044）
全文： DOI程序
OA许可证
卡提克·纳加尔;普拉西塔·穆克吉;苏雷什·贾甘纳森

复制系统中并发库的语义、规范和有界验证。 （英语） Zbl 1478.68045号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 251-274 (2020).
MSC公司：68甲19 64岁以下 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Nagar}等人，Lect。注释计算。科学。12224，251--274（2020；Zbl 1478.68045）
全文： DOI程序 arXiv公司
OA许可证
傅鹏;Kohei的Kishida;彼得·塞林格

量子编程语言的线性相关类型理论：扩展抽象。 （英语） Zbl 1502.68076号

2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2020，虚拟活动，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。440-453 (2020).
MSC公司：68甲19 03B38型 2005年5月18日 68甲15 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{P.Fu}等人，《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。440-453（2020年；Zbl 1502.68076）
全文： DOI程序 arXiv公司
多罗申科，A.Y。;O.A.Yatsenko。

并行软件设计自动化的形式化方法。 （英语） Zbl 1463.68016号

多波夫。国家。阿卡德。诺克乌克兰。，材料价格。泰克。恶心 2020年，第6期，15-20（2020）.
MSC公司：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；兹bl 1463.68016）
全文： DOI程序
OA许可证
格拉迪斯·乌特雷拉;玛丽莎·吉尔;泽维尔·马托雷尔

一种方法学方法，用于比较共享内存体系结构的并行编程模型的性能。 （英语） 兹比尔1468.68035

谢尔盖耶夫、雅罗斯拉夫D.（编辑）等人，《数值计算：理论和算法》。第三届国际会议，2019年6月15日至21日，意大利克罗托内，NUMTA 2019。修订了选定的论文。第一部分查姆：施普林格。莱克特。注释计算。科学。11973, 318-325 (2020).
MSC公司：68平方米 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{G.Utrera}等人，Lect。注释计算。科学。11973318-325（2020年；兹比尔1468.68035）
全文： DOI程序 链接
霍尔姆，Håvard H。;Sétra，Martin L。;安德烈·R·布罗德科布。

使用大规模集合和GPU对海洋漂移轨迹进行数据同化。 （英语） Zbl 1454.65089号

Klöfkorn，Robert（编辑）等人，复杂应用的有限体积IX–方法，理论方面，示例。FVCA 9，挪威卑尔根，2020年6月15日至19日。共2卷。第一卷和第二卷。查姆：斯普林格。Springer程序。数学。《美国联邦法律大全》第323卷第715-723页（2020年）。
审核人：阿卜杜拉·布拉吉（安纳巴）
MSC公司：6500万08 65号08 62M99型 60G35型 35升65 76B15号机组 68甲19 65日元10 2005年5月 86A05型
PDF格式BibTeX公司 XML格式引用
\textit{H.H.Holm}等人，Springer Proc。数学。Stat.323，715--723（2020；Zbl 1454.65089）
全文： DOI程序 链接
卡洛斯·塔瓦雷斯

QASM程序的动态逻辑。 （英语） Zbl 1496.03136号

Soares Barbosa，Luís（编辑）等人，《动态逻辑》。新趋势和应用。2019年10月7日至11日，第二届国际研讨会，DALI 2019，葡萄牙波尔图。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12005, 209-217 (2020).
MSC公司：03B70号 03G12号机组 68甲19 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Tavares}，莱克特。注释计算。科学。12005209-217（2020年；兹比尔1496.03136）
全文： DOI程序 链接
让·古鲍特·拉雷克

以8/27的概率欺骗平行或测试人员。 （英语） Zbl 07817556号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 313-328 (2019).
MSC公司：68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\文本｛J.Goubault Larrecq｝，勒克特。注释计算。科学。11760、313--328（2019；Zbl 07817556）
全文： DOI程序 arXiv公司
菲利波·邦奇;劳拉·布西;法比奥·加杜奇;弗朗西斯科·桑蒂尼

多元软约束。 （英语） Zbl 07817551号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 241-257 (2019).
MSC公司：68号30 03G15年 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。11760、241--257（2019；Zbl 07817551）
全文： DOI程序
毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;伊万·拉内斯;雅各布·毛罗

猜猜谁会来：编舞中的参与者在运行时加入。 （英语） Zbl 07817544号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 118-138 (2019).
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Gabbrielli}等人，Lect。注释计算。科学。11760、118--138（2019；Zbl 07817544）
全文： DOI程序 哈尔
科西莫·拉内夫;卢卡·帕多瓦尼

等待通知协调的死锁分析。 （英语） Zbl 07817540号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760，50-67（2019）。
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Laneve}和\textit{L.Padovani}，莱克特。注释计算。科学。11760，50-67（2019；Zbl 07817540）
全文： DOI程序 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件