×

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

最新的 引文 关联
西尔维娅·吉勒赞;Jelena Ivetić;皮埃尔·莱斯坎;西尔维亚·利卡维奇

逻辑和计算中的结构规则和资源控制。 （英语） Zbl 1524.03014号

Silvia Ghilezan（编辑），《计算机科学中的逻辑》。二、。贝尔格莱德：马特马提奇研究所SANU。Zb.公司。Rad.（Beogr.）18（26），79-109（2015）。
MSC公司：03B40型 03B47号 68甲18 第03页
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilezan}等人，Zb。Rad.（Beogr.）18，79--109（2015；Zbl 1524.03014）
全文： 链接
内博伊沙·伊科迪诺维奇;Ognjanović，佐兰;米奥德拉格·拉什科维奇;佐兰·马尔科维奇

一阶概率逻辑及其应用。 （英语） Zbl 1524.03019号

Silvia Ghilezan（编辑），《计算机科学中的逻辑》。二、。贝尔格莱德：马特马提奇研究所SANU。Zb.公司。Rad.（Beogr.）18（26），37-78（2015）。
MSC公司：03B48号 03B25号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{N.Ikodinović}等人，Zb。Rad.（Beogr.）18，37-78（2015；Zbl 1524.03019）
全文： 链接
托拜厄斯·普尔斯;Roel Peeters公司

气球（Balloon）：一种前向安全的仅附加持久性身份验证数据结构。 （英语） Zbl 1499.68056号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日，会议记录。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9327, 622-641 (2015).
MSC公司：68平方米25 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{T.Pulls}和\textit{R.Peeters}，莱克特。注释计算。科学。9327、622--641（2015；Zbl 1499.68056）
全文： 内政部 链接
李锡盟;弗莱明·尼尔森;汉内·里斯·尼尔森

行为完整性的因素分析。 （英语） Zbl 1499.68050号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日，会议记录。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9327, 500-519 (2015).
MSC公司：68平方米25 68问题85 94A60
PDF格式BibTeX公司 XML格式引用
\textit{X.Li}等人，Lect。注释计算。科学。9327500-519（2015；Zbl 1499.68050）
全文： 内政部
雷米·克雷蒂安;维罗尼克·科尔蒂尔;德莱恩，斯特凡尼

检查跟踪等价性：如何消除nonce？ （英语） Zbl 1499.68048号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日，会议记录。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9327, 230-251 (2015).
MSC公司：68平方米25 94A60
PDF格式BibTeX公司 XML格式引用
\textit{R.Chrétien}等人，Lect。注释计算。科学。9327230-251（2015年；Zbl 1499.68048）
全文： 内政部
奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;保罗·莫德斯蒂;卢卡·维甘诺

安全协议的类型化和组合性：对几何碎片的概括。 （英语） Zbl 1499.68043号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日，会议记录。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9327209-229（2015年）。
MSC公司：68平方米25 94A60
PDF格式BibTeX公司 XML格式引用
\textit{O.Almousa}等人，Lect。注释计算。科学。9327，209--229（2015；Zbl 1499.68043）
全文： 内政部 链接
张良峰;萨法维·奈尼，雷哈内

外包数据多项式的批量验证计算。 （英语） Zbl 1522.68093号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日，会议记录。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9327, 167-185 (2015).
MSC公司：68平方米25 68英里11 94A60
PDF格式BibTeX公司 XML格式引用
\textit{L.F.Zhang}和\textit{R.Safavi-Naini}，Lect。注释计算。科学。9327167-185（2015；Zbl 1522.68093）
全文： 内政部
蒂博尔·贾格尔;Jörg Schwenk;朱拉杰·索莫洛夫斯基

TLS-ECDH上的实际无效曲线攻击。 （英语） 兹比尔1504.94150

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9326, 407-425 (2015).
MSC公司：94A60 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{T.Jager}等人，Lect。注释计算。科学。9326407--425（2015年；Zbl 1504.94150）
全文： 内政部
法布里斯·本哈穆达;斯蒂芬·克伦;瓦迪姆·卢巴舍夫斯基;彼得扎克（Pietrzak，Krzysztof）

