布鲁诺·洛佩斯;贝内维迪斯,马里奥;爱德华·赫尔曼·哈乌斯勒 Petri网的命题动态逻辑。 (英语) Zbl 1407.68335号 日志。J.IGPL公司 22,第5期,721-736(2014).MSC公司:68问题85 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Lopes}等人,日志。J.IGPL 22,第5号,721--736(2014;Zbl 1407.68335) 全文: 内政部 链接
柳德米拉格里戈耶娃;Juan-Pablo奥尔特加 用估计的时间聚合线性过程进行混合预测。 (英语) Zbl 1397.62307号 J.预测。 33,第8期,577-595(2014).MSC公司:62M10个 62M20型 62F05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Grigoryeva}和\textit{J.-P.Ortega},J.Forecast。33,编号:8577-595(2014年;兹bl 1397.62307) 全文: 内政部
贾纳丹·米斯拉;苏曼·罗伊 基于可判定超时的线性时序逻辑扩展。 (英语) Zbl 1398.03081号 J.应用。非类别。日志。 24,第3期,262-291(2014).MSC公司:03B44号 03B47号 03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra}和\textit{S.Roy},J.Appl。非类别。日志。24,第3号,262--291(2014;Zbl 1398.03081) 全文: 内政部
马丁·霍夫曼;陈伟 Büchi自动机的抽象解释。 (英语) Zbl 1401.68162号 2014年7月14日至18日,奥地利维也纳,2014年第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第51号论文,第10页(2014年)。MSC公司:65年第68季度 2015年1月6日 05年6月 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{W.Chen},in:第二十三届EACSL计算机科学逻辑年会联席会议记录,CSL,2014年第29届ACM/IEEE计算机科学逻辑研讨会,LICS 2014,奥地利维也纳,2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。第51号论文,第10页(2014;Zbl 1401.68162) 全文: 内政部 链接
法布里斯·甘博阿;亚历山大·简农;蒂埃里·克莱恩;阿格内斯·拉格努克斯 多维和功能输出的敏感性分析。 (英语) Zbl 1348.62106号 电子。J.统计。 8,第1号,575-603(2014).MSC公司:62G05型 62克20 PDF格式BibTeX公司 XML格式引用 \textit{F.Gamboa}等人,《电子》。J.Stat.8,No.1,575--603(2014;Zbl 1348.62106) 全文: 内政部 arXiv公司 欧几里得