×

找到638个文档（结果1-100）

最新的 引文 关联
巴布亚州诺瓦克；帕特里克·格雷利维奇；杰切克·切斯科特

二阶过程降阶自抗扰控制器整定的新方法。 （英语） Zbl 07828892号

Bartoszewicz，Andrzej（编辑）等人，《高级当代控制》。2020年10月14日至29日，波兰科托德第20届波兰控制会议（PCC 2020），KKA 2020会议记录。查姆：斯普林格。高级智能。系统。计算。1196, 1359-1370 (2020).
MSC公司：93至XX
PDF格式BibTeX公司 XML格式引用
\textit{P.Nowak}等人，高级情报。系统。计算。11961359--1370（2020；Zbl 07828892）
全文： 内政部
伊丽莎白·德·玛丽亚；辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨

建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） Zbl 1530.68086号

自然计算。 19，第1期，135-155（2020年）.
MSC公司：2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92秒20 92C20美元
PDF格式BibTeX公司 XML格式引用
\textit｛E.De Maria｝等人，《自然计算》。19，第1号，135--155（2020；Zbl 1530.68086）
全文： 内政部 arXiv公司 哈尔
佩德罗·蒙塔雷格里；拉米雷斯·罗梅罗，迭戈；伊万·拉帕波特

分布式交互证明中的共享与私有随机性。 （英语） Zbl 07765409号

曹一新（编辑）等，第31届算法与计算国际研讨会，国际会计准则委员会2020年，中国香港，虚拟会议，2020年12月14日至18日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。181，第51条，第13页（2020年）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Montealegre}等人，LIPIcs--Leibniz Int.Proc。通知。181，第51条，第13页（2020；Zbl 07765409）
全文： 内政部 arXiv公司
阿不因，亚历克斯；亚历山大·博洛托夫；蒙特塞拉特赫莫；帕基·卢西奥

用于CTL和ECTL的单程基于上下文的表格辅助系统。 （英语） Zbl 1530.03068号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第14条，第20页（2020年）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Abuin}等人，LIPIcs——莱布尼茨国际程序。通知。178，第14条，第20页（2020年；Zbl 1530.03068）
全文： 内政部
卡塔琳·安德烈·伊利；詹姆斯·本·沃雷尔

参数模型检查连续时间马尔可夫链。 （英语） Zbl 07760477号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第7条，第18页（2020年）。
MSC公司：60年第68季度 03B48号
PDF格式BibTeX公司 XML格式引用
\textit{C.-A.Ilie}和\textit{J.B.Worrell}，LIPIcs——莱布尼茨国际程序。通知。178，第7条，第18页（2020；Zbl 07760477）
全文： 内政部
弗洛里安·布鲁斯；马丁·兰格

带有递归的时态逻辑。 （英语） Zbl 1530.03069号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第6条，第14页（2020年）。
MSC公司：03B44号 60年第68季度 03B45 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。178，第6条，第14页（2020年；Zbl 1530.03069）
全文： 内政部
丹尼尔森、尼尔斯·安德斯

无通路的高感应型消除器。 （英语） Zbl 07756115号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第10条，第18页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Danielsson}，LIPIcs——莱布尼茨国际程序。通知。175，第10条，第18页（2020；Zbl 07756115）
全文： 内政部
斯特凡·莫尼尔；纳撒尼尔·博斯

无担保是隐式的吗？ （英语） Zbl 07756114号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第9条，第19页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Monnier}和\textit{N.Bos}，LIPIcs——莱布尼茨国际程序。通知。175，第9条，第19页（2020；Zbl 07756114）
全文： 内政部
斯特凡诺·皮切赫罗

HoTT中单体群胚的相干性。 （英语） Zbl 07756113号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第8条，第20页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Piceghello}，LIPIcs——莱布尼茨国际程序。通知。175，第8条，第20页（2020；兹bl 07756113）
全文： 内政部
克拉夫丘克·基里柳克，阿纳斯塔西娅；安托万·沃伊扎德；斯蒂芬妮，威里奇

\依赖于核的Haskell中的（eta）-等价。 （英语） Zbl 07756112号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第7条，第31页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Kravchuk-Kirilyuk}等人，LIPIcs——莱布尼茨国际程序。通知。175，第7条，第31页（2020；Zbl 07756112）
全文： 内政部
安布罗斯·卡波西；科瓦奇，安德拉斯；安布罗斯·拉丰

对于有限归纳法，归纳法就足够了。 （英语） Zbl 07756111号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第6条，第30页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Kaposi}等人，LIPIcs——莱布尼茨国际程序。通知。175，第6条，第30页（2020；Zbl 07756111）
全文： 内政部
平约，枪；克劳斯，尼古拉