环上错误学习承诺的有效零知识证明。 （英语） Zbl 1499.68113号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9326, 305-325 (2015).
MSC公司：2010年第68季度 2011年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit{F.Benhamouda}等人，Lect。注释计算。科学。93263305-325（2015年；兹bl 1499.68113）
全文： 内政部
秦保东;罗伯特·H·邓。;李英九;刘胜利

基于服务器辅助的可撤销身份加密。 （英语） Zbl 1499.68057号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9326, 286-304 (2015).
MSC公司：68平方米25 68第25页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{B.Qin}等人，Lect。注释计算。科学。9326，286--304（2015；Zbl 1499.68057）
全文： 内政部
关朝文;任奎;张方国;弗洛里安·克什鲍姆;于，贾

支持公开验证的基于对称密钥的可检索性证明。 （英语） Zbl 1499.68092号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9326, 203-223 (2015).
MSC公司：68第20页 68英里11 68第25页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{C.Guan}等人，Lect。注释计算。科学。9326、203--223（2015年；Zbl 1499.68092）
全文： 内政部
Minematsu、Kazuhiko

具有组合组测试的高效消息认证代码。 （英语） Zbl 1504.94220号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9326, 185-202 (2015).
MSC公司：94A62型 94A60 68平方米25
PDF格式BibTeX公司 XML格式引用
\文本｛K.Minematsu｝，Lect。注释计算。科学。9326、185--202（2015；Zbl 1504.94220）
全文： 内政部
迈克尔·巴克斯;埃斯凡迪亚·穆罕默德;蒂姆·拉芬

交互式原语的计算可靠性。 （英语） Zbl 1502.68052号

Pernul，Günther（ed.）等人，《计算机安全–ESORICS 2015》。第20届欧洲计算机安全研究研讨会，奥地利维也纳，2015年9月21日至25日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9326, 125-145 (2015).
MSC公司：68平方米25 94A60
PDF格式BibTeX公司 XML格式引用
\textit{M.Backes}等人，Lect。注释计算。科学。9326、125——145（2015；Zbl 1502.68052）
全文： 内政部
埃隆·里蒙;吉尔庄园

受统一制动安全约束的自主移动机器人对接初步解决方案。 （英语） Zbl 1497.68476号

IMA机器人数学会议，英国牛津，2015年9月9日至11日。南海：数学及其应用研究所。第27条，第10页（2015年）。
MSC公司：第68页第40页 70电子60 90C25型
PDF格式BibTeX公司 XML格式引用
\textit{E.Rimon}和\textit{G.Manor}，in：IMA机器人数学会议，英国牛津，2015年9月9-11日。南海：数学及其应用研究所。第27条，第10页（2015；Zbl 1497.68476）
全文： 内政部
克日什托夫·特肖恩;爱达荷州戈拉尔

拉格朗日-雅可比运动规划。 （英语） Zbl 1497.68477号

IMA机器人数学会议，英国牛津，2015年9月9日至11日。南海：数学及其应用研究所。第11条，第8页（2015年）。
MSC公司：第68页第40页 68T20型 70电子60
PDF格式BibTeX公司 XML格式引用
\textit{K.Tchoñ}和\textit{I.Góral}，in：IMA机器人数学会议，英国牛津，2015年9月9-11日。海上绍森德：数学及其应用研究所。第11条，第8页（2015；Zbl 1497.68477）
全文： 内政部
乔安娜·拉塔奇萨克;克日什托夫·特肖恩

使用动态一致雅可比逆的非单体运动规划。 （英语） Zbl 1497.68475号

IMA机器人数学会议，英国牛津，2015年9月9日至11日。南海：数学及其应用研究所。第10条，第8页（2015年）。
MSC公司：第68页第40页 68T20型 70电子60
PDF格式BibTeX公司 XML格式引用
\textit{J.Ratajczak}和\textit{K.Tchoñ}，in：IMA机器人数学会议，英国牛津，2015年9月9-11日。南海：数学及其应用研究所。第10条，第8页（2015；Zbl 1497.68475）
全文： 内政部
卡罗尔·林顿;威廉·霍尔德鲍姆;詹姆斯·比格斯

