×

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

最新的 引文 关联
尼古拉·苏沃罗夫（Nikolai M.Suvorov）。；伊琳娜·洛马佐娃（Irina A.Lomazova）。

数据软件过程模型的验证：检查数据Petri网的可靠性。 （英语） Zbl 07820972号

J.日志。阿尔盖布。方法计划。 138，文章ID 100953，28 p.（2024）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{N.M.Suvorov}和\textit{I.A.Lomazova}，J.Log。阿尔盖布。方法计划。138，文章ID 100953，28 p.（2024；Zbl 07820972）
全文： 内政部
广道；保罗·格拉布斯

斯巴达和防弹是可模拟提取的（免费！）。 （英语） Zbl 07773998号

Hazay，Carmit（编辑）等人，《密码学进展——EUROCRYPT 2023》。第42届密码技术理论与应用国际年会，法国里昂，2023年4月23日至27日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。14005, 531-562 (2023).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Q.Dao}和\textit{P.Grubbs}，莱克特。注释计算。科学。14005，531--562（2023；Zbl 07773998）
全文： 内政部
赖，Russell W.F。；朱利奥·马拉沃尔塔；斯普纳，尼古拉斯

用于多轮协议的量子倒带。 （英语） Zbl 1519.94152号

Kiltz，Eike（编辑）等人，《密码学理论》。第20届国际会议，TCC 2022，美国伊利诺伊州芝加哥，2022年11月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13747, 80-109 (2023).
MSC公司：94A60型 81页94
PDF格式BibTeX公司 XML格式引用
\textit{R.W.F.Lai}等人，Lect。注释计算。科学。13747、80-109（2023年；Zbl 1519.94152）
全文： 内政部
西尔维娅·吉勒赞；约万卡·潘托维奇；伊万·普罗基奇；斯卡拉斯，阿尔凯斯特；吉田、Nobuko

异步多方会话的精确子类型。 （英语） 兹伯利07672673

ACM事务处理。计算。日志。 24，第2号，第14号论文，73页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilezan}等人，ACM Trans。计算。日志。24，第2号，第14号论文，73页（2023；Zbl 07672673）
全文： 内政部 arXiv公司
卡里姆·巴赫里；纳维德·加迪·巴德

来自非交互式zaps的可更新NIZK。 （英语） Zbl 1527.94018号

Beresford，Alastair R.（编辑）等人，《密码学与网络安全》。第21届国际会议，CANS 2022，阿拉伯联合酋长国阿布扎比，2022年11月13-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13641, 23-43 (2022).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{K.Baghery}和\textit{N.G.Bardeh}，莱克特。注释计算。科学。13641，23-43（2022；Zbl 1527.94018）
全文： 内政部
查亚·加内什；哈米德雷扎·Khoshakhlagh；马尔库夫·科尔韦斯；安卡·尼图列斯库；Zając，Michał

是什么使Fiat-Shamir zkSNARK（可更新SRS）模拟可提取？ （英语） 兹比尔1518.94064

Galdi，Clemente（编辑）等人，《网络安全与加密》。第十三届国际会议，SCN 2022，阿马尔菲（SA），意大利，2022年9月12-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13409, 735-760 (2022).
MSC公司：94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{C.Ganesh}等人，Lect。注释计算。科学。13409735--760（2022年；Zbl 1518.94064）
全文： 内政部
夏洛特霍夫曼；巴维尔哈贝克；契丹·卡马特；凯伦·克莱恩；彼得扎克（Pietrzak，Krzysztof）

在任何群中求幂的实用的统计上可靠的证明。 （英语） Zbl 1517.94109号

Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2022。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13508, 370-399 (2022).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Hoffmann｝等人，Lect。注释计算。科学。13508370-399（2022年；Zbl 1517.94109）
全文： 内政部
托马斯·阿特玛；谢尔盖·费尔

平行重复\（（k_1，\dots，k_{\mu}）\）-特殊声音多轮交互式证明。 （英语） Zbl 07694626号

Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2022。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13507, 415-443 (2022).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{T.Attema}和\textit{S.Fehr}，Lect。注释计算。科学。13507、415--443（2022；Zbl 07694626）
全文： 内政部 链接
孟一鸣；刘军