通过类型理论中的图形态从立方体到扭曲立方体。 （英语） Zbl 07756110号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第5条，第18页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Pinyo}和\textit{N.Kraus}，LIPIcs——莱布尼茨国际程序。通知。175，第5条，第18页（2020；Zbl 07756110）
全文： 内政部 arXiv公司
托尔斯滕·阿滕柯奇；科林·杰尼特

类型理论的大步归一化。 （英语） Zbl 07756109号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第4条，第20页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Altenkirch}和\textit{C.Geniet}，LIPIcs——莱布尼茨国际程序。通知。175，第4条，第20页（2020；Zbl 07756109）
全文： 内政部
阿尔维斯，桑德拉；迪莉娅·凯斯纳；丹尼尔·文图拉

对模式匹配的定量理解。 （英语） Zbl 07756108号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第3条，第36页（2020）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Alves}等人，LIPIcs——莱布尼茨国际程序。通知。175，第3条，第36页（2020；Zbl 07756108）
全文： 内政部 arXiv公司
杰斯珀·考克斯

类型理论未定义：使用用户定义的重写规则扩展Agda。 （英语） Zbl 07756107号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第2条，第27页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Cockx}，LIPIcs——莱布尼茨国际程序。通知。175，第2条，第27页（2020；Zbl 07756107）
全文： 内政部
迈克尔·科尔哈斯；弗洛里安·拉贝；马卡里乌斯·温策尔

以知识表示格式访问Isabelle内容。 （英语） Zbl 07756106号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第1条，第24页（2020年）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Kohlhase}等人，LIPIcs——莱布尼茨国际程序。通知。175，第1条，第24页（2020；Zbl 07756106）
全文： 内政部 arXiv公司
大卫·卡巴列罗；蒂莫西·戈麦斯；罗伯特·施韦勒；蒂姆·怀利

受限分片自动机的验证与计算。 （英语） Zbl 07756104号

Geary，Cody（编辑）等人，第26届DNA计算和分子编程国际会议。DNA 262020年9月14日至17日，英国牛津，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。174，第10条，第18页（2020年）。
MSC公司：2009年第68季度 04年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{D.Caballero}等人，LIPIcs——莱布尼茨国际程序。通知。174，第10条，第18页（2020；Zbl 07756104）
全文： 内政部
詹姆斯·拉思罗普。；杰克·卢茨。；罗宾·卢茨。；休·D·波特。；马修·莱利。

布居诱导相变和化学反应网络的验证。 （英语） Zbl 07756099号

Geary，Cody（编辑）等人，第26届DNA计算和分子编程国际会议。DNA 262020年9月14日至17日，英国牛津，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。174，第5条，第17页（2020年）。
MSC公司：2007年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.I.Lathrop}等人，LIPIcs——莱布尼茨国际程序。通知。174，第5条，第17页（2020；兹bl 07756099）
全文： 内政部 arXiv公司
理查德·巴纳赫

验证导向的智能合约。 （英语） Zbl 1520.91440号

Braccali，Andrea（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC，修订了部分论文。查姆：斯普林格。莱克特。票据计算。科学。11599, 106-121 (2020).
MSC公司：91克99 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Banach}，莱克特。票据计算。科学。11599，106-121（2020；Zbl 1520.91440）
全文： 内政部
戴维·尼切尔；帕斯卡·萨斯德里奇；阿米尔·莫拉迪

银–统计独立性和泄漏验证。 （英语） Zbl 1511.94122号

Moriai，Shiho（编辑）等人，《密码学进展——亚洲密码2020》。第26届密码学和信息安全理论与应用国际会议，韩国大田，2020年12月7日至11日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12491, 787-816 (2020).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Knichel}等人，莱克特。票据计算。科学。12491787--816（2020年；Zbl 1511.94122）
全文： 内政部
安德烈亚斯·休姆伯格；尼古拉·比约纳；劳拉·科瓦奇

基于代数的回路综合。 （英语） Zbl 1517.68080号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546, 440-459 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Humenberger}等人，Lect。票据计算。科学。12546440-459（2020年；Zbl 1517.68080）
全文： 内政部 arXiv公司
萨拉·贝鲁奇尼；洛科·德尼古拉；Re，芭芭拉；弗朗西斯科·蒂齐

PALM：一种用于进程代数规范挖掘的技术。 （英语） Zbl 1517.68224号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546, 397-418 (2020).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Belluccini}等人，莱克特。票据计算。科学。12546397——418（2020年；兹比尔1517.68224）
全文： 内政部
斯特拉·西米奇；阿尔贝托·本普拉德；奥马尔·因弗索；米尔科·特里巴斯通

定点运算中的严密误差分析。 （英语） Zbl 1517.68083号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546, 318-336 (2020).
MSC公司：68号30 65G99型
PDF格式BibTeX公司 XML格式引用
\textit{S.Simić}等人，Lect。票据计算。科学。12546、318--336（2020年；Zbl 1517.68083）
全文： 内政部
内达·赛德洛伊；费利克斯·克鲁·尼亚克