时间参数化运动规划。 （英语） Zbl 1497.68473号

IMA机器人数学会议，英国牛津，2015年9月9日至11日。南海：数学及其应用研究所。第9条，第8页（2015年）。
MSC公司：第68页第40页 68T20型 68单位05 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{C.Linton}等人，in：IMA机器人数学会议，英国牛津，2015年9月9日至11日。南海：数学及其应用研究所。第9条，第8页（2015；Zbl 1497.68473）
全文： 内政部
邮政，马克·A。

贝叶斯网络机器人编程方法的嵌入式实现。 （英语） Zbl 1497.68474号

2015年9月9日至11日，英国牛津，IMA机器人数学会议。南海：数学及其应用研究所。第6条，第9页（2015年）。
MSC公司：第68页第40页 62H22个 68层37
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Post}，收录于：IMA机器人数学会议，英国牛津，2015年9月9-11日。南海：数学及其应用研究所。第6条，第9页（2015；Zbl 1497.68474）
全文： 内政部 链接
巴塔查里亚（Bhattacharya，Subhrajit）;罗伯特·格里斯

路径同伦不变量及其在最优轨迹规划中的应用。 （英语） Zbl 1497.55004号

IMA机器人数学会议，英国牛津，2015年9月9日至11日。南海：数学及其应用研究所。第2条，第8页（2015年）。
MSC公司：55立方米 2010年1月20日 2005年第55季度 55卢比80 57 K10 57米15 第68页第40页
PDF格式BibTeX公司 XML格式引用
\textit｛S.Bhattacharya｝和\textit｛R.Ghrist｝，在：IMA机器人数学会议，英国牛津，2015年9月9日至11日。南海：数学及其应用研究所。第2条，第8页（2015；Zbl 1497.55004）
全文： 内政部 arXiv公司
马特·考夫曼（编辑）;大卫·L·拉格。（编辑）

第十三届ACL2定理证明器及其应用国际研讨会论文集，美国德克萨斯州奥斯汀，2015年10月1日至2日。 （英语） Zbl 1490.68020号

理论计算机科学电子论文集（EPTCS）192.滑铁卢：开放出版协会（OPA）。127页。，仅电子版，开放存取（2015年）。
MSC公司：68-06 68伏15 68V20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaufmann}（ed.）和\textit{D.L.Rager}（edi.），第十三届ACL2定理证明器及其应用国际研讨会论文集，美国德克萨斯州奥斯汀，2015年10月1日至2日。滑铁卢：开放出版协会（OPA）（2015；Zbl 1490.68020）
全文： 内政部 链接
塞萨里·卡利西克（编辑）;安德烈·帕斯科维奇（编辑）

2015年8月2日至3日，德国柏林，第四届定理证明交换研讨会论文集。 （英语） 兹比尔1490.68019

理论计算机科学电子论文集（EPTCS）186.滑铁卢：开放出版协会（OPA）。96页。，仅电子版，开放存取（2015年）。
MSC公司：68-06 68伏15 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}（ed.）和\textit{A.Paskevich}（edi.），第四届定理证明交换研讨会论文集，德国柏林，2015年8月2--3日。滑铁卢：开放出版协会（OPA）（2015；Zbl 1490.68019）
全文： 内政部 链接
程恒毅

通过连续嫁接棱柱体挤压塔。 （英语） Zbl 1486.52036号

Miura，Koryo（编辑）等人，《折纸术》（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10日至13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。275-292 (2015).
MSC公司：52B70型 68单位05 70B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Y.Cheng}，in：折纸（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10-13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。275-292（2015年；兹bl 1486.52036）
全文： 内政部
Suryansh Chandra公司;沙贾·博珊;穆斯塔法·埃尔萨伊德

通过平滑实现曲面折叠多面体骨架。 （英语） Zbl 1486.52035号

Miura，Koryo（编辑）等人，《折纸术》（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10日至13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。231-240 (2015).
MSC公司：52B70型 68单位07 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{S.Chandra}等人，in：折纸术（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10-13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。231--240（2015；Zbl 1486.52035）
埃里克·D·德曼。;马丁·L·德曼。;凯汉·F·盖塞。

