铃木俊雄 Yamakami关于非一致上下文无关语言问题的解决方案。 (英语) Zbl 1512.68145号 IAENG,国际期刊申请。数学。 46,第2期,187-193(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.铃木},IAENG,Int.J.Appl。数学。46,编号2187-193(2016年;兹bl 1512.68145)
Uday Singh博士Rajput P对NP:不仅仅是一个奖金问题。 (英语) Zbl 07676615号 镓ṇita公司 6687-92(2016).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{佐治亚州拉吉普特博士}ṇita 66,87-92(2016;Zbl 07676615) 全文: 链接
阿格涅斯卡·兹布列兹尼。 时间加权解释系统SMT解算器的比较。 (英语) Zbl 1513.68029号 科学。问题,Jan Długosz Univ.Częst。,数学。 21, 189-206 (2016).MSC公司:60年第68季度 03B42型 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Zbrzezny},科学。问题,Jan Długosz Univ.Częst。,数学。21189--206(2016;Zbl 1513.68029) 全文: 内政部
沃纳·什尼亚克(Bożena);Szcze she niak,伊雷内乌斯 基于SMT的交际承诺验证。 (英语) Zbl 1513.68028号 科学。问题,Jan Długosz Univ.Częst。,数学。 21, 161-187 (2016).MSC公司:60年第68季度 03B42型 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{B.Wożna-Szcze shi niak}和\textit{I.Szcze ssi niak},科学。问题,Jan Długosz Univ.Częst。,数学。21161-187(2016;Zbl 1513.68028) 全文: 内政部
Vivek Nigam先生;卡罗琳·塔尔科特;艾瑞斯·乌尔奎察 走向网络物理安全协议的自动验证:限定定时入侵者的数量。 (英语) Zbl 1499.68053号 Askoxylakis,Ioannis(编辑)等人,《计算机安全——ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。9879, 450-470 (2016).MSC公司:68平方米25 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人,Lect。注释计算。科学。9879、450-470(2016年;Zbl 1499.68053) 全文: 内政部 arXiv公司
迈托·阿拉皮尼斯;维罗尼克·科尔蒂尔;史蒂夫·克莱默 什么时候三个选民就足够拥有隐私财产了? (英语) Zbl 1499.68045号 Askoxylakis,Ioannis(编辑)等人,《计算机安全–ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。9879, 241-260 (2016).MSC公司:68平方米25 68第27页 2010年第68季度 91B12号机组 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}等人,Lect。注释计算。科学。9879、241--260(2016年;Zbl 1499.68045) 全文: 内政部
马可·瓦塞纳;巴勃罗·布伊拉斯;韦伊,卢卡斯;亚历杭德罗·拉索 灵活地操作信息流控制库的标记值。 (英语) Zbl 1499.68060号 Askoxylakis,Ioannis(编辑)等人,《计算机安全–ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9878, 538-557 (2016).MSC公司:68平方米25 68甲18 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Vassena}等人,Lect。注释计算。科学。9878、538--557(2016年;Zbl 1499.68060) 全文: 内政部
娜塔莉亚·比埃洛娃;塔玛拉·雷兹克 发现差异:安全的多执行和多方面。 (英语) Zbl 1499.68047号 Askoxylakis,Ioannis(编辑)等人,《计算机安全–ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9878, 501-519 (2016).MSC公司:68平方米25 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{N.Bielova}和\textit{T.Rezk},莱克特。注释计算。科学。9878、501--519(2016;Zbl 1499.68047) 全文: 内政部 哈尔
张慧;吴金照;谢颖;曹俊岳 MPSoC核心协调可靠性和性能的正式验证。 (中文。英文摘要) Zbl 1483.68214号 J.四川大学工程科学。预计起飞时间。 48,第3期,107-114(2016).MSC公司:60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}等人,四川大学工程科学。第48版,第3期,107--114(2016;Zbl 1483.68214)
常、关羽;杨海成;莫荣 一种基于Petri网的业务流程验证新方法。 (中文。英文摘要) Zbl 1483.68225号 J.四川大学工程科学。预计起飞时间。 48,第6号,180-187(2016).MSC公司:68问题85 60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{G.Y.Chang}等人,四川大学工程科学学院。第48版,第6号,180--187(2016;Zbl 1483.68225)
斯里尼瓦桑阿鲁纳查拉姆;伊利亚斯·科齐里亚斯 通过自相关实现难以满足的3-SAT实例。 (英语) Zbl 1484.68145号 J.满意。布尔模型。计算。 10(2016-2019), 11-22 (2016).MSC公司:68兰特 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Arunachalam}和\textit{I.Kotsireas},J.Satisf。布尔模型。计算。10、11-22(2016;Zbl 1484.68145) 全文: 内政部
于全;李彦军;王燕京 一致性规划的动态认知框架。 (英语) Zbl 1483.68391号 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215298-318(2016)。MSC公司:68T27型 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Yu}等人,《电子》。程序。西奥。计算。科学。(EPTCS)215298-318(2016;Zbl 1483.68391) 全文: arXiv公司 链接
罗恩·范德梅登;马纳斯·K·帕特拉。 模型检验概率时间认知逻辑的不确定案例(扩展抽象)。 (英语) Zbl 1483.68210号 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215264-282(2016)。MSC公司:60年第68季度 03年2月25日 03B42型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra},电子。程序。西奥。计算。科学。(EPTCS)215264--282(2016;Zbl 1483.68210) 全文: arXiv公司 链接
范德波尔,Iris;艾丽斯·范·罗伊;贾库布·西曼尼克 基于动态认知逻辑的心智理论模型的参数化复杂性结果。 (英语) Zbl 1483.68387号 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215246-263(2016)。MSC公司:68T27型 03B42型 68年第27季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.van de Pol}等人,《电子》。程序。西奥。计算。科学。(EPTCS)215246--263(2016年;兹bl 1483.68387) 全文: arXiv公司 链接
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;斯梅茨,索尼娅 归纳问题的可解性:认知拓扑学研究。 (英语) Zbl 1483.68367号 Ramanujam,R.(编辑),《理性与知识理论方面第十五次会议论文集》,TARK 2015,卡耐基梅隆大学,美国匹兹堡,2015年6月4日至6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21581-98(2016)。MSC公司:68T27型 03B42型 68问题32 68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人,《电子》。程序。西奥。计算。科学。(EPTCS)21581--98(2016;Zbl 1483.68367) 全文: arXiv公司 链接
约翰内斯·沃尔德曼 有效完成加权自动机。 (英语) Zbl 1483.68152号 Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,55-62(2016)。MSC公司:2012年第68季度 05C22号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Waldmann},电子。程序。西奥。计算。科学。(EPTCS)225,55--62(2016;Zbl 1483.68152) 全文: arXiv公司 链接
安东·萨利赫梅托夫 使用嵌入式read-back的令牌传递优化缩减。 (英语) Zbl 1482.68123号 Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,45-54(2016年)。MSC公司:2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Salikhmetov},电子。程序。西奥。计算。科学。(EPTCS)225,45-54(2016;Zbl 1482.68123) 全文: arXiv公司 链接
丰满,细节 关于图形程序的推理。 (英语) Zbl 1482.68122号 Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,35-44(2016)。MSC公司:2012年第68季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Plump},电子。程序。西奥。计算。科学。(EPTCS)225,35-44(2016;Zbl 1482.68122) 全文: arXiv公司 链接
格奥尔格·莫瑟;玛丽亚·谢特(Maria A.Schett)。 非循环项图的Kruskal树定理。 (英语) Zbl 1482.68121号 Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,25-34(2016)。MSC公司:2012年第68季度 05年10月 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{G.Moser}和\textit{M.A.Schett},电子。程序。西奥。计算。科学。(EPTCS)225,25-34(2016;Zbl 1482.68121) 全文: arXiv公司 链接
伊恩·麦基;佐藤、新亚 用交互网络重写局部图。 (英语) Zbl 1482.68119号 Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,15-24(2016)。MSC公司:2012年第68季度 68号30 68周01 PDF格式BibTeX公司 XML格式引用 \textit{I.Mackie}和\textit{S.Sato},电子。程序。西奥。计算。科学。(EPTCS)225,15--24(2016;Zbl 1482.68119) 全文: arXiv公司 链接
伊恩·麦基 将过程网络编译为交互网络。 (英语) Zbl 1482.68155号 Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,5-14(2016)。MSC公司:68问题85 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Mackie},电子。程序。西奥。计算。科学。(EPTCS)225,5--14(2016;Zbl 1482.68155) 全文: arXiv公司 链接
帕加内利,加布里埃尔 Horn二进制序列化分析。 (英语) Zbl 1482.68158号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21956-68(2016)。MSC公司:99年第68季度 03B70号 68立方英尺 68周27 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.Paganelli},电子。程序。西奥。计算。科学。(EPTCS)219,56--68(2016;Zbl 1482.68158) 全文: arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 从Horn子句验证条件中删除不必要的变量。 (英语) Zbl 1482.68136号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21949-55(2016)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,49-55(2016;Zbl 1482.68136) 全文: arXiv公司 链接
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 使用线性Horn子句求解器求解非线性Horn子句。 (英语) Zbl 1482.68141号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)219,33-48(2016)。MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,33-48(2016;Zbl 1482.68141) 全文: arXiv公司 链接
彼得·施拉梅尔 分解验证问题编码的挑战。 (英语) Zbl 1482.68146号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21929-32(2016)。MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel},电子。程序。西奥。计算。科学。(EPTCS)219,29-32(2016;Zbl 1482.68146) 全文: arXiv公司 链接
皮埃尔·洛伊奇·卡洛什;Temesghen Kahsai;泽维尔Thirioux 作为模块化Horn子句的分层状态机。 (英语) Zbl 1482.68102号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)219,15-28(2016)。MSC公司:2009年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.Garoche}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,15--28(2016;Zbl 1482.68102) 全文: arXiv公司 链接
Tewodros A.Beyene。;科内留·波皮亚;安德烈·里巴尔琴科 通过Horn约束求解实现高效的CTL验证。 (英语) Zbl 1482.68134号 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2191-14(2016)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Beyene}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,1-14(2016年;兹bl 1482.68134) 全文: arXiv公司 链接
阿夫沙里语、巴哈雷语;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 关于LK的Herbrand内容。 (英语) Zbl 1482.03014号 Kohlenbach,Ulrich(编辑)等人,《第六届经典逻辑与计算国际研讨会论文集》,CL&C 2016,葡萄牙波尔图,2016年6月23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2131-10(2016)。MSC公司:07年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Afshari}等人,电子。程序。西奥。计算。科学。(EPTCS)213,1--10(2016;Zbl 1482.03014) 全文: arXiv公司 链接
马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 具有检查点的可逆多方会话。 (英语) Zbl 1478.68190号 Gebler,Daniel(ed.)等人,第23届并发表达性国际研讨会和第13届结构操作语义研讨会论文集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22260-74(2016)。MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}和\textit{P.Giannini},电子。程序。西奥。计算。科学。(EPTCS)222,60--74(2016;Zbl 1478.68190) 全文: arXiv公司 链接
李,马蒂亚斯·戴维;巴斯·卢提克 (pi)演算的唯一并行分解。 (英语) Zbl 1478.68193号 Gebler,Daniel(编辑)等人,第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22245-59(2016)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Lee}和\textit{B.Luttik},电子。程序。西奥。计算。科学。(EPTCS)222,45-59(2016;Zbl 1478.68193) 全文: arXiv公司 链接
桑吉瓦·普拉萨德;Lenore D.扎克。 自我相似培养韧性。 (英语) Zbl 1478.68195号 Gebler,Daniel(ed.)等人,第23届并发表达性国际研讨会和第13届结构操作语义研讨会论文集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22230-44(2016)。MSC公司:68问题85 68米15 68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{S.Prasad}和\textit{L.D.Zuck},电子。程序。西奥。计算。科学。(EPTCS)222,30--44(2016;Zbl 1478.68195) 全文: arXiv公司 链接
徐,西安 对名称和进程进行参数化的高阶进程。 (英语) Zbl 1478.68196号 Gebler,Daniel(编辑)等人,第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)222,15-29(2016年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu},电子。程序。西奥。计算。科学。(EPTCS)222,15-29(2016年;兹bl 1478.68196) 全文: arXiv公司 链接
爱德华·巴拉诺夫;西蒙·布利兹 关于BIP表达能力的注释。 (英语) Zbl 1477.68175号 Gebler,Daniel(编辑)等人,第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2221-14(2016)。MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Baranov}和\textit{S.Bliudze},电子。程序。西奥。计算。科学。(EPTCS)222,1-14(2016;Zbl 1477.68175) 全文: arXiv公司 链接
Leander Tentrup公司;亚历山大·韦内特;马丁·齐默尔曼 在双指数时间内,逼近即时-LTL可实现性的最佳界。 (英语) Zbl 1478.68179号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226302-315(2016)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226302-315(2016年;兹bl 1478.68179) 全文: arXiv公司 链接
吉木中村 正则语言的渐近概率几乎等价性及其计算复杂性。 (英语) Zbl 1478.68132号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226272-286(2016)。MSC公司:65年第68季度 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Nakamura},电子。程序。西奥。计算。科学。(EPTCS)226272-286(2016年;兹bl 1478.68132) 全文: arXiv公司 链接
瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼 分布式PROMPT-LTL合成。 (英语) Zbl 1478.68163号 Cantone,Domenico(ed.)等人,《第七届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2016,意大利卡塔尼亚,2016年9月14日至16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226228-241(2016)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226228--241(2016;Zbl 1478.68163) 全文: arXiv公司 链接
米尔卡胡塔加隆;诺伯特·亨德斯哈根;迪特里赫·库斯克;马丁·兰格;艾蒂安·洛兹 跟踪语言包含的多缓冲区模拟。 (英语) Zbl 1478.68130号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226213-227(2016)。MSC公司:65年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hutagalung}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226213-227(2016;Zbl 1478.68130) 全文: arXiv公司 链接
皮埃尔·甘蒂;达米尔·瓦普特 有界振荡下推自动机。 (英语) 兹比尔1478.68127 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226178-197(2016)。MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.甘蒂}和\textit{D.Valput},电子。程序。西奥。计算。科学。(EPTCS)226178--197(2016;Zbl 1478.68127) 全文: arXiv公司 链接
盖尔·方丹;法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;Loredana索伦蒂诺 计算树逻辑中的循环检测。 (英语) Zbl 1478.68158号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226164-177(2016)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226164--177(2016;Zbl 1478.68158) 全文: 链接
曼弗雷德·德罗斯特;乔治·拉霍尼斯 加权线性动态逻辑。 (英语) Zbl 1478.03065号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226149-163(2016)。MSC公司:03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{G.Rahonis},电子。程序。西奥。计算。科学。(EPTCS)226149--163(2016;Zbl 1478.03065) 全文: arXiv公司 链接
弗洛里安·布鲁斯 对于高阶模态不动点逻辑,交替是严格的。 (英语) Zbl 1478.03035号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226105-119(2016)。MSC公司:03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯},电子。程序。西奥。计算。科学。(EPTCS)226105--119(2016;Zbl 1478.03035) 全文: arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 模型检查艾伦关系的逻辑遇见和由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 (英语) Zbl 1478.68148号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22676-90(2016)。MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226、76--90(2016年;Zbl 1478.68148) 全文: arXiv公司 链接
帕特里夏·鲍耶;尼古拉斯·马基;斯坦,丹尼尔 终端报酬并发博弈中不精确偏差下的随机均衡。 (英语) Zbl 1478.91035号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22661-75(2016)。MSC公司:91A43型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226,61-75(2016;Zbl 1478.91035) 全文: arXiv公司 链接
马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗 对等游戏的延迟促销政策。 (英语) Zbl 1478.68144号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22630-45(2016)。MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226,30--45(2016;Zbl 1478.68144) 全文: 链接
啊,帕特里克;哈,迈克尔 奇偶博弈的部分解算器:有效的多项式时间合成。 (英语) Zbl 1478.68139号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2261-15(2016)。MSC公司:60年第68季度 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ah-Fat}和\textit{M.Huth},电子。程序。西奥。计算。科学。(EPTCS)226,1--15(2016;Zbl 1478.68139) 全文: arXiv公司 链接
丹尼尔·艾哈曼;塔尔莫乌斯塔卢 将容器定向为类别。 (英语) Zbl 1477.68169号 Atkey,Robert(ed.)等人,《第六届数学结构函数编程研讨会论文集》,2016年MSFP,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)207,89-98(2016)。MSC公司:68问题65 18立方厘米 68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Ahman}和\textit{T.Uustalu},电子。程序。西奥。计算。科学。(EPTCS)207,89--98(2016;Zbl 1477.68169) 全文: arXiv公司 链接
马西耶·皮罗格 Eilenberg-Moore幺半群和回溯单子变换。 (英语) Zbl 1477.18013号 Atkey,Robert(ed.)等人,《第六届数学结构函数编程研讨会论文集》,2016年MSFP,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)207,23-56(2016)。MSC公司:18立方厘米 2005年5月18日 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Piróg},电子。程序。西奥。计算。科学。(EPTCS)207,23--56(2016;Zbl 1477.18013) 全文: arXiv公司 链接
毛里西奥·托罗;安娜·菲利普;赛尔阿博莱达;玛丽亚·普埃尔塔;Vélez S.、Carlos M。 空间显式生态模型过程演算的平均场语义。 (英语) Zbl 1480.92232号 Muñoz,César A.(ed.)等人,第十一届计算模型发展国际研讨会论文集,2015年DCM,哥伦比亚卡利,2015年10月28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)204、79-94(2016)。MSC公司:92D40型 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Toro}等人,《电子》。程序。西奥。计算。科学。(EPTCS)204,79--94(2016;Zbl 1480.92232) 全文: arXiv公司 链接
巴布亚州索波辛斯基 使用Petri网对并发系统进行组合模型检查。 (英语) Zbl 1477.68184号 Muñoz,César A.(编辑)等人,第十一届计算模型发展国际研讨会论文集,DCM 2015,哥伦比亚卡利,2015年10月28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)204,19-30(2016年)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Sobocinnski},电子。程序。西奥。计算。科学。(EPTCS)204,19-30(2016年;兹bl 1477.68184) 全文: arXiv公司 链接
毛里西奥·阿亚拉·林科恩 将PVS中的汇流形式化。 (英语) Zbl 1477.68164号 Muñoz,César A.(编辑)等人,第十一届计算模型发展国际研讨会论文集,DCM 2015,哥伦比亚卡利,2015年10月28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)204,11-17(2016)。MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón},电子。程序。西奥。计算。科学。(EPTCS)204,11-17(2016;Zbl 1477.68164) 全文: arXiv公司 链接
皮埃尔·布赫斯;马可·曼纳;迈克尔·莫拉克;安德烈亚斯·皮耶利斯 基于保护的析取元组生成依赖项。 (英语) Zbl 1474.68084号 ACM事务处理。数据库系统。 41号第4条第27条第45页(2016年).MSC公司:第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bourhis}等人,ACM Trans。数据库系统。41,第4号,第27条,45页(2016年;Zbl 1474.68084) 全文: 内政部 链接
皮埃尔·布赫斯;小狗,加布里埃尔;克里斯蒂安·里维罗斯;斯塔奥维,Sławek 正则树语言的有界可修复性。 (英语) Zbl 1474.68170号 ACM事务处理。数据库系统。 41,第3号,第18条,45页(2016年).MSC公司:65年第68季度 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Bourhis}等人,ACM Trans。数据库系统。41,第3号,第18条,45页(2016年;Zbl 1474.68170) 全文: 内政部 哈尔
萨拉·科恩;Weiss,Yaacov Y。 从示例图学习树模式的复杂性。 (英语) Zbl 1474.68246号 ACM事务处理。数据库系统。 41,第2号,第14条,44页(2016年).MSC公司:68T05型 65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cohen}和\textit{Y.Y.Weiss},ACM翻译。数据库系统。41,第2号,第14条,44页(2016年;Zbl 1474.68246) 全文: 内政部
马塞洛·阿里纳斯;冈萨洛·迪亚兹。 一阶逻辑可定义性问题的精确复杂性。 (英语) Zbl 1474.68074号 ACM事务处理。数据库系统。 41,第2号,第13条,第14页(2016年).MSC公司:第68页,共15页 03B10号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arenas}和\textit{G.I.Diaz},ACM翻译。数据库系统。41,第2号,第13条,第14页(2016年;Zbl 1474.68074) 全文: 内政部
罗伯特·芬克;丹·奥尔特阿努 概率数据库中带否定查询的二分法。 (英语) Zbl 1474.68098号 ACM事务处理。数据库系统。 41,第1号,第4条,47页(2016年).MSC公司:第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Fink}和\textit{D.Olteanu},ACM Trans。数据库系统。41,第1号,第4条,47页(2016年;Zbl 1474.68098) 全文: 内政部 链接
杨晓春;邱、陶;王斌;郑白华;王耀树;李,陈 消极因素。改进字符串中的正则表达式匹配。 (英语) Zbl 1474.68131号 ACM事务处理。数据库系统。 40,第4号,第25条,46页(2016年).MSC公司:第68页,共15页 65年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,ACM Trans。数据库系统。40,第4号,第25条,46页(2016年;Zbl 1474.68131) 全文: 内政部
汤姆·J·阿梅罗特。;巴斯·凯茨曼;法兰克·奈文;丹尼尔·津恩 声明性网络的单调性较弱:对CALM猜想的更精细回答。 (英语) Zbl 1474.68071号 ACM事务处理。数据库系统。 40号第4条第21条第45页(2016年).MSC公司:第68页,共15页 68英里11 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Ameloot}等人,ACM Trans。数据库系统。40,第4号,第21条,45页(2016年;Zbl 1474.68071) 全文: 内政部
安德烈亚斯·温斯克 探索离散动力学。第二修订版。 (英语) Zbl 1473.68011号 Frome:Luniver出版社(ISBN 978-1-905986-47-7/pbk)。第578页。(2016).MSC公司:68-02 2002年7月37日 37-04 37B15号机组 68-04 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Wuensche},探索离散动力学。第2次修订版。Frome:Luniver出版社(2016;Zbl 1473.68011)
米哈伊尔·尼古拉埃维奇(Mikhail Nikolaevich),阿列克谢夫(Alekseev);Alekseev,Födor Mikhaĭlovich 关于最优标记算法。 (俄语。英文摘要) Zbl 1464.05332号 车里雅宾斯基-材料Zh。 2016年第1期第16-23页.MSC公司:05C85号 05C78号 90C27型 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Alekseev}和\textit{F.M.Alekseev},车里雅宾斯基-材料Zh。1、第1号、第16-23号(2016;Zbl 1464.05332) 全文: MNR公司
M.Selva Rathi先生;J.迈克尔·安娜·斯宾尼利 有限群的基于蕴涵的模糊半自动机及其性质。 (英语) Zbl 1467.68097号 Chen,Chuei Yee(编辑)等,《通过数学和统计研究进行创新》。2016年1月26日至28日在马来西亚吉隆坡举行的第二届国际数学科学与统计会议记录。纽约州梅尔维尔:美国物理研究所(AIP)。AIP确认程序。1739,文章ID 020010,8 p.(2016)。MSC公司:70年第68季度 20N25型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Rathi}和\textit{J.M.A.Spinneli},AIP Conf.Proc。1739,文章ID 020010,8 p.(2016;Zbl 1467.68097) 全文: 内政部
拉兹万(Razvan);索菲亚·德罗索波卢;本杰明·埃格兰·穆勒;雷诺,K.鲁斯坦M。;辛杜兰·西瓦拉扬;舵手,马克 重新访问快速排序。验证快速排序的替代版本。 (英语) Zbl 1475.68102号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 407-426 (2016).MSC公司:68页第10页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Certeseanu}等人,Lect。注释计算。科学。9660407--426(2016;Zbl 1475.68102) 全文: 内政部
马丁·斯特芬 带有Goroutines和延迟函数的并发演算的一种小步语义。 (英语) Zbl 1475.68050号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。第9660、393-406页(2016年)。MSC公司:68甲15 68甲19 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Steffen},莱克特。注释计算。科学。9660、393——406(2016年;兹比尔1475.68050) 全文: 内政部
马尔詹·西尔贾尼;埃桑·卡梅斯帕纳 准时演员。 (英语) Zbl 1475.68213号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 373-392 (2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Sirjani}和\textit{E.Khamespanah},莱克特。注释计算。科学。9660,373--392(2016;Zbl 1475.68213) 全文: 内政部
菲利普·吕默;Yi,王 通过概率测试表征模拟。 (英语) Zbl 1475.68212号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 360-372 (2016).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{P.Rümmer}和\textit{W.Yi},Lect。注释计算。科学。9660,360-372(2016;Zbl 1475.68212) 全文: 内政部
雅各布·毛罗;吉安路易吉·扎瓦塔罗 组件部署中同步的表现性。 (英语) Zbl 1475.68211号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 344-359 (2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Mauro}和\textit{G.Zavataro},莱克特。注释计算。科学。9660344--359(2016;Zbl 1475.68211) 全文: 内政部 哈尔
马克斯·诺布特;迈赫迪·达斯塔尼;John-Jules Ch.梅耶。 用于验证规范化多智能体系统的正式框架。 (英语) Zbl 1475.68189号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660294-308(2016年)。MSC公司:60年第68季度 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Knobbout}等人,Lect。注释计算。科学。9660,294--308(2016;Zbl 1475.68189) 全文: 内政部 链接
米歇尔·赫文斯泰恩;法哈德·阿尔巴 为故事和游戏中的时间旅行建立一个正式的基础。 (英语) 邮编1475.00005 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 261-276 (2016).MSC公司:00A08号 03B44号 60年第68季度 81第05页 83立方厘米10 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Helvensteijn}和\textit{F.Arbab},莱克托。注释计算。科学。9660,261--276(2016;Zbl 1475.00005) 全文: 内政部
格罗尼韦根,L.P.J。;R·柯伊伯。;德文克,E.P。 走向范式的证明方法。 (英语) Zbl 1475.68184号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 242-260 (2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.P.J.Groenewegen}等人,Lect。注释计算。科学。9660,242--260(2016;Zbl 1475.68184) 全文: 内政部
比约恩·恩格尔曼;奥尔德罗格(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},莱克特。注释计算。科学。9660,173--193(2016;Zbl 1475.68085) 全文: 内政部 arXiv公司
雷纳·哈内尔;内森·瓦瑟;理查德·布贝尔 带有符号轴的数组抽象。 (英语) Zbl 1475.68088号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 104-121 (2016).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hähnle}等人,Lect。注释计算。科学。9660,104-121(2016;Zbl 1475.68088) 全文: 内政部
阿塞特夫·诺艾,勒克雷米奥拉;萨德克·本萨勒姆;马吕斯·博兹加 混合系统验证的组合方法。 (英语) Zbl 1475.68173号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。第9660、88-103页(2016年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aštefnoaei}等人,莱克特。注释计算。科学。9660,88-103(2016;Zbl 1475.68173) 全文: 内政部 哈尔
法哈德·阿尔巴 适当的协议。 (英语) Zbl 1475.68200号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660,65-87(2016)。MSC公司:68问题85 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab},莱克特。注释计算。科学。9660,65-87(2016年;兹比尔1475.68200) 全文: 内政部
大卫·安科纳;安吉洛·费兰多;维维亚娜·马斯卡迪 比较跟踪表达式和线性时序逻辑以进行运行时验证。 (英语) Zbl 1475.68172号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 47-64 (2016).MSC公司:60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人,Lect。注释计算。科学。9660,47-64(2016;Zbl 1475.68172) 全文: 内政部
艾尔维拉·阿尔伯特;科里亚斯,杰苏斯;吉列尔莫·罗曼·迪兹 分布式系统的资源分析。 (英语) Zbl 1475.68034号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 33-46 (2016).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Lect。注释计算。科学。9660,33-46(2016;Zbl 1475.68034) 全文: 内政部
伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;弗洛里安·洛伯;马丁·塔普勒 实时模型的一致性检查。符号执行与有界模型检查。 (英语) Zbl 1475.68171号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660,15-32(2016年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}等人,Lect。注释计算。科学。9660,15-32(2016年;兹bl 1475.68171) 全文: 内政部
威廉·鲍尔·德·罗弗 最热烈的祝贺,弗兰克! (英语) Zbl 1475.68013号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 9-11 (2016).MSC公司:68-03 01A70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever},莱克特。注释计算。科学。9660,9--11(2016;Zbl 1475.68013) 全文: 内政部
帕南加登,普拉卡什 对弗兰克的美好回忆。 (英语) Zbl 1475.68015号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 6-8 (2016).MSC公司:68-03 01A70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden},莱克特。注释计算。科学。9660,6--8(2016;Zbl 1475.68015) 全文: 内政部
阿普特,克日什托夫R。 程序验证:错误是人的。 (英语) Zbl 1475.68012号 阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 3-5 (2016).MSC公司:68-03 01A70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},莱克特。注释计算。科学。9660,3--5(2016;Zbl 1475.68012) 全文: 内政部
张晓明;段振华;田聪 PPTL_SPIN:一个用于命题投影时间逻辑的基于SPIN的模型检查器。 (英语) Zbl 1461.68124号 刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 195-205 (2016).MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,Lect。注释计算。科学。9559195-205(2016;Zbl 1461.68124) 全文: 内政部
田聪;宋军;段振华;段,赵 LtlNfBa公司:使LTL翻译更实用。 (英语) Zbl 1461.68121号 刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 179-194 (2016).MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人,Lect。注释计算。科学。9559179--194(2016;Zbl 1461.68121) 全文: 内政部
温云清;李国强;袁,Shoji 具有一个可更新时钟的可更新时间自动机的可达性分析。 (英语) Zbl 1461.68109号 刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 147-161 (2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wen}等人,Lect。注释计算。科学。95591147-161(2016年;兹比尔1461.68109) 全文: 内政部
信中岛;Si-Mohamed Lamraoui 使用最大可满足性的时间自动机的故障定位。 (英语) Zbl 1461.68103号 刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 72-85 (2016).MSC公司:65年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.Nakajima}和\textit{S.-M.Lamraoui},莱克特。注释计算。科学。9559,72-85(2016;Zbl 1461.68103) 全文: 内政部
中川昭一;一郎·哈索 具有未来折扣的LTL近似最优调度。 (英语) Zbl 1457.68167号 Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 112-130 (2016).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Nakagawa}和\textit{I.Hasuo},Lect。注释计算。科学。9533112-130(2016年;兹bl 1457.68167) 全文: 内政部 arXiv公司
乔治·德尔扎诺 参数化系统中的数据跟踪。 (英语) Zbl 1457.68186号 Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 32-46 (2016).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Delzanno},Lect。注释计算。科学。9533,32-46(2016;Zbl 1457.68186) 全文: 内政部
洛科·德尼古拉;埃尔南·梅尔格拉蒂 多方测试预订单。 (英语) 兹比尔1457.68022 Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 16-31 (2016).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{H.Melgratti},莱克特。注释计算。科学。9533,16-31(2016;Zbl 1457.68022) 全文: 内政部 arXiv公司
塞尔吉·布尔苏克 应用像素中的安全两部分计算:模型和验证。 (英语) Zbl 1457.68180号 Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 1-15 (2016).MSC公司:68问题85 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bursuc},莱克特。注释计算。科学。9533,1-15(2016;Zbl 1457.68180) 全文: 内政部 链接
Poh,侯顺;马金·马基维奇兹;Pawe Kurzyáski;亚历山德罗·塞雷;达戈米尔·卡兹利科夫斯基;克里斯蒂安·库齐费尔 用压缩软件探测量子经典边界。 (英语) Zbl 1456.68038号 新J.Phys。 18,第3号,文章ID 035011,9 p.(2016).MSC公司:68页30 68问题30 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{H.S.Poh}等人,《新物理学杂志》。18,第3号,文章ID 035011,9 p.(2016;Zbl 1456.68038) 全文: 内政部 arXiv公司
Sabel’feld,K.K。;A.E.基列娃。 二维和三维非均匀半导体中电子和空穴复合的离散随机模拟。 (俄语。英文摘要) Zbl 1490.82025 普里克尔。磁盘重新启动。材料。 2016年第4号(34)、第110-127号(2016).MSC公司:82天37分 65立方厘米35 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.K.Sabel'felfd}和\textit{A.E.Kireeva},Prikl。磁盘重新启动。材料2016,第4号(34),110-127(2016;Zbl 1490.82025) 全文: 内政部 MNR公司 链接
库兹涅佐夫,A.A。 计算指数为5的有限两生成群中增长函数的算法。 (俄语。英文摘要) Zbl 1490.20027号 普里克尔。磁盘重新启动。材料。 2016年第3号(33)、116-125号(2016).MSC公司:20F05型 20层50 20-08 65年第68季度 20层69 PDF格式BibTeX公司 XML格式引用 \textit{A.A.库兹涅佐夫},普里克尔。磁盘重新启动。材料2016,第3号(33),116-125(2016;Zbl 1490.20027) 全文: 内政部 MNR公司
Rybalov,A.N。 离散对数问题的一般复杂性。 (俄语。英文摘要) Zbl 1490.68119号 普里克尔。磁盘重新启动。材料。 2016年第3号(33)、93-97号(2016).MSC公司:65年第68季度 2016年11月 2010年1月20日 2017年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Rybalov},普里克尔。磁盘重新启动。材料2016,第3号(33),93-97(2016;Zbl 1490.68119) 全文: 内政部 MNR公司 链接
杜尔涅夫。;O.V.泽特基纳。;A.I.泽特基纳。;D.M.穆林。 关于coNP完备的“内射背包”问题。 (俄语。英文摘要) 兹比尔1490.68111 普里克尔。磁盘重新启动。材料。 2016年第3号(33)、85-92号(2016).MSC公司:2017年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Durnev}等人,Prikl。磁盘重新启动。材料2016,第3号(33),85-92(2016;Zbl 1490.68111) 全文: 内政部 MNR公司
Rybalov,A.N。 布尔公式有效性问题的一般复杂性。 (俄语。英文摘要) Zbl 1490.68114号 普里克尔。磁盘重新启动。材料。 2016年第2号(32)、119-126号(2016).MSC公司:2017年第68季度 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Rybalov},普里克尔。磁盘重新启动。材料2016,编号2(32),119-126(2016;Zbl 1490.68114) 全文: 内政部 MNR公司
谢尔盖夫,I.S。 关于在图灵机上计算素数表的复杂性。 (俄语。英文摘要) Zbl 1467.68071号 普里克尔。磁盘重新启动。材料。 2016年第1期(31)、86-91期(2016).MSC公司:65年第68季度 11A41号机组 2016年11月 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Sergeev},Prikl。磁盘重新启动。材料2016,编号1(31),86-91(2016;Zbl 1467.68071) 全文: 内政部 arXiv公司 MNR公司
张、孟;范佳淑;陈德泉 通过截断模式的Aho-Corasick自动机进行高效字典匹配。 (英语) Zbl 1453.68066号 国际期刊计算。科学。数学。 7,编号4323-329(2016).MSC公司:68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhang}等人,国际计算机杂志。科学。数学。7,第4323-329号(2016年;兹bl 1453.68066) 全文: 内政部
Murugesan,N。;O.V.Shanmuga Sundaram公司 正则表达式导数的计算。 (英语) Zbl 1453.68100号 国际期刊计算。科学。数学。 201-211(2016)第3期第7期.MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Murugesan}和\textit{O.V.S.Sundaram},国际计算机杂志。科学。数学。7,第3号,201--211(2016;Zbl 1453.68100) 全文: 内政部
德沃赞斯基,L.W。;洛马佐瓦,I.A。 从嵌套Petri网模型自动构建分布式组件系统。 (英语。俄文原件) Zbl 1452.68242号 程序。计算。柔和。 42,第5号,292-306(2016);译自Programmirovanie 42,No.5,49-67(2016)。MSC公司:68T42型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.W.Dworzanski}和\textit{I.A.Lomazova},程序。计算。柔和。42,第5号,292--306(2016;Zbl 1452.68242);译自Programmirovanie 42,No.5,49-67(2016) 全文: 内政部
Mandrykin,M.U。;Khoroshilov,A.V.公司。 C程序演绎验证的区域分析。 (英语。俄文原件) Zbl 1452.68051号 程序。计算。柔和。 42,编号5257-278(2016);译自Programmirovanie 42,No.5,3-29(2016)。MSC公司:68号30 68甲15 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.U.Mandrykin}和\textit{A.V.Khoroshilov},程序。计算。柔和。42,第5号,257--278(2016;Zbl 1452.68051);译自Programmirovanie 42,No.5,3--29(2016) 全文: 内政部
Virbitskaite,I.B.公司。;博罗夫列夫,V.A。;波波瓦·齐格曼。 离散时间Petri网的“真正并发”和非确定性语义。 (英语。俄文原件) Zbl 1451.68194号 程序。计算。柔和。 42,第4期,187-197(2016);译自Programmirovanie 42,No.4,4-16(2016)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}等人,程序。计算。柔和。42,No.4,187--197(2016;Zbl 1451.68194);译自Programmirovanie 42,No.4,4--16(2016) 全文: 内政部
舒尔加,T.E。;伊万诺夫,E.A。;Slastihina,医学博士。;新南威尔士州瓦加里纳。 开发基于自动代码生成的软件系统。 (英语。俄文原件) Zbl 1452.68054号 程序。计算。柔和。 42,第3期,167-173(2016);译自Programmirovanie 42,No.3,55-63(2016)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.E.Shulga}等人,《程序》。计算。柔和。42、第3号、167--173(2016;Zbl 1452.68054);翻译自Programmirovanie 42,No.3,55-63(2016) 全文: 内政部
马格纳斯·斯坦比;埃亚·尤尔瓦宁;安东尼奥·卡诺 正则代数和无秩树语言的多样性。 (英语) Zbl 1463.08014号 讨论。数学。,生成代数应用。 36,第2期,179-208(2016).MSC公司:08A70号 70年第68季度 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Steinby}等人,讨论。数学。,生成代数应用。36,第2号,179--208(2016;Zbl 1463.08014) 全文: 内政部