合成时钟效率高的时间自动机。 （英语） Zbl 1517.68252号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546276-294（2020年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Saeedloei}和\textit{F.Kluźniak}，Lect。票据计算。科学。12546276--294（2020年；Zbl 1517.68252）
全文： 内政部
莫森野生动物园；玛丽克·赫斯曼

验证基于swap的顺序和并行排序算法的置换属性的通用方法。 （英语） Zbl 1517.68097号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546, 257-275 (2020).
MSC公司：68页第10页 60年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{M.Safari}和\textit{M.Huisman}，莱克特。票据计算。科学。12546、257--275（2020年；Zbl 1517.68097）
全文： 内政部 链接
朱利安·布伦纳

Büchi自动机可执行互补的形式化验证和等价性检查。 （英语） Zbl 1517.68226号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546239-256（2020年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Brunner}，莱克特。票据计算。科学。12546，239--256（2020；Zbl 1517.68226）
全文： 内政部
卢多维奇·亨里奥；埃纳尔·布罗赫·约翰森；Pun、Violet Ka I。

具有确定性行为的活动对象。 （英语） Zbl 1517.68078号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546, 181-198 (2020).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Henrio}等人，Lect。票据计算。科学。12546、181--198（2020年；Zbl 1517.68078）
全文： 内政部 哈尔
劳拉·蒂托洛；玛丽亚诺·莫斯卡托；马可·费利乌。；塞萨尔·穆尼奥斯。

自动生成保护稳定的浮点代码。 （英语） Zbl 1517.68085号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546, 141-159 (2020).
MSC公司：68号30 65G99型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Titolo｝等人，Lect。票据计算。科学。12546，141--159（2020；Zbl 1517.68085）
全文： 内政部
米拉德·卡泽米；萨代赫·苏贾尼

通过强化学习实现连续状态系统的形式化策略综合。 （英语） Zbl 1517.68243号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12546, 3-21 (2020).
MSC公司：60年第68季度 03B44号 87年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kazemi}和\textit{S.Soudjani}，莱克特。票据计算。科学。12546，3--21（2020；Zbl 1517.68243）
全文： 内政部 arXiv公司
陈嘉琪；什洛米·多列夫；谢·库滕

受邀论文：分布式决策的反应式PLS。 （英语） Zbl 1518.68230号

Devismes，Stéphane（编辑）等人，分布式系统的稳定、安全和保障。第22届国际研讨会，SSS 2020，美国德克萨斯州奥斯汀，2020年11月18-21日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12514, 81-96 (2020).
MSC公司：68问题85 60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}等人，Lect。票据计算。科学。12514、81-96（2020年；Zbl 1518.68230）
全文： 内政部 arXiv公司
尤利塞·查波特；多斯，汤姆；弗雷德里克·格罗斯尚；埃勒姆·卡舍菲；达米安·马卡姆

建立连续变量量子态的信任。 （英语） Zbl 1507.81068号

Steven T.弗拉米亚（编辑），第十五届量子计算、通信和密码学理论会议，2020年TQC，拉脱维亚里加，2020年6月9日至12日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。158，第3条，第15页（2020年）。
MSC公司：81页68 81页第45页 81页94 第81页，共18页 第81页，共15页 第81页，共16页
PDF格式BibTeX公司 XML格式引用
\textit{U.Chabaud}等人，LIPIcs——莱布尼茨国际程序。通知。158，第3条，第15页（2020；兹bl 1507.81068）
全文： 内政部 arXiv公司
新墨西哥州加拉尼娜。；安努列夫，I.S。；于斌，V.E。；斯塔罗列托夫，S.M。；利亚克，T.V。；罗佐夫，A.S。；S.P.戈拉赫。

可编程逻辑控制器的时序逻辑。 （俄语。英文摘要） Zbl 1513.68024号

模型。分析。Inf.姐妹。 27，第4期，412-427（2020）.
MSC公司：60年第68季度 03B44号 93立方厘米83
PDF格式BibTeX公司 XML格式引用
\textit{N.O.Garanina}等人，模型。分析。Inf.姐妹。27，第4号，412--427（2020；Zbl 1513.68024）
全文： 内政部 MNR公司
斯蒂芬·斯基里克；何塞·梅塞盖尔；卡米洛·罗查

验证可达性逻辑中的IBOS浏览器安全属性。 （英语） Zbl 1517.68254号

Escobar，Santiago（编辑）等人，《重写逻辑及其应用》。第十三届国际研讨会，WRLA 2020，虚拟活动，2020年10月20日至22日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12328, 176-196 (2020).
MSC公司：60年第68季度 第68页第25页 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Skeirik}等人，Lect。票据计算。科学。12328176-196（2020年；Zbl 1517.68254）
全文： 内政部 arXiv公司
鲁宾·鲁比奥；马蒂·奥利特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） 兹比尔1517.68170