将任何曲面缩小到任何分数。 （英语） Zbl 1486.52039号

Miura，Koryo（编辑）等人，《折纸术》（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10日至13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。201-208 (2015).
MSC公司：52B70型 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{E.D.Demaine}等人，in：折纸术（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10-13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。201-208（2015；Zbl 1486.52039）
全文： 内政部
埃里克·D·德曼。;Ku，Jason S。

填充折痕图案中的洞：从指定的边界折叠进行等距映射。 （英语） 兹比尔1486.52040

Miura，Koryo（编辑）等人，《折纸术》（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10日至13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。177-188 (2015).
MSC公司：52B70型 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{E.D.Demaine}和\textit{J.S.Ku}，in：折纸术（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10-13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。177-188（2015；Zbl 1486.52040）
全文： 内政部 arXiv公司 链接
扎卡里·阿贝尔;罗伯特·康奈利;埃里克·D·德曼。;马丁·L·德曼。;托马斯·赫尔。;安娜·卢比夫;大治，通弘

带缝多面体的刚性展平。 （英语） Zbl 1486.52033号

Miura，Koryo（编辑）等人，《折纸术》（^6）。I： 数学。二： 技术、艺术、教育。2014年8月10日至13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。109-117 (2015).
MSC公司：52B70型 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{Z.Abel}等人，in：折纸术（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10-13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。109-117（2015；Zbl 1486.52033）
全文： 内政部
法杜阿·古拉比;艾达，铁索;高桥，Kazuko

Eos系统中的交互式构造和自动证明，应用于规则多边形的结折叠。 （英语） Zbl 1486.52042号

Miura，Koryo（编辑）等人，《折纸术》（^6）。I： 数学。二： 技术、艺术、教育。2014年8月10日至13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。55-65 (2015).
MSC公司：52B70型 68伏15 52-04
PDF格式BibTeX公司 XML格式引用
\textit{F.Ghorabi}等人，in：折纸术（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10-13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。55-65（2015；Zbl 1486.52042）
全文： 内政部
乔尔迪·古尔迪亚;尤利亚·特拉蒙斯

关于折纸的几何和算术关系。 （英语） Zbl 1486.52043号

Miura，Koryo（编辑）等人，《折纸术》（^6）。一： 数学。II： 技术、艺术、教育。2014年8月10日至13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。35-43 (2015).
MSC公司：52B70型 68单位05 11Z05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Guárdia}和\textit{E.Tramuns}，in：折纸术（^6）。一： 数学。二： 技术、艺术、教育。2014年8月10-13日，日本东京，第六届国际折纸科学、数学和教育会议（6OSME）会议记录。普罗维登斯，RI：美国数学学会（AMS）。35-43（2015；Zbl 1486.52043）
全文： 内政部 arXiv公司
阿里·加德利

关于信息的粗粒度化及其在模式识别中的应用。 （英语） Zbl 1483.62105号

Mohammad-Djafari，Ali（编辑）等人，《科学与工程中的贝叶斯推理和最大熵方法》（MaxEnt 2014），法国安布瓦西市Clos Lucé，2014年9月21日至26日。纽约州梅尔维尔：美国物理研究所（AIP）。AIP确认程序。1641, 463-470 (2015).
MSC公司：62H30型 68吨10
PDF格式BibTeX公司 XML格式引用
\textit{A.Ghaderi}，AIP会议程序。1641463-470（2015；Zbl 1483.62105）
全文： 内政部 arXiv公司
Takashi Takeouchi;小森，奥萨姆;神道江口

一种新的基于Itakuda-Saito发散的多任务学习推进算法。 （英语） Zbl 1483.68322号

Mohammad-Djafari，Ali（编辑）等人，《科学与工程中的贝叶斯推理和最大熵方法》（MaxEnt 2014），法国安布瓦西市Clos Lucé，2014年9月21日至26日。纽约州梅尔维尔：美国物理研究所（AIP）。AIP确认程序。1641230-237（2015年）。
MSC公司：68T05型 62H30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Takenouchi}等人，AIP Conf.Proc。1641230--237（2015；Zbl 1483.68322）
全文： 内政部
马可·索列里

