穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;库马尔·纳拉扬。;普拉卡什·塞瓦桑 验证过程程序的定量时间属性。 （英语） Zbl 1520.68026号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。118，第15条，第17页（2018年）。MSC公司：68号30 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛M.F.Atig｝等人，LIPIcs——莱布尼茨国际期刊。通知。118，第15条，第17页（2018；Zbl 1520.68026） 全文： 内政部
埃利尼·阿克里达（Eleni C.Akrida）。;乔治·默齐奥斯（George B.Mertzios）。;保罗·G·斯皮拉基斯。;维克托·扎马拉耶夫 具有滑动时间窗口的时间顶点覆盖。 （英语） Zbl 1499.68243号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。107，第148条，第14页（2018年）。MSC公司：68兰特 05C70号 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Akrida}等人，LIPIcs——莱布尼茨国际程序。通知。107，第148条，第14页（2018；Zbl 1499.68243） 全文： 内政部
斑鱼、Evripidis;布鲁诺·埃斯科菲尔;迈克尔·兰皮斯;Vangelis Th.帕斯科。 多阶段匹配。 （英语） Zbl 1477.68196号 David Eppstein（编辑），第16届斯堪的纳维亚研讨会和算法理论研讨会。2018年6月18日至20日，瑞典马尔默大学，SWAT 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。101，第7条，第13页（2018年）。MSC公司：68兰特 05C70号 2017年第68季度 68周25 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{E.Bampis}等人，LIPIcs——莱布尼茨国际程序。通知。101，第7条，第13页（2018；Zbl 1477.68196） 全文： 内政部
达瓦尔科什内维桑;金坤宇（Kim，Kunwoo）;肖一敏 抛物线随机偏微分方程的宏观多重分形分析。 （英语） Zbl 1454.60095号 Commun公司。数学。物理学。 360，第1号，307-346（2018）.MSC公司：60甲15 35卢比60 28A80型 60G17年 PDF格式BibTeX公司 XML格式引用 \textit{D.Khoshnevisan}等人，Commun。数学。物理学。360，第1号，307--346（2018；Zbl 1454.60095） 全文： 内政部 arXiv公司
提芬·维亚德;Clémence马格尼恩;马蒂厄·拉塔皮 枚举具有持续时间的链接流中的最大派系。 （英语） Zbl 1426.68227号 信息处理。莱特。 133, 44-48 (2018).MSC公司：68兰特 05C30号 05C69号 05C85号 68周27 PDF格式BibTeX公司 XML格式引用 \textit{T.Viard}等人，《Inf.过程》。莱特。133、44-48（2018；Zbl 1426.68227） 全文： 内政部 arXiv公司 哈尔