Escobar，Santiago（编辑）等人，《重写逻辑及其应用》。第十三届国际研讨会，WRLA 2020，虚拟活动，2020年10月20日至22日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12328, 156-175 (2020).
MSC公司：第68季度第42季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，Lect。票据计算。科学。12328156-175（2020年；Zbl 1517.68170）
全文： 内政部
艾丽卡·阿尔布拉汉姆；埃齐奥·巴托西；博尔祖·博纳克达尔普尔；奥延德里拉·多贝

具有不确定性的概率超性质。 （英语） Zbl 1517.68218号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。第12302页，第518-534页（2020年）。
MSC公司：60年第68季度 03B44号 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。票据计算。科学。12302518--534（2020年；Zbl 1517.68218）
全文： 内政部 arXiv公司
雷娜·迪米特洛娃；伯恩德·芬克贝纳；托法、哈泽姆

马尔可夫决策过程的概率超性质。 （英语） Zbl 1517.68228号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 484-500 (2020).
MSC公司：60年第68季度 03B44号 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Dimitrova}等人，Lect。票据计算。科学。12302484--500（2020年；Zbl 1517.68228）
全文： 内政部 arXiv公司
李勇；安德烈亚·图里尼；孙雪超；张丽君

基于蒙特卡罗抽样证明Büchi自动机的非包含性。 （英语） Zbl 1517.68205号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 467-483 (2020).
MSC公司：65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。票据计算。科学。12302467--483（2020年；Zbl 1517.68205）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳；诺埃米，传球

基于依赖的合成合成。 （英语） Zbl 1517.68234号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 447-463 (2020).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}和\textit{N.Passing}，Lect。票据计算。科学。12302447--463（2020年；Zbl 1517.68234）
全文： 内政部 arXiv公司
卡利亚尼·多尔；阿什图什·古普塔；桑卡拉·纳拉亚南·克里希纳

持续时间演算的鲁棒控制器综合。 （英语） Zbl 1517.68230号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 429-446 (2020).
MSC公司：60年第68季度 03B44号 93亿B50 93立方
PDF格式BibTeX公司 XML格式引用
\textit{K.Dole}等人，Lect。票据计算。科学。12302429--446（2020年；Zbl 1517.68230）
全文： 内政部
鲍迈斯特，汤姆；伯恩德·芬克贝纳；托法、哈泽姆

可解释的反应合成。 （英语） Zbl 1517.68223号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 413-428 (2020).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.Baumeister}等人，Lect。票据计算。科学。12302413--428（2020年；Zbl 1517.68223）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳；Manuel Gieseking先生；赫金·哈布什，杰斯科；奥尔德罗格，恩斯特·吕迪格

带transits的Petri网上的模型检查分支属性。 （英语） Zbl 1517.68233号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 394-410 (2020).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，Lect。票据计算。科学。12302394--410（2020年；Zbl 1517.68233）
全文： 内政部 arXiv公司
马格纳斯·朗；康斯坦蒂诺斯·萨戈纳斯

基于并行图的无状态模型检查。 （英语） Zbl 1517.68245号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 377-393 (2020).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Láng}和\textit{K.Sagonas}，莱克特。票据计算。科学。12302377--393（2020年；Zbl 1517.68245）
全文： 内政部
拉希德·泽诺；穆罕默德·法乌齐（Mohamed Faouzi Atig）；拉纳德普·比斯沃斯；艾哈迈德·博阿贾尼；康斯坦丁·埃纳；穆罕默德·埃拉迪

使用饱和度增强顺序一致性检查。 （英语） Zbl 1517.68086号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 360-376 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Zennou}等人，Lect。票据计算。科学。12302、360-376（2020年；Zbl 1517.68086）
全文： 内政部
陈、陶璐；马修·黑格；何金龙；胡登庚；Lin，Anthony Widjaja；菲利普·吕默；吴志林

具有整数数据类型的字符串操作程序的路径可行性决策过程。 （英语） Zbl 1517.68074号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 325-342 (2020).
MSC公司：68号30 65年第68季度 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。票据计算。科学。12302325--342（2020年；Zbl 1517.68074）
全文： 内政部 arXiv公司
亚历山大·博克；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩；蒂姆·夸特曼

不确定地平线POMDP的验证。 （英语） Zbl 1517.68225号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 288-304 (2020).
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Bork}等人，Lect。票据计算。科学。12302288--304（2020年；Zbl 1517.68225）
全文： 内政部 arXiv公司
格罗斯，丹尼斯；尼尔斯·詹森；吉列尔莫·佩雷斯。；斯蒂芬·拉伊梅克斯