资源交互的几何结构——极简主义方法. （英语） Zbl 1486.03112号

Alves，Sandra（编辑）等人，《第三届线性国际研讨会论文集》，线性2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）17679-94（2015）。
MSC公司：03楼52 68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Solieri}，电子。程序。西奥。计算。科学。（EPTCS）176，79--94（2015；Zbl 1486.03112）
全文： arXiv公司 链接
达尔拉戈，乌戈;玛格丽塔·佐齐

波型令牌机和量子lambda计算。 （英语） Zbl 1477.68069号

Alves，Sandra（编辑）等人，《第三届线性国际研讨会论文集》，线性2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）176，64-78（2015）。
MSC公司：68甲18 81页68
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}和\textit{M.Zorzi}，电子。程序。西奥。计算。科学。（EPTCS）176，64--78（2015；Zbl 1477.68069）
全文： arXiv公司 链接
爱德华·甘;杰西·托夫（Jesse A.Tov）。;格雷格·莫里塞特

轻量级子结构类型的类型类。 （英语） Zbl 1477.68071号

Alves，Sandra（编辑）等人，《第三届线性国际研讨会论文集》，线性2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）176，34-48（2015年）。
MSC公司：68甲18 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{E.Gan}等人，《电子》。程序。西奥。计算。科学。（EPTCS）176，34-48（2015；Zbl 1477.68071）
全文： arXiv公司 链接
快点，大卫

正在编码-张量为-具有邻域顺序的图。 （英语） Zbl 1477.18039号

Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195307-320（2015）。
MSC公司：2005年5月18日 2012年第68季度 03B35型 05C75号 05C90年 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{D.Quick}，电子。程序。西奥。计算。科学。（EPTCS）195307--320（2015；Zbl 1477.18039）
全文： arXiv公司 链接
本田、肯塔罗

使用稳定器形式分析量子程序中的量子纠缠。 （英语） Zbl 1477.81015号

Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，262-272（2015）。
MSC公司：81页40页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.本田}，Electron。程序。西奥。计算。科学。（EPTCS）195，262--272（2015；Zbl 1477.81015）
全文： arXiv公司 链接
斯特凡诺·戈吉奥索;曾威廉

抽象过程理论中的Mermin非局部性。 （英语） Zbl 1477.81010号

Heunen，Chris（ed.）等人，第12届量子物理与逻辑国际研讨会论文集，QPL’15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，228-246（2015）。
MSC公司：第81页，共15页 81页68 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Gogioso}和\textit{W.Zeng}，电子。程序。西奥。计算。科学。（EPTCS）195，228--246（2015；Zbl 1477.81010）
全文： arXiv公司 链接
雅普·伯恩德;弗洛里安·卡姆米勒;拉贾戈帕尔·纳加拉扬

形式化属于使用Coq的量子协议。 （英语） Zbl 1477.68528号

Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，71-83（2015）。
MSC公司：68V20型 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.Boender}等人，《电子》。程序。西奥。计算。科学。（EPTCS）195，71-83（2015年；兹bl 1477.68528）
全文： arXiv公司 链接
科斯汀·伯德斯库;帕南加登，普拉卡什

量子交替：前景和问题。 （英语） Zbl 1477.81026号

Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，33-42（2015）。
MSC公司：81页68 68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bdescu}和\textit{P.Panangaden}，电子。程序。西奥。计算。科学。（EPTCS）195，33-42（2015；Zbl 1477.81026）
全文： arXiv公司 链接
萨姆森·艾布拉姆斯基;多米尼克·霍斯曼

DEMONIC编程：单粒子平衡热力学的计算语言及其形式语义。 （英语） Zbl 1477.80001号

Heunen，Chris（编辑）等人，《第十二届量子物理与逻辑国际研讨会论文集》，QPL'15，英国牛津，2015年7月15日至17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）195，1-16（2015）。
MSC公司：80-04 68甲15 68问题55 第81页第13页 80A10号 03B70号 81页68
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}和\textit{D.Horsman}，电子。程序。西奥。计算。科学。（EPTCS）195，1--16（2015；Zbl 1477.80001）
全文： arXiv公司 链接
沃尔夫拉姆·卡尔