用于随机系统验证的鲁棒完全有限状态抽象。 （英语） Zbl 07643429号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 80-97 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{Y.Meng}和\textit{J.Liu}，Lect。注释计算。科学。13465，80-97（2022；Zbl 07643429）
全文： 内政部 arXiv公司
贝诺·利伯特；Khoa Nguyen公司；托马斯·彼得斯；Moti Yung

标准模型中基于复合剩余度和对数尺寸环签名的一快照Fiat-Shamir NIZK参数。 （英语） 兹比尔1496.94057

Dunkelman，Orr（编辑）等人，《密码学进展——欧洲密码2022》。第41届密码技术理论与应用国际年会，挪威特隆赫姆，2022年5月30日至6月3日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13276, 488-519 (2022).
MSC公司：94A60型 94A62型 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{B.Libert}等人，Lect。注释计算。科学。13276488--519（2022年；Zbl 1496.94057）
全文： 内政部 哈尔
海尔格尔·利帕；凯特琳娜·帕夫利克

Gentry-Whichs很紧：一个可伪造的非自适应声音SNARG。 （英语） Zbl 1514.94114号

Tibouchi，Mehdi（编辑）等人，《密码学进展——亚洲密码2021》。第27届密码学和信息安全理论与应用国际会议，新加坡，2021年12月6日至10日。诉讼程序。第三部分商会：施普林格。莱克特。注释计算。科学。13092, 34-64 (2021).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.Lipmaa}和\textit{K.Pavlyk}，莱克特。注释计算。科学。13092，34--64（2021；Zbl 1514.94114）
全文： 内政部
Yael Tauman Kalai；维诺德·瓦昆塔坦；Zhang、Rachel Yun

统计稳健性、后量子安全和SNARG。 （英语） Zbl 1509.94134号

Nissim，Kobbi（编辑）等人，《密码学理论》。第19届国际会议，TCC 2021，罗利，北卡罗来纳州，美国，2021年11月8-11日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13042, 330-368 (2021).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Tauman Kalai}等人，Lect。注释计算。科学。13042330-368（2021年；Zbl 1509.94134）
全文： 内政部
贾凯；马丁·里纳德

通过浮点数值误差开发经过验证的神经网络。 （英语） Zbl 1497.68309号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 191-205 (2021).
MSC公司：60年第68季度 65克50 2006年第68季度 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{K.Jia}和\textit{M.Rinard}，莱克特。注释计算。科学。12913、191--205（2021；Zbl 1497.68309）
全文： 内政部 arXiv公司
约翰内斯·马蒂；维尼马，伊德

用于无交替\（\mu\）演算的聚焦系统。 （英语） Zbl 07532527号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 371-388 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Marti}和\textit{Y.Venema}，莱克特。注释计算。科学。12842、371--388（2021；Zbl 07532527）
全文： 内政部
阿什鲁吉特·戈沙尔；斯特凡诺·特萨罗

代数群模型中的紧密状态存储稳健性。 （英语） Zbl 1487.94116号

Malkin，Tal（ed.）等人，《密码学进展——CRYPTO 2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第三部分商会：施普林格。莱克特。注释计算。科学。12827, 64-93 (2021).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ghoshal}和\textit{S.Tessaro}，莱克特。注释计算。科学。12827，64-93（2021；Zbl 1487.94116）
全文： 内政部
来自阿斯塔·哈尔克；艾格尼斯·莫斯格德·埃舍恩；约根·维拉德森

Isabelle/HOL中命题逻辑公理系统的形式化。 （英语） Zbl 1485.68292号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 32-46 (2021).
MSC公司：68V20型 03B05号 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.H.From}等人，Lect。注释计算。科学。12833，32-46（2021；Zbl 1485.68292）
全文： 内政部 链接
恰、奈慧；凯民钟；山川，高石

在恒定轮次中实现后量子零知识的黑盒方法。 （英语） Zbl 1486.94089号

Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，CRYPTO 2021，虚拟活动，2021年8月16日至20日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12825, 315-345 (2021).
审核人：雅克·海诺（塔林）
MSC公司：94A60型 81页94 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{N.-H.Chia}等人，Lect。注释计算。科学。12825315--345（2021年；Zbl 1486.94089）
全文： 内政部 arXiv公司
马克·费希林；费利克斯·罗尔巴赫