分类器集成的鲁棒性验证。 （英语） 兹比尔1517.68238

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 271-287 (2020).
MSC公司：60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{D.Gross}等人，Lect。票据计算。科学。12302271--287（2020年；Zbl 1517.68238）
全文： 内政部 arXiv公司
马丁·拉西克；戴维·巴恩斯；德米特里·特拉泰尔

度量动态逻辑的多头监控。 （英语） Zbl 1517.68250号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 233-250 (2020).
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Raszyk}等人，Lect。票据计算。科学。12302233-250（2020年；Zbl 1517.68250）
全文： 内政部 链接
马哈茂德·埃尔法尔；王，于；米罗斯拉夫·帕吉奇

概率系统的上下文时序逻辑。 （英语） Zbl 1517.68232号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 215-232 (2020).
MSC公司：60年第68季度 03B44号 87年第68季度 68T40型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Elfar}等人，Lect。票据计算。科学。12302215--232（2020年；Zbl 1517.68232）
全文： 内政部 arXiv公司
伊利娜·斯托伊尔科夫斯卡；伊戈尔·科诺夫；约瑟夫·威德；弗洛里安·祖勒格

消除阈值自动机中的消息计数器。 （英语） Zbl 1517.68216号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 196-212 (2020).
MSC公司：65年第68季度 60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Stoilkovska}等人，Lect。票据计算。科学。12302196--212（2020年；Zbl 1517.68216）
全文： 内政部 链接
Larsen，Kim G。；马吕斯·米库奇奥尼斯；马尔科·穆尼兹；吉·斯尔巴

扩展时间自动机的紧急部分降阶。 （英语） Zbl 1517.68259号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 179-195 (2020).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.G.Larsen｝等人，Lect。票据计算。科学。12302179--195（2020年；Zbl 1517.68259）
全文： 内政部
瑞秋·法拉；奥尔纳·库普弗曼

On（\（I/O \））-aware good-for-games自动机。 （英语） 兹比尔1517.68186

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 161-178 (2020).
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Faran}和\textit{O.Kupferman}，莱克特。票据计算。科学。12302161-178（2020年；兹比尔1517.68186）
全文： 内政部
Balasubramanian，A.R。；哈维尔·埃斯帕尔扎；玛丽亚娜·拉齐奇

门限自动机验证和合成的复杂性。 （英语） Zbl 1517.68221号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 144-160 (2020).
MSC公司：60年第68季度 03B70号 65年第68季度 65年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Balasubramanian}等人，Lect。票据计算。科学。12302144-160（2020年；Zbl 1517.68221）
全文： 内政部 arXiv公司
恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克

针对ω-正则目标的无模型强化学习的忠实有效的奖励计划。 （英语） 兹比尔1517.68331

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 108-124 (2020).
MSC公司：68T05型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。票据计算。科学。12302、108-124（2020年；Zbl 1517.68331）
全文： 内政部 链接
尤瓦尔·雅各比；克拉克·巴雷特；凯兹，盖伊

使用不变推理验证递归神经网络。 （英语） Zbl 1517.68241号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 57-74 (2020).
MSC公司：60年第68季度 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Jacoby}等人，Lect。票据计算。科学。12302，57-74（2020；Zbl 1517.68241）
全文： 内政部 arXiv公司
托比亚斯·尼普科；曼努埃尔·埃贝尔；马克西米利安·哈斯贝克。

验证教科书算法。有偏见的调查。 （英语） Zbl 1517.68443号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 25-53 (2020).
MSC公司：68瓦xx 60年第68季度 68伏15 68-02
PDF格式BibTeX公司 XML格式引用
\textit{T.Nipkow}等人，Lect。票据计算。科学。12302，25-53（2020；Zbl 1517.68443）
全文： 内政部
克劳斯·哈维隆德；多龙·贝利德

使用BDD进行一阶定时运行时验证。 （英语） Zbl 1517.68240号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 3-24 (2020).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.Havelund}和\textit{D.Peled}，莱克特。票据计算。科学。12302，3--24（2020年；Zbl 1517.68240）
全文： 内政部
徐世伟；赵益智；任正伟；吴玲娟；佟燕；张华国

用于系统分析基于TEE的协议的符号模型。 （英语） Zbl 1511.68049号

Meng，Weizhi（编辑）等人，《信息和通信安全》。第22届国际会议，ICICS 2020，丹麦哥本哈根，2020年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12282, 126-144 (2020).
MSC公司：68平方米25 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Xu}等人，Lect。票据计算。科学。12282，126--144（2020；Zbl 1511.68049）
全文： 内政部
莉·达拉；尼古拉·科马托夫；弗雷德里克·卢勒格；辛戈尔斯，朱利安

已验证内存属性的运行时断言检查。 （英语） Zbl 1511.68083号