Haskell中交互网络的简单并行实现。 （英语） Zbl 1476.68174号

Dal Lago，Ugo（编辑）等人，第十届计算模型开发国际研讨会论文集，DCM 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）179，33-47（2015）。
MSC公司：68问题85 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{W.Kahl}，电子。程序。西奥。计算。科学。（EPTCS）179，33-47（2015年；兹bl 1476.68174）
全文： arXiv公司 链接
纳鸿·德肖维茨;叶甫根尼娅·法尔科维奇

细胞自动机是通用的。 （英语） Zbl 1476.68161号

Dal Lago，Ugo（编辑）等人，第十届计算模型开发国际研讨会论文集，DCM 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）179，17-32（2015）。
MSC公司：68问题80 04年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}和\textit{E.Falkovich}，电子。程序。西奥。计算。科学。（EPTCS）179，17-32（2015；Zbl 1476.68161）
全文： arXiv公司 链接
爱德华·赫尔曼·海尔

命题逻辑的复杂性和子公式性质。 （英语） Zbl 1486.03015号

Dal Lago，Ugo（编辑）等人，第十届计算模型开发国际研讨会论文集，DCM 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）179，1-16（2015）。
MSC公司：03B05号 03B42号 03B45 03B50号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛E.H.Haeusler｝，电子。程序。西奥。计算。科学。（EPTCS）179，1--16（2015；Zbl 1486.03015）
全文： arXiv公司 链接
龙马Sin'ya

正则语言零定律的自动机理论方法：算法和逻辑方面。 （英语） Zbl 1476.68138号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193172-185（2015）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{R.Sin'ya}，电子。程序。西奥。计算。科学。（EPTCS）193172--185（2015；Zbl 1476.68138）
全文： arXiv公司 链接
马西耶·加兹达;Tim A.C.Willemse。

改进小进度措施。 （英语） Zbl 1476.68319号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193158-171（2015年）。
MSC公司：68瓦40 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gazda}和\textit{T.A.C.Willemse}，电子。程序。西奥。计算。科学。（EPTCS）193、158--171（2015；Zbl 1476.68319）
全文： arXiv公司 链接
马丁·齐默尔曼

参数化线性时序逻辑满足成本：仍然不比LTL更昂贵。 （英语） Zbl 1476.03020号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193、144-157（2015）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Zimmermann}，电子。程序。西奥。计算。科学。（EPTCS）193，144--157（2015；Zbl 1476.03020）
全文： arXiv公司 链接
帕罗什·阿卜杜拉;乔治·德尔扎诺;马可·蒙塔利

具有历史的结构良好的过渡系统。 （英语） Zbl 1476.68162号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193115-128（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Abdulla｝等人，电子。程序。西奥。计算。科学。（EPTCS）193115-128（2015；Zbl 1476.68162）
全文： arXiv公司 链接
雷娜·迪米特洛娃;鲁帕克·马朱姆达尔

序列平行图上可逆有界自动机的可达性分析。 （英语） Zbl 1476.68128号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193100-114（2015）。
MSC公司：65年第68季度 2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Dimitrova}和\textit{R.Majumdar}，电子。程序。西奥。计算。科学。（EPTCS）193100--114（2015；Zbl 1476.68128）
全文： 链接
托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西

系统级形式验证的模拟器语义。 （英语） Zbl 1476.68153号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，86-99（2015）。
MSC公司：60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Mancini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，86-99（2015年；兹bl 1476.68153）
全文： arXiv公司 链接
阿诺·杜兰德;朱哈·科廷宁;尼古拉斯·德鲁吉·阿尔特尔;Väänänen，佐科

团队语义中数据复杂性的可追溯性边界。 （英语） Zbl 1476.68146号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，73-85（2015）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，73--85（2015；Zbl 1476.68146）
全文： arXiv公司 链接
克里斯蒂安·沃尔姆

同步子连续性和不可判定问题的近似。 （英语） Zbl 1476.68141号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，58-72（2015）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Wurm}，电子。程序。西奥。计算。科学。（EPTCS）193，58--72（2015；Zbl 1476.68141）
全文： arXiv公司 链接
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;阿诺德·桑尼尔