非交互式统计零知识的单到多定理转换。 （英语） Zbl 1479.94170号

Juan A.Garay（编辑），公开密钥加密——PKC 2021。2021年5月10日至13日，第24届IACR公开密钥密码学实践和理论国际会议，虚拟活动。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12711205-234（2021年）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fischlin}和\textit{F.Rohrbach}，莱克特。注释计算。科学。12711205-234（2021年；Zbl 1479.94170）
全文： 内政部
弗拉维奥·科拉迪尼；安德烈亚·莫里切塔；基亚拉·穆齐；Re，芭芭拉；弗朗西斯科·蒂齐

良好的结构、安全性和可靠性：BPMN协作的正式分类。 （英语） Zbl 1458.90393号

J.日志。阿尔盖布。方法计划。 119，文章ID 100630，41 p.（2021）.
MSC公司：90B50型 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{F.Corradini}等人，J.Log。阿尔盖布。方法计划。119，文章ID 100630，41 p.（2021；Zbl 1458.90393）
全文： 内政部
西尔维亚·克拉法；迪·皮罗（Di Pirro，Matteo）；埃琳娜·祖卡

Solidity足够坚固吗？ （英语） Zbl 1520.91442号

Braccali，Andrea（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC，修订了部分论文。查姆：斯普林格。莱克特。注释计算。科学。11599, 138-153 (2020).
MSC公司：91克99 94A60型 91-04
PDF格式BibTeX公司 XML格式引用
\textit{S.Crafa}等人，Lect。注释计算。科学。11599，138--153（2020；Zbl 1520.91442）
全文： 内政部
贝诺·利伯特；Khoa Nguyen公司；阿兰·帕塞尔盖；拉杜·提提乌

LWE和KDM-CCA2安全应用程序的模拟声音参数。 （英语） Zbl 1511.94127号

Moriai，Shiho（编辑）等人，《密码学进展——亚洲密码2020》。第26届密码学和信息安全理论与应用国际会议，韩国大田，2020年12月7日至11日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12491, 128-158 (2020).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{B.Libert}等人，Lect。注释计算。科学。12491，128-158（2020；Zbl 1511.94127）
全文： 内政部 哈尔
来自阿斯塔·哈尔克；帕特里克·布莱克本；约根·维拉德森

将Seligman风格的混合逻辑表系统形式化（短文）。 （英语） Zbl 07614529号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 474-481 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.H.From}等人，Lect。注释计算。科学。12166474--481（2020；Zbl 07614529）
全文： 内政部
刘冠军

PSPACE-安全非对称选择工作流网络稳健性问题的完备性。 （英语） Zbl 1503.68195号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 196-216 (2020).
MSC公司：68问题85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Liu}，莱克特。注释计算。科学。12152，196--216（2020；Zbl 1503.68195）
全文： 内政部
刘新新；于婷婷

递归方程的规范解和方程公理化的完备性。 （英语） Zbl 07559491号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第35条，第17页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{X.Liu}和\textit{T.Yu}，LIPIcs——莱布尼茨国际程序。通知。171，第35条，第17页（2020；Zbl 07559491）
全文： 内政部
马修·索图德；阿迪蒂亚·塔库尔。

抽象神经网络。 （英语） Zbl 1474.68193号

Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12389, 65-88 (2020).
MSC公司：60年第68季度 2006年第68季度 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{M.Sotoudeh}和\textit{A.V.Thakur}，Lect。注释计算。科学。12389，65-88（2020年；兹比尔1474.68193）
全文： 内政部 arXiv公司
西尔维娅·吉勒赞；Jelena Ivetić；西蒙娜·卡什特罗维奇；佐兰·奥格尼亚诺维奇；内纳德·萨维奇

面向类型理论中的概率推理——交叉类型案例。 （英语） Zbl 07266049号