Ahrendt，Wolfgang（编辑）等人，《测试和证明》。第14届国际会议，TAP 2020，作为STAF 2020的一部分，于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12165, 100-121 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Ly}等人，Lect。票据计算。科学。12165，100-121（2020；Zbl 1511.68083）
全文： 内政部 链接
霍贾特·科斯洛夫杰尔迪；内马蒂，哈米德；卡尔·梅恩克

使用图形查询对网络物理系统进行时空模型检查。 （英语） Zbl 1511.68158号

Ahrendt，Wolfgang（编辑）等人，《测试和证明》。第14届国际会议，TAP 2020，作为STAF 2020的一部分，于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12165，59-79（2020）。
MSC公司：60年第68季度 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{H.Khosrowjerdi}等人，Lect。票据计算。科学。12165，59--79（2020；Zbl 1511.68158）
全文： 内政部
亚历山大·坎金；阿列克谢·霍罗希洛夫；阿特姆·科钦亚克；Putro，帕维尔

根据源代码级规范进行演绎二进制代码验证。 （英语） Zbl 1511.68080号

Ahrendt，Wolfgang（编辑）等人，《测试和证明》。第14届国际会议，TAP 2020，作为STAF 2020的一部分，于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12165, 43-58 (2020).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kamkin}等人，Lect。票据计算。科学。12165，43-58（2020；Zbl 1511.68080）
全文： 内政部
菲利普·马里奇

验证Faradíev-Read型无同构穷举生成。 （英语） Zbl 07614675号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12167270-287（2020年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Marić}，莱克特。票据计算。科学。12167-270-287（2020；Zbl 07614675）
全文： 内政部
索尼娅·贝拉伊德；Jean-Sébastien科隆；埃曼纽·普鲁夫；马蒂厄·里文；阿卜杜勒·拉赫曼·塔勒布

随机探测安全：验证、组成、扩建和新建。 （英语） Zbl 1503.94024号

Micciancio，Daniele（编辑）等人，《密码学进展——CRYPTO 2020》。第40届国际密码学年会，2020年8月17日至21日，美国加利福尼亚州圣巴巴拉，CRYPTO 2020。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12170, 339-368 (2020).
MSC公司：94A60型 68第25页 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Belaíd}等人，Lect。票据计算。科学。12170339--368（2020年；Zbl 1503.94024）
全文： 内政部 哈尔
莎拉·本雅古布；雅敏阿伊特阿默尔；克劳斯·迪特·施韦

事件B支持的编排定义了通信系统。 （英语） Zbl 1497.68326号

Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12071, 155-168 (2020).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Benyagoub}等人，Lect。票据计算。科学。12071，155--168（2020；Zbl 1497.68326）
全文： 内政部
克劳斯·迪特·施韦；弗拉维奥·费拉罗蒂

反射式ASM的逻辑。 （英语） Zbl 1497.68177号

Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12071, 93-106 (2020).
MSC公司：04年第68季度 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.-D.Schewe}和\textit{F.Ferrarotti}，莱克特。票据计算。科学。12071，93-106（2020；Zbl 1497.68177）
全文： 内政部
伊贡博格尔；克劳斯·迪特·施韦

具有部分顺序运行的分布式ASM的特征。 （英语） Zbl 1497.68174号

Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12071, 78-92 (2020).
MSC公司：04年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Börger}和\textit{K.-D.Schewe}，莱克特。票据计算。科学。12071、78-92（2020年；Zbl 1497.68174）
全文： 内政部
蒂莫·格罗斯（Timo P.Gros）。；霍尔格·赫尔曼斯；霍夫曼，约格；迈克尔·克劳克；马塞尔·斯坦梅茨

深入的统计模型检查。 （英语） Zbl 1511.68157号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12136, 96-114 (2020).
MSC公司：60年第68季度 60J20型 87年第68季度 68T07型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.P.Gros}等人，Lect。票据计算。科学。12136，96-114（2020；Zbl 1511.68157）
全文： 内政部
塞尔吉奥·费奥·阿雷尼斯；米兰武吉诺维奇；伯恩德·韦斯特法尔

关于可实现的时间自动机。 （英语） Zbl 1511.68029号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12136, 78-95 (2020).
MSC公司：64岁以下 68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Feo-Arenis}等人，Lect。票据计算。科学。12136，78-95（2020；Zbl 1511.68029）
全文： 内政部
埃利尼·比拉；西蒙·多尔蒂；布里杰什·多戈尔；约翰·德里克；格哈德·谢尔霍恩；海克·卫尔海姆

定义和验证持久不透明度：持久软件事务内存的正确性。 （英语） 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）
全文： 内政部 arXiv公司
詹姆斯·豪；托马斯·普雷斯特；托马斯·里科塞特；梅丽莎·罗西

等时高斯采样：从开始到实施。 （英语） Zbl 1501.94044号