\（\mathsf{ATL}_\mathit{sc}\），部分观察。 （英语） Zbl 1476.68151号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，43-57（2015）。
MSC公司：60年第68季度 03B44号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{F.Laroussinie}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，43-57（2015；Zbl 1476.68151）
全文： arXiv公司 链接
菲利普·霍夫曼

谈判游戏。 （英语） Zbl 1477.68179号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，31-42（2015年）。
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.霍夫曼}，电子。程序。西奥。计算。科学。（EPTCS）193，31-42（2015；Zbl 1477.68179）
全文： arXiv公司 链接
帕特里夏·布耶;尼古拉斯·马基;Randour，Mickael米凯尔;Larsen，Kim G。;西蒙·劳尔森

平均能量游戏。 （英语） Zbl 1476.68024号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，1-15（2015）。
MSC公司：68平方米 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，1--15（2015；Zbl 1476.68024）
全文： arXiv公司 链接
鲁本·罗伊，N.S。

对分解演算进行编码。 （英语） Zbl 1476.68182号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190、76-90（2015）。
MSC公司：68问题85 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{R.N.S.Rowe}，电子。程序。西奥。计算。科学。（EPTCS）190，76--90（2015；Zbl 1476.68182）
全文： arXiv公司 链接
美克·哈特泽尔;克里斯托夫·瓦格纳;柯斯汀·彼得斯;乌韦·内斯特曼

将CSP编码为CCS。 （英语） Zbl 1476.68173号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，61-75（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Hatzel｝等人，电子。程序。西奥。计算。科学。（EPTCS）190，61--75（2015；Zbl 1476.68173）
全文： arXiv公司 链接
柯斯汀·彼得斯;罗布·范格拉贝克

分析和比较编码标准。 （英语） Zbl 1476.68181号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190、46-60（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}和\textit{R.van Glabbeek}，电子。程序。西奥。计算。科学。（EPTCS）190，46--60（2015；Zbl 1476.68181）
全文： arXiv公司 链接
佩德罗·R·达吉尼奥。;李，马蒂亚斯·戴维;丹尼尔·格布勒

凸概率和抽象概率互模拟的SOS规则格式。 （英语） Zbl 1476.68170号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，31-45（2015）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛P.R.D’Argenio｝等人，电子。程序。西奥。计算。科学。（EPTCS）190，31-45（2015；Zbl 1476.68170）
全文： arXiv公司 链接
乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。

将补偿原语作为可适应的进程。 （英语） Zbl 1476.68171号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，16-30（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Dedeić}等人，《电子》。程序。西奥。计算。科学。（EPTCS）190，16--30（2015；Zbl 1476.68171）
全文： arXiv公司 链接
奥尔内拉·达达;佩雷斯（Jorge A.Pérez）。

比较无死锁会话类型的进程。 （英语） Zbl 1476.68169号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，1-15（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛O.Dardha｝和\textit｛J.A.Pérez｝，电子。程序。西奥。计算。科学。（EPTCS）190，1--15（2015；Zbl 1476.68169）
全文： arXiv公司 链接
阿布巴卡尔·哈桑;伊恩·麦基;佐藤、新亚

交互网络的实现模型。 （英语） Zbl 1476.68122号

Middeldorp，Aart（ed.）等人，《第八届术语和图形计算国际研讨会论文集》，TERMGRAPH 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）183，66-80（2015）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Hassan}等人，《电子》。程序。西奥。计算。科学。（EPTCS）183，66--80（2015；Zbl 1476.68122）
全文： arXiv公司 链接
克莱门斯，抓斗手;文森特·范·奥斯特罗姆

嵌套术语图（正在进行的工作）。 （英语） Zbl 1476.68121号

Middeldorp，Aart（ed.）等人，《第八届术语和图形计算国际研讨会论文集》，TERMGRAPH 2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）183，48-65（2015年）。
MSC公司：2012年第68季度 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{C.抓斗层}和\textit{V.范奥斯特罗姆}，电子。程序。西奥。计算。科学。（EPTCS）183、48--65（2015；Zbl 1476.68121）
全文： arXiv公司 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件