Andreas Herzig等人，《信息和知识系统基础》。第十一届国际研讨会，2020年2月17日至21日，德国多特蒙德，FoIKS 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12012122-139（2020年）。
MSC公司：第68页，共15页 68T27型 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilezan}等人，Lect。注释计算。科学。12012、122--139（2020；Zbl 07266049）
全文： 内政部
内博伊沙·伊科迪诺维奇；佐兰·奥格尼亚诺维奇；阿列克桑达尔·佩罗维奇；米奥德拉格·拉什科维奇

可加概率语义的完备性定理。 （英语） Zbl 1452.03064号

Ann.纯粹应用。逻辑 171，第4期，文章ID 102755，27页（2020年）.
审核人：吉尔根·兰德斯（慕尼黑）
MSC公司：03B48号 03B42号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.Ikodinović}等人，Ann.Pure Appl。逻辑171，第4号，文章ID 102755，27页（2020；Zbl 1452.03064）
全文： 内政部
巴拉德·哈沙；Khot，Subhash公司；Lee，Euiwoong先生；提鲁文卡塔查里，德瓦纳森

通过线性标签盖提高3LIN硬度。 （英语） Zbl 07650076号

Achlioptas，Dimitris（编辑）等人，《近似、随机化和组合优化》。算法与技术，第22届国际会议，约2019年，第23届国际会议（随机2019年），马萨诸塞州剑桥麻省理工学院，2019年9月20日至22日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。145，第9条，第16页（2019年）。
MSC公司：68瓦20 68周25 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Harsha}等人，LIPIcs——莱布尼茨国际程序。通知。145，第9条，第16页（2019年；Zbl 07650076）
全文： 内政部
安倍、Masayuki；查兰吉特·朱特拉。；宫古大久保；潘嘉欣；阿纳布·罗伊；王玉玉

QA-NIZK和SPS更短，安全性更高。 （英语） Zbl 1456.94040号

Galbraith，Steven D.（编辑）等人，《密码学进展——2019年亚洲密码》。第25届国际密码学和信息安全理论与应用会议，2019年12月8日至12日，日本神户。诉讼程序。第三部分商会：施普林格。莱克特。注释计算。科学。11923, 669-699 (2019).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abe}等人，Lect。注释计算。科学。11923669-699（2019；Zbl 1456.94040）
全文： 内政部 链接
赵亮；王晓兵；舒新峰；张楠

统一时序逻辑的证明系统。 （英语） Zbl 1497.03036号

杜定珠（编辑）等，《计算与组合学》。第25届国际会议，COCOON 2019，中国西安，2019年7月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11653, 663-676 (2019).
MSC公司：03B44号 03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhao}等人，Lect。注释计算。科学。11653、663--676（2019年；Zbl 1497.03036）
全文： 内政部
丹尼尔·米恰尼西奥

使用伪随机密钥的符号加密。 （英语） Zbl 1509.94124号

Ishai，Yuval（编辑）等人，《密码学进展——2019年欧洲密码》。第38届密码技术理论与应用国际年会，2019年5月19日至23日，德国达姆施塔特。诉讼程序。第三部分商会：施普林格。莱克特。注释计算。科学。11478, 64-93 (2019).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Micciancio}，莱克特。注释计算。科学。11478，64-93（2019年；Zbl 1509.94124）
全文： 内政部
皮埃尔·比斯克特；佛罗伦萨Dupin de Saint-Cyr；菲利普·贝斯纳德

用方案和谬误评估论点。 （英语） Zbl 1522.68522号

Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11481, 61-74 (2019).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bisquert}等人，Lect。注释计算。科学。11481，61-74（2019年；兹比尔1522.68522）
全文： 内政部 哈尔
科恩、利隆；鲁本·罗伊，N.S。

传递闭包逻辑中通过无限下降的一致归纳推理。 （英语） Zbl 1528.03186号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第17条，第16页（2018年）。
MSC公司：03日70 03财年03 05年3月 30楼03号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cohen}和\textit{R.N.S.Rowe}，LIPIcs——莱布尼茨国际程序。通知。119，第17条，第16页（2018；Zbl 1528.03186）
全文： 内政部
安倍、Masayuki；查兰吉特·朱特拉。；宫古大久保；阿纳布·罗伊

通过应用程序改进了（几乎）严格安全的模拟声音QA-NIZK。 （英语） Zbl 1446.94093号

