劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 Pspace(Pspace)-子区间和后缀的时间逻辑的完整性。 (英语) Zbl 07742414号 Inf.计算。 294,文章ID 105083,第20页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。294,文章ID 105083,20 p.(2023;Zbl 07742414) 全文: 内政部
罗布·范·格拉贝克 在具有超时的进程代数中建模互斥。 (英语) Zbl 07742410号 Inf.计算。 294,文章ID 105079,36 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,36 p.(2023;Zbl 07742410) 全文: 内政部 arXiv公司
冯、袁;李三江 量子程序的抽象解释、霍尔逻辑和不正确逻辑。 (英语) Zbl 07742408号 Inf.计算。 294,文章ID 105077,22 p.(2023).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}和\textit{S.Li},Inf.Comput。294,文章ID 105077,22 p.(2023;Zbl 07742408) 全文: 内政部 arXiv公司
杨瑜(Yang,Yu);刘洪波;王华(Wang,Hua);张晓东;菲利普·陈,C.L。 树的新型多叶距颗粒正则(α)子树的枚举算法。 (英语) Zbl 07629136号 Inf.计算。 289,A部分,文章ID 104942,22 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Y.Yang}等人,《信息计算》。289,A部分,文章ID 104942,22 p.(2022;Zbl 07629136) 全文: 内政部
鲁索,路易斯·M·s。;科斯塔,迪奥戈;鲁伊·恩里克;伊迪奥·班奈;亚历山大·弗朗西斯科。 匹配不确定字符串的订单预留模式。 (英语) 兹伯利07629128 Inf.计算。 289,A部分,文章ID 104924,13 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.M.S.Russo}等人,《信息计算》。289,A部分,文章ID 104924,13 p.(2022;Zbl 07629128) 全文: 内政部 链接
加琳娜·吉尔亚斯科娃;Ondřej,克里马 关于确定性biautomata识别的线性语言。 (英语) Zbl 1487.68148号 Inf.计算。 286,文章ID 104778,22 p.(2022).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{O.Kli ma},Inf.Compute。286,文章ID 104778,第22页(2022;Zbl 1487.68148) 全文: 内政部
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;萨尔沃,伊万诺 从逻辑上描述事件结构等效谱的特征。 (英语) Zbl 1504.68138号 Inf.计算。 285,B部分,文章ID 104887,25 p.(2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。285,B部分,文章ID 104887,25 p.(2022;Zbl 1504.68138) 全文: 内政部
朱莉娅·艾森特罗;Edon Kelmendi;简·Křetínsk;马克西米利安·威宁格 简单随机对策的值迭代:停止准则和学习算法。 (英语) Zbl 1507.91016号 Inf.计算。 285,B部分,文章ID 104886,32 p.(2022).MSC公司:91A15型 91A68型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisentraut}等人,《信息计算》。285,B部分,文章ID 104886,32 p.(2022;Zbl 1507.91016) 全文: 内政部 arXiv公司
什洛米·多列夫;利伯,马坦 走向自我稳定的区块链,重建完全擦除的区块链。 (英语) Zbl 1507.94038号 Inf.计算。 285,B部分,文章ID 104881,25 p.(2022).MSC公司:94A60型 91B64型 PDF格式BibTeX公司 XML格式引用 \textit{S.Dolev}和\textit{M.Liber},Inf.Comput。285,B部分,文章ID 104881,25 p.(2022;Zbl 1507.94038) 全文: 内政部
沙恩·马图尔;拉斐尔·奥斯特罗夫斯基 自稳定群体协议的组合特征。 (英语) Zbl 1487.68048号 Inf.计算。 285,B部分,文章ID 104829,第14页(2022).MSC公司:64岁以下 68个M12 2010年第68季度 68兰特 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mathur}和\textit{R.Ostrovsky},Inf.Comput。285,B部分,文章ID 104829,14页(2022;Zbl 1487.68048) 全文: 内政部 arXiv公司
普洛塔萨,维奥雷尔;尤利亚·德拉戈米尔;斯塔夫罗斯·特里帕基斯 反应系统的精化演算。 (英语) Zbl 1487.68160号 Inf.计算。 285,B部分,文章ID 104819,43 p.(2022).MSC公司:60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,《信息计算》。285,B部分,文章ID 104819,43 p.(2022;Zbl 1487.68160) 全文: 内政部 arXiv公司
丽达·巴兹;莫里斯·赫利希 透视状态机复制。 (英语) Zbl 07527811号 Inf.计算。 285,A部分,文章ID 104701,17 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Bazzi}和\textit{M.Herlihy},Inf.Compute。285,A部分,文章ID 104701,17 p.(2022;Zbl 07527811) 全文: 内政部 arXiv公司
蒂尔·诺尔曼;克里斯蒂安·谢德勒 自我稳定的Patricia trie。 (英语) Zbl 1519.68063号 Inf.计算。 285,A部分,文章ID 104697,21 p.(2022).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Knollmann}和\textit{C.Scheideler},信息计算。285,A部分,文章ID 104697,21 p.(2022;Zbl 1519.68063) 全文: 内政部 arXiv公司
Doi,Keisuke先生;Yukiko Yamauchi;木岛、舒吉;Masafumi山下 由变形机器人系统在有限二维方格中搜索。 (英语) Zbl 07527805号 Inf.计算。 285,A部分,文章ID 104695,19 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Doi}等人,《信息计算》。285,A部分,文章ID 104695,19 p.(2022;Zbl 07527805) 全文: 内政部
博尔贾·巴勒;纪尧姆·拉布索 加权树自动机的近似最小化。 (英语) Zbl 1485.68133号 Inf.计算。 282,文章ID 104654,24 p.(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Balle}和\textit{G.Rabusseau},Inf.计算。282,文章ID 104654,24 p.(2022;Zbl 1485.68133) 全文: 内政部
A.Bertagnon。;M.加瓦内利。;A.帕森蒂诺。;Sciavicco,G。;特雷维萨尼,S。 分支区间代数:一幅几乎完整的图画。 (英语) Zbl 1518.68356号 Inf.计算。 281,文章ID 104809,17 p.(2021).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Bertagnon}等人,《信息计算》。281,文章ID 104809,17 p.(2021;Zbl 1518.68356) 全文: 内政部
奥雷利·苏珊娜;纪尧姆·拉希亚;何塞·马丁内斯;达米安·塔塞蒂 跨事件流中时间聚合的切片技术。 (英语) Zbl 1518.68095号 Inf.计算。 281,文章ID 104807,19 p.(2021).MSC公司:68页99 第68页,共15页 68周27 PDF格式BibTeX公司 XML格式引用 \textit{A.Suzanne}等人,《信息计算》。281,文章ID 104807,19 p.(2021;Zbl 1518.68095) 全文: 内政部
Alexander A.Rubtsov。;米哈伊尔·尼·维亚利。 关于集合自动机的计算复杂性。 (英语) Zbl 1518.68191号 Inf.计算。 281,文章ID 104797,25 p.(2021).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Rubtsov}和\textit{M.N.Vyalyi},Inf.Comput。281,文章ID 104797,25 p.(2021;Zbl 1518.68191) 全文: 内政部 arXiv公司
程泽辉;Phokion G.科莱提斯。 临时数据交换的通用解决方案。 (英语) Zbl 1518.68083号 Inf.计算。 281,文章ID 104793,26 p.(2021).MSC公司:第68页,共15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Cheng}和\textit{P.G.Kolaitis},Inf.Compute。281,文章ID 104793,26 p.(2021;Zbl 1518.68083) 全文: 内政部
Michael Sioutis先生;沃尔特,迪德里奇 通过计算局部模型实现定性约束推理中的动态分支。 (英语) Zbl 1518.68352号 Inf.计算。 281,文章ID 104787,15 p.(2021).MSC公司:68分20秒 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}和\textit{D.Wolter},Inf.Comput。281,文章ID 104787,15 p.(2021;Zbl 1518.68352) 全文: 内政部
丁宁;顾、大武 学习布尔立方体上半空间的交集与成员查询的新加密难度。 (英语) Zbl 1518.68149号 Inf.计算。 281,文章ID 104771,21 p.(2021).MSC公司:68问题32 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{N.丁}和\textit{D.古},Inf.计算。281,文章ID 104771,21 p.(2021;Zbl 1518.68149) 全文: 内政部
菲律宾邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 字符串图操作语义的双代数基础。 (英语) 兹比尔1518.68197 Inf.计算。 281,文章ID 104767,22 p.(2021).MSC公司:68问题55 18立方厘米 18立方米 68问题85 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《信息计算》。281,文章ID 104767,22 p.(2021;Zbl 1518.68197) 全文: 内政部 链接
马雷克·克罗巴克;末底改·戈林;J.Ian Munro;尼尔·E·扬。 关于双向比较搜索树中搜索失败的代价。 (英语) Zbl 1518.68072号 Inf.计算。 281,文章ID 104707,9 p.(2021).MSC公司:68第05页 68页第10页 68周05 PDF格式BibTeX公司 XML格式引用 \textit{M.Chrobak}等人,《信息计算》。281,文章ID 104707,9 p.(2021;Zbl 1518.68072) 全文: 内政部 arXiv公司
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 (英语) Zbl 1518.68204号 Inf.计算。 280,文章ID 104640,22 p.(2021).MSC公司:60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。280,文章ID 104640,22 p.(2021;Zbl 1518.68204) 全文: 内政部 链接
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;汤米·詹胡宁 定性空间和时间推理的邻域单样式一致性。 (英语) Zbl 1518.68351号 Inf.计算。 280,文章ID 104638,17 p.(2021).MSC公司:68分20秒 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人,《信息计算》。280,文章ID 104638,第17页(2021;Zbl 1518.68351) 全文: 内政部 链接
科斯塔斯·S·伊利奥普洛斯。;昆都、日都;Pissis,Solon P。 弹性退化字符串中的高效模式匹配。 (英语) Zbl 1497.68603号 Inf.计算。 279,文章ID 104616,13 p.(2021).MSC公司:68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Iliopoulos}等人,《信息计算》。279,文章ID 104616,13 p.(2021;Zbl 1497.68603) 全文: 内政部 arXiv公司 链接
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,25 p.(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 arXiv公司 链接
詹姆斯·莱尔德 高阶计算的加权模型。 (英语) Zbl 1496.68146号 Inf.计算。 275,文章ID 104645,35 p.(2020).MSC公司:2009年第68季度 03楼52 18 C50 18D20天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Laird},Inf.计算。275,文章ID 104645,第35页(2020;Zbl 1496.68146) 全文: 内政部 链接
徐明;邓玉欣 具有时滞的概率规划的有时限终止分析。 (英语) Zbl 1496.68120号 Inf.计算。 275,文章ID 104634,24 p.(2020).MSC公司:68号30 65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Y.Deng},Inf.Compute。275,文章ID 104634,24 p.(2020;Zbl 1496.68120) 全文: 内政部
阿米尔,阿米胡德;阿维维特·利维;伊利·波拉特;里瓦·沙洛姆(Riva Shalom),B。 在线识别有一个缺口的字典。 (英语) Zbl 1496.68382号 Inf.计算。 275,文章ID 104633,22 p.(2020).MSC公司:68瓦32 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Amir}等人,《信息计算》。275,文章ID 104633,22 p.(2020;Zbl 1496.68382) 全文: 内政部
塞巴斯蒂安·伯恩特;马西耶·李希基维奇 关于最优速率的通用隐写术。 (英语) Zbl 1500.94019号 Inf.计算。 275,文章ID 104632,24 p.(2020).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Berndt}和\textit{M.Liśkiewicz},信息计算。275,文章ID 104632,24 p.(2020;Zbl 1500.94019) 全文: 内政部
川崎石山;Kunihiko Sadakane 用于多维正交范围搜索的简洁数据结构。 (英语) Zbl 1446.68040号 Inf.计算。 273,文章ID 104519,13 p.(2020).MSC公司:68第05页 68页第10页 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{K.Ishiyama}和\textit{K.Sadakane},Inf.Compute。273,文章ID 104519,13 p.(2020;Zbl 1446.68040) 全文: 内政部
马可·格努齐奥;朱塞佩·奥塔维亚诺;塞巴斯蒂亚诺·维格纳 快速构建([压缩]静态|最小完美散列)函数。 (英语) Zbl 1446.68038号 Inf.计算。 273,文章ID 104517,17 p.(2020).MSC公司:68第05页 第68页 PDF格式BibTeX公司 XML格式引用 \textit{M.Genuzio}等人,《信息计算》。273,文章ID 104517,17 p.(2020;Zbl 1446.68038) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 使用正则表达式对区间时序逻辑进行模型检查。 (英语) 兹比尔1443.68102 Inf.计算。 272,文章ID 104498,33 p.(2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。272,文章ID 104498,33页(2020;兹bl 1443.68102) 全文: 内政部
蒋建民;朱慧彪;李,秦;赵永新;张、石;龚萍;洪,钟 基于事件的功能分解。 (英语) Zbl 1435.68062号 Inf.计算。 271,文章ID 104484,22 p.(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Jiang}等人,《信息计算》。271,文章ID 104484,22 p.(2020;Zbl 1435.68062) 全文: 内政部
哈罗·威梅尔 有界无选择或叉属性网的预合成。 (英语) Zbl 1455.68130号 Inf.计算。 271,文章ID 104482,20 p.(2020). 审核人:Jörg Desel(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Wimmel},信息计算。271,文章ID 104482,20 p.(2020;Zbl 1455.68130) 全文: 内政部
亚历克西斯·卡波里斯;克里斯托斯·马克里斯;Sioutas、Spyros;阿萨纳西奥斯·察卡利迪斯;科斯塔斯·齐奇拉斯;克里斯托斯·扎罗利亚吉斯 重新访问动态插值搜索。 (英语) 兹比尔1436.68084 Inf.计算。 270,文章ID 104465,21 p.(2020).MSC公司:68磅05分 68页第10页 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaporis}等人,《信息计算》。270,文章ID 104465,21 p.(2020;Zbl 1436.68084) 全文: 内政部
阿莱西奥·孔蒂;罗伯托·格罗西;安德烈亚·马里诺 真实世界网络的大规模集团覆盖。 (英语) Zbl 1436.68228号 Inf.计算。 270,文章ID 104464,15 p.(2020).MSC公司:68兰特 05C69号 05C70号 05C85号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Conte}等人,《信息计算》。270,文章ID 104464,15 p.(2020;Zbl 1436.68228) 全文: 内政部
瓦伦蒂娜·卡斯蒂格利奥尼;西蒙·蒂尼 非确定性概率转移系统分支度量的逻辑表征。 (英语) Zbl 1430.68161号 Inf.计算。 268,文章ID 104432,40 p.(2019).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}和\textit{S.Tini},Inf.Compute。268,文章ID 104432,40页(2019;兹bl 1430.68161) 全文: 内政部
拜尔斯多夫,奥拉夫;卢克·辛德 QBF的树状Frege证明的特征。 (英语) Zbl 1459.03087号 Inf.计算。 268,文章ID 104429,9 p.(2019). 审核人:Ariel Germanán Fernández(布宜诺斯艾利斯) MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{L.Hinde},Inf.Comput。268,文章ID 104429,9 p.(2019;Zbl 1459.03087) 全文: 内政部
萨宾·布罗达;霍尔泽,马库斯;伊娃·玛亚;内尔玛·莫雷拉;罗杰里奥·里斯 一个自动机网格。 (英语) Zbl 1430.68140号 Inf.计算。 265, 94-111 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Broda}等人,《信息计算》。26594--111(2019年;Zbl 1430.68140) 全文: 内政部
阿兰·库尼尔;罗维达基斯(Rovedakis,Stéphane);Vincent恶棍 第一个用于BFS树构造的完全多项式稳定算法。 (英语) Zbl 1439.68028号 Inf.计算。 265, 26-56 (2019). 审核人:达纳·佩特库(蒂米什奥拉) MSC公司:68宽15 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Cournier}等人,信息计算。265、26-56(2019年;Zbl 1439.68028) 全文: 内政部
D.布雷索林。;Della Monica博士。;A.蒙塔纳里。;Sala,P。;Sciavicco,G。 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 (英语) Zbl 1436.03120号 Inf.计算。 266, 97-125 (2019).MSC公司:03B44号 03B25号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《信息计算》。266、97-125(2019年;Zbl 1436.03120) 全文: 内政部 链接
帕纳吉奥蒂斯·查拉兰波普洛斯;科斯塔斯·S·伊利奥普洛斯。;Pissis,Solon P。;雅库布·拉多舍夫斯基 在线加权模式匹配。 (英语) Zbl 1421.68254号 Inf.计算。 266, 49-59 (2019).MSC公司:68瓦32 68周27 PDF格式BibTeX公司 XML格式引用 \textit{P.Charalampopoulos}等人,《信息计算》。266、49-59(2019年;Zbl 1421.68254) 全文: 内政部
伊兰·科马尔戈德斯基;马克·詹德里 通过秘密共享的镜头实现尖端加密技术。 (英语) Zbl 1429.94061号 Inf.计算。 263, 75-96 (2018).MSC公司:94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{I.Komargodski}和\textit{M.Zhandry},信息计算。263、75-96(2018年;Zbl 1429.94061) 全文: 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 (英语) Zbl 1400.68121号 Inf.计算。 262,第2部分,241-264(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。262,第2部分,241--264(2018;Zbl 1400.68121) 全文: 内政部 链接
卡洛·扎尼奥洛;高、石;毛里齐奥·阿佐里;陈木豪;顾嘉琪 对历史知识库进行用户友好的时态查询。 (英语) Zbl 1390.68752号 Inf.计算。 259,第3部分,444-459(2018).MSC公司:68单位35 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{C.Zaniolo}等人,《信息计算》。259,第3部分,444--459(2018;Zbl 1390.68752) 全文: 内政部
阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 (英语) Zbl 1390.68436号 Inf.计算。 259,第3部分,412-443(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人,《信息计算》。259,第3部分,412--443(2018;Zbl 1390.68436) 全文: 内政部 arXiv公司
瓦迪姆·马尔文;法比奥·莫加维罗;阿尼埃洛·穆拉诺;洛雷达纳·索伦蒂诺 关于分级策略量词的推理。 (英语) Zbl 1390.68612号 Inf.计算。 259,第3部分,390-411(2018).MSC公司:68T27型 68T42型 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{V.Malvone}等人,信息计算。259,第3部分,390--411(2018;Zbl 1390.68612) 全文: 内政部
杜尔汉,S。;Sciavicco,G。 树状结构的类艾伦时间理论。 (英语) Zbl 1436.03122号 Inf.计算。 259,第3部分,375-389(2018).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Durhan}和\textit{G.Sciavicco},Inf.Compute。259,第3部分,375--389(2018;Zbl 1436.03122) 全文: 内政部 链接
安德烈亚斯·库索普洛斯;克里斯蒂安·谢德勒;Thim Strothmann 建立覆盖网络中有限偏差问题的通用方法。 (英语) Zbl 1371.68039号 Inf.计算。 255,第3部分,408-424(2017).MSC公司:64岁以下 68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.Koutsopoulos}等人,Inf.计算。255,第3部分,408--424(2017;Zbl 1371.68039) 全文: 内政部
Neggazi,Brahim公司;穆罕默德·哈达德;沃尔克·图劳;哈马马切·卡杜奇 一种用于无线传感器网络边缘监测的自稳定算法。 (英语) 兹比尔1370.68030 Inf.计算。 254,第3部分,367-376(2017).MSC公司:64岁以下 68平方米 68宽15 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Neggazi}等人,《信息计算》。254,第3部分,367--376(2017;Zbl 1370.68030) 全文: 内政部
卡琳·阿尔蒂森;阿兰·库尼尔;圣埃芬·德维斯梅斯;阿纳伊斯·杜兰德;小弗朗克 以多项式步长进行自我稳定的领导人选举。 (英语) Zbl 1370.68026号 Inf.计算。 254,第3部分,330-366(2017).MSC公司:64岁以下 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}等人,《信息计算》。254,第3部分,330-366(2017;Zbl 1370.68026) 全文: 内政部 哈尔
琼·博亚尔;沙欣·卡马利;Larsen,Kim S。;亚历杭德罗·洛佩斯·奥尔蒂斯 列表上的更新问题与建议。 (英语) Zbl 1362.68295号 Inf.计算。 253,第3部分,411-423(2017).MSC公司:68周27 PDF格式BibTeX公司 XML格式引用 \textit{J.Boyar}等人,《信息计算》。253,第3部分,411--423(2017;Zbl 1362.68295) 全文: 内政部 arXiv公司
彼得·费蒙维尔;马丁·齐默尔曼 参数线性动态逻辑。 (英语) Zbl 1362.68169号 Inf.计算。 253,第2部分,237-256(2017).MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}和\textit{M.Zimmermann},Inf.Compute。253,第2部分,237-256(2017;兹bl 1362.68169) 全文: 内政部 arXiv公司
里扎德·贾尼基;尹、向 使用间隔跟踪对并发进行建模。 (英语) Zbl 1359.68224号 Inf.计算。 253,第1部分,78-108(2017).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{X.Yin},Inf.Compute。253,第1部分,78--108(2017;Zbl 1359.68224) 全文: 内政部 链接
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 基于阈值的分布式算法有界模型检查的完备性:可达性。 (英语) Zbl 1355.68176号 Inf.计算。 25295-109(2017).MSC公司:60年第68季度 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,《信息计算》。25295--109(2017年;Zbl 1355.68176) 全文: 内政部
马库斯·施密德。 通过配备因子引用的常规语言表征REGEX语言。 (英语) Zbl 1344.68130号 Inf.计算。 249, 1-17 (2016).MSC公司:65年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Schmid},《信息计算》。249,1-17(2016年;兹bl 1344.68130) 全文: 内政部
丹尼尔·德卡瓦略;洛伦佐托托拉·德·法尔科 线性逻辑中强规范化的语义描述。 (英语) 兹比尔1353.03077 Inf.计算。 248, 104-129 (2016). 审核人:吉尔达·费雷拉(里斯本) MSC公司:03楼52 05年3月 07年3月 03B70号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{D.de Carvalho}和\textit{L.Tortora de Falco},Inf.Compute。248104-129(2016;Zbl 1353.03077) 全文: 内政部 arXiv公司 链接
Ko、Sang-Ki;Han、Yo-Sub;凯·萨洛马 无上下文语法和有限状态自动机之间的近似匹配。 (英语) Zbl 1336.68317号 Inf.计算。 247, 278-289 (2016).MSC公司:68瓦32 65年第68季度 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.-K.Ko}等人,《信息计算》。247278-289(2016年;Zbl 1336.68317) 全文: 内政部
Emanuele G.富斯科。;安德烈·佩尔克;罗塞拉·彼得雷斯基 拓扑识别和建议。 (英语) Zbl 1336.68198号 Inf.计算。 247, 254-265 (2016).MSC公司:68兰特 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Fusco}等人,《信息计算》。247254-265(2016;Zbl 1336.68198) 全文: 内政部 arXiv公司
迈克尔·卢滕伯格;马克西米利安·施伦德 交换半环上牛顿方法的收敛性。 (英语) Zbl 1333.68188号 Inf.计算。 246, 43-61 (2016).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}和\textit{M.Schlund},Inf.Compute。24643--61(2016;Zbl 1333.68188) 全文: 内政部
曼弗雷德·布罗伊 交互式计算的可计算性和可实现性。 (英语) Zbl 1309.68064号 Inf.计算。 241, 277-301 (2015).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},信息计算。241277--301(2015;Zbl 1309.68064) 全文: 内政部
凯尔·布罗格尔;沙龙·戈德堡;列奥尼德·雷津 从活板门排列进行延迟验证的序列聚合签名。 (英语) Zbl 1310.94175号 Inf.计算。 239, 356-376 (2014).MSC公司:94A62 PDF格式BibTeX公司 XML格式引用 \textit{K.Brogle}等人,Inf.Compute。239356-376(2014年;Zbl 1310.94175) 全文: 内政部
马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫 协作系统中的有限内存Dolev-Yao对手。 (英语) Zbl 1360.68860号 Inf.计算。 238, 233-261 (2014).MSC公司:68T42型 68个M12 2017年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,《信息计算》。238233--261(2014年;Zbl 1360.68860) 全文: 内政部
彭永兴;杨长彪 通过增量后缀最大查询找到有间隙的最长公共子序列。 (英语) Zbl 1360.68965号 Inf.计算。 237, 95-100 (2014).MSC公司:68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{Y.-H.Peng}和\textit{C.-B.Yang},Inf.Compute。237、95-100(2014年;Zbl 1360.68965) 全文: 内政部
达纳州安格鲁因;詹姆斯·阿斯彭斯;Rida A.Bazzi。;陈江;戴维·艾森斯塔特;戈兰·孔杰沃德 标记图形的有效存储容量。 (英语) 兹比尔1282.68179 Inf.计算。 234, 44-56 (2014).MSC公司:68兰特 68第20页 05C35号 05C78号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人,信息计算。234、44-56(2014;Zbl 1282.68179) 全文: 内政部
安德烈·朱尔修;拉希德·格拉乌伊;凯文·胡格宁;安娜·马里·科尔马雷克 社交网络中的计算。 (英语) Zbl 1282.68087号 Inf.计算。 234, 3-16 (2014).MSC公司:64岁以下 91天30分 94A60型 94A62型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.Giurgiu}等人,《信息计算》。234、3--16(2014;Zbl 1282.68087) 全文: 内政部
维杰·加格。;阿努拉·阿加瓦尔;奥加尔、维尼特 对周期性分布式计算进行建模、分析和切片。 (英语) Zbl 1285.68012号 Inf.计算。 234, 26-43 (2014).MSC公司:64岁以下 68宽15 2005年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Garg}等人,《信息计算》。234,26-43(2014年;兹bl 1285.68012) 全文: 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) 兹比尔1435.68188 Inf.计算。 231, 38-69 (2013).MSC公司:68问题55 03B70号 68号30 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},信息计算。231、38--69(2013年;Zbl 1435.68188) 全文: 内政部
安德鲁·布莱克。 面向对象编程:一些历史和未来五十年的挑战。 (英语) Zbl 1358.68062号 Inf.计算。 231, 3-20 (2013).MSC公司:68甲19 68-03 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Black},Inf.计算。231、3--20(2013年;Zbl 1358.68062) 全文: 内政部 arXiv公司
Ed Blakey 密码学中的复杂类型资源。 (英语) Zbl 1277.68090号 Inf.计算。 226, 3-15 (2013).MSC公司:65年第68季度 第68页第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Blakey},信息计算。226、3--15(2013年;Zbl 1277.68090) 全文: 内政部 arXiv公司
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) Zbl 1358.68210号 Inf.计算。 225, 29-82 (2013).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013年;兹bl 1358.68210) 全文: 内政部
乔瓦尼·巴塔利亚;罗伯托·格罗西;诺埃米·斯库特拉 多集的连续个属性和PQ树:计算其顺序的困难。 (英语) Zbl 1252.68133号 Inf.计算。 219, 58-70 (2012).MSC公司:2017年第68季度 68瓦32 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Battaglia}等人,《信息计算》。219、58-70(2012年;Zbl 1252.68133) 全文: 内政部
巴勃罗·蒙特斯;埃拉尔多·梅梅利;查尔斯·沃德。;金俊东(Kim,Joondong);约瑟夫·米切尔(Joseph S.B.Mitchell)。;史蒂文·斯基纳 优化合成基因组的限制位点位置。 (英语) Zbl 1237.92024号 Inf.计算。 213, 59-69 (2012).MSC公司:92C40型 65年20月 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Montes}等人,《信息计算》。21359--69(2012年;Zbl 1237.92024) 全文: 内政部
坎通纳,多梅尼科;西蒙·法罗;伊曼纽尔·贾昆塔 位并行方法中非确定性(后缀)自动机的紧凑表示。 (英语) Zbl 1279.68137号 Inf.计算。 213,3-12(2012年).MSC公司:65年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Inf.计算。213、3-12(2012年;Zbl 1279.68137) 全文: 内政部
西蒙·桑蒂尼 图形上带有变量的正则语言。 (英语) Zbl 1279.68174号 Inf.计算。 211, 1-28 (2012).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Santini},Inf.计算。211,1--28(2012;Zbl 1279.68174) 全文: 内政部
张廷毅 一种基于身份的多签名者通用指定多验证者签名方案。 (英语) Zbl 1220.94047号 Inf.计算。 209,第7期,1007-1015(2011).MSC公司:94A62型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.-Y.Chang},信息计算。209,第7号,1007--1015(2011;Zbl 1220.94047) 全文: 内政部
G.M.兰道。;A.利维。;我·纽曼。 通过嵌入到局部非重复字符串中的LCS近似。 (英语) 兹比尔1215.68281 Inf.计算。 209,第4期,705-716(2011).MSC公司:68瓦32 68周25 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Landau}等人,信息计算。209,第4号,705--716(2011;Zbl 1215.68281) 全文: 内政部
马克西姆·克罗西莫尔;伊利·波拉特 最长递增子序列的快速计算及其应用。 (英语) Zbl 1214.68479号 Inf.计算。 208,第9期,1054-1059(2010).MSC公司:68瓦40 68第05页 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Crochemore}和\textit{E.Porat},Inf.计算。208,第9号,1054--1059(2010;Zbl 1214.68479) 全文: 内政部
卢卡·布雷维利里;雷吉兹、斯特凡诺·克雷斯皮;马西米利亚诺·戈德伍姆 高效识别由重复-直到循环定义的跟踪语言。 (英语) Zbl 1205.68195号 Inf.计算。 208,第8期,969-981(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Breveglieri}等人,《信息计算》。208,编号8,969-981(2010年;Zbl 1205.68195) 全文: 内政部 链接
阿勒科恩,比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 上下文相关依赖项对。 (英语) Zbl 1206.68158号 Inf.计算。 208,第8期,922-968(2010).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alarcón}等人,《信息计算》。208,第8号,922--968(2010;Zbl 1206.68158) 全文: 内政部
辛彦安;杨长彪;彭永兴;伯恩·切恩·利奥 块编辑问题的高效算法。 (英语) Zbl 1187.68176号 Inf.计算。 208,第3期,221-229(2010).MSC公司:68页第10页 68周05 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.-Y.Ann}等人,《信息计算》。208,第3号,221--229(2010;Zbl 1187.68176) 全文: 内政部
伊利亚诺·塞维萨托;安德烈·斯克洛夫 通过线性逻辑(完整版)关联基于状态和基于进程的并发。 (英语) Zbl 1181.68168号 Inf.计算。 207,第10号,1044-1077(2009).MSC公司:68问题85 03B70号 03楼52 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{A.Scedrov},Inf.Compute。207,第10号,1044--1077(2009;Zbl 1181.68168) 全文: 内政部
乔纳森·卡茨;邱元国;兰吉特·库马雷桑 提高点到点网络中VSS的圆复杂性。 (英语) 兹比尔1184.68237 Inf.计算。 207,第8期,889-899(2009).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Katz}等人,信息计算。207,第8号,889--899(2009;Zbl 1184.68237) 全文: 内政部
帕特里克·库索特;拉迪亚·库索特 双诱导结构语义。 (英语) Zbl 1165.68042号 Inf.计算。 207,第2期,258-283(2009).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},信息计算。207,第2号,258--283(2009;Zbl 1165.68042) 全文: 内政部
蒂尔扎·赫斯特 并行自动机的Rice型定理。 (英语) Zbl 1169.68025号 Inf.计算。 207,第1期,第1-13页(2009年).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirst},信息计算。207,编号1,1-13(2009;Zbl 1169.68025) 全文: 内政部
亚历山大·奥霍金 明确的布尔语法。 (英语) Zbl 1328.68106号 Inf.计算。 206,编号9-10,1234-1247(2008).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},信息计算。206,编号9--10,1234--1247(2008;Zbl 1328.68106) 全文: 内政部
苏珊娜·安多瓦;Cremers,卡斯;克里斯蒂安·戈斯汀;绍克·莫;Mjölsnes,Stig F。;萨沙拉多米罗维奇 安全协议的组合验证框架。 (英语) Zbl 1147.68389号 Inf.计算。 206,编号2-4,425-459(2008).MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人,《信息计算》。206,编号2--4,425--459(2008;Zbl 1147.68389) 全文: 内政部 链接
伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯克洛夫;蔡乔凯;克里斯托弗·沃尔斯塔德 破坏和修复公钥Kerberos。 (英语) Zbl 1147.68393号 Inf.计算。 206,编号2-4,402-424(2008).MSC公司:68个M12 68M10个 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}等人,《信息计算》。206,编号2--4,402--424(2008;Zbl 1147.68393) 全文: 内政部
斯特凡尼德劳恩;帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特里宁 单模态方程理论的符号协议分析。 (英语) Zbl 1148.68325号 Inf.计算。 206,编号2-4312-351(2008).MSC公司:68个M12 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}等人,《信息计算》。206,编号2--4,312--351(2008;Zbl 1148.68325) 全文: 内政部
菲利普斯,伊恩;玛丽亚·格拉齐亚·维格利奥蒂 环境结石的对称选举制度。 (英语) Zbl 1133.68059号 Inf.计算。 206,第1期,34-72(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{M.G.Vigliotti},Inf.Compute。206,编号1,34--72(2008;Zbl 1133.68059) 全文: 内政部
桑杰·贾恩;斯特芬·兰格;桑德拉·齐勒斯 增量学习的一些自然条件。 (英语) Zbl 1130.68066号 Inf.计算。 205,第11期,1671-1684(2007).MSC公司:68问题32 65年第68季度 03天80 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,《信息计算》。205,第11号,1671--1684(2007;Zbl 1130.68066) 全文: 内政部
张国强 中介安全的信息流策略。 (英语) Zbl 1127.68056号 Inf.计算。 205,编号9,1413-1425(2007).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang},信息计算。205,第9号,1413-1425(2007;Zbl 1127.68056) 全文: 内政部
尼科莱塔·德·弗朗西斯科;卢卡·马提尼 基于堆栈的汇编语言中信息流的指令级安全分析。 (英语) Zbl 1127.68016号 Inf.计算。 205,第9期,1334-1370(2007).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{N.De Francesco}和\textit{L.Martini},Inf.Compute。205,第9号,1334--1370(2007;Zbl 1127.68016) 全文: 内政部
斯塔夫罗斯·康斯坦蒂尼迪斯 计算常规语言的编辑距离。 (英语) Zbl 1127.68053号 Inf.计算。 205,第9期,1307-1316(2007).MSC公司:65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{S.Konstantinidis},Inf.计算。205,第9号,1307--1316(2007;Zbl 1127.68053) 全文: 内政部
巴哈雷赫巴德班;范德波尔(Jaco Van De Pol);奥尔加,特维雷蒂纳;汉斯·赞特马 推广DPLL和等式的可满足性。 (英语) Zbl 1121.68102号 Inf.计算。 205,第8期,1188-1211(2007).MSC公司:68吨15 68分20秒 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,《信息计算》。205,第8号,1188--1211(2007;Zbl 1121.68102) 全文: 内政部 链接
卡罗尔·德尔波特;Hugues的Fauconnier;拉希德·格拉乌伊;巴斯蒂安·波雄 完全同步的基于圆形的分布式计算模型。 (英语) Zbl 1115.68030号 Inf.计算。 205,第5期,783-815(2007).MSC公司:64岁以下 68米15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Delport-Gallet}等人,《信息计算》。205,第5号,783--815(2007;Zbl 1115.68030) 全文: 内政部 链接
罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 快速同余闭包和扩展。 (英语) Zbl 1112.68116号 Inf.计算。 205,第4期,557-580(2007).MSC公司:68吨15 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}和\textit{A.Oliveras},信息计算。205,第4号,557--580(2007;Zbl 1112.68116) 全文: 内政部
纳鸿·德肖维茨;埃勒曼,E.卡斯特多 最倾斜的准有序。 (英语) Zbl 1112.68075号 Inf.计算。 205,编号4,535-556(2007).MSC公司:2012年第68季度 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{E.C.Ellerman},Inf.Comput。205,第4号,535--556(2007;Zbl 1112.68075) 全文: 内政部