Mahboubeh萨马迪;法特梅·加塞米;拉丁·科斯拉维 基于消息的系统中消息序列的去中心化运行时验证。 (英语) Zbl 07686410号 学报信息。 60,第2期,145-178(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Samadi}等人,《信息学报》第60卷第2期,第145--178页(2023年;Zbl 07686410) 全文: 内政部
简·Křetínsk \345];托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用预购单索引外观记录。 (英语) Zbl 07592344号 学报信息。 59,第5号,585-618(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk曬}et al.,Acta Inf.59,No.5,585--618(2022;Zbl 07592344) 全文: 内政部
徐明;黄成超;冯、袁 测量量子马尔可夫链中的约束可达性。 (英语) Zbl 1483.68140号 学报信息。 58,第6号,653-674(2021).MSC公司:2012年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,《学报》第58期,第6期,第653--674页(2021年;Zbl 1483.68140) 全文: 内政部
恩格斯,史蒂文;托尼·谭;Van den Bussche,简 序列模式语言中的子序列与子串约束。 (英语) 兹比尔1509.03091 学报信息。 58,编号1-2,35-56(2021).MSC公司:03B70号 05年3月 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Engels}等人,《信息学报》58,第1--2、35-56期(2021年;Zbl 1509.03091) 全文: 内政部 链接
秦旭东;西蒙·布利兹;埃里克,玛德琳;侯泽晨;邓玉欣;张敏 基于SMT的符号自动机生成。 (英语) Zbl 1443.68114号 学报信息。 57,编号3-5,627-656(2020).MSC公司:68问题85 65年第68季度 68问题55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}等人,《学报》第57期,第3--5、627--656号(2020年;Zbl 1443.68114) 全文: 内政部
马西耶·加兹达;Wan Fokkink公司;维托里奥·马萨罗 从操作员的角度来看,一致性。模态特征的句法要求。 (英语) Zbl 1443.68111号 学报信息。 57,编号3-5,329-351(2020).MSC公司:68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gazda}等人,Acta Inf.57,No.3-5329-351(2020;兹bl 1443.68111) 全文: 内政部
安斯加·芬克 出去喝咖啡:和罗布。 (英语) Zbl 1443.68008号 学报信息。 57,编号3-5,323-327(2020).MSC公司:68-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fehnker},Acta Inf.57,No.3--5,323--327(2020;Zbl 1443.68008) 全文: 内政部
纳哈尔·米尔扎伊;Faghih、Fathiyeh;瑞典雅各布斯;博尔祖·博纳克达尔普尔 对称网络中自稳定协议的参数化综合。 (英语) Zbl 1435.68201号 学报信息。 57,编号1-2,271-304(2020).MSC公司:60年第68季度 68M10个 68平方米 64岁以下 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Mirzaie}等人,《学报》第57期,第1--2271--304号(2020年;Zbl 1435.68201) 全文: 内政部
丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼 综合最佳弹性控制器。 (英语) Zbl 1435.68066号 学报信息。 57,编号1-2195-221(2020).MSC公司:68号30 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息学报》57,第1--2期,195-221期(2020年;Zbl 1435.68066) 全文: 内政部 arXiv公司
安德烈亚斯·克雷布斯;阿恩·迈尔;马丁·蒙德亨克 CTL操作员指纹检查模型。 (英语) Zbl 1423.68288号 学报信息。 56,第6期,487-519(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}等人,《学报》第56期,第6期,第487--519页(2019年;Zbl 1423.68288) 全文: 内政部 arXiv公司
罗莎·阿巴斯;法特梅·加塞米;拉丁·科斯拉维 验证带有未指定组件的异步系统。 (英语) Zbl 1417.68096号 学报信息。 56,第2期,161-203(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Abbasi}等人,《信息学报》第56期,第2期,161-203(2019;兹bl 1417.68096) 全文: 内政部 arXiv公司
马苏德·易卜拉希米;古拉姆雷扎·索图德;阿里·莫瓦加尔 模糊程序图上模糊CTL的符号检查。 (英语) Zbl 1410.68224号 学报信息。 56,第1期,1-33页(2019年).MSC公司:60年第68季度 03B44号 03B52号 05C72号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ebrahimi}等人,《信息学报》56,第1期,1-33页(2019年;Zbl 1410.68224) 全文: 内政部
张丽君;杨鹏飞;宋磊;霍尔格·赫尔曼斯;克里斯蒂安·艾森特罗;大卫·詹森(David N.Jansen)。;Jens Chr.Godskesen。 实际调度程序的概率互模拟。 (英语) Zbl 1398.68374号 学报信息。 55,第6号,461-488(2018).MSC公司:68问题85 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,《学报》第55期,第6期,第461--488页(2018年;Zbl 1398.68374) 全文: 内政部
斯乔德·克兰恩;Jeroen J.A.Keiren。;Tim A.C.Willemse。 对等游戏减少。 (英语) Zbl 1398.68337号 学报信息。 55,第5号,401-444(2018).MSC公司:60年第68季度 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,Acta Inf.55,No.5,401-444(2018;Zbl 1398.68337) 全文: 内政部 arXiv公司 链接
戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 用于监视实时属性的算法。 (英语) Zbl 1395.68185号 学报信息。 55,第4号,309-338(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Acta Inf.55,No.4,309--338(2018;Zbl 1395.68185) 全文: 内政部
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1390.68445号 学报信息。 55,第2期,129-152(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},《学报》第55期,第2期,第129--152页(2018年;Zbl 1390.68445) 全文: 内政部 arXiv公司
科什卡,米兰;Dannenberg,弗里茨;尼古拉·保莱蒂;玛尔塔·奎亚特科夫斯卡;卢博什·布里姆 随机生物化学系统的精确参数综合。 (英语) Zbl 1373.92038号 学报信息。 54,第6号,589-623(2017).MSC公司:92C40型 92-08 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人,《信息学报》54,第6期,589--623(2017;Zbl 1373.92038) 全文: 内政部
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均收益和最短路径的Symblicit算法。 (英语) Zbl 1378.68122号 学报信息。 54,第6号,545-587(2017).MSC公司:第68季度87 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
皮耶保罗·德加诺;吉安·路易吉,法拉利;吉安卢卡·梅泽蒂 常规和无上下文的标称记录道。 (英语) Zbl 1376.68087号 学报信息。 54,第4号,399-433(2017). 审核人:弗朗西斯科·多尔斯(蒙特勒) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,《信息学报》54,第4期,399--433(2017年;Zbl 1376.68087) 全文: 内政部
亨特,保罗;吉列尔莫·佩雷斯。;Jean-François拉斯金 无遗憾的反应合成。 (英语) Zbl 1364.68263号 学报信息。 54,第1期,3-39页(2017年);更正同上,第59号,第5671(2022)。MSC公司:60年第68季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《信息学报》54,第1期,第3--39页(2017年;Zbl 1364.68263) 全文: 内政部 arXiv公司
安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 具有等价关系的度量命题邻域逻辑。 (英语) Zbl 1350.68185号 学报信息。 53,编号6-8,621-648(2016).MSC公司:60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,《学报》第53期,第6--8、621--648号(2016年;Zbl 1350.68185) 全文: 内政部 链接
伊贡博格尔;克劳斯·迪特·施韦 并发抽象状态机。 (英语) Zbl 1352.68176号 学报信息。 53,第5期,469-492(2016). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{K.-D.Schewe},《学报》第53期,第5期,469--492(2016;Zbl 1352.68176) 全文: 内政部
维克多·舒潘 通过时间分辨率提取LTL的不满意核心。 (英语) Zbl 1338.68170号 学报信息。 53,第3期,247-299(2016).MSC公司:60年第68季度 03B44号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,No.3,247--299(2016;Zbl 1338.68170) 全文: 内政部 arXiv公司
约斯特·恩格尔弗里特 用于部分函数的双向卵石传感器及其组成。 (英语) Zbl 1330.68155号 学报信息。 52,编号7-8,559-571(2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},《学报》第52期,第7--8559--571号(2015年;Zbl 1330.68155) 全文: 内政部
阿瓜多,约阿奎因;迈克尔·门德勒;冯·汉克斯利登,莱因哈德;Insa Fuhrmann公司 同步并发构造调度的表示定点语义。 (英语) Zbl 1325.68135号 学报信息。 52,编号4-5393-442(2015).MSC公司:68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Aguado}等人,《学报》第52期,第4--5393--442号(2015年;Zbl 1325.68135) 全文: 内政部 链接
Dang,Han-Hing(韩红);伯恩哈德·莫勒 模态代数和Petri网。 (英语) Zbl 1410.68249号 学报信息。 52,编号2-3,109-132(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.Möller},《学报》第52期,第2--3109-132号(2015年;Zbl 1410.68249) 全文: 内政部 链接
乌里·法伦贝格;Legay、Axel 模态转换系统的一般定量规范理论。 (英语) Zbl 1360.68585号 学报信息。 51,第5期,261-295(2014).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},《信息学报》51,第5期,261--295(2014;Zbl 1360.68585) 全文: 内政部 哈尔
克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金 多维量化目标的战略合成。 (英语) Zbl 1360.68208号 学报信息。 51,编号3-4,129-163(2014).MSC公司:64岁以下 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息学报》第51期,第3--4129-163号(2014年;Zbl 1360.68208) 全文: 内政部 arXiv公司
弗朗切斯科·兰扎托 一种有效的克里普克结构仿真算法。 (英语) Zbl 1301.68189号 学报信息。 51,第2期,107-125(2014).MSC公司:68问题85 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato},Acta Inf.51,No.2,107-125(2014;Zbl 1301.68189) 全文: 内政部 arXiv公司
埃琳·曼德拉利;拉霍尼斯,乔治 带折扣的加权一阶逻辑。 (英语) Zbl 1359.03017号 学报信息。 51,第2期,61-106(2014).MSC公司:03B44号 03B10号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Mandrali}和\textit{G.Rahonis},《学报》第51期,第2期,第61-106页(2014年;Zbl 1359.03017) 全文: 内政部
塔玛尔·艾齐科维茨;迈克尔·卡明斯基 连接文法和交替下推自动机。 (英语) Zbl 1358.68155号 学报信息。 50,第3期,175-197(2013).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Aizikowitz}和\textit{M.Kaminski},《学报》第50期,第3期,175--197(2013;Zbl 1358.68155) 全文: 内政部
沃尔特·古特曼 迭代代数和无限计算代数。 (英语) Zbl 1279.68078号 学报信息。 49,第5期,343-359(2012).MSC公司:2005年第68季度 第68季度第70季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},《信息学报》第49期,第5期,第343--359页(2012年;Zbl 1279.68078) 全文: 内政部
拉贝,马库斯·N。;斯文·舍韦 CTMDP和连续时间Markov对策中时间有界可达性的有限最优控制。 (英语) Zbl 1242.91016号 学报信息。 48,编号5-6,291-315(2011). 审核人:安娜·贾斯基维茨(Wrocław) MSC公司:91A15型 90立方厘米 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rabe}和\textit{S.Schewe},《信息学报》第48期,第5--6291--315号(2011年;Zbl 1242.91016) 全文: 内政部 arXiv公司
英明生;冯、袁 量子循环程序。 (英语) Zbl 1214.68168号 学报信息。 47,编号4,221-250(2010).MSC公司:2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}和\textit{Y.Feng},《学报》第47期,第4期,第221--250页(2010年;Zbl 1214.68168) 全文: 内政部 arXiv公司 链接
卡德尔斯,香椿 满足事务数据库约束的复杂性。 (英语) Zbl 1133.68328号 学报信息。 44,编号7-8,591-624(2007).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Calders},《学报信息》第44期,第7--8、591--624号(2007年;Zbl 1133.68328) 全文: 内政部
尼古拉·塔蒂 二进制数据集的安全投影。 (英语) Zbl 1089.68037号 学报信息。 42,编号8-9,617-638(2006).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Tatti},《学报》第42期,第8--9、617--638号(2006年;Zbl 1089.68037) 全文: 内政部 arXiv公司