Peyrin，Thomas（编辑）等人，《密码学进展——ASIACRYPT 2018》。第24届密码学和信息安全理论与应用国际会议，澳大利亚昆士兰州布里斯班，2018年12月2-6日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11272, 627-656 (2018).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abe}等人，Lect。注释计算。科学。11272、627--656（2018；Zbl 1446.94093）
全文： 内政部
西尔维娅·吉勒赞；Jelena Ivetić；西蒙娜·卡什特罗维奇；佐兰·奥格尼亚诺维奇；内纳德·萨维奇

关于简单类型lambda项的概率推理。 （英语） 兹比尔1505.03035

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10703, 170-189 (2018).
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilezan}等人，Lect。注释计算。科学。10703、170--189（2018；Zbl 1505.03035）
全文： 内政部
Owe、Olaf；托克塔姆Ramezanifarkhani；埃莱赫·法泽尔德科迪

从多个合同中进行Hoare-style推理。 （英语） Zbl 1498.68168号

Polikarpova，Nadia（编辑）等，《综合形式方法》。2017年9月20日至22日在意大利都灵举行的2017年第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10510, 263-278 (2017).
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{O.Owe}等人，Lect。注释计算。科学。10510263-278（2017年；Zbl 1498.68168）
全文： 内政部
海尔格尔·利帕

DCRA下的最佳sigma协议。 （英语） Zbl 1460.94053号

Kiayias，Aggelos（编辑），《金融密码学与数据安全》。2017年4月3日至7日在马耳他斯莱马举行的2017年足球俱乐部第21届国际会议。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10322, 182-203 (2017).
MSC公司：94A60型 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{H.Lipmaa}，莱克特。注释计算。科学。10322、182--203（2017；Zbl 1460.94053）
全文： 内政部
Jean-Pierre Jouannaud；Pierre-Yves支柱

没有类型转换的Coq：Coq模理论的完整证明。 （英语） Zbl 1403.68227号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，474-489（2017）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Jouannaud}和\textit{P.-Y.Strub}，EPiC Ser。计算。46、474--489（2017；Zbl 1403.68227）
全文： 内政部
纳达·阿明；蒂亚克·隆普夫

用定义口译员输入正确性证明。 （英语） 兹比尔1380.68111

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。666-679 (2017).
MSC公司：68号30 03B70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Amin}和\textit{T.Rompf}，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。666--679（2017年；Zbl 1380.68111）
全文： 内政部
比约恩·恩格尔曼；奥尔德罗格（Ernst-Rüdiger Olderog）

适用于动态类型、面向对象程序的完善的Hoare逻辑。 （英语） Zbl 1475.68085号

阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 173-193 (2016).
MSC公司：68号30 03B70号 68甲19 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Engelmann｝和\textit｛E.-R.Olderog｝，Lect。注释计算。科学。9660，173--193（2016；Zbl 1475.68085）
全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎；丹尼斯·库珀伯格；安卡·穆斯科尔；伊戈尔·瓦卢基维奇

谈判的稳健性。 （英语） Zbl 1392.68298号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第12条，第13页（2016年）。
MSC公司：68问题85 第68季度10 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，LIPIcs——莱布尼茨国际程序。通知。59，第12条，第13页（2016年；Zbl 1392.68298）
全文： 内政部
卡斯特罗·曼扎诺，J.Martín

从图解推理到机械推理：三段论案例。 （英语） Zbl 1402.03024号

Arazim，Pavel（编辑）等人，《2015年逻辑年鉴》。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物（ISBN 978-1-84890-213-8/pbk）。57-69 (2016).
MSC公司：03B35型 03B60号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Castro-Manzano}，收录于：2015年Logica年鉴。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物。57-69（2016；Zbl 1402.03024）
德塞尔，约格；哈维尔·埃斯帕尔扎

谈判和Petri网。 （英语） Zbl 1366.68203号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务》XI。柏林：施普林格出版社（ISBN 978-3-662-53400-7/pbk；978-3-562-53401-4/电子书）。计算机科学课程讲稿9930。《期刊副刊》，203-225（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Desel}和\textit{J.Esparza}，莱克特。注释计算。科学。9930203-225（2016年；Zbl 1366.68203）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件