丁金塔（编辑）等，《后量子密码术》。第11届国际会议，PQCrypto 2020，法国巴黎，2020年4月15日至17日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12100, 53-71 (2020).
MSC公司：94A60型 81页94 94A20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Howe}等人，Lect。票据计算。科学。12100，53--71（2020；Zbl 1501.94044）
全文： 内政部
Vasco T.瓦康塞洛斯。；菲利佩·卡萨尔；贝尔纳多·阿尔梅达；安德烈亚·莫迪多

混合会话。 （英语） Zbl 1508.68255号

Müller，Peter（编辑），《编程语言与系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 715-742 (2020).
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{V.T.Vasconcelos}等人，Lect。票据计算。科学。12075、715--742（2020年；Zbl 1508.68255）
全文： 内政部
约翰·托曼；任思琪；Kohei Suenaga公司；Atsushi Igarashi；直纪小林

ConSORT：命令式程序的上下文和流敏感所有权细化类型。 （英语） Zbl 1508.68079号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 684-714 (2020).
MSC公司：68号30 68甲18 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Toman}等人，Lect。票据计算。科学。12075、684--714（2020年；Zbl 1508.68079）
全文： 内政部 arXiv公司
潘蓉；胡、秦和平；辛格，里沙布；洛丽斯·达安东尼

用大整数值求解程序草图。 （英语） Zbl 1508.68074号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 572-598 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Pan}等人，Lect。票据计算。科学。12075572-598（2020年；兹比尔1508.68074）
全文： 内政部
Sreeja S.奈尔。；古斯塔沃·佩特里；马克·夏皮罗

证明高可用分布式对象的安全性。 （英语） Zbl 1508.68248号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 544-571 (2020).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.S.Nair｝等人，Lect。票据计算。科学。12075、544--571（2020；Zbl 1508.68248）
全文： 内政部
穆拉利，阿迪蒂亚；卢卡斯·佩尼亚；克里斯托夫·Löding；马杜苏丹，P。

带有框架的一阶逻辑。 （英语） Zbl 1508.68072号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 515-543 (2020).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Murali}等人，Lect。票据计算。科学。12075、515--543（2020年；Zbl 1508.68072）
全文： 内政部 arXiv公司
松下幸介；津田，武士；直纪小林

RustHorn：基于CHC的Rust程序验证。 （英语） Zbl 1508.68071号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 484-514 (2020).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Matsushita}等人，Lect。票据计算。科学。12075、484--514（2020年；Zbl 1508.68071）
全文： 内政部 arXiv公司
威廉·曼斯基；霍诺雷，沃尔夫；安德鲁·W·阿佩尔。

将高阶分离逻辑连接到外部一阶世界。 （英语） Zbl 1508.68070号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 428-455 (2020).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Mansky}等人，Lect。票据计算。科学。12075428-455（2020年；兹比尔1508.68070）
全文： 内政部
康斯坦蒂诺斯·马穆拉斯

确定性数据流和流处理的语义基础。 （英语） Zbl 1508.68069号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 394-427 (2020).
MSC公司：68号30 2010年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{K.Mamouras}，莱克特。票据计算。科学。12075、394--427（2020年；Zbl 1508.68069）
全文： 内政部
莫滕·克罗格·杰斯佩森；阿明·蒂曼尼；玛丽特·埃德娜·奥伦布施；西蒙·奥德谢德·格雷格森；拉尔斯·比克达尔

Aneris：分布式系统模块化推理的机械化逻辑。 （英语） 兹比尔1508.68246

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 336-365 (2020).
MSC公司：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Krogh-Jespersen}等人，Lect。票据计算。科学。12075、336--365（2020年；Zbl 1508.68246）
全文： 内政部
悉达哈·克里希纳；亚历山大·萨默斯。；托马斯·维斯

全局图属性的局部推理。 （英语） Zbl 1508.68065号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 308-335 (2020).
MSC公司：68号30 03B70号 68第05页 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Krishna}等人，Lect。票据计算。科学。12075、308--335（2020年；Zbl 1508.68065）
全文： 内政部 arXiv公司
悉达哈·克里希纳；迈克尔·埃米；康斯坦丁·埃纳；德扬·约瓦诺维奇

验证基于可见性的弱一致性。 （英语） Zbl 1508.68064号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 280-307 (2020).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Krishna}等人，Lect。票据计算。科学。12075280-307（2020年；Zbl 1508.68064）
全文： 内政部 arXiv公司
宋世宗曼；吉田、Nobuko

探索面向更具表现力的多方会话类型的类型级双重相似性。 （英语） Zbl 1508.68244号

Müller，Peter（编辑），《编程语言和系统》。第29届欧洲编程研讨会，ESOP 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 251-279 (2020).
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.-S.Jongmans}和\textit{N.Yoshida}，莱克特。票据计算。科学。12075，251--279（2020；Zbl 1508.68244）
全文： 内政部
金博尔·日尔曼；迈克尔·D·亚当斯。

