黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 扩展(ω)正则语言的区间时序逻辑特征。 (英文) Zbl 07691017号 西奥。计算。科学。 962,文章ID 113929,29 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人,Theor。计算。科学。962,文章ID 113929,29 p.(2023;Zbl 07691017) 全文: 内政部
张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英文) Zbl 07657061号 西奥。计算。科学。 949,文章ID 113702,28 p.(2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。949,文章ID 113702,28 p.(2023;Zbl 07657061) 全文: 内政部
刘德鹏;王,弯腰;付,陈;张丽君 模型检查差异私有属性。 (英文) Zbl 1512.68157号 西奥。计算。科学。 943年、153-170年(2023年).MSC公司:60年第68季度 03B44号 60J20型 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人,Theor。计算。科学。943153-170(2023年;Zbl 1512.68157) 全文: 内政部
宁、新亚;张楠;段振华;田聪 基于LNFG的PPTL规范挖掘。 (英文) Zbl 07605947号 西奥。计算。科学。 937,85-95(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Ning}等人,Theor。计算。科学。937,85-95(2022;Zbl 07605947) 全文: 内政部
米哈伊尔·里巴科夫;德米特里·什卡托夫 命题时间逻辑和计算模态逻辑的有限变量片段的复杂性。 (英文) Zbl 07547827号 西奥。计算。科学。 925, 45-60 (2022).MSC公司:03B70号 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},Theor。计算。科学。925,45-60(2022;Zbl 07547827) 全文: 内政部
徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上的模型检查QCTL plus。 (英文) Zbl 1483.68212号 西奥。计算。科学。 913, 43-72 (2022).MSC公司:60年第68季度 03B44号 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。913、43-72(2022年;Zbl 1483.68212) 全文: 内政部
安吉洛·蒙塔纳里;皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 (英文) Zbl 1515.68185号 西奥。计算。科学。 899, 48-79 (2022).MSC公司:60年第68季度 03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala},Theor。计算。科学。899、48-79(2022年;Zbl 1515.68185) 全文: 内政部
丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;J.M.达沃伦。;伊曼·谢姆斯 用于LTL验证的采样多项式轨迹。 (英文) Zbl 1478.68174号 西奥。计算。科学。 897, 135-163 (2022).MSC公司:60年第68季度 03B44号 68T40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Selvaratnam}等人,Theor。计算。科学。897135-163(2022年;Zbl 1478.68174) 全文: 内政部 arXiv公司
张燕;朱兆辉;张金金 在\(\mathrm中编码安全{CLL}_R\). (英文) Zbl 1489.68173号 西奥。计算。科学。 897, 64-82 (2022). 审核人:马丁·兰格(卡塞尔) MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,Theor。计算。科学。897,64-82(2022;Zbl 1489.68173) 全文: 内政部
张楠;段振华;田聪 统一的时序逻辑。 (英文) Zbl 1497.68322号 西奥。计算。科学。 864, 58-69 (2021).MSC公司:60年第68季度 03B44号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。864,58-69(2021;Zbl 1497.68322) 全文: 内政部
张楠;于斌;田聪;段振华;袁小帅 程序的时序逻辑规范挖掘。 (英文) Zbl 1477.68168号 西奥。计算。科学。 857, 29-42 (2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。857,29-42(2021;Zbl 1477.68168) 全文: 内政部
Arpit Sharma公司 非确定性随机系统等价项的线性时间分支时间谱。 (英文) Zbl 1464.68263号 西奥。计算。科学。 850, 148-167 (2021).MSC公司:68问题85 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Sharma},Theor。计算。科学。850148-167(2021年;Zbl 1464.68263) 全文: 内政部
米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 操作员优先时序逻辑和模型检查。 (英文) Zbl 1464.68197号 西奥。计算。科学。 848, 47-81 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chiari}等人,Theor。计算。科学。848,47-81(2020年;兹比尔1464.68197) 全文: 内政部 链接
František,布拉胡德克;Juraj少校;斯特雷切克,简 LTL到具有通用接受和返回的自循环交替自动机。 (英文) Zbl 1460.68049号 西奥。计算。科学。 840, 122-142 (2020).MSC公司:65年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Blahoudek}等人,Theor。计算。科学。840122--142(2020年;Zbl 1460.68049) 全文: 内政部
赵亮;王晓兵;舒新峰;张楠 统一时序逻辑的完善证明系统。 (英文) Zbl 1485.03045号 西奥。计算。科学。 838, 25-44 (2020).MSC公司:03B44号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,Theor。计算。科学。838,25-44(2020;Zbl 1485.03045) 全文: 内政部
舒新峰;张楠;王晓兵;赵亮 命题投影时序逻辑的有效决策过程。 (英文) Zbl 1476.03019号 西奥。计算。科学。 838, 1-16 (2020). 审核人:Valentin F.Goranko(斯德哥尔摩) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。838,1--16(2020;Zbl 1476.03019) 全文: 内政部
阿列克桑达尔·迪莫夫斯基。;Legay、Axel;安德烈·沃索斯基 基于游戏的CTL提升模型检查的广义抽象重新定义。 (英文) Zbl 1460.68058号 西奥。计算。科学。 837, 181-206 (2020).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,Theor。计算。科学。837、181--206(2020年;Zbl 1460.68058) 全文: 内政部
马丁·吕克 关于具有团队语义的线性时序逻辑的复杂性。 (英文) Zbl 1477.68165号 西奥。计算。科学。 837, 1-25 (2020). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.Lück},Theor。计算。科学。837,1--25(2020年;Zbl 1477.68165) 全文: 内政部 arXiv公司
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 分支时间逻辑\(\mathsf{ECTL}^{#}\)及其树型单程表:扩展\(\mathsf{ECTL}^+\)的公平性表示。 (英文) Zbl 1433.03049号 西奥。计算。科学。 813, 428-451 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人,Theor。计算。科学。813428-451(2020年;Zbl 1433.03049) 全文: 内政部
丹尼尔·克恩伯格;马丁·兰格 关于混合分支时间逻辑的表达能力。 (英文) Zbl 1433.03051号 西奥。计算。科学。 813, 362-374 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kernberger}和\textit{M.Lange},Theor。计算。科学。813362-374(2020年;Zbl 1433.03051) 全文: 内政部 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 密集时间域上基于时间的规划。 (英文) 兹比尔1433.68406 西奥。计算。科学。 813, 305-326 (2020).MSC公司:68T20型 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813305--326(2020年;Zbl 1433.68406) 全文: 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;洛雷达纳·索伦蒂诺 线性过去的交替时间逻辑。 (英文) Zbl 1433.03050号 西奥。计算。科学。 813, 199-217 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813199-217(2020年;Zbl 1433.03050) 全文: 内政部
马塞洛·M·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 关于时间形式中时钟的初始化。 (英文) Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。813175-198(2020年;Zbl 1433.03048) 全文: 内政部 链接
舒新峰;段振华;杜洪伟 投影时序逻辑的决策过程和完整公理化。 (英文) Zbl 1506.03070号 西奥。计算。科学。 819, 50-84 (2020).MSC公司:03B44号 03B35型 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。819、50-84(2020年;Zbl 1506.03070) 全文: 内政部
卢、徐;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英文) Zbl 1464.68209号 西奥。计算。科学。 819, 35-49 (2020).MSC公司:60年第68季度 03B44号 03B70号 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,Theor。计算。科学。819、35-49(2020年;Zbl 1464.68209) 全文: 内政部
张楠;段振华;田聪;杜洪伟 一种验证程序上下文无关属性的新方法。 (英文) Zbl 1436.68200号 西奥。计算。科学。 809, 519-530 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。809519-530(2020年;Zbl 1436.68200) 全文: 内政部
阿尼埃洛·穆拉诺;帕伦特,米姆;萨沙·鲁宾;洛雷达纳·索伦蒂诺 具有有限路径语义的模型检查分级计算树逻辑。 (英文) Zbl 1436.68197号 西奥。计算。科学。 806, 577-586 (2020).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Murano}等人,Theor。计算。科学。806577-586(2020年;Zbl 1436.68197) 全文: 内政部
瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 具有有限有界语义的交替时间时序逻辑ATL。 (英文) Zbl 1434.03067号 西奥。计算。科学。 797, 129-155 (2019).MSC公司:03B44号 03B25号 2017年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,Theor。计算。科学。797、129--155(2019年;Zbl 1434.03067) 全文: 内政部
Wałga,Przemys aw Andrzej Halpern-Shoham逻辑的混合片段及其表达能力。 (英文) Zbl 1434.03068号 西奥。计算。科学。 797, 102-128 (2019).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{P.A.Waęga},Theor。计算。科学。797102-128(2019年;Zbl 1434.03068) 全文: 内政部 链接
斯文·舍韦(编辑);托马斯·施耐德(编辑);杰夫·威森(编辑) 时间表征和推理专题(TIME 2017)。 (英文) Zbl 1434.68032号 西奥。计算。科学。 797,第1页(2019).MSC公司:68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}(编辑)等人,Theor。计算。科学。797,1页(2019年;Zbl 1434.68032) 全文: 内政部
段振华;田聪;张楠;马,钱;杜洪伟 索引集表达式可以表示时序逻辑公式。 (英文) Zbl 1498.03047号 西奥。计算。科学。 788, 21-38 (2019).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。788,21-38(2019年;Zbl 1498.03047) 全文: 内政部
赵亮;王晓兵;段振华 投影时序逻辑下推系统的模型检查。 (英文) Zbl 1423.68297号 西奥。计算。科学。 774, 82-94 (2019).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,Theor。计算。科学。774,82-94(2019年;Zbl 1423.68297) 全文: 内政部
田聪;段振华 使用交替投影时序逻辑对开放系统进行模型检查。 (英文) Zbl 1423.68293号 西奥。计算。科学。 774,65-81(2019).MSC公司:60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Theor。计算。科学。774,65-81(2019年;Zbl 1423.68293) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 在模型检查中,区间时序逻辑HS的哪些片段是可处理的? (英文) Zbl 1429.68139号 西奥。计算。科学。 764, 125-144 (2019). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。764125-144(2019年;Zbl 1429.68139) 全文: 内政部 链接
北阿勒奇纳州。;北布林。;德姆里,S。;B·洛根。 关于资源约束逻辑的复杂性。 (英文) Zbl 1403.68136号 西奥。计算。科学。 750691-100(2018).MSC公司:68问题85 03B25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Theor。计算。科学。750、69-100(2018;Zbl 1403.68136) 全文: 内政部
亚历山大·韦内特;马丁·齐默尔曼 可见的线性动态逻辑。 (英文) Zbl 1400.68059号 西奥。计算。科学。 747, 100-117 (2018).MSC公司:68号30 03B44号 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinert}和\textit{M.Zimmermann},Theor。计算。科学。747100--117(2018;Zbl 1400.68059) 全文: 内政部 arXiv公司 链接
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 模型检查平面计数器系统和Presburger算法之间的等效性。 (英文) 兹比尔1393.68100 西奥。计算。科学。 735, 2-23 (2018).MSC公司:60年第68季度 03B44号 30楼03号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Theor。计算。科学。735,2--23(2018;Zbl 1393.68100) 全文: 内政部
阿夫尼,盖伊;奥尔纳·库普弗曼 基于组件库的成本合成。 (英文) Zbl 1386.68099号 西奥。计算。科学。 712, 50-72 (2018).MSC公司:60年第68季度 03B44号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},Theor。计算。科学。712、50-72(2018年;Zbl 1386.68099) 全文: 内政部
费伦茨·巴伊托;沃尔特·福格勒 ACTL用于模态接口自动机。 (英文) Zbl 1373.68296号 西奥。计算。科学。 693, 13-34 (2017).MSC公司:68问题85 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler},Theor。计算。科学。693、13-34(2017年;Zbl 1373.68296) 全文: 内政部
克里斯蒂安·瓦西莱;Aksaray,德里亚;卡林·贝尔塔 时间窗口时序逻辑。 (英文) Zbl 1372.68178号 西奥。计算。科学。 691, 27-54 (2017).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{C.-I.Vasile}等人,Theor。计算。科学。691,27-54(2017年;兹比尔1372.68178) 全文: 内政部 arXiv公司
阿拉文·纳塔拉扬;希曼舒·乔汉;尼拉吉·米塔尔;维杰·加格。 谓词检测的高效抽象算法。 (英文) Zbl 1371.68180号 西奥。计算。科学。 688, 24-48 (2017).MSC公司:60年第68季度 2010年第68季度 68宽15 68周27 PDF格式BibTeX公司 XML格式引用 \textit{A.Natarajan}等人,Theor。计算。科学。688、24-48(2017年;Zbl 1371.68180) 全文: 内政部
JoséL.Fiadeiro。;安托尼亚州洛佩斯 定时系统的异构和异步网络。 (英文) Zbl 1356.68153号 西奥。计算。科学。 663, 1-33 (2017).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和\textit{A.Lopes},Theor。计算。科学。663,1-33(2017;Zbl 1356.68153) 全文: 内政部 链接
马塞洛·M·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 定时正则语言的逻辑特征。 (英文) Zbl 1355.68150号 西奥。计算。科学。 658,A部分,46-59(2017).MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。658,A部分,46-59(2017;Zbl 1355.68150) 全文: 内政部
维克托·舒潘 利用时间相关性信息增强LTL的不可满足核心。 (英文) Zbl 1356.68146号 西奥。计算。科学。 655,B部分,155-192(2016).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},Theor。计算。科学。655,B部分,155--192(2016;Zbl 1356.68146) 全文: 内政部 arXiv公司
张楠;段振华;田聪 MSVL中的函数调用机制。 (英文) Zbl 1353.68184号 西奥。计算。科学。 654, 11-25 (2016).MSC公司:60年第68季度 68N17号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。654,11--25(2016;Zbl 1353.68184) 全文: 内政部
罗西,马蒂奥;迪诺·曼德里奥利;安杰洛·莫尔岑蒂;卢卡·费鲁奇 基于微步和宏步的实时系统的时间逻辑:基础和应用。 (英文) Zbl 1348.68149号 西奥。计算。科学。 643, 38-64 (2016).MSC公司:60年第68季度 03B44号 03H10年上半年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Rossi}等人,Theor。计算。科学。643、38--64(2016年;Zbl 1348.68149) 全文: 内政部 链接
C·奥尔特。;Chiarugi,D。;M.法拉斯基。;D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 (英文) Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司:60年第68季度 03楼52 2005年第68季度 2010年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,Theor。计算。科学。641、25-42(2016年;Zbl 1344.68140) 全文: 内政部 链接
安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 向区间时序逻辑添加一个或多个等价关系。 (英文) Zbl 1408.03011号 西奥。计算。科学。 629116-134(2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,Theor。计算。科学。629、116--134(2016;Zbl 1408.03011) 全文: 内政部
张楠;段振华;田聪 具有柱面计算模型的命题投影时态逻辑的完整公理系统。 (英文) 兹比尔1332.68145 西奥。计算。科学。 609,第3部分,639-657(2016).MSC公司:60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。609,第3部分,639--657(2016;Zbl 1332.68145) 全文: 内政部
段振华;田聪;张楠 命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 (英文) Zbl 1370.68200号 西奥。计算。科学。 609,第3部分,544-560(2016). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。609,第3部分,544--560(2016;Zbl 1370.68200) 全文: 内政部
沃尔克·迪克特;曼弗雷德·库夫莱特纳 局部除数技术综述。 (英文) Zbl 1332.68147号 西奥。计算。科学。 610,A部分,13-23(2016).MSC公司:70年第68季度 03B44号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{M.Kufleitner},Theor。计算。科学。610,A部分,13-23(2016;兹bl 1332.68147) 全文: 内政部 arXiv公司
法语,蒂姆;John McCabe-Dansted先生;马克·雷诺兹 连续时间合成。 (英文) Zbl 1328.68126号 西奥。计算。科学。 594, 201-222 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.French}等人,Theor。计算。科学。594201--222(2015;Zbl 1328.68126) 全文: 内政部
Sohei伊藤;Ichinose、Takuma;Masaya岛川;直子伊祖米;Shigeki Hagihara;直纪延崎 用时序逻辑对基因调控网络进行定性分析。 (英文) Zbl 1329.92049号 西奥。计算。科学。 594, 151-179 (2015).MSC公司:92立方厘米 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ito}等人,Theor。计算。科学。594151--179(2015年;Zbl 1329.92049) 全文: 内政部
尼桑萨拉·亚塔帕纳奇;克尔斯滕·温特 下一步保护分支互模拟。 (英文) Zbl 1328.68141号 西奥。计算。科学。 594, 120-142 (2015).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Yatapanage}和\textit{K.Winter},Theor。计算。科学。594120--142(2015;Zbl 1328.68141) 全文: 内政部
埃齐奥·巴托西;卢卡·博托卢西;劳拉·内兹;吉多·桑吉内蒂 利用时间特性的鲁棒性进行随机模型的系统设计。 (英文) Zbl 1327.68147号 西奥。计算。科学。 587, 3-25 (2015).MSC公司:65年第68季度 03B44号 60年第68季度 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,Theor。计算。科学。587,3--25(2015;Zbl 1327.68147) 全文: 内政部
巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯,玛格丽塔 参数度量时间间隔逻辑。 (英文) Zbl 1317.68112号 西奥。计算。科学。 564, 131-148 (2015).MSC公司:60年第68季度 03B25号 03B44号 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Giampaolo}等人,Theor。计算。科学。564131-148(2015;Zbl 1317.68112) 全文: 内政部
张文辉 有界语义。 (英文) Zbl 1317.68105号 西奥。计算。科学。 564, 1-29 (2015).MSC公司:68问题55 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang},Theor(西奥)。计算。科学。564,1--29(2015;Zbl 1317.68105) 全文: 内政部
大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 强离散线性序上的区间时序逻辑:表达性和复杂性。 (英文) Zbl 1335.03017号 西奥。计算。科学。 560,第3部分,269-291(2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。560,第3部分,269--291(2014;Zbl 1335.03017) 全文: 内政部
张楠;段振华;田聪;杜定珠 PPTL公理系统中截止期驱动调度器的形式化证明。 (英文) Zbl 1360.68771号 西奥。计算。科学。 554, 229-253 (2014).MSC公司:68吨15 03B44号 68平方米 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。554229-253(2014年;Zbl 1360.68771) 全文: 内政部
段振华;田聪 具有无限模型的命题投影时序逻辑的实用决策过程。 (英文) Zbl 1358.68188号 西奥。计算。科学。 554, 169-190 (2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}和\textit{C.Tian},Theor。计算。科学。554169-190(2014年;Zbl 1358.68188) 全文: 内政部
宋,傅;泰瑟·图利 用于下推系统的高效CTL模型检查。 (英文) Zbl 1360.68599号 西奥。计算。科学。 549, 127-145 (2014).MSC公司:60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{T.Touili},Theor。计算。科学。549、127--145(2014年;Zbl 1360.68599) 全文: 内政部
蒂亚加拉扬,P.S。;杨少发 并发环境中的拉宾定理:一个猜想。 (英文) Zbl 1308.68085号 西奥。计算。科学。 546, 225-236 (2014). 审核人:Jörg Desel(哈根) MSC公司:68问题85 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{S.Yang},Theor。计算。科学。546225-236(2014年;Zbl 1308.68085) 全文: 内政部
英格玛·梅内克;卡琳·夸斯 加权网络的参数化模型检查。 (英文) Zbl 1310.68151号 西奥。计算。科学。 534, 69-85 (2014). 审核人:Antti Valmari(坦佩雷) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Meinecke}和\textit{K.Quaas},Theor。计算。科学。534、69-85(2014年;Zbl 1310.68151) 全文: 内政部
劳拉·博泽利;苏菲·平奇纳特 计数器系统的间隙阶约束抽象的验证。 (英文) Zbl 1358.68182号 西奥。计算。科学。 523, 1-36 (2014).MSC公司:60年第68季度 03B25号 03B44号 2005年第68季度 2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{S.Pinchinat},Theor。计算。科学。523,1--36(2014;Zbl 1358.68182) 全文: 内政部
马可·费拉;萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 时间博弈的自动机理论决策。 (英文) Zbl 1301.68177号 西奥。计算。科学。 515, 46-63 (2014). 审核人:维克托·舒潘(法国) MSC公司:60年第68季度 91A05型 91A43型 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella}等人,Theor。计算。科学。515、46-63(2014年;Zbl 1301.68177) 全文: 内政部
JoséLuiz Fiadeiro;安托尼亚州洛佩斯 面向服务设计的接口理论。 (英文) Zbl 1360.68631号 西奥。计算。科学。 503,1-30(2013).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和\textit{A.Lopes},Theor。计算。科学。503、1--30(2013年;Zbl 1360.68631) 全文: 内政部
段振华;张楠;马西耶·库特尼 命题投影时序逻辑的完整证明系统。 (英文) Zbl 1417.03146号 西奥。计算。科学。 497,84-107(2013).MSC公司:03B44号 03B35型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。497,84-107(2013;Zbl 1417.03146) 全文: 内政部
张楠;段振华;田聪 用于多核并行计算的圆柱体计算模型。 (英文) 兹伯利1416.68074 西奥。计算。科学。 497, 68-83 (2013).MSC公司:2005年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。497,68-83(2013;Zbl 1416.68074) 全文: 内政部
诺里希罗·卡米德 时态BI:证明系统、语义和翻译。 (英文) Zbl 1296.03014号 西奥。计算。科学。 492, 40-69 (2013).MSC公司:03B44号 03B47号 03B62号 03B70号 05年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \文本{N.Kamide},Theor。计算。科学。492、40-69(2013年;Zbl 1296.03014) 全文: 内政部
大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 有限结构、自然数和整数上MPNL的最优决策过程。 (英文) Zbl 1296.03013号 西奥。计算。科学。 493, 98-115 (2013).MSC公司:03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。49398--115(2013;Zbl 1296.03013) 全文: 内政部
马丁·齐默尔曼 参数LTL博弈中的最优边界。 (英文) Zbl 1296.03015号 西奥。计算。科学。 493, 30-45 (2013).MSC公司:03B44号 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{M.Zimmermann},Theor。计算。科学。493,30--45(2013;Zbl 1296.03015) 全文: 内政部
科琳娜·科斯特 最大迹和基于路径的联合时序逻辑。 (英文) 兹比尔1254.68147 西奥。计算。科学。 412,第38号,5025-5042(2011). 审核人:卢茨·施罗德(不来梅) MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \Theor,textit{C.Cêrstea}。计算。科学。412,第38号,5025--5042(2011;Zbl 1254.68147) 全文: 内政部
戴维·巴恩斯;卡洛斯·卡莱罗;詹姆·拉莫斯;卢卡·维甘诺 用于分析安全协议模型的分布式时序逻辑。 (英文) Zbl 1253.68053号 西奥。计算。科学。 412,第31号,4007-4043(2011).MSC公司:68个M12 68米14 03B44号 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Theor。计算。科学。412,第31号,4007--4043(2011;Zbl 1253.68053) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒 使用逻辑LTS进行安全推理。 (英文) Zbl 1216.68193号 西奥。计算。科学。 412,第28号,3337-3357(2011).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。计算。科学。412,第28号,3337-3357(2011;Zbl 1216.68193) 全文: 内政部
斯乔德·克兰恩;Jan Friso,格鲁特;米歇尔·雷尼尔斯 从CTL到一阶模态演算的线性转换。 (英文) Zbl 1216.68188号 西奥。计算。科学。 412,第28号,3129-3139(2011).MSC公司:68问题85 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,Theor。计算。科学。412,第28号,3129--3139(2011;Zbl 1216.68188) 全文: 内政部
马丁·施瓦里克;阿列克谢·托夫奇格里奇科 基于IDD的生化网络模型验证。 (英文) Zbl 1216.68197号 西奥。计算。科学。 412,第26号,2884-2908(2011).MSC公司:68问题85 03B44号 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Schwarick}和\textit{A.Tovchigrechko},Theor。计算。科学。412,第26号,2884--2908(2011;Zbl 1216.68197) 全文: 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 CTRL:CTL的扩展,带有正则表达式和公平操作符,用于验证遗传调控网络。 (英文) Zbl 1231.68163号 西奥。计算。科学。 412,第26号,2854-2883(2011). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人,Theor。计算。科学。412,第26号,2854--2883(2011;Zbl 1231.68163) 全文: 内政部 链接
奥雷连·里兹克;格雷戈里·巴特;弗朗索瓦·法格斯;西尔万·索利曼 时序逻辑规范的连续评估,应用于参数优化和稳健性度量。 (英文) 兹伯利1216.68164 西奥。计算。科学。 412,第26号,2827-2839(2011).MSC公司:60年第68季度 03B44号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Rizk}等人,Theor。计算。科学。412,第26号,2827--2839(2011;Zbl 1216.68164) 全文: 内政部 哈尔
伊丽莎白·德·玛丽亚;弗朗索瓦·法格斯;奥雷连·里兹克;西尔万·索利曼 在时间逻辑约束下,设计、优化和预测细胞周期、生物钟、DNA修复系统、伊立替康代谢和暴露控制的耦合模型。 (英文) 兹比尔1211.92015 西奥。计算。科学。 412,第21期,2108-2127(2011).MSC公司:92立方37 92 C50 92C40型 92立方厘米 49N90型 65C20个 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人,Theor。计算。科学。412,第21号,2108--2127(2011;Zbl 1211.92015) 全文: 内政部 哈尔
田聪;段振华 带有星形的命题投影时序逻辑的表达性。 (英文) Zbl 1221.03018号 西奥。计算。科学。 412,第18期,1729-1744(2011).MSC公司:03B44号 03C05号机组 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Theor。计算。科学。412,第18号,1729-1744(2011;Zbl 1221.03018) 全文: 内政部
弗拉基米尔·里巴科夫 传递时态逻辑中允许的规则{T}(T)_{\mathrm(马特姆){S} 4个}\),充分条件。 (英文) Zbl 1209.03011号 西奥。计算。科学。 411,第50号,4323-4332(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Rybakov},Theor。计算。科学。411、50号、4323--4332(2010;Zbl 1209.03011) 全文: 内政部
亚历山大·拉比诺维奇 具有计数和普努利模态的度量时间逻辑的复杂性。 (英文) Zbl 1196.03029号 西奥。计算。科学。 411,第22-24号,2331-2342(2010). 审核人:克莱门斯·库普克(伦敦) MSC公司:03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Rabinovich},Theor。计算。科学。411,No.22--24,2331--2342(2010;Zbl 1196.03029) 全文: 内政部
斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 单计数器自动机上的模型检查记忆线性时间逻辑。 (英文) Zbl 1334.68131号 西奥。计算。科学。 411,编号22-24,2298-2316(2010).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Theor。计算。科学。411,No.22--24,2298--2316(2010;Zbl 1334.68131) 全文: 内政部
劳拉·博泽利;拉诺特、拉格罗 线性时间混合逻辑的复杂性和简洁性问题。 (英文) Zbl 1187.68292号 西奥。计算。科学。 411,第2期,454-469(2010).MSC公司:65年第68季度 68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{R.Lanotte},Theor。计算。科学。411,第2号,454--469(2010;Zbl 1187.68292) 全文: 内政部
费内科斯(Georgios E.Fainekos)。;乔治·帕帕斯。 连续时间信号时序逻辑规范的稳健性。 (英文) Zbl 1186.68287号 西奥。计算。科学。 410,第42号,4262-4291(2009).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Fainekos}和\textit{G.J.Pappas},Theor。计算。科学。410,编号42,4262--4291(2009;Zbl 1186.68287) 全文: 内政部
斯特凡·德姆里;雷吉斯·加斯科 验证定性约束。 (英文) Zbl 1157.68048号 西奥。计算。科学。 409,第1号,24-40(2008).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon},Theor。计算。科学。409,编号1,24--40(2008;Zbl 1157.68048) 全文: 内政部
弗朗索瓦·法格斯;奥雷连·里兹克 数值数据时间序列分析的时序逻辑约束求解。 (英文) Zbl 1160.68545号 西奥。计算。科学。 408,编号1,55-65(2008).MSC公司:68T20型 68周05 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages}和\textit{A.Rizk},Theor。计算。科学。408,编号1,55--65(2008;Zbl 1160.68545) 全文: 内政部
亚历山大·拉比诺维奇 时序逻辑的Arity层次结构。 (英文) Zbl 1151.03010号 西奥。计算。科学。 403,编号2-3,373-381(2008). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{A.Rabinovich},Theor。计算。科学。403,编号2--3,373--381(2008;Zbl 1151.03010) 全文: 内政部
何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特,纳西索 等式抽象。 (英文) Zbl 1155.68050号 西奥。计算。科学。 403,编号2-3,239-264(2008).MSC公司:60年第68季度 03B44号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,Theor。计算。科学。403,编号2--3,239--264(2008;Zbl 1155.68050) 全文: 内政部
劳拉·博泽利 分支时间下推模型检查的复杂性结果。 (英文) Zbl 1121.68073号 西奥。计算。科学。 379,编号1-2,286-297(2007).MSC公司:60年第68季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{L.Bozzelli},Theor。计算。科学。379,编号1--2,286--297(2007;Zbl 1121.68073) 全文: 内政部
曼弗雷德·库夫莱特纳 多项式、时态逻辑片段和轨迹上的DA变化。 (英文) Zbl 1111.68059号 西奥。计算。科学。 376,编号1-2,89-100(2007).MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.Kufleitner},Theor。计算。科学。376,编号1--2,89-100(2007;Zbl 1111.68059) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒 进程连接:通过现成的树语义进行完全抽象。 (英文) Zbl 1111.68085号 西奥。计算。科学。 373,编号1-2,19-40(2007).MSC公司:68问题85 03B44号 68问题55 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。计算。科学。373,编号1--2,19-40(2007;Zbl 1111.68085) 全文: 内政部
迈克尔·卡明斯基 动作时序逻辑中结巴时的不变性。 (英文) Zbl 1171.68549号 西奥。计算。科学。 368,编号1-2,50-63(2006).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.卡明斯基}。计算。科学。368,编号1--2,50-63(2006;Zbl 1171.68549) 全文: 内政部
约阿希姆·克莱因;拜尔,克里斯特尔 线性时序逻辑公式的确定性(ω)自动机实验。 (英文) Zbl 1153.03016号 西奥。计算。科学。 363,第2期,182-195(2006).MSC公司:05年3月 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.克莱因}和\textit{C.拜尔},提奥。计算。科学。363,第2号,182--195(2006;Zbl 1153.03016) 全文: 内政部
劳拉·博泽利 流程重写系统和一类基于操作的常规属性的模型检查。 (英文) Zbl 1097.68050号 西奥。计算。科学。 360,编号1-3,352-372(2006).MSC公司:2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Bozzelli},Theor。计算。科学。360,编号1--3,352--372(2006;Zbl 1097.68050) 全文: 内政部
斯特凡·德姆里 整数周期约束上的LTL。 (英文) Zbl 1097.68073号 西奥。计算。科学。 360,编号1-3,96-123(2006).MSC公司:60年第68季度 03B44号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Demri},Theor。计算。科学。360,编号1--3,96-123(2006;Zbl 1097.68073) 全文: 内政部 哈尔
米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇 描述EF和EX树逻辑。 (英文) Zbl 1097.03013号 西奥。计算。科学。 358,编号2-3,255-272(2006).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}和\textit{I.Walukiewicz},Theor。计算。科学。358,编号2--3,255-272(2006;Zbl 1097.03013) 全文: 内政部
佐尔坦·埃西克 描述有限树上类CTL逻辑的特征。 (英文) Zbl 1160.68408号 西奥。计算。科学。 356,编号1-2136-152(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Z.埃西克},Theor。计算。科学。356,编号1--2,136-152(2006;Zbl 1160.68408) 全文: 内政部
沃尔克·迪克特;保罗·加斯丁 Mazurkiewicz迹上从局部到全局的时序逻辑。 (英文) Zbl 1160.68574号 西奥。计算。科学。 356,编号1-2,126-135(2006).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin},Theor。计算。科学。356,编号1--2,126-135(2006;Zbl 1160.68574) 全文: 内政部
瓦伦丁·戈兰科;范·德里姆伦(van Drimmelen)、戈弗特(Govert) 交替时间-时间逻辑的完全公理化和可判定性。 (英文) Zbl 1089.03013号 西奥。计算。科学。 353,编号1-3,93-117(2006).MSC公司:03B44号 60年第68季度 03B25号 91A80型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{G.van Drimmelen},Theor。计算。科学。353,编号1--3,93-117(2006;Zbl 1089.03013) 全文: 内政部