比尼特·戈什;埃蒂安·安德烈 使用边界模型对分散的不确定原木进行离线和在线节能监测。 (英语) Zbl 07789013号 日志。方法计算。科学。 20,第1号,第2号论文,33页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{埃米·安德烈},日志。方法计算。科学。20,第1号,第2号论文,33页(2024;Zbl 07789013) 全文: 内政部 arXiv公司
托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 灵活的正确施工规划。 (英语) Zbl 07731927号 日志。方法计算。科学。 19,第2号,第16号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,日志。方法计算。科学。19,第2号,第16号论文,36页(2023;Zbl 07731927) 全文: 内政部 arXiv公司
巴斯·卢提克;杨飞 \(\pi\)-演算在行为上是完全的,并且轨道是有限可执行的。 (英语) 兹比尔1509.68187 日志。方法计算。科学。 17,第1号,第14号论文,第26页(2021年).MSC公司:68问题85 04年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik}和\textit{F.Yang},Log。方法计算。科学。17,第1号,第14号论文,第26页(2021年;Zbl 1509.68187) 全文: arXiv公司 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率双相似距离。 (英语) Zbl 1509.68181号 日志。方法计算。科学。 17,第1号,第9号论文,36页(2021年).MSC公司:68问题85 03B44号 65年第68季度 第68季度87 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。17,第1号,第9号论文,36页(2021;Zbl 1509.68181) 全文: arXiv公司 链接
Basile,大卫;莫里斯·比克。;罗萨里奥·普格利泽 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 (英语) Zbl 1528.68173号 日志。方法计算。科学。 16,第2号,第9号论文,29页(2020年).MSC公司:65年第68季度 60年第68季度 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,Log。方法计算。科学。16,第2号,第9号论文,29页(2020年;Zbl 1528.68173) 全文: arXiv公司 链接
托尔斯滕·维曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德 高效且模块化的余代数划分细化。 (英语) 兹比尔1442.68113 日志。方法计算。科学。 16,第1号,第8号论文,63页(2020年).MSC公司:68问题65 60J22型 65年第68季度 68问题85 第68季度87 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《日志》。方法计算。科学。16,第1号,第8号论文,63页(2020年;Zbl 1442.68113) 全文: arXiv公司
埃蒂安·安德烈;青柠,迪迪埃;尼古拉斯·马基 参数时间自动机中的语言保存问题。 (英语) Zbl 1429.68098号 日志。方法计算。科学。 16,第1号,第5号文件,第31页(2020).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《日志》。方法计算。科学。16,第1号,第5号论文,31页(2020年;Zbl 1429.68098) 全文: arXiv公司
亚历克斯·基辛格;桑德·尤伊伦 因果结构的范畴语义。 (英语) Zbl 1442.68146号 日志。方法计算。科学。 15,第3号,第15号论文,48页(2019年).MSC公司:68问题85 03G30型 18立方厘米50 第81页,共16页 PDF格式BibTeX公司 XML格式引用 \textit{A.基辛格}和\textit{S.Uijlen},Log。方法计算。科学。15,第3号,第15号论文,48页(2019年;Zbl 1442.68146) 全文: arXiv公司
Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金伯特;阿德韦特·阿米特·戈博莱 控制人口。 (英语) 兹伯利1437.68176 日志。方法计算。科学。 15,第3号,第7号论文,30页(2019年).MSC公司:68T42型 2017年第68季度 65年第68季度 60年第68季度 68问题85 91A80型 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,日志。方法计算。科学。15,第3号,第7号论文,30页(2019年;Zbl 1437.68176) 全文: arXiv公司
沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 一个计数器自动机的规则可分性。 (英语) Zbl 1440.68154号 日志。方法计算。科学。 15,第2号,第20号论文,27页(2019年).MSC公司:65年第68季度 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwin ski}和\textit{S.Lasota},Log。方法计算。科学。15,第2号,第20号论文,27页(2019年;Zbl 1440.68154) 全文: arXiv公司
托马斯·布伦戈斯;马可·佩雷索蒂 定时系统的行为等效性。 (英语) Zbl 1407.68331号 日志。方法计算。科学。 15,第1号,第17号论文,41页(2019年).MSC公司:68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}和\textit{M.Peressotti},日志。方法计算。科学。15,第1号,第17号论文,41页(2019年;Zbl 1407.68331) 全文: arXiv公司
安娜·索科洛娃;哈拉尔德·沃切克 分布凸集中的终止。 (英语) Zbl 1400.68146号 日志。方法计算。科学。 14,第4号,第17号论文,28页(2018年).MSC公司:第68季度87 18B20型 18立方厘米20 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}和\textit{H.Woracek},日志。方法计算。科学。14,第4号,第17号论文,28页(2018;Zbl 1400.68146) 全文: 内政部 arXiv公司
Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 概率双相似度的博弈特征及其在下推自动机中的应用。 (英语) Zbl 1407.68252号 日志。方法计算。科学。 14,第4号,第13号论文,25页(2018年).MSC公司:65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,日志。方法计算。科学。14,第4号,第13号论文,25页(2018;Zbl 1407.68252) 全文: 内政部 arXiv公司
保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 具有持久性的Petri网的事件结构。 (英语) Zbl 1417.68113号 日志。方法计算。科学。 14,第3号,第25号论文,30页(2018年). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:68问题85 18立方厘米50 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《日志》。方法计算。科学。14,第3号,第25号论文,30页(2018;Zbl 1417.68113) 全文: 内政部 arXiv公司
保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 协同行为指标。 (英语) Zbl 1515.68199号 日志。方法计算。科学。 14,第3号,第20号论文,61页(2018年).MSC公司:68问题85 18立方厘米20 18立方厘米50 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《日志》。方法计算。科学。14,第3号,第20号论文,61页(2018;Zbl 1515.68199) 全文: 内政部 arXiv公司
Natsuki Urabe;一郎·哈索 Coalgebraic无限迹和Kleisli模拟。 (英语) Zbl 1511.68188号 日志。方法计算。科学。 14,第3号,第15号论文,38页(2018).MSC公司:68问题85 18立方厘米20 18立方厘米50 PDF格式BibTeX公司 XML格式引用 \textit{N.Urabe}和\textit{I.Hasuo},日志。方法计算。科学。14,第3号,第15号论文,38页(2018;Zbl 1511.68188) 全文: 内政部 arXiv公司
马科托·哈马纳 基于二阶代数理论的循环数据类型模互模拟。 (英语) Zbl 1398.68348号 日志。方法计算。科学。 13,第4号,第8号论文,38页(2017年).MSC公司:68问题65 03年2月25日 18立方厘米50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana},日志。方法计算。科学。13,第4号,第8号论文,38页(2017;Zbl 1398.68348) 全文: 内政部 arXiv公司
保罗·布鲁内特;Damien Pous Petri自动机。 (英语) Zbl 1427.68185号 日志。方法计算。科学。 13,第3号,第33号论文,50页(2017年).MSC公司:68问题85 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Brunet}和\textit{D.Pous},Log。方法计算。科学。13,第3号,第33号论文,50页(2017年;Zbl 1427.68185) 全文: 内政部 arXiv公司
Basile,大卫;皮耶保罗·德加诺;吉安·路易吉,法拉利 用于指定和编排服务合同的自动化。 (英语) Zbl 1398.68296号 日志。方法计算。科学。 12,第4号,第6号论文,51页(2016).MSC公司:65年第68季度 68甲19 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,Log。方法计算。科学。12,第4号,第6号论文,51页(2016;Zbl 1398.68296) 全文: 内政部 arXiv公司
钟曼,宋世堂。;法哈德·阿尔巴 约束自动机的数据优化。 (英语) Zbl 1398.68312号 日志。方法计算。科学。 12,第3号,第11号论文,38页(2016).MSC公司:65年第68季度 68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.T.Q.Jongmans}和\textit{F.Arbab},日志。方法计算。科学。12,第3号,第11号论文,38页(2016;Zbl 1398.68312) 全文: 内政部 arXiv公司
卡琳·夸斯 用无界离散数据结构扩展的时间自动机的验证。 (英语) Zbl 1448.68314号 日志。方法计算。科学。 11,第3号,第20号论文,24页(2015年).MSC公司:60年第68季度 68第05页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.夸斯},日志。方法计算。科学。11,第3号,第20号论文,24页(2015;Zbl 1448.68314) 全文: 内政部
亚历山德罗·阿巴特;萨代赫·伊斯梅尔·扎德(Sadegh Esmaeil Zadeh)·苏贾尼(Soudjani) 通过形式化抽象对马尔可夫过程的概率分布进行定量近似。 (英语) Zbl 1342.60120号 日志。方法计算。科学。 11,第3号,第8号论文,29页(2015).MSC公司:60J05型 60J10型 60J22型 60F05型 65立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}和\textit{S.E.Z.Soudjani},日志。方法计算。科学。11,第3号,第8号论文,29页(2015;Zbl 1342.60120) 全文: 内政部 arXiv公司
安德烈亚·图里尼;霍尔格·赫尔曼斯 概率自动机的保成本互模拟。 (英语) Zbl 1448.68353号 日志。方法计算。科学。 10,第4号,第11号论文,58页(2014).MSC公司:68问题85 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{A.Turrini}和\textit{H.Hermanns},日志。方法计算。科学。10,第4号,第11号论文,58页(2014;Zbl 1448.68353) 全文: 内政部
古克,丹尼斯;哈桑·哈特菲;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;马克·蒂姆 马尔可夫自动机的时间和长期目标分析。 (英语) Zbl 1342.68135号 日志。方法计算。科学。 10,第3号,第17号论文,29页(2014).MSC公司:2010年第68季度 65年第68季度 68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{D.Guck}等人,Log。方法计算。科学。10,第3号,第17号论文,29页(2014;Zbl 1342.68135) 全文: 内政部 arXiv公司
迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 安全协议的动态标签。 (英语) 兹比尔1315.94050 日志。方法计算。科学。 10,第2号,第11号文件,第50页(2014年).MSC公司:94A60型 68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}等人,日志。方法计算。科学。10,第2号,第11号论文,50页(2014;Zbl 1315.94050) 全文: 内政部 arXiv公司
柯斯坦、海宁;巴巴拉·科尼格 连续概率转移系统的余代数跟踪语义。 (英语) Zbl 1314.68188号 日志。方法计算。科学。 9,第4号,第16号论文,34页(2013).MSC公司:68问题65 60J25型 18立方厘米50 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Kerstan}和\textit{B.König},Log。方法计算。科学。9,第4号,第16号论文,34页(2013;Zbl 1314.68188) 全文: 内政部 arXiv公司
桑迪·巴拉格;托马斯·查泰恩 避免时间自动机网络中的共享时钟。 (英语) Zbl 1314.68196号 日志。方法计算。科学。 9,第4号,第13号论文,26页(2013).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}和\textit{T.Chatain},Log。方法计算。科学。9,第4期,第13号论文,26页(2013;Zbl 1314.68196) 全文: 内政部 arXiv公司
理查德·梅尔(Richard M.Mayr)。;帕罗什·阿齐兹·阿卜杜拉 定价定时Petri网。 (英语) Zbl 1314.68199号 日志。方法计算。科学。 9,第4号,第10号论文,51页(2013).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Mayr}和\textit{P.A.Abdulla},Log。方法计算。科学。9,第4号,第10号文件,第51页(2013年;兹bl 1314.68199) 全文: 内政部 arXiv公司
杰拉尔德·吕特根;沃尔特·福格勒 模态接口自动机。 (英语) Zbl 1272.68313号 日志。方法计算。科学。 9,第3号,第4号论文,28页(2013年).MSC公司:68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Log。方法计算。科学。9,第3号,第4号论文,28页(2013;Zbl 1272.68313) 全文: 内政部 arXiv公司
迈克尔·霍特曼;卢卡斯·凯泽;沃尔夫冈·托马斯 常规无限游戏中的前瞻度。 (英语) Zbl 1248.68299号 日志。方法计算。科学。 8,第3号,第24号论文,第15页(2012年).MSC公司:65年第68季度 60年第68季度 68问题85 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Holtmann}等人,日志。方法计算。科学。8,第3号,第24号论文,第15页(2012;Zbl 1248.68299) 全文: 内政部
吉·斯尔巴 在可视下推自动机上超越语言等价性。 (英语) 兹比尔1164.68018 日志。方法计算。科学。 5,第1期,论文2,22页(2009年).MSC公司:65年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Srba},日志。方法计算。科学。5,第1号,论文2,22页(2009年;Zbl 1164.68018) 全文: 内政部