张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) 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 07638593号 西奥。计算。科学。 943, 171-186 (2023).MSC公司:03B70号 03D78号 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Köpp}和\textit{H.Schwichtenberg},Theor。计算。科学。943171--186(2023年;Zbl 07638593) 全文: 内政部
刘德鹏;王,弯腰;付,陈;张丽君 模型检查差异私有属性。 (英语) 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) 全文: 内政部
谢瑞峰;胡镇江 一般递归透镜组合器及其计算法则。 (英语) Zbl 1499.68071号 西奥。计算。科学。 913, 113-137 (2022).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Xie}和\textit{Z.Hu},Theor。计算。科学。913113-137(2022年;Zbl 1499.68071) 全文: 内政部
徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上的模型检查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) 全文: 内政部
莫森野生动物园;玛丽克·赫斯曼 CUDA中并行前缀和流压缩算法的形式化验证。 (英语) Zbl 1483.68091号 西奥。计算。科学。 912, 81-98 (2022).MSC公司:68号30 03B70号 60年第68季度 68瓦10 PDF格式BibTeX公司 XML格式引用 \textit{M.Safari}和\textit{M.Huisman},Theor。计算。科学。912、81-98(2022年;Zbl 1483.68091) 全文: 内政部
金,赵;张博文;张磊;曹永志;王汉平 用于云存储系统本地推理的自适应完整证明系统。 (英语) Zbl 1517.68103号 西奥。计算。科学。 903, 39-73 (2022).MSC公司:68第20页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Jin}等人,Theor。计算。科学。903、39-73(2022年;Zbl 1517.68103) 全文: 内政部
彼得·扬查尔 基本并行过程的相似性。 (英语) Zbl 07467467号 西奥。计算。科学。 903, 26-38 (2022).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔},Theor。计算。科学。903,26-38(2022年;兹bl 07467467) 全文: 内政部
徐,熊;王淑玲;詹伯华;金向宇;Jean-Pierre塔宾;詹乃军 通过结合AADL和Simulink/Stateflow,对网络物理系统进行统一的图形联合建模、分析和验证。 (英语) Zbl 07467466号 西奥。计算。科学。 903, 1-25 (2022).MSC公司:60年第68季度 68问题55 68问题85 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,Theor。计算。科学。903,1--25(2022;Zbl 07467466) 全文: 内政部
安吉洛·蒙塔纳里;皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 (英语) 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) 全文: 内政部
乌戈·达尔拉戈;弗朗西斯科·加瓦佐 微分逻辑关系。II: 增量和衍生品。 (英语) Zbl 1514.68032号 西奥。计算。科学。 895, 34-47 (2021).MSC公司:68号30 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{F.Gavazzo},Theor。计算。科学。895,34-47(2021;Zbl 1514.68032) 全文: 内政部
马哈茂德·本特里奥;保罗·巴拉里尼;保罗·亨里·库内德 Automaton-ABC:估计参数马尔可夫总体模型时空特性概率的统计方法。 (英语) Zbl 1514.68121号 西奥。计算。科学。 893, 191-219 (2021).MSC公司:60年第68季度 62亿02 2005年6月2日 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bentriou}等人,Theor。计算。科学。893191-219(2021年;Zbl 1514.68121) 全文: 内政部
拉诺特、拉格罗;马西莫·梅罗;安德烈·蒙泰努 检测和缓解PLC恶意软件的过程演算方法。 (英语) Zbl 1514.68140号 西奥。计算。科学。 890, 125-146 (2021).MSC公司:60年第68季度 68平方米25 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Theor。计算。科学。890、125--146(2021年;Zbl 1514.68140) 全文: 内政部
帕特里克·库索特 通过抽象解释进行常规模型检查器的计算设计。 (英语) Zbl 1497.68294号 西奥。计算。科学。 869, 62-84 (2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.库索特},Theor。计算。科学。869,62-84(2021年;兹比尔1497.68294) 全文: 内政部
张楠;段振华;田聪 统一的时序逻辑。 (英语) 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) 全文: 内政部
哈吉特·阿提亚;塞巴斯蒂安·伯克哈特;阿列克谢·戈茨曼;亚当·莫里森;杨红seok;马雷克·扎维斯基 协作文本编辑的规范和空间复杂性。 (英语) Zbl 1497.68283号 西奥。计算。科学。 855, 141-160 (2021).MSC公司:60年第68季度 68个M12 68问题85 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{H.Attiya}等人,Theor。计算。科学。855141-160(2021年;Zbl 1497.68283) 全文: 内政部
刘,金;段振华;田聪 多匹配嵌套关系。 (英语) Zbl 1477.68157号 西奥。计算。科学。 854, 77-93 (2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,Theor。计算。科学。854,77-93(2021;Zbl 1477.68157) 全文: 内政部
迈克尔·克里斯滕森;约瑟夫·麦克马汉;劳顿·尼科尔斯;Jared Roesch公司;蒂莫西·舍伍德;本·哈德科夫 通过完整性类型和经验证的组件实现安全功能系统。 (英语) Zbl 1477.68030号 西奥。计算。科学。 851, 39-61 (2021).MSC公司:2007年7月68日 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Christensen}等人,Theor。计算。科学。851,39-61(2021;Zbl 1477.68030) 全文: 内政部
张楠;于斌;田聪;段振华;袁小帅 程序的时序逻辑规范挖掘。 (英语) 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) 全文: 内政部
米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 操作员优先时序逻辑和模型检查。 (英语) 兹比尔1464.68197 西奥。计算。科学。 848, 47-81 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chiari}等人,Theor。计算。科学。848、47-81(2020年;Zbl 1464.68197) 全文: 内政部 链接
乌里·法伦贝格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 (英语) Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司:68问题85 65年第68季度 60年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Theor。计算。科学。847134-146(2020年;Zbl 1464.68239) 全文: 内政部
罗伯特·约翰逊。;埃里克·温弗里 使用共刺激验证聚合物反应网络。 (英语) Zbl 1460.68039号 西奥。计算。科学。 843, 84-114 (2020).MSC公司:2007年第68季度 60年第68季度 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Johnson}和\textit{E.Winfree},Theor。计算。科学。843、84-114(2020年;Zbl 1460.68039) 全文: 内政部 链接
阿列克桑达尔·迪莫夫斯基。;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) 全文: 内政部 链接
卢卡·斯帕拉齐;弗朗西斯科·斯佩尼 带布尔保护的时间自动机网络的参数化模型检查。 (英语) Zbl 1433.68219号 西奥。计算。科学。 813, 248-269 (2020).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Spalazzi}和\textit{F.Spegni},Theor。计算。科学。813248-269(2020年;Zbl 1433.68219) 全文: 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;洛雷达纳·索伦蒂诺 线性过去的交替时间逻辑。 (英语) Zbl 1433.03050号 西奥。计算。科学。 813, 199-217 (2020).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。813199-217(2020年;Zbl 1433.03050) 全文: 内政部
卢、徐;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英语) 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 1437.68193号 西奥。计算。科学。 811, 112-124 (2020).MSC公司:68宽15 60年第68季度 68兰特 68周25 PDF格式BibTeX公司 XML格式引用 \textit{K.Censor-Hillel}等人,Theor。计算。科学。811112-124(2020年;Zbl 1437.68193) 全文: 内政部
张楠;段振华;田聪;杜洪伟 一种验证程序上下文无关属性的新方法。 (英语) Zbl 1436.68200号 西奥。计算。科学。 809, 519-530 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。809,519-530(2020年;兹比尔1436.68200) 全文: 内政部
王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英语) 兹比尔1436.68077 西奥。计算。科学。 809, 430-465 (2020).MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司
吴敏;马修·威克;阮文杰;黄晓伟;玛尔塔·奎亚特科夫斯卡 具有可证明保证的深度神经网络的基于游戏的近似验证。 (英语) 兹比尔1436.68199 西奥。计算。科学。 807、298-329(2020).MSC公司:60年第68季度 68T07型 68吨10 91B80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wu}等人,Theor。计算。科学。807298-329(2020年;Zbl 1436.68199) 全文: 内政部 arXiv公司 链接
阿尼埃洛·穆拉诺;帕伦特,米姆;萨沙·鲁宾;洛雷达纳·索伦蒂诺 具有有限路径语义的模型检查分级计算树逻辑。 (英语) 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) 全文: 内政部
西蒙·福斯特;安娜·卡瓦尔坎蒂;塞缪尔·卡纳姆;吉姆·伍德科克;泽达,弗兰克 统一反应设计合同理论。 (英语) Zbl 1436.68195号 西奥。计算。科学。 802, 105-140 (2020).MSC公司:60年第68季度 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Theor。计算。科学。802105-140(2020年;Zbl 1436.68195) 全文: 内政部 arXiv公司 链接
马西莫开罗;罗密欧·里兹 具有不确定性的简单时态网络的动态可控性:简单规则和快速实时执行。 (英语) 兹比尔1434.68544 西奥。计算。科学。 797, 2-16 (2019).MSC公司:68T20型 64岁以下 60年第68季度 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{M.Cairo}和\textit{R.Rizzi},Theor。计算。科学。797,2--16(2019年;Zbl 1434.68544) 全文: 内政部
斯文·舍韦(编辑);托马斯·施耐德(编辑);杰夫·威森(编辑) 时间表征和推理专题(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 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) 全文: 内政部
直纪小林 非确定性递归程序方案的前沿语言和Dyck语言之间的包含是不可判定的。 (英语) 兹比尔1429.68120 西奥。计算。科学。 777, 409-416 (2019).MSC公司:65年第68季度 2005年11月 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.小林},Theor。计算。科学。777409-416(2019年;Zbl 1429.68120) 全文: 内政部
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 微分等价的符号计算。 (英语) Zbl 1425.68463号 西奥。计算。科学。 777, 132-154 (2019).MSC公司:68瓦30 34个C99 68号30 68问题55 60年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。777132-154(2019年;Zbl 1425.68463) 全文: 内政部 链接
Aceto,卢卡;黛拉·莫妮卡,达里奥;伊格纳西奥·法布雷加斯;Anna Ingólfsdóttir 素数公式的特征是什么时候? (英语) Zbl 1425.68246号 西奥。计算。科学。 777, 3-31 (2019).MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。777,3-31(2019年;兹比尔1425.68246) 全文: 内政部
Shin,Seung Woo先生;克里斯·塔丘克;埃里克·温弗里 验证化学反应网络的实施:一种途径分解方法。 (英语) Zbl 1423.68292号 西奥。计算。科学。 765, 67-96 (2019).MSC公司:60年第68季度 2005年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{S.W.Shin}等人,Theor。计算。科学。765,67-96(2019年;Zbl 1423.68292) 全文: 内政部 arXiv公司
罗伯特·约翰逊;Dong,Qing(清·东);埃里克·温弗里 验证化学反应网络的实现:一种相互模拟方法。 (英语) Zbl 1423.68286号 西奥。计算。科学。 765, 3-46 (2019).MSC公司:60年第68季度 65年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Johnson}等人,Theor。计算。科学。765,3-46(2019年;兹比尔1423.68286) 全文: 内政部
杰罗姆·费雷特(编辑);洛伊奇·波列维(编辑);萨夫拉内克,大卫(编辑) 前言。 (英语) 兹比尔1423.68022 西奥。计算。科学。 765, 1-2 (2019).MSC公司:68-06 2005年第68季度 2010年第68季度 60年第68季度 92C40型 92立方厘米 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Feret}(编辑)等人,Theor。计算。科学。765,1--2(2019年;Zbl 1423.68022) 全文: 内政部
雅各布·M·豪。;安迪·金;埃克塞尔·西蒙 每个不等式两变量系统的增量闭包。 (英语) Zbl 1417.68103号 西奥。计算。科学。 768, 1-42 (2019).MSC公司:60年第68季度 68号30 68问题55 68瓦40 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{J.M.Howe}等人,Theor。计算。科学。768,1--42(2019年;Zbl 1417.68103) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 在模型检查中,区间时序逻辑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) 全文: 内政部 链接
佩德罗·里贝罗;安娜·卡瓦尔坎蒂 通过UTP为CSP提供天使流程。 (英语) Zbl 1410.68236号 西奥。计算。科学。 756, 19-63 (2019).MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}和\textit{A.Cavalcanti},Theor。计算。科学。756、19-63(2019年;Zbl 1410.68236) 全文: 内政部 链接
Shirin Baghoolizadeh;阿里·莫瓦加尔;马吉迪,尼金 一种基于均匀化的连续时间随机博弈模型检验算法。 (英语) Zbl 1410.68215号 西奥。计算。科学。 756,1-18(2019).MSC公司:60年第68季度 91A15型 91A80 PDF格式BibTeX公司 XML格式引用 \textit{S.Baghoolizadeh}等人,Theor。计算。科学。756,1-18(2019年;Zbl 1410.68215) 全文: 内政部
杨凯;段振华;田聪;张楠 MSVL及其应用程序的编译器。 (英语) Zbl 1407.68096号 西奥。计算。科学。 749, 2-16 (2018).MSC公司:68N20型 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Yang}等人,Theor。计算。科学。749,2--16(2018;Zbl 1407.68096) 全文: 内政部
北阿勒奇纳州。;北布林。;德姆里,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) 全文: 内政部
托马斯·杰夫罗伊;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 奥卡姆剃刀应用于Petri网覆盖问题。 (英语) Zbl 1402.68134号 西奥。计算。科学。 750, 38-52 (2018).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Geffroy}等人,Theor。计算。科学。750、38-52(2018;Zbl 1402.68134) 全文: 内政部 arXiv公司
马修·黑格;Anthony W·林。 具有递归并行性的集成操作程序的可确定模型。 (英语) Zbl 1403.68124号 西奥。计算。科学。 750, 24-37 (2018).MSC公司:60年第68季度 68号30 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hague}和\textit{A.W.Lin},Theor。计算。科学。750、24-37(2018;Zbl 1403.68124) 全文: 内政部 arXiv公司
亚历山大·韦内特;马丁·齐默尔曼 可见的线性动态逻辑。 (英语) 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公司 链接
阿尼塞特·巴特;贝诺·德拉哈耶;波林·福尼尔;莱姆,迪迪埃;埃里克·蒙弗罗伊;夏洛特·特拉切特 使用约束的参数区间马尔可夫链的可达性。 (英语) Zbl 1400.68118号 西奥。计算。科学。 747, 48-74 (2018).MSC公司:60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bart}等人,Theor。计算。科学。747、48-74(2018年;Zbl 1400.68118) 全文: 内政部 arXiv公司
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1400.68126号 西奥。计算。科学。 744, 143-169 (2018).MSC公司:60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schwammberger},Theor。计算。科学。744143-169(2018;Zbl 1400.68126) 全文: 内政部
安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 调度程序和完成程序:关于生成和过滤事件结构的行为。 (英语) Zbl 1400.68139号 西奥。计算。科学。 744,97-112(2018).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,Theor。计算。科学。744,97-112(2018;Zbl 1400.68139) 全文: 内政部
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯(Manuel A.Martins)。 反应系统逐步发展的逻辑。 (英语) Zbl 1400.68125号 西奥。计算。科学。 744, 78-96 (2018).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,Theor。计算。科学。744,78-96(2018;Zbl 1400.68125) 全文: 内政部 链接
罗伯特·哈珀 开放世界中的异常跟踪。 (英语) Zbl 1397.68028号 西奥。计算。科学。 741, 25-31 (2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \文本{R.Harper},Theor。计算。科学。741,25-31(2018;Zbl 1397.68028) 全文: 内政部
谢尔盖·哈达德;本杰明·蒙梅格 MDP和IMDP的区间迭代算法。 (英语) Zbl 1393.68103号 西奥。计算。科学。 735, 111-131 (2018).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}和\textit{B.Monmege},Theor。计算。科学。735、111--131(2018;Zbl 1393.68103) 全文: 内政部 哈尔
保罗·亨特;阿诺·保利;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 具有部分观测的均值支付博弈。 (英语) Zbl 1393.68105号 西奥。计算。科学。 735, 82-110 (2018).MSC公司:60年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,Theor。计算。科学。735,82-110(2018;Zbl 1393.68105) 全文: 内政部 链接
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) Zbl 1393.68096号 西奥。计算。科学。 735, 64-81 (2018).MSC公司:65年第68季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska},Theor。计算。科学。735,64-81(2018;Zbl 1393.68096) 全文: 内政部
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 模型检查平面计数器系统和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 1391.68077号 西奥。计算。科学。 727, 37-100 (2018).MSC公司:60年第68季度 03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人,Theor。计算。科学。727,37--100(2018;Zbl 1391.68077) 全文: 内政部
盖奥尔吉,玛丽安;罗迪卡·塞特基;佛罗伦萨伊帕特;萨瓦斯·科努尔;拉卢卡左翼 核心P系统:从建模到验证和测试。 (英语) 兹比尔1390.68309 西奥。计算。科学。 724, 45-60 (2018).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,Theor。计算。科学。724,45-60(2018年;兹比尔1390.68309) 全文: 内政部 链接
阿夫尼,盖伊;奥尔纳·库普弗曼 基于组件库的成本合成。 (英语) 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) 全文: 内政部
卡拉科蒂,K。 求解Łukasiewicz\(\mu\)-项。 (英语) Zbl 1387.68165号 西奥。计算。科学。 712, 38-49 (2018).MSC公司:60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \文本{K.Kalorkoti},Theor。计算。科学。712、38-49(2018年;Zbl 1387.68165) 全文: 内政部 链接
保罗·巴尔丹;亚历山德罗·贝吉亚托 多层次传递和不传递不干涉,因果关系。 (英语) Zbl 1380.68292号 西奥。计算。科学。 706, 54-82 (2018).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{A.Beggiato},Theor。计算。科学。706、54-82(2018年;Zbl 1380.68292) 全文: 内政部 哈尔
阿列克桑达尔·迪莫夫斯基。 使用符号游戏语义验证带注释的程序族。 (英语) 兹比尔1380.68121 西奥。计算。科学。 706, 35-53 (2018).MSC公司:68号30 65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.迪莫夫斯基},Theor。计算。科学。706、35-53(2018年;Zbl 1380.68121) 全文: 内政部
克里斯蒂安·瓦西莱;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) 全文: 内政部
桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯 用于分析访问控制策略的基于图形的框架。 (英语) Zbl 1371.68174号 西奥。计算。科学。 685, 3-22 (2017).MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}和\textit{M.Fernández},Theor。计算。科学。685、3--22(2017年;Zbl 1371.68174) 全文: 内政部 链接
李毅 见证线性程序的非终止。 (英语) 兹比尔1371.68053 西奥。计算。科学。 681, 75-100 (2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \文本{Y.Li},Theor。计算。科学。681,75-100(2017年;兹比尔1371.68053) 全文: 内政部
劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田信子 通过多方会话类型监视网络。 (英语) Zbl 1359.68215号 西奥。计算。科学。 669, 33-58 (2017).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,Theor。计算。科学。669、33-58(2017年;Zbl 1359.68215) 全文: 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 (英语) Zbl 1359.68171号 西奥。计算。科学。 669, 1-21 (2017).MSC公司:65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Theor。计算。科学。669,1--21(2017;Zbl 1359.68171) 全文: 内政部 链接
奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 求具有循环行为的时间自动机模型的最小和最大终止时间。 (英语) Zbl 1357.68109号 西奥。计算。科学。 665, 87-104 (2017).MSC公司:60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Al-Bataineh}等人,Theor。计算。科学。665,87-104(2017;Zbl 1357.68109) 全文: 内政部 arXiv公司 链接
黄忠妍;Song,Boyeon(波义恩·宋);Daeseon Choi;Jin,Seung-Hun先生;赵贤淑;李明奎 用于批量验证的简化小指数测试。 (英语) Zbl 1356.68263号 西奥。计算。科学。 662, 48-58 (2017).MSC公司:68瓦20 60年第68季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Hwang}等人,Theor。计算。科学。662、48-58(2017年;Zbl 1356.68263) 全文: 内政部
维克托·舒潘 利用时间相关性信息增强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公司
安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 概率可靠性保证演算。 (英语) Zbl 1356.68156号 西奥。计算。科学。 655,B部分,120-134(2016).MSC公司:68问题85 68号30 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,Theor。计算。科学。655,B部分,120--134(2016;Zbl 1356.68156) 全文: 内政部 arXiv公司
萨米克·巴苏;特夫菲克·布尔坦 关于决定异步通信系统的同步性。 (英语) Zbl 1353.68195号 西奥。计算。科学。 656,A部分,60-75(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}和\textit{T.Bultan},Theor。计算。科学。656,A部分,60-75(2016;兹bl 1353.68195) 全文: 内政部
傅、香 关于使用切片检测环境敏感性。 (英语) Zbl 1353.68049号 西奥。计算。科学。 656,A部分,27-45(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \文本{X.Fu},Theor。计算。科学。656,A部分,27-45(2016;Zbl 1353.68049) 全文: 内政部
达里奥·卡洛特努托;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 有序多层可视下推自动机。 (英语) Zbl 1353.68161号 西奥。计算。科学。 656,A部分,1-26(2016).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Carotenuto}等人,Theor。计算。科学。656,A部分,1--26(2016;Zbl 1353.68161) 全文: 内政部
张楠;段振华;田聪 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) 全文: 内政部
西里尔·杰古尔;Legay、Axel;肖恩·塞德瓦兹 用于统计模型检查的基于命令的重要性抽样。 (英语) Zbl 1377.68133号 西奥。计算。科学。 649,1-24(2016).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jegorel}等人,Theor。计算。科学。649,1--24(2016;Zbl 1377.68133) 全文: 内政部
罗西,马蒂奥;迪诺·曼德里奥利;安杰洛·莫尔岑蒂;卢卡·费鲁奇 基于微步和宏步的实时系统的时间逻辑:基础和应用。 (英语) 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) 全文: 内政部 链接
贾森·雅斯科尔卡;里达·凯德里 根据对通信潜力的分析缓解隐蔽通道。 (英语) Zbl 1348.68164号 西奥。计算。科学。 643, 1-37 (2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaskolka}和\textit{R.Khedri},Theor。计算。科学。643,1--37(2016;Zbl 1348.68164) 全文: 内政部
费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 非确定性模态接口。 (英语) Zbl 1345.68231号 西奥。计算。科学。 642, 24-53 (2016).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Buytor}等人,Theor。计算。科学。642、24-53(2016年;Zbl 1345.68231) 全文: 内政部
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合动力系统中的死性和如何反驳活性。 (英语) Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司:65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter},Theor。计算。科学。642,1--23(2016;Zbl 1345.68215) 全文: 内政部
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) 全文: 内政部 链接
尚巴特,皮埃尔;阿兰·芬克尔;西尔万·施密茨 有迹WSTS的正向分析和模型检查。 (英语) Zbl 1343.68162号 西奥。计算。科学。 637, 1-29 (2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chambart}等人,Theor。计算。科学。637,1--29(2016;Zbl 1343.68162) 全文: 内政部
劳拉·博泽利;塞萨尔·桑切斯 布尔流运行时验证的基础。 (英语) Zbl 1339.68165号 西奥。计算。科学。 631, 118-138 (2016).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{C.Sánchez},Theor。计算。科学。631、118--138(2016年;Zbl 1339.68165) 全文: 内政部
皮埃特罗·费拉拉 面向对象编程语言堆和值分析的通用框架。 (英语) Zbl 1343.68040号 西奥。计算。科学。 631, 43-72 (2016). 审核人:米雷尔·科斯基(克雷奥瓦) MSC公司:68甲15 第68页第19页 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Ferrara},Theor。计算。科学。631、43-72(2016年;Zbl 1343.68040) 全文: 内政部
阿齐米,塞皮诺德;克里斯蒂安·格雷斯;塞尔吉·伊万诺夫;卢卡·曼佐尼;Petre,离子;安东尼奥·波雷卡(Antonio E.Porreca)。 反应系统模型检查的复杂性。 (英语) Zbl 1336.68085号 西奥。计算。科学。 623, 103-113 (2016).MSC公司:2015年第68季度 2005年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Azimi}等人,Theor。计算。科学。623、103——113(2016年;Zbl 1336.68085) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 加权峰值神经系统的建模和验证。 (英语) Zbl 1336.68064号 西奥。计算。科学。 623,92-102(2016).MSC公司:2005年第68季度 2010年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Theor。计算。科学。623、92——102(2016年;Zbl 1336.68064) 全文: 内政部
Krzysztof,Zimiañski 关于PV-programs的执行空间。 (英语) Zbl 1335.68073号 西奥。计算。科学。 619, 87-98 (2016).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Zimiaáski},Theor。计算。科学。619,87-98(2016;Zbl 1335.68073) 全文: 内政部 arXiv公司
布鲁诺·库塞尔;艾琳·杜兰德 超越一元二阶逻辑的飞行自动机计算。 (英语) Zbl 1335.68116号 西奥。计算。科学。 619, 32-67 (2016).MSC公司:65年第68季度 05年3月 05C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},Theor。计算。科学。619、32-67(2016年;Zbl 1335.68116) 全文: 内政部 arXiv公司
西蒙·波娃;罗伯特·加尼安;斯泽德,斯特凡 部分有序集上的量化联合查询。 (英语) Zbl 1335.68133号 西奥。计算。科学。 618,72-84(2016).MSC公司:60年第68季度 06年06月06日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}等人,Theor。计算。科学。61872--84(2016年;Zbl 1335.68133) 全文: 内政部
潘海宇;李永明;曹永志;马,战友 有限格上的模型检查计算树逻辑。 (英语) Zbl 1332.68141号 西奥。计算。科学。 612, 45-62 (2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,Theor。计算。科学。61245--62(2016;Zbl 1332.68141) 全文: 内政部