斯特凡尼德劳恩;卢卡赫希 密码协议中建立基于等价性属性的符号方法综述。 (英语) Zbl 1359.68023号 J.日志。阿尔盖布。方法计划。 87, 127-144 (2017).MSC公司:68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{L.Hirschi},J.Log。阿尔盖布。方法程序。87、127--144(2017;Zbl 1359.68023) 全文: 内政部 arXiv公司
米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡尔迪 web安全的形式化方法。 (英语) Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87110-126(2017).MSC公司:68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,J.Log。阿尔盖布。方法程序。87、110-126(2017;Zbl 1359.68021) 全文: 内政部 链接
巴托克·克林;比塔·纳希 SOS规范的一些不确定属性。 (英语) Zbl 1359.68196号 J.日志。阿尔盖布。方法计划。 87, 94-109 (2017).MSC公司:60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{B.Nachyła},J.Log。阿尔盖布。方法程序。87、94-109(2017年;Zbl 1359.68196) 全文: 内政部
亚历山德罗·马吉;玛丽内拉·彼得罗奇;安吉洛·斯波格纳迪;弗朗西斯科·蒂埃齐 一种基于语言的Twitter交互建模和分析方法。 (英语) Zbl 1359.68197号 J.日志。阿尔盖布。方法计划。 87, 67-91 (2017).MSC公司:60年第68季度 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggi}等人,J.Log。阿尔盖布。方法程序。87、67-91(2017年;Zbl 1359.68197) 全文: 内政部
大卫·巴丘;安东尼奥·卡塔;格内西、斯特凡尼亚;劳拉·塞米尼 在智能交通系统中使用机器学习进行短期预测的经验。 (英语) Zbl 1359.68246号 J.日志。阿尔盖布。方法计划。 87, 52-66 (2017).MSC公司:68T05型 68单位35 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bacciu}等人,J.Log。阿尔盖布。方法程序。87、52-66(2017年;Zbl 1359.68246) 全文: 内政部 链接
罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 连接逆范畴和可逆递归。 (英语) Zbl 1359.68045号 J.日志。阿尔盖布。方法计划。 87, 33-50 (2017).MSC公司:68甲18 18 C50 18D20天 第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}等人,J.Log。阿尔盖布。方法程序。87、33-50(2017年;Zbl 1359.68045) 全文: 内政部
伊利亚州卡斯特拉尼(编辑);穆罕默德·雷扎·穆萨维(编辑) 前言:并发理论趋势专刊(2014年和2015年趋势研讨会特邀稿)。 (英语) 兹比尔1358.00123 J.日志。阿尔盖布。方法计划。 87, 93 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}(编辑)和\textit{M.R.Mousavi}(编辑),J.Log。阿尔盖布。方法程序。87、93(2017;Zbl 1358.00123) 全文: 内政部
莫里斯·比克。(编辑);卢赫·拉富恩特,阿尔贝托(编辑) 基于web的应用程序的自动化规范和验证。 (英语) 兹伯利1358.00137 J.日志。阿尔盖布。方法计划。 87, 51 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)和\textit{A.Lluch Lafuente}(主编),J.Log。阿尔盖布。方法程序。87、51(2017;Zbl 1358.00137) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 与内容相关的信息流控制。 (英语) Zbl 1359.68050号 J.日志。阿尔盖布。方法计划。 87, 6-32 (2017).MSC公司:68号30 03B70号 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}和\textit{F.Nielson},J.Log。阿尔盖布。方法程序。87、6--32(2017年;Zbl 1359.68050) 全文: 内政部
卢卡·埃特罗(编辑);安娜·英格尔夫斯多蒂(编辑) 第27届北欧规划理论研讨会前言(NWPT 2015)。 (英语) Zbl 1358.00120号 J.日志。阿尔盖布。方法计划。 87, 5 (2017).MSC公司:00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto(编辑)和textit{A.Ingolfsdottir}(编辑),J.Log。阿尔盖布。方法程序。87,5(2017;Zbl 1358.00120) 全文: 内政部
杰伊,巴里;何塞·维加拉 \(\lambda\)-可定义性的帐户冲突。 (英语) Zbl 1403.03020号 J.日志。阿尔盖布。方法计划。 87,1-3(2017).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jay}和\textit{J.Vergara},J.Log。阿尔盖布。方法程序。87,1-3(2017年;兹bl 1403.03020) 全文: 内政部