通过分解堆，从堆栈中释放抽象垃圾收集。 （英语） 兹比尔1508.68059

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 197-223 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Germane}和\textit{M.D.Adams}，莱克特。票据计算。科学。12075、197--223（2020年；Zbl 1508.68059）
全文： 内政部
弗朗西斯科·达格尼诺；维维亚娜·博诺；埃琳娜·祖卡；马里亚纽拉州Dezani-Ciancaglini

大步语义的健全性条件。 （英语） Zbl 1508.68057号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 169-196 (2020).
MSC公司：68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{F.Dagnino}等人，Lect。票据计算。科学。12075、169--196（2020年；Zbl 1508.68057）
全文： 内政部 arXiv公司
安德烈亚·科斯蒂亚；朱，艾米；纳迪亚·波里卡波娃；伊利亚·谢尔盖

简明的只读规范，用于更好地综合带有指针的程序。 （英语） Zbl 1508.68056号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075141-168（2020年）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Costea}等人，Lect。票据计算。科学。12075、141--168（2020年；Zbl 1508.68056）
全文： 内政部 arXiv公司
罗斯·波勒；安德烈·普拉泽

建构性游戏逻辑。 （英语） Zbl 1508.03065号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075，84-111（2020年）。
MSC公司：03B70号 68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bohrer}和\textit{A.Platzer}，莱克特。票据计算。科学。12075，84-111（2020；Zbl 1508.03065）
全文： 内政部 arXiv公司
吉尔·巴特；拉斐尔·克鲁比莱；乌戈·达尔拉戈；弗朗西斯科·加瓦佐

关于开放逻辑关系的多功能性。连续性、自动微分和包含定理。 （英语） Zbl 1508.68055号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 56-83 (2020).
MSC公司：68号30 03B40型 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，Lect。票据计算。科学。12075，56-83（2020；Zbl 1508.68055）
全文： 内政部 arXiv公司
达内尔·阿赫曼；安德烈·鲍尔

跑步者在运动。 （英语） Zbl 1508.68050号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 29-55 (2020).
MSC公司：68号30 68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahman}和\textit{A.Bauer}，莱克特。票据计算。科学。12075，29-55（2020；Zbl 1508.68050）
全文： 内政部 arXiv公司
拉蒙·詹森

使用交替接口自动机组合部分规范。 （英语） Zbl 1507.68091号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076462-481（2020年）。
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Janssen}，莱克特。票据计算。科学。12076、462--481（2020年；Zbl 1507.68091）
全文： 内政部 arXiv公司
索菲亚·德罗索波卢；詹姆斯·诺布尔；朱利安·麦凯；苏珊·艾森巴赫

稳健程序的整体规范。 （英语） Zbl 1507.68085号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 420-440 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Drossopoulou}等人，Lect。票据计算。科学。12076、420-440（2020；Zbl 1507.68085）
全文： 内政部 arXiv公司
雨果·A·洛佩兹。；瑟伦·德博伊斯；斯莱亚特，蒂杰斯；托马斯·希尔德布兰特。

使用法律参考模型遵守业务流程。 （英语） Zbl 1507.68215号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 378-399 (2020).
MSC公司：68问题85 60年第68季度 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{H.A.López}等人，Lect。票据计算。科学。12076378--399（2020年；Zbl 1507.68215）
全文： 内政部
帕特里克·Stünkel；哈拉尔德·科尼格；Yngve拉莫；阿德里安·拉特尔

实现与综合系统的多模型同步。 （英语） Zbl 1507.68096号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 335-356 (2020).
MSC公司：68号30 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Stünkel}等人，Lect。票据计算。科学。12076、335--356（2020年；Zbl 1507.68096）
全文： 内政部
马克西姆·科尔迪；迈克，帕帕达基斯；Legay、Axel

变量密集型系统的统计模型检验。 （英语） Zbl 1507.68181号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 294-314 (2020).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Cordy}等人，Lect。票据计算。科学。12076、294--314（2020年；Zbl 1507.68181）
全文： 内政部
费尔南多·奥雷贾斯；埃尔维拉·皮诺；玛丽莎·纳瓦罗

使用三重图文法的增量并发模型同步。 （英语） Zbl 1507.68095号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 273-293 (2020).
MSC公司：68号30 第68季度第42季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Orejas}等人，Lect。票据计算。科学。12076、273--293（2020年；Zbl 1507.68095）
全文： 内政部
莫里斯·比克。；谢夫·范·卢；埃里克·P·德文克。；Tim A.C.Willemse。

基于家庭的SPL模型检查，使用具有可变性的奇偶校验游戏。 （英语） Zbl 1507.68199号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 245-265 (2020).
MSC公司：60年第68季度 68号30 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。票据计算。科学。12076245--265（2020；Zbl 1507.68199）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

传记参考

全部的 前3名

软件