马哈茂德·本特里奥;保罗·巴拉里尼;保罗·亨里·库内德 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) 全文: 内政部
马修·迪佩尔;拉维·桑达拉姆;阿克沙尔瓦尔马 可达序列的实现问题。 (英语) Zbl 1477.68218号 西奥。计算。科学。 866, 1-13 (2021).MSC公司:68兰特 2017年第68季度 65年第68季度 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Dippel}等人,Theor。计算。科学。866,1-13(2021;Zbl 1477.68218) 全文: 内政部
苗族、东靖;李建忠;蔡志鹏 最大可达性保持图割。 (英语) Zbl 1455.68145号 西奥。计算。科学。 840, 187-198 (2020).MSC公司:68兰特 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Miao}等人,Theor。计算。科学。840187-198(2020年;Zbl 1455.68145) 全文: 内政部
伊斯兰,马里兰州Ariful;牧场克利夫兰;弗拉维奥·芬顿。;拉杜·格罗苏;保罗·L·琼斯。;斯科特·斯莫尔卡。 心脏交替多参数分岔分析的概率可达性。 (英语) Zbl 1427.92054号 西奥。计算。科学。 765, 158-169 (2019).MSC公司:92 C55 34C23型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{Md.A.Islam}等人,Theor。计算。科学。765158-169(2019年;Zbl 1427.92054) 全文: 内政部
Anicet巴特;贝诺·德拉哈耶;波林·福尼尔;莱姆,迪迪埃;埃里克·蒙弗罗伊;夏洛特·特鲁切特 使用约束的参数区间马尔可夫链的可达性。 (英语) 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 1393.68066号 西奥。计算。科学。 735, 132-146 (2018).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bazille}等人,Theor。计算。科学。735132-146(2018年;Zbl 1393.68066) 全文: 内政部 arXiv公司
亚历山大·约万诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 (英语) 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) 全文: 内政部
保罗·C·贝尔。;陈,尚;丽莎·杰克逊 关于受限递阶混合系统问题的可判定性和复杂性。 (英语) Zbl 1353.68158号 西奥。计算。科学。 652,47-63(2016).MSC公司:65年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Bell}等人,Theor。计算。科学。652,47-63(2016;Zbl 1353.68158) 全文: 内政部 链接
伊藤武弘;川村一郎;小野,广高;周、肖 图中列表\(L(2,1)\)标记的重新配置。 (英语) 兹比尔1418.68170 西奥。计算。科学。 544, 84-97 (2014).MSC公司:68兰特 05C78号 05C85号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ito}等人,Theor。计算。科学。544、84-97(2014年;Zbl 1418.68170) 全文: 内政部
乔治·德尔扎诺;吉安路易吉·扎瓦塔罗 生物环境中的可达性问题。 (英语) Zbl 1238.68097号 西奥。计算。科学。 431, 56-74 (2012).MSC公司:68问题85 92B05型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{G.Zavataro},Theor。计算。科学。431、56-74(2012年;Zbl 1238.68097) 全文: 内政部
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有无序数据的Petri网的可判定性和复杂性。 (英语) Zbl 1231.68172号 西奥。计算。科学。 412,第34号,4439-4451(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 60年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{D.de Frutos-Escrig},Theor。计算。科学。412,第34号,4439-4451(2011;Zbl 1231.68172) 全文: 内政部
伊藤武弘;埃里克·D·德曼。;尼古拉斯·哈维。;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。;玛莎·西德丽;上原、琉璃;尤诺(Yushi Uno) 关于重构问题的复杂性。 (英语) Zbl 1207.68166号 西奥。计算。科学。 412,编号12-14,1054-1065(2011).MSC公司:65年第68季度 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.Ito}等人,Theor。计算。科学。412,编号12--14,1054--1065(2011;Zbl 1207.68166) 全文: 内政部 链接
泰瑟·图利;穆罕默德·法乌齐(Mohamed Faouzi Atig) 使用动态通信结构验证并行程序。 (英语) Zbl 1209.68114号 西奥。计算。科学。 411,编号38-39,3460-3468(2010).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Touili}和\textit{M.F.Atig},Theor。计算。科学。411、编号38-39、3460-3468(2010;Zbl 1209.68114) 全文: 内政部
尤金·亚萨林;杰拉尔多·施奈德;塞尔吉奥·尤文 多边形混合系统的算法分析。一: 可达性。 (英语) Zbl 1121.68071号 西奥。计算。科学。 379,编号1-2,231-265(2007).MSC公司:60年第68季度 34A60型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Theor。计算。科学。379,编号1--2,231--265(2007;Zbl 1121.68071) 全文: 内政部
彼得·柯林斯 可达集的连续性和可计算性。 (英语) Zbl 1154.93351号 西奥。计算。科学。 341,第1-3号,162-195(2005).MSC公司:93B40码 93个B03 03层60 PDF格式BibTeX公司 XML格式引用 \提奥,textit{P.柯林斯}。计算。科学。341,编号1--3,162-195(2005;Zbl 1154.93351) 全文: 内政部 链接
谢高燕;李,程;当、哲 线性不定方程组的线性可达性问题和最小解。 (英语) Zbl 1071.68055号 西奥。计算。科学。 328,编号1-2203-219(2004).MSC公司:65年第68季度 2004年11月 11年50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Xie}等人,Theor。计算。科学。328,编号1--2,203-219(2004;Zbl 1071.68055) 全文: 内政部
奥特曼·阿伊特·穆罕默德;宋晓宇;爱德华·塞尔尼 基于MDG的抽象状态枚举的非终结性。 (英语) Zbl 1028.68102号 西奥。计算。科学。 300,编号1-3,161-179(2003).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.A.Mohamed}等人,Theor。计算。科学。300,编号1--3,161-179(2003;Zbl 1028.68102) 全文: 内政部
雷米·马尔古耶斯;更多,马利卡 关于二维二值图像可达性的计算复杂性和二维数字拓扑的一些基本问题。 (英语) Zbl 0997.68153号 西奥。计算。科学。 283,第1期,67-108(2002).MSC公司:68平方英寸10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Malgouyres}和\textit{M.More},Theor。计算。科学。283,编号1,67--108(2002;Zbl 0997.68153) 全文: 内政部
阿卜杜拉,P.A。;B.琼森。 确保无限状态系统符号验证方法的完整性。 (英语) Zbl 0973.68146号 西奥。计算。科学。 256,编号1-2,145-167(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。256,编号1--2,145-167(2001;Zbl 0973.68146) 全文: 内政部
D.梅尔斯基。;代表,T。 一类集合约束的可交换性和上下文自由语言的可达性。 (英语) Zbl 0949.68087号 西奥。计算。科学。 248,第1-2号,第29-98号(2000年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Melski}和\textit{T.Reps},Theor。计算。科学。248,编号1--2,29-98(2000;Zbl 0949.68087) 全文: 内政部
艾哈迈德·博阿贾尼;彼得·哈伯梅尔 具有非规则配置集的FIFO信道系统的符号可达性分析。 (英语) Zbl 0933.68089号 西奥。计算。科学。 221,编号1-2,211-250(1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}和\textit{P.Habermehl},Theor。计算。科学。221,编号1--2,211-250(1999;Zbl 0933.68089) 全文: 内政部
Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。;Huynh,Dung T。;Yen、Hsu-Chun 有限维和二维状态向量加法系统问题的复杂性界。 (英语) Zbl 0633.68029号 西奥。计算。科学。 46, 107-140 (1986). 审核人:I.O.内核 MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Howell}等人,Theor。计算。科学。46、107——140(1986年;Zbl 0633.68029) 全文: 内政部