Vasilikos,泛神经炎;弗莱明·尼尔森;尼尔森、汉内·里斯 基于时间相关策略的访问控制。 (英语) Zbl 1515.68214号 Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第21条,第18页(2017年)。MSC公司:68问题85 03B44号 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Vasilikos}等人,LIPIcs——莱布尼茨国际程序。通知。90,第21条,第18页(2017;Zbl 1515.68214) 全文: 内政部
斯特凡诺·席沃;罗姆·兰格拉克 使用UPPAAL对连续动力系统进行离散化。 (英语) Zbl 1498.68142号 Katoen,Joost Pieter(编辑)等人,ModelEd,testEd,trustEd。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500, 297-315 (2017).MSC公司:第68季度第45季度 2015年11月37日 65升05 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Schivo}和\textit{R.Langerak},莱克特。注释计算。科学。10500,297--315(2017;Zbl 1498.68142) 全文: 内政部
休伯特·加拉维;弗雷德里克·朗;温德林·塞维 从LOTOS到LNT。 (英语) Zbl 1498.68062号 Katoen,Joost Pieter(编辑)等人,ModelEd,testEd,trustEd。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500, 3-26 (2017).MSC公司:68甲15 68N20型 60年第68季度 第68季度第65季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,Lect。注释计算。科学。10500,3--26(2017;Zbl 1498.68062) 全文: 内政部
科尼亚圣奥利维拉;朱莉娅,斯特芬 使用线性逻辑验证复合web服务中的需求场景。 (英语) Zbl 1498.68171号 Cavalhero,Simone(编辑)等人,《形式方法:基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会,SBMF 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10623, 215-232 (2017).MSC公司:60年第68季度 03B70号 68英里11 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Santos de Oliveira}和\textit{S.Julia},莱克特。注释计算。科学。10623、215--232(2017年;Zbl 1498.68171) 全文: 内政部
亚瑟·阿梅里科;阿图尔·瓦兹;马里奥·阿尔维姆。;Sérgio V.A.坎波斯。;安娜贝拉·麦克维尔 对DC网和群组匿名协议的信息泄漏进行形式化分析。 (英语) Zbl 1498.68047号 Cavalhero,Simone(编辑)等人,《形式方法:基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会,SBMF 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10623142-158(2017年)。MSC公司:68平方米25 60年第68季度 94A40型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Américo}等人,Lect。注释计算。科学。10623、142--158(2017年;Zbl 1498.68047) 全文: 内政部
沙赫扎德·里亚希;拉丁·科斯拉维;加塞米,法特梅 基于行动者的系统中基于目的的政策实施。 (英语) Zbl 1498.68192号 Dastani,Mehdi(编辑)等人,《软件工程基础》,第七届国际会议,2017年4月26日至28日,伊朗德黑兰,FSEN 2017。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10522, 196-211 (2017).MSC公司:68问题85 68第27页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Riahi}等人,Lect。注释计算。科学。10522、196--211(2017;Zbl 1498.68192) 全文: 内政部
马西奥·迪亚兹;泰瑟·图利 处理并发程序的优先级和锁。 (英语) Zbl 1495.68041号 D’Souza,Deepak(编辑)等人,《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10482, 208-224 (2017).MSC公司:68号30 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Diaz}和\textit{T.Touili},Lect。注释计算。科学。10482、208--224(2017;Zbl 1495.68041) 全文: 内政部
埃蒂安·安德烈;林尚伟 基于学习的事件记录自动机合成参数。 (英语) Zbl 1489.68136号 Bouajjani,Ahmed(编辑)等人,分布式对象、组件和系统的形式化技术。2017年6月19日至22日,作为第12届分布式计算技术国际联合会议的一部分,在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议,即2017年FORTE。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10321, 17-32 (2017).MSC公司:60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·安德烈}和\textit{S.W.林},莱克特。注释计算。科学。10321,17-32(2017;Zbl 1489.68136) 全文: 内政部 哈尔
舒新峰;李超;刘,张 MSVL的可视化建模语言。 (英语) 兹比尔1461.68120 刘少英(主编)等,结构化面向对象形式语言和方法。2016年11月15日,第六届国际研讨会,SOFL+MSVL 2016,日本东京。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10189, 220-237 (2017).MSC公司:60年第68季度 68甲15 68N17号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Lect。注释计算。科学。10189,220--237(2017;Zbl 1461.68120) 全文: 内政部
亚历山大·兹纳门斯基(Alexander A.Znamenskiy)。 关于柯西问题解析可解性的Kovalevskaya定理的改进。 (英语) Zbl 07325380号 J.西布。联邦大学数学系。物理学。 10,第4期,531-536(2017).MSC公司:3.4亿03 34米25 40G10型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Znamenskiy},J.Sib。联邦大学数学系。物理学。10,第4号,531--536(2017;Zbl 07325380) 全文: 内政部 MNR公司
迈克尔·本尼迪克特;蒂莫西·达夫;阿迪蒂亚·沙拉德;詹姆斯·沃雷尔 多项式自动机:零和应用。 (英语) Zbl 1457.68138号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第41条,第12页(2017年)。MSC公司:第68季度第45季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,摘自:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2017,雷克雅未克大学,冰岛雷克雅维克,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第41条,第12页(2017年;兹bl 1457.68138) 全文: 链接
亚历克斯·基辛格;桑德·尤伊伦 因果结构的范畴语义。 (英语) Zbl 1457.68190号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第35条,第12页(2017年)。MSC公司:68问题85 03G30型 18立方厘米50 第81页,共16页 PDF格式BibTeX公司 XML格式引用 \textit{A.Kissinger}和\textit{S.Uijlen},摘自:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2017,冰岛雷克雅未克雷克雅维克大学,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第35条,第12页(2017;Zbl 1457.68190) 全文: 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔;兰科·拉齐奇;菲利普·马佐维耶基 定时下推自动机和分支向量加法系统。 (英语) Zbl 1457.68140号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第23条,第12页(2017年)。MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,摘自:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2017,雷克雅未克大学,冰岛雷克雅维克,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第23条,第12页(2017;Zbl 1457.68140) 全文: 链接
CéCé,热拉尔 一系列高效仿真算法的基础。 (英语) Zbl 1457.68301号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第9条,第12页(2017年)。MSC公司:68周05 第68季度第45季度 68问题85 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.CéCé},in:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年LICS,雷克雅未克大学,冰岛雷克雅维克,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第9条,第12页(2017;Zbl 1457.68301) 全文: arXiv公司 链接
里达·凯德里;琼斯,欧文;穆罕默德·阿拉巴德 动态访问控制中的深度防御制定和使用。 (英语) Zbl 1444.68043号 Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 253-274 (2017).MSC公司:68平方米25 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{R.Khedri}等人,Lect。注释计算。科学。10204、253--274(2017;Zbl 1444.68043) 全文: 内政部
阿克西,S。;保罗·加斯丁;桑卡拉·纳拉亚南·克里希纳;伊利亚斯·萨卡尔 面向一种高效的基于树自动机的定时系统技术。 (英语) Zbl 1442.68123号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第39条,第15页(2017)。MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,LIPIcs——莱布尼茨国际程序。通知。85,第39条,第15页(2017年;Zbl 1442.68123) 全文: 内政部 arXiv公司
尼古拉斯·巴塞特;Jean Mairesse女士;米歇尔·索里亚 自动机网络的均匀采样。 (英语) Zbl 1442.68081号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第36条,第16页(2017年)。MSC公司:第68季度第45季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}等人,LIPIcs——莱布尼茨国际程序。通知。85,第36条,第16页(2017年;Zbl 1442.68081) 全文: 内政部
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德;托尔斯滕·维曼 有效的余代数划分精化。 (英语) Zbl 1442.68112号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第32条,第16页(2017年)。MSC公司:第68季度第65季度 60J22型 第68季度第45季度 68问题85 87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{U.Dorsch}等人,LIPIcs——莱布尼茨国际程序。通知。85,第32条,第16页(2017年;Zbl 1442.68112) 全文: 内政部 arXiv公司
保罗·布鲁内特;Damien Pous;乔治·斯特鲁斯 关于并发Kleene代数的可判定性。 (英语) Zbl 1442.68128号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第28条,第15页(2017)。MSC公司:68问题85 65年第68季度 第68季度第45季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Brunet}等人,LIPIcs——莱布尼茨国际程序。通知。85,第28条,第15页(2017年;Zbl 1442.68128) 全文: 内政部
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 Brzozowski是并发的——pomset语言的Kleene定理。 (英语) Zbl 1442.68145号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条,第25条,第16页(2017年)。MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,LIPIcs——莱布尼茨国际程序。通知。85,第25条,第16页(2017年;Zbl 1442.68145) 全文: 内政部 arXiv公司
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 凸代数的幂。 (英语) Zbl 1442.68085号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第23条,第18页(2017年)。MSC公司:第68季度第45季度 68问题55 70年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,LIPIcs——莱布尼茨国际程序。通知。85,第23条,第18页(2017年;Zbl 1442.68085) 全文: 内政部
Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金伯特 控制人口。 (英语) Zbl 1437.68175号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第12条,第16页(2017年)。MSC公司:68T42型 2017年第68季度 第68季度第45季度 60年第68季度 68问题85 91A80型 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,LIPIcs——莱布尼茨国际程序。通知。85,第12条,第16页(2017年;Zbl 1437.68175) 全文: 内政部 arXiv公司
洛伦佐·克莱门特;沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;查尔斯·帕普曼 Parikh自动机的正则可分性。 (英语) 兹比尔1442.68088 Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第117条,第13页(2017年)。MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,LIPIcs——莱布尼茨国际程序。通知。80,第117条,13 p.(2017;Zbl 1442.68088) 全文: 内政部 arXiv公司
费比安·雷特 异步分布式自动机:模式片段的特征。 (英语) Zbl 1442.68096号 Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第100条,第14页(2017年)。MSC公司:第68季度第45季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Reiter},LIPIcs——莱布尼茨国际程序。通知。80,第100条,第14页(2017年;Zbl 1442.68096) 全文: 内政部 arXiv公司
穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;普拉卡什·塞瓦桑 关于Petri网的向上/向下闭包。 (英语) Zbl 1441.68142号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第49条,第14页(2017年)。MSC公司:68问题85 2017年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人,LIPIcs——莱布尼茨国际程序。通知。83,第49条,第14页(2017年;Zbl 1441.68142) 全文: 内政部 arXiv公司
马修·轩尼诗 常规过程中痕量夹杂物的共导方程表征。 (英语) Zbl 1431.68075号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 449-465 (2017).MSC公司:68问题85 03B70号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.轩尼诗},莱克特。注释计算。科学。1046449-465(2017年;兹bl 1431.68075) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 线性定价概率时间自动机的符号验证和策略综合。 (英语) Zbl 1431.68066号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 289-309 (2017).MSC公司:60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。10460289-309(2017年;兹比尔1431.68066) 全文: 内政部 链接
弗莱明·尼尔森;尼尔森、汉内·里斯;Vasilikos,泛神经炎 时间自动机的信息流。 (英语) Zbl 1431.68079号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 3-21 (2017).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。10460,3--21(2017;Zbl 1431.68079) 全文: 内政部
玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 Event-B机构。 (英语) Zbl 1496.68105号 James,Phillip(编辑)等人,代数开发技术的最新趋势。2016年9月21日至24日,第23届IFIP工作组1.3国际研讨会,WADT 2016,英国格雷戈诺格。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10644, 104-119 (2017).MSC公司:68号30 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Farrell}等人,Lect。注释计算。科学。10644,104-119(2017;Zbl 1496.68105) 全文: 内政部 链接
李永明;曼弗雷德·德罗斯特;雷、李辉 多值系统中线性时间特性的模型检验。 (英语) Zbl 1428.68188号 信息科学。 377, 51-74 (2017).MSC公司:60年第68季度 03B50号 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。377、51-74(2017年;Zbl 1428.68188) 全文: 内政部 arXiv公司
马钦·斯皮尔卡;巴托斯·贾西乌尔 网络安全评估和用Petri网建模风险传播。 (英语) Zbl 1423.68317号 对称 9,第3号,第32号文件,第13页(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Szpyrka}和\textit{B.Jasiul},Symmetry 9,No.3,论文编号32,13 p.(2017;Zbl 1423.68317) 全文: 内政部
Esmaeil Zadeh Soudjani,萨代格;鲁帕克·马朱姆达尔;提格朗·纳加佩提安 混合系统统计模型检验的多级蒙特卡罗方法。 (英语) 兹比尔1420.68126 Bertrand,Nathalie(编辑)等人,《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10503, 351-367 (2017).MSC公司:60年第68季度 65二氧化碳 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Esmaeil Zadeh Soudjani}等人,Lect。注释计算。科学。10503、351--367(2017;Zbl 1420.68126) 全文: 内政部 arXiv公司
布里吉特·布雷克纳。;萨科雷亚,克里斯蒂安 拓扑形式概念分析中的一些范畴方面。 (英语) Zbl 1438.18004号 数学软件 59(82),编号1-2,15-31(2017).MSC公司:18B35型 54B30型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.E.Breckner}和\textit{C.Srea},Mathematica 59(82),编号1--2,15--31(2017;Zbl 1438.18004)
多纳泰拉·伊阿科诺 关于抽象的Bogomolov-Tian-Todorov定理。 (英语) Zbl 1427.17042号 伦德。材料申请。,七、。序列号。 38,第2期,175-198(2017).MSC公司:17B70型 14日第15天 13日第10天 32国集团13 PDF格式BibTeX公司 XML格式引用 \textit{D.Iacono},伦德。材料申请。,七、。序列号。38,编号2175-198(2017;兹bl 1427.17042) 全文: arXiv公司
米纳Sheikhalishahi;穆罕默德·梅杰里;纳迪亚·塔比;法比奥·马蒂内利 基于树的分类聚类算法中的隐私感知数据共享。 (英语) Zbl 1403.68212号 Cuppens,Frédéric(编辑)等人,《安全基础与实践》。2016年10月24日至25日,加拿大魁北克省魁北克市,FPS 2016第九届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-51965-4/pbk;978-3-3169-51966-1/电子书)。计算机科学讲义10128161-178(2017)。MSC公司:68T05型 62H30型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sheikhalishahi}等人,Lect。注释计算。科学。10128,161--178(2017;Zbl 1403.68212) 全文: 内政部
蒂努斯·施特劳斯;布鲁斯·沃森。;德里克·库里(Derrick G.Kourie)。;洛克·克利奥帕斯 CSP用于并行化Brzozowski的DFA构造算法。 (英语) Zbl 1395.68176号 Konstantinidis,Stavros(编辑)等人,《理论在计算机科学中的作用》。专为Janusz Brzozowski撰写的论文。新泽西州哈肯萨克:世界科学(ISBN 978-981-3148-19-2/hbk;978-981-3 148-21-5/电子书)。217-243 (2017).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Strauss}等人,in:理论在计算机科学中的作用。专为Janusz Brzozowski撰写的论文。新泽西州哈肯萨克:《世界科学》。217-243(2017年;兹bl 1395.68176) 全文: 内政部
盖杜科夫,R.K。 在可压缩流沿表面有小不规则的平板流动问题中,边界层的双层结构。 (英语) Zbl 1408.76448号 欧洲力学杂志。,B、 液体 66, 102-108 (2017).MSC公司:76N20号 76G25型 76M45型 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Gaydukov},《欧洲医学杂志》。,B、 液体66,102--108(2017;Zbl 1408.76448) 全文: 内政部
安娜·索科洛娃;哈拉尔德·沃切克 分布凸集中的终止。 (英语) Zbl 1400.68145号 Bonchi,Filippo(ed.)等人,第七届计算机科学代数和代数会议,2017年6月14日至16日,斯洛文尼亚卢布尔雅那。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-033-0)。LIPIcs–莱布尼茨国际信息学论文集72,第22条,第16页(2017年)。MSC公司:87年第68季度 18B20型 18个C20 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}和\textit{H.Woracek},LIPIcs——莱布尼茨国际程序。通知。72,第22条,第16页(2017;Zbl 1400.68145) 全文: 内政部
Sławomir Michalik 非齐次矩偏微分方程的解析解和可加解。 (英语) Zbl 1400.35067号 Funkc公司。Ekvacioj,爵士。国际。 60,第3号,325-351(2017). 审核人:帕斯卡·雷米(Carrières-sur-Seine) MSC公司:35立方厘米 35立方厘米 第35页第15页 40G10型 PDF格式BibTeX公司 XML格式引用 \textit{S.Michalik},Funkc。Ekvacioj,爵士。国际60,第3号,325--351(2017;Zbl 1400.35067) 全文: 内政部 arXiv公司
狄奥多西奥斯·杜夫罗普洛斯;约阿希姆·耶利西耶夫;诺德兰,伯恩特·伊瓦尔·乌斯特洛伊;扎克·泰特勒 (mathbb{A}^3)中11点的Hilbert格式是不可约的。 (英语) Zbl 1390.14020号 Smith,Gregory G.(编辑)等,组合代数几何。2016年7月至12月,加拿大渥太华,2016学徒计划的论文选集。多伦多:菲尔兹数学科学研究所;纽约州纽约:施普林格出版社(ISBN 978-1-4939-7485-6/hbk;978-1-4939-7486-3/ebook)。菲尔德研究所通信80,321-352(2017)。MSC公司:14二氧化碳 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{T.Douvropoulos}等人,Fields Inst.Commun。80、321--352(2017;Zbl 1390.14020) 全文: 内政部 arXiv公司
米盖尔·卡斯蒂略·凯莱塔;Fernández C.、David J。 通过多项式海森堡代数的好的、坏的和丑陋的相干态。 (英语) Zbl 1390.81239号 Duarte,Sergio(编辑)等人,对称的物理和数学方面。2016年6月19-25日,巴西里约热内卢,第31届物理群论方法国际学术研讨会论文集。查姆:施普林格(ISBN 978-3-319-69163-3/hbk;978-3-3169-69164-0/电子书)。111-117 (2017).MSC公司:81兰特 2010年第81季度 81兰特 17B81号 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{M.Castillo-Celeita}和\textit{D.J.Fernández C.},in:对称的物理和数学方面。2016年6月19-25日,巴西里约热内卢,第31届物理群论方法国际学术研讨会论文集。查姆:斯普林格。111-117(2017;Zbl 1390.81239) 全文: 内政部 arXiv公司
黄俊慕 利用最小有理切线的线性变化将态射变形到Picard数为1的Fano流形上。 (英语) Zbl 1388.14120号 Oguiso,Keiji(编辑)等人,《高维代数几何》。为纪念川间裕次郎教授的六十岁生日。会议记录,日本东京,2013年1月7日至11日。东京:日本数学学会(MSJ)(ISBN 978-4-86497-046-4/hbk)。《纯数学高等研究》74,237-264(2017)。MSC公司:14J40型 14米20 14日第15天 14日J10 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Hwang},高级数学研究生。74237-264(2017年;兹bl 1388.14120)
Jean-Paul Mavoungou 扩张商余代数。 (英语) Zbl 1390.68482号 萨宾蒂亚大学学报,数学。 9,第2号,303-323(2017).MSC公司:68问题85 18立方厘米50 PDF格式BibTeX公司 XML格式引用 \textit{J.-P-Mavoungou},高等数学学院学报。9,第2号,303--323(2017;Zbl 1390.68482) 全文: 内政部
布伦丹·戈德史密斯;路易吉·萨尔斯 从代数熵的观点看角点的实现定理。 (英语) Zbl 1388.20071号 Fontana,Marco(编辑)等人,《环、多项式和模》。2016年6月13日至17日,意大利Bressanone/Brixen,“交换环和模理论的最新进展”会议记录,2016年7月3日至8日,奥地利格拉茨,“环和多项式会议”。商会:施普林格出版社(ISBN 978-3-319-65872-8/hbk;978-3-319-65874-2/ebook)。237-255 (2017).MSC公司:20公里30 20公里45 20公里15 20K20码 16S50型 13层20 13层25 37A35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Goldsmith}和\textit{L.Salce},in:环、多项式和模。2016年6月13日至17日,意大利Bressanone/Brixen,“交换环和模理论的最新进展”和2016年7月3日至8日,奥地利格拉茨,“环和多项式会议”会议记录。查姆:斯普林格。237--255(2017年;Zbl 1388.20071) 全文: 内政部
Kosuke Ohta 由正特征超曲面确定的函数。 (英语) Zbl 1397.13028号 东京J.数学。 40,第2期,495-515(2017).MSC公司:13层25 13A35型 13日40分 PDF格式BibTeX公司 XML格式引用 \textit{K.Ohta},东京数学杂志。40,第2号,495--515(2017;Zbl 1397.13028) 全文: arXiv公司 欧几里得
何继峰;秦、李 混合关系建模语言。 (英语) Zbl 1485.68162号 Gibson-Robinson,Thomas(编辑)等人,《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10160, 124-143 (2017).MSC公司:68问题85 68号30 68问题55 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng}和\textit{L.Qin},Lect。注释计算。科学。10160、124--143(2017;Zbl 1485.68162) 全文: 内政部
张楠;段振华;田聪;杜洪伟;Yang,Kai(杨凯) 对多核程序进行建模和验证。 (英语) Zbl 1474.68196号 高晓峰(主编)等,组合优化及其应用。第十一届国际会议,2017年COCOA,中国上海,2017年12月16-18日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10628, 492-500 (2017).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Lect。注释计算。科学。10628、492--500(2017年;Zbl 1474.68196) 全文: 内政部
菲格罗亚-奥法里尔,何塞;安德烈·桑蒂 关于Killing超代数的代数结构。 (英语) Zbl 1382.83116号 高级Theor。数学。物理学。 21,第5期,1115-1160(2017).MSC公司:83E50个 83E15号 17A70型 17B70型 14日第15天 17个B05 83立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Figueroa-O’Farrill}和\textit{A.Santi},高级西奥。数学。物理学。21,编号5115-1160(2017;兹bl 1382.83116) 全文: 内政部 arXiv公司
何、裴;邓泽林;高崇志;王秀妮;李、金 语法进化的模型方法:对模型和表征的深层结构分析。 (英语) Zbl 1425.68164号 软计算。 21,第18号,5413-5423(2017).MSC公司:2012年第68季度 第68季度第45季度 68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{P.He}等人,《软计算》。21,第18号,5413--5423(2017;Zbl 1425.68164) 全文: 内政部
维克·库利科夫。美国。;E.I.舒斯廷。 在\(G\)-刚性曲面上。 (英语。俄文原件) Zbl 1396.14040号 程序。Steklov Inst.数学。 298, 133-151 (2017); 翻译自Tr.Mat.Inst.Steklova 298144-164(2017)。 审核人:埃多亚多·巴利科(波沃) MSC公司:14层30 14J50型 14日第15天 14E20型 PDF格式BibTeX公司 XML格式引用 \textit{Vik.S.Kulikov}和\textit{E.I.Shustin},程序。Steklov Inst.数学。298133--151(2017年;Zbl 1396.14040);翻译自Tr.Mat.Inst.Steklova 298、144-164(2017) 全文: 内政部
维多利亚州鲍尔斯 正多项式和平方和:理论和实践。 (英语) Zbl 1398.14020号 Bekka,K.(编辑)等人,《实代数几何》。巴黎:法国数学学会(SMF)(ISBN 978-2-85629-857-2/pbk)。《全景与合成》51,155-180(2017)。MSC公司:14日第15天 14第05页 第11页第25页 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{V.Powers},Panor(帕诺)。合成。51155-180(2017;Zbl 1398.14020)
Dokter,Kasper公司;法哈德·阿尔巴 通过工作自动机暴露潜在的互斥。 (英语) Zbl 1485.68158号 Mousavi,Mohammad Reza(编辑)等人,《理论计算机科学专题》。2017年9月12日至14日在伊朗德黑兰举行的第二届IFIP工作组1.8国际会议,TTCS 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10608, 59-73 (2017).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}和\textit{F.Arbab},莱克特。注释计算。科学。10608,59-73(2017;Zbl 1485.68158) 全文: 内政部 链接
科瓦尔斯基·格利克曼,J。 简短介绍\(\kappa \)-变形。 (英语) Zbl 1381.81072号 国际J.模型。物理学。A类 32,第35号,文章ID 1730026,第24页(2017).MSC公司:81T10型 81T75型 81T20型 81V17型 81卢比 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{J.Kowalski-Glikman},国际期刊Mod。物理学。A 32,第35号,文章ID 1730026,第24页(2017;Zbl 1381.81072) 全文: 内政部 arXiv公司
乔纳森·德·卡斯特罗;吕迪格·埃勒斯;马蒂亚斯·伦格;阿伊萨巴尔干;Kress-Gazit,哈达斯 为高级控制自动生成基于动态的运行时证书。 (英语) Zbl 1379.93049号 离散事件动态。系统。 27,第2期,371-405(2017).MSC公司:93亿B50 93立方厘米 93立方厘米 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{J.De Castro}等人,离散事件动态。系统。27,第2号,371--405(2017;Zbl 1379.93049) 全文: 内政部
内克米耶·奥扎伊(编辑);保罗·塔布阿达(编辑) 客座评论:关于控制中的正式方法的特刊。 (英语) Zbl 1384.00081号 离散事件动态。系统。 27,第2期,205-208(2017).MSC公司:00B15号机组 93-06 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{N.Ozay}(编辑)和\textit{P.Tabuada}(主编),离散事件动力学。系统。27,第2号,205--208(2017;Zbl 1384.00081) 全文: 内政部
刘、李;李国强 异步多进程时间自动机的可覆盖性问题。 (中文。英文摘要) 兹比尔1389.68045 J.软件。 28,第5期,1080-1090(2017).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和textit{G.Li},J.Softw。28,第5号,1080--1090(2017;Zbl 1389.68045) 全文: 内政部
圣埃芬·马莱克 关于一类线性初值问题的参数Gevrey渐近性。 (英语) Zbl 1395.35069号 Funkc公司。Ekvacioj,爵士。国际。 60,第1号,21-63(2017). 审核人:Kunihiko Kajitani(茨城) MSC公司:35立方厘米 35C20美元 35A22型 PDF格式BibTeX公司 XML格式引用 \textit{S.Malek},Funkc(芬克)。Ekvacioj,爵士。国际60,第1号,第21--63号(2017;Zbl 1395.35069) 全文: 内政部
S.Mehdi,瓦希迪普尔;穆罕默德·雷扎·梅博迪;迈赫迪·埃斯纳沙里 使用学习自动机和自适应随机Petri网寻找随机图中的最短路径。 (英语) Zbl 1377.68153号 国际期刊不确定性。模糊知识-基于系统。 25,第3期,427-455(2017).MSC公司:68问题85 第68季度第45季度 90B15号机组 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Vahidipour}等人,《国际不确定性杂志》。模糊知识-基于系统。25,第3号,427--455(2017;Zbl 1377.68153) 全文: 内政部
阿莱克索,A.N.F。;巴兰特金,A.B。 量子受限系统代数描述中的逆生成器:与非线性量子变形过程和相位算符的性质和联系。 (英语) Zbl 1377.81051号 数学杂志。物理学。 58,第12期,第122102页,第20页(2017年).MSC公司:2010年第81季度 81兰特 14日第15天 81季度70 PDF格式BibTeX公司 XML格式引用 \textit{A.N.F.Aleixo}和\textit{A.B.Balantekin},J.Math。物理学。58,第12期,第122102页,第20页(2017年;Zbl 1377.81051) 全文: 内政部
王振健 关于齐次多项式的切向变形。 (英语) Zbl 1454.14027号 数学。纳克里斯。 290,第16号,2696-2707(2017).MSC公司:14日第15天 14C34号 14J70型 14B07号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wang},数学。纳克里斯。290,第16号,2696-2707(2017;Zbl 1454.14027) 全文: 内政部 arXiv公司
纳苏、平子 三次折叠上变形曲线的障碍。三: 位于(K3)曲面上的曲线的变形。 (英语) Zbl 1378.14003号 国际数学杂志。 28,第13号,文章ID 1750099,30 p.(2017); 更正同上,第31号,第12条,文章编号2092001,第6页(2020年)。MSC公司:14二氧化碳 14甲10 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{H.Nasu},国际数学杂志。28,第13号,文章ID 1750099,30 p.(2017;Zbl 1378.14003) 全文: 内政部 arXiv公司
谢尔盖·彼得罗维奇(Sergey Petrovich Tsarev);维塔利·阿纳托利维奇·斯蒂潘连科 关于偏微分算子的弱交换三元组。 (俄语。英文摘要) Zbl 1386.35374号 同胞。Élektron。Mat.Izv公司。 14, 1050-1063 (2017).MSC公司:第35季度53 37K10型 12E15型 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tsarev}和\textit{V.A.Stepanenko},Sib。È勒克特隆。Mat.Izv公司。141050-1063(2017年;兹bl 1386.35374) 全文: 内政部 arXiv公司
马科托·哈马纳 基于二阶代数理论的循环数据类型模互模拟。 (英语) Zbl 1398.68348号 日志。方法计算。科学。 13,第4号,第8号论文,38页(2017年).MSC公司:第68季度第65季度 03B25号 18立方厘米50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana},日志。方法计算。科学。13,第4号,第8号论文,38页(2017;Zbl 1398.68348) 全文: 内政部 arXiv公司
顺小川 Vlasov方程空间非齐次解的稳定性判据。 (英语) Zbl 1386.82054号 《物理学杂志》。A、 数学。西奥。 50,第45号,文章ID 455001,13 p.(2017).MSC公司:82立方31 PDF格式BibTeX公司 XML格式引用 \textit{S.小川},J.Phys。A、 数学。西奥。50,第45号,文章ID 455001,13 p.(2017;Zbl 1386.82054) 全文: 内政部 哈尔
洛依格·杰泽奎尔;莱姆,迪迪埃 让我们懒惰一点,我们有时间-或者,懒惰的时间自动机可达性分析。 (英语) Zbl 1494.68182号 阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 247-263 (2017).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Jezequel}和\textit{D.石灰},莱克特。注释计算。科学。10419,247--263(2017;Zbl 1494.68182) 全文: 内政部
塞尔吉奥·费奥·阿雷尼斯;米兰武吉诺维奇;伯恩德·韦斯特法尔 关于时间自动机网络中的全局调度无关性。 (英语) Zbl 1494.68181号 阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 42-57 (2017).MSC公司:68问题85 68平方米 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Feo-Arenis}等人,Lect。注释计算。科学。10419、42-57(2017年;Zbl 1494.68181) 全文: 内政部
帕斯卡·雷米 一类线性亚纯微分系统的恢复性和最高层与Stokes公式的联系。 (英语。法语摘要) Zbl 1384.34092号 Ann.工厂。科学。图卢兹,数学。(6) 26,第3号,645-685(2017). 审核人:弗拉基米尔·科斯托夫(尼斯) MSC公司:34立方米 3.4亿03 34米25 34立方米 34米40 PDF格式BibTeX公司 XML格式引用 \textit{P.雷米},Ann.Fac。科学。图卢兹,数学。(6) 26,第3号,645--685(2017;Zbl 1384.34092) 全文: 内政部
詹姆斯·考德威尔;伊恩·詹特(Ian P.Gent)。;彼得·南丁格尔 约束传播器的广义支持和形式化开发。 (英语) Zbl 1420.68193号 AI社区。 30,第5期,325-346(2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Caldwell}等人,AI Commun。30,第5号,325--346(2017;Zbl 1420.68193) 全文: 内政部 arXiv公司
沙乌尔·阿尔马戈;奥尔纳·库普弗曼 噪声输入下的格型LTL合成。 (英语) Zbl 1374.93029号 离散事件动态。系统。 27,第3期,547-572(2017).MSC公司:93A30型 93亿B50 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman},离散事件动态。系统。27,第3547-572号(2017年;兹bl 1374.93029) 全文: 内政部
阿米莉亚·哈里森;弗拉基米尔·利夫希茨;Dhanajay Raju 用GRINGO的输入语言完成课程。 (英语) Zbl 1422.68023号 理论与实践。日志。程序。 17,编号5-6,855-871(2017).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Harrison}等人,《理论与实践》。日志。程序。17、编号5--6、855--871(2017;Zbl 1422.68023) 全文: 内政部 arXiv公司
米尔·法泽尔;Tsun,Tsou Sheung村 变形规范理论中的拓扑缺陷。 (英语) Zbl 1373.81282号 编号。物理。,B类 924, 588-602 (2017).MSC公司:81T13型 81T20型 83C65个 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{M.Faizal}和\textit{T.S.Tsun},Nucl。物理。,B 924588--602(2017年;Zbl 1373.81282) 全文: 内政部 arXiv公司
李丹宁;他,宋;方、珍 关于Rényi熵中新双曲AdS黑洞的稳定性和相变的注记。 (英语) Zbl 1373.83062号 编号。物理。,B类 923, 1-31 (2017).MSC公司:83元57 83立方厘米 第81页第40页 94甲17 14日第15天 81T80型 82B26型 PDF格式BibTeX公司 XML格式引用 \textit{D.Li}等人,Nucl。物理。,B 923,1--31(2017;Zbl 1373.83062) 全文: 内政部 arXiv公司
托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 最小化最大预期验证时间。 (英语) Zbl 1422.68164号 Inf.流程。莱特。 122, 8-16 (2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人,《Inf.过程》。莱特。122、8--16(2017;Zbl 1422.68164) 全文: 内政部 链接
Arpit Sharma公司 连续时间Markov决策过程的迹关系和逻辑保持。 (英语) Zbl 1444.68122号 Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10580, 192-209 (2017).MSC公司:68问题85 第68季度第45季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma},莱克特。注释计算。科学。10580、192--209(2017;Zbl 1444.68122) 全文: 内政部
罗尔夫·亨尼克;亚历山大·马德拉 带有活页夹的行为动态逻辑机构。 (英语) Zbl 1444.68119号 Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10580, 13-31 (2017).MSC公司:68问题85 03B70号 03G30型 18立方厘米50 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Madeira},莱克特。注释计算。科学。10580,13-31(2017年;兹bl 1444.68119) 全文: 内政部 链接
埃斯塔尼斯劳·赫斯科维奇 与变形相关的光谱序列。 (英语) Zbl 1454.18011号 J.同伦关系。结构。 12,第3期,513-548(2017).MSC公司:18G40型 14日第15天 16E45型 16S80型 16周70 18号40 55T05型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{E.Herscovich},J.同伦相关。结构。12,第3号,513--548(2017;Zbl 1454.18011) 全文: 内政部
亚历杭德罗·桑切斯;塞萨尔·桑切斯 参数化验证图:对称参数化并发系统的时间验证。 (英语) Zbl 1419.68064号 安。数学。Artif公司。智力。 80,编号3-4,249-282(2017).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sánchez}和\textit{C.Sátchez}.安.数学。Artif公司。智力。80,编号3--4,249--282(2017;Zbl 1419.68064) 全文: 内政部
保罗·布鲁内特;Damien Pous Petri自动机。 (英语) Zbl 1427.68185号 日志。方法计算。科学。 13,第3号,第33号论文,50页(2017年).MSC公司:68问题85 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Brunet}和\textit{D.Pous},Log。方法计算。科学。13,第3号,第33号论文,50页(2017年;Zbl 1427.68185) 全文: 内政部 arXiv公司
安德烈亚斯·格里默;约阿希姆·克莱门斯;罗伯特·威利 证据网格图中推理和不确定性减少的形式化方法。 (英语) Zbl 1419.68165号 国际J近似推理 87, 23-39 (2017).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Grimmer}等人,《国际近似推理》87,23-39(2017;Zbl 1419.68165) 全文: 内政部
亚伦·D·埃姆斯。;保罗·塔布阿达;奥斯汀·琼斯;马文龙;马蒂亚斯·伦格;巴斯蒂安·舒尔曼;Shishir Kolathaya;杰西·格里斯。 双足机器人形式化控制器综合的第一步和实验实现。 (英语) 兹比尔1377.93069 非线性分析。,混合系统。 25, 155-173 (2017).MSC公司:93亿B50 93C85号 70E60型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Ames}等人,《非线性分析》。,混合系统。25、155--173(2017年;Zbl 1377.93069) 全文: 内政部 链接
托马斯·戈加茨;米查勒夫斯基(Michalewski)、亨利克(Henryk);Mio、Matteo;Micha Skrzypczak 度量正则树集的属性。 (英语) Zbl 1376.68092号 Inf.计算。 256, 108-130 (2017).MSC公司:第68季度第45季度 03E15年 28A05号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Gogacz}等人,《Inf.Compute》。256108-130(2017年;兹比尔1376.68092) 全文: 内政部
纳米特·查图尔维迪;马库斯·盖尔德里 使用词自动机对可识别的无限跟踪语言进行分类。 (英语) Zbl 1376.68085号 Inf.计算。 256, 23-34 (2017).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Chaturvedi}和\textit{M.Gelderie},Inf.Compute。256、23-34(2017年;Zbl 1376.68085) 全文: 内政部
达米安·卡拉奎;托尼·潘太夫;贝特朗·托恩;米歇尔·瓦基;加布里埃尔·维佐西 移位泊松结构和变形量化。 (英语) Zbl 1428.14006号 J.白杨。 10,第2期,483-584(2017).MSC公司:14A20型 14日第15天 14层08 18个G80 53D55型 PDF格式BibTeX公司 XML格式引用 \textit{D.Calaque}等人,J.Topol。10,第2号,483--584(2017;Zbl 1428.14006) 全文: 内政部 arXiv公司
费伦茨·巴伊托;沃尔特·福格勒 ACTL用于模态接口自动机。 (英语) Zbl 1373.68296号 西奥。计算。科学。 693, 13-34 (2017).MSC公司:68问题85 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler},Theor。计算。科学。693、13-34(2017年;Zbl 1373.68296) 全文: 内政部
哈桑·哈特菲;拉尔夫·威默;布雷丁,贝蒂娜;费雷尔·菲奥里蒂,路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 (英语) Zbl 1370.68173号 正式Asp。计算。 29,第4号,629-649(2017).MSC公司:第68季度第45季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}等人,《形式Asp》。计算。29,第4号,629--649(2017;Zbl 1370.68173) 全文: 内政部
马雷克·博伊科(Bożejko,Marek);尤金·利特维诺夫;雅努斯威索赞斯基 变形交换关系的Fock表示。 (英语) Zbl 1456.81266号 数学杂志。物理学。 58,No.7,073501,19 p.(2017).MSC公司:81R50美元 17层37 81S05号 30水柱 14日第15天 81V27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bożejko}等人,《数学杂志》。物理学。58,第7期,073501,19页(2017;Zbl 1456.81266) 全文: 内政部 arXiv公司
安德斯·科克 仿射方案中的仿射组合。 (英语。法语摘要) Zbl 1407.14002号 加利福尼亚州。白杨。盖姆。差异。猫。 58,第2期,115-130(2017). 审核人:罗伯特·道森(哈利法克斯) MSC公司:14B10型 14B20型 14R10型 51K10码 PDF格式BibTeX公司 XML格式引用 \发短信{A.Kock},Cah。白杨。盖姆。差异。猫。58,第2号,115-130(2017;Zbl 1407.14002) 全文: arXiv公司
彼得·阿辛格;马西耶·兹达诺维奇 不合格品种的一些基本示例。 (英语) Zbl 1386.14056号 程序。美国数学。Soc公司。 145,第11号,4717-4729(2017).MSC公司:14日第15天 14世纪17年代 PDF格式BibTeX公司 XML格式引用 \textit{P.Achinger}和\textit{M.Zdanowicz},程序。美国数学。Soc.145,No.11,4717--4729(2017;Zbl 1386.14056) 全文: 内政部 arXiv公司 反向链接: 卫生官员
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 关于确定监控器的复杂性。 (英语) Zbl 1489.68149号 Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 1-13 (2017).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。10329,1-13(2017;Zbl 1489.68149) 全文: 内政部 链接
卢卡·埃特罗(编辑);乔治·巴奇(编辑);乔瓦尼·巴奇(编辑);Anna Ingólfsdóttir(编辑);Legay、Axel(编辑);拉杜·马达尔(编辑) 模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章。 (英语) Zbl 1368.68004号 计算机科学课堂讲稿10460.商会:施普林格出版社(ISBN 978-3-319-63120-2/pbk;978-3-319-63121-9/ebook)。十七、662页。(2017).MSC公司:68-06 03B70号 第68季度第45季度 60年第68季度 68问题85 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格(2017;Zbl 1368.68004) 全文: 内政部
卡德拉·德卡尔;阿卜杜纳塞·马赫洛夫 Hom-双代数和变形的Gerstenhaber-Schack上同调。 (英语) Zbl 1393.16025号 Commun公司。代数 45,第10号,4400-4428(2017).MSC公司:16节第10节 16E40型 16S80型 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{K.Dekkar}和\textit{A.Makhlouf},Commun。代数45,No.10,4400--4428(2017;Zbl 1393.16025) 全文: 内政部 arXiv公司
简·阿瑟·克里斯托弗森;内森·欧文(Nathan Owen Ilten) Plücker代数的消失余切上同调。 (英语) Zbl 1401.14207号 Commun公司。代数 45,第9号,3929-3947(2017).MSC公司:2015年14月 14B15号机组 14日第15天 2013年10月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Christophersen}和\textit{N.O.Ilten},Commun。《代数45》,第9期,3929-3947(2017;Zbl 1401.14207) 全文: 内政部 arXiv公司 链接
Yenigün,Hüsnü;尼娜·叶夫图申科;纳塔利亚·库什克 检查确定性有限状态机自适应同步实验的存在性和推导的复杂性。 (英语) Zbl 1409.68163号 Inf.流程。莱特。 127, 49-53 (2017).MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Yenigün}等人,《Inf.过程》。莱特。127、49-53(2017;Zbl 1409.68163) 全文: 内政部
萨马内·马什哈迪 标准模型中的新多级秘密共享。 (英语) Zbl 1410.94114号 Inf.流程。莱特。 127, 43-48 (2017).MSC公司:94A62型 94A60型 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Mashhadi},信息处理。莱特。127、43-48(2017;Zbl 1410.94114) 全文: 内政部
徐兆伟;张文辉 ACTL公式的线性模板,用于基于SAT的验证。 (英语) Zbl 1409.68176号 Inf.流程。莱特。 127, 6-16 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}和\textit{W.Zhang},Inf.Process。莱特。127、6--16(2017;Zbl 1409.68176) 全文: 内政部
斯捷潘·梅尔贾纳克;丹尼尔·梅尔贾纳克;安娜·帕乔;达尼杰尔·皮库蒂奇 关于约旦扭曲之间简单插值的评论。 (英语) Zbl 1370.81094号 《物理学杂志》。A、 数学。西奥。 50,第26号,文章ID 265201,11 p.(2017).MSC公司:81卢比60 81兰特25 83A05号 53D55型 2016年第05期 14日第21天 14日第15天 PDF格式BibTeX公司 XML格式引用 \textit{S.Meljanac}等人,J.Phys。A、 数学。西奥。50,第26号,文章ID 265201,11 p.(2017;Zbl 1370.81094) 全文: 内政部 arXiv公司 链接
文森特·雪瓦尔;科蒙·隆德,休伯特;斯特凡尼德劳恩 确定约束系统集之间符号等价性的过程。 (英语) 兹比尔1371.68189 Inf.计算。 255,第1部分,94-125(2017).MSC公司:68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,《信息计算》。255,第1部分,94-125(2017;Zbl 1371.68189) 全文: 内政部 链接
格勒布·阿鲁图诺夫;马丁·海因策;丹尼尔·麦迪纳·雷金诺 香肠上测地线运动的超可积性。 (英语) Zbl 1369.81074号 《物理学杂志》。A、 数学。西奥。 50,第24号,文章ID 244002,29 p.(2017).MSC公司:81T20型 第81页第40页 14日第15天 81兰特 81T30型 2005年7月70日 53元22角 PDF格式BibTeX公司 XML格式引用 \textit{G.Arutyunov}等人,J.Phys。A、 数学。西奥。50,第24号,文章ID 244002,29 p.(2017;Zbl 1369.81074) 全文: 内政部
卡林·贝尔塔;博扬·约丹诺夫;艾丁·戈尔(Ebru Aydin Gol) 离散时间动力系统的形式化方法。 (英语) Zbl 1409.93003号 系统、决策和控制研究89.查姆:施普林格(ISBN 978-3-319-50762-0/hbk;978-3-3169-50763-7/电子书)。十八、284页。(2017). 审核人:Lazaros Moysis(塞萨洛尼基) MSC公司:93-02 93C55美元 93立方 93二氧化碳 03B44号 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Belta}等人,离散时间动力系统的形式化方法。查姆:斯普林格(2017;Zbl 1409.93003) 全文: 内政部
朱莉安娜·鲍尔斯;马可·B·卡米纳。 枚举事件结构的验证算法。 (英语) Zbl 1367.68245号 Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。《人工智能讲义》,239-254(2017)。MSC公司:第68页第15页 2015年1月5日 2004年6月 2010年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Bowles}和\textit{M.B.Camina},莱克特。注释计算。科学。10383、239--254(2017;Zbl 1367.68245) 全文: 内政部 arXiv公司 链接