什洛米·多列夫;龟井静香;吉崎片山;福下大田;小一和田 邻域互余数:自稳定分布式实现和应用程序。 (英语) 兹伯利07813605 Acta信息。 61,第1号,83-100(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Dolev}等人,《学报Inf.61》,第1期,第83--100页(2024年;Zbl 07813605) 全文: 内政部
刘海燕;崔荣东;张天杰 \(n)-PS-码、2-infix-outfix码和一些相关的码类。 (英语) Zbl 07813604号 Acta信息。 61,第1号,67-81(2024).MSC公司:68季度xx 68兰特 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}等人,《学报》第61期,第1期,第67-81页(2024年;Zbl 07813604) 全文: 内政部
高树阳;利恩·哈特姆;霍萨姆·马哈茂德 平衡边缘压缩的(m)元搜索树。 (英语) Zbl 07813603号 Acta信息。 61,编号1,53-66(2024).MSC公司:68季度xx 68第05页 68页第10页 68第20页 05二氧化碳 60二氧化碳 60F05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gao}等人,《学报》第61期,第1期,第53--66页(2024年;Zbl 07813603) 全文: 内政部
吴浩;陈玉芳;吴志林;夏碧灿;詹乃军 具有字符串/整数转换和平面正则约束的字符串约束的决策过程。 (英语) Zbl 07813602号 Acta信息。 61,第1期,23-52(2024年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}等人,《学报》第61期,第1期,第23-52页(2024年;Zbl 07813602) 全文: 内政部
塔皮亚·弗洛雷斯(Tapia-Flores),托纳蒂厄(Tonatiuh);欧内斯托·洛佩斯·梅拉多 发现并发迭代过程的工作流网络。 (英语) Zbl 07813601号 Acta信息。 61,第1期,1-21页(2024年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Tapia Flores}和\textit{E.López Mellado},《情报法》第61卷,第1期,第1-21期(2024年;Zbl 07813601) 全文: 内政部 OA许可证
曹春华;徐,焦;廖磊;杨迪;贾桂川;杜,钱 描述三字代码特征的第二步。 (英语) Zbl 07768656号 Acta信息。 60,第4期,453-465(2023年).MSC公司:68季度xx 20立方米 70年第68季度 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cao}等人,《信息学报》第60卷第4期,第453--465页(2023年;Zbl 07768656) 全文: 内政部
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 关于分支时间属性的一阶运行时强制执行。 (英语) Zbl 07768655号 Acta信息。 60,第4期,385-451(2023年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》第60期,第4期,第385--451页(2023年;Zbl 07768655) 全文: 内政部
理查德·拉斯因;米歇尔·德·罗杰蒙特 测试时间自动机的成员身份。 (英语) Zbl 07768654号 Acta信息。 60,第4期,361-384(2023年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Lassaigne}和\textit{M.de Rougemont},《学报》第60卷第4期,第361--384页(2023年;Zbl 07768654) 全文: 内政部 arXiv公司
法纳兹·谢赫;贝纳姆·泽拉特卡;萨马哈奈 简单或复杂的点对点:形状重建算法综述。 (英语) Zbl 07768653号 Acta信息。 60,第4号,335-359(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Sheikhi}等人,《信息学报》第60期,第4期,第335--359页(2023年;Zbl 07768653) 全文: 内政部
波尔·多莫西;荷瓦思,热扎;蒂汉伊,诺伯特 用于物联网设备的简单链自动机随机数生成器。 (英语) Zbl 07727461号 Acta信息。 60,第3号,317-329(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Dömösi}等人,《信息学报》第60卷第3期,第317--329页(2023年;Zbl 07727461) 全文: 内政部
尼古拉斯·科奇杜普尔;马蒂亚斯·阿尔霍夫 约束多项式分区。 (英语) Zbl 07727460号 Acta信息。 60,编号3,279-316(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Kochdumper}和\textit{M.Althoff},《学报》第60期,第3期,279--316(2023年;Zbl 07727460) 全文: 内政部 arXiv公司
谢静楠;亨特,哈里·B·III 关于同步正则表达式的不可判定性和描述复杂性。 (英语) Zbl 07727459号 Acta信息。 60,编号3,257-278(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Xie}和\textit{H.B.Hunt III},《学报》第60期,第3期,第257--278页(2023年;Zbl 07727459) 全文: 内政部
贝斯玛·哈里丁;Aleksandr Zakharchenko;马蒂亚斯·马丁内斯;阿里·米莉 走向程序修复理论。 (英语) Zbl 07727458号 Acta信息。 60,第3期,209-255(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Khaireddine}等人,《信息法》第60卷,第3209-255号(2023年;Zbl 07727458) 全文: 内政部
伊万诺·洛达托;Snehal M.Shekatkar。;黄天安 关于部分信息检索:无约束100囚犯问题。 (英语) Zbl 07686411号 Acta信息。 60,第2期,179-208(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Lodato}等人,《信息学报》第60卷第2期,179--208页(2023年;Zbl 07686411) 全文: 内政部 arXiv公司
马赫布贝·萨马迪;法特梅·加塞米;拉丁·科斯拉维 基于消息的系统中消息序列的分散运行时验证。 (英语) Zbl 07686410号 Acta信息。 60,第2期,145-178(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Samadi}等人,《信息学报》第60卷第2期,第145--178页(2023年;Zbl 07686410) 全文: 内政部
乔瓦尼·皮奇奇尼;卢卡·普里吉奥尼埃罗 下推自动机和恒定高度:可判定性和界限。 (英语) Zbl 07686409号 Acta信息。 60,第2期,123-144(2023年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini}和\textit{L.Prigioniero},《学报》第60期,第2期,第123--144页(2023年;Zbl 07686409) 全文: 内政部
阿萨夫·莱文;塔尔·舒斯特曼 具有连续可控处理时间的单机抢占式调度中的加权吞吐量。 (英语) Zbl 07686408号 Acta信息。 60,编号2,101-122(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Levin}和\textit{T.Shusterman},《学报》第60期,第2期,第101-122页(2023年;Zbl 07686408) 全文: 内政部
迪特里赫·库斯克;克里斯蒂安·施瓦兹 计算子字顺序的一阶逻辑的交替复杂性。 (英语) Zbl 1507.68125号 Acta信息。 60,第1号,79-100(2023年).MSC公司:19年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}和\textit{C.Schwarz},《学报》第60期,第1期,第79--100页(2023年;Zbl 1507.68125) 全文: 内政部
什洛米·多列夫;李,尹 秘密共享RAM完全未公开程序的无限私有和安全RAM执行。 (英语) Zbl 1508.68029号 Acta信息。 60,编号1,59-78(2023).MSC公司:68平方米25 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Dolev}和\textit{Y.Li},《学报》第60卷第1期,第59-78页(2023年;Zbl 1508.68029) 全文: 内政部
罗布·范格拉贝克 带有超时的进程代数的反应互模拟语义。 (英语) Zbl 07658241号 Acta信息。 60,第1期,第11-57页(2023年).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Acta Inf.60,No.1,11-57(2023;Zbl 07658241) 全文: 内政部
郭海燕;周波 具有给定度序列的树的最小状态。 (英语) Zbl 1508.05151号 Acta信息。 60,编号1,1-10(2023年).MSC公司:05C82号 05C12号 05二氧化碳 94A05型 PDF格式BibTeX公司 XML格式引用 \textit{H.Guo}和\textit{B.Zhou},《学报》第60卷第1期,第1-10期(2023年;Zbl 1508.05151) 全文: 内政部
Soumyadip Bandyopadhyay公司;迪班卡·萨尔卡;奇塔兰詹·曼达尔;霍尔格·吉斯 整数上程序的有色Petri网模型的翻译验证。 (英语) Zbl 07605998号 Acta信息。 59,第6期,725-759(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bandyopadhyay}等人,Acta Inf.59,编号6725-759(2022;Zbl 07605998) 全文: 内政部
菲利普·比尔;Görtz,Inge Li 从正则表达式匹配到解析。 (英语) Zbl 07605997号 Acta信息。 59,第6号,709-724(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bille}和\textit{I.L.Görtz},《学报》第59卷,第6期,第709--724页(2022年;Zbl 07605997) 全文: 内政部
马雷克·克罗巴克;末底改·戈林;J.Ian Munro;尼尔·E·扬。 关于广义二叉分裂树的Huang和Wong算法。 (英语) Zbl 07605996号 Acta信息。 59,第6号,687-708(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Chrobak}等人,Acta Inf.59,No.6,687--708(2022;Zbl 07605996) 全文: 内政部 arXiv公司
马钦·米查拉克 基于布尔推理的二进制双聚类归纳的层次启发式。 (英语) Zbl 07605995号 Acta信息。 59,第6号,673-685(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Michalak},Acta Inf.59,No.6,673--685(2022;Zbl 07605995) 全文: 内政部
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 更正为:“无遗憾的反应合成”。 (英语) Zbl 1495.68135号 Acta信息。 59,第5号,671(2022).MSC公司:60年第68季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《信息学报》59,第5期,第671页(2022年;Zbl 1495.68135) 全文: 内政部
维利亚姆·格弗特;克里斯托斯·卡波提斯。;穆罕默德·扎克佐克 双向交替自动机的改进补充。 (英语) Zbl 07592345号 Acta信息。 59,编号5619-669(2022).MSC公司:2005年第68季度 2010年第68季度 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert}等人,《学报》第59期,第5期,第619--669页(2022年;Zbl 07592345) 全文: 内政部
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用预购单索引外观记录。 (英语) Zbl 07592344号 Acta信息。 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) 全文: 内政部
拉迪姆·科克曼;科伊夫卡、兹比恩克;亚历山大·梅杜纳;贝内德克·纳吉 一个跳跃的Watson-Crick有限自动机模型。 (英语) Zbl 07592343号 Acta信息。 59,第5期,557-584(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Kocman}等人,《学报》第59期,第5期,第557--584页(2022年;Zbl 07592343) 全文: 内政部
艾琳·辛科;沃尔特·福格勒;约翰内斯·加里斯;N.Tri Nguyen公司;杰拉尔德·吕特根 共享内存的接口自动机。 (英语) Zbl 07592342号 Acta信息。 59,第5期,521-556(2022年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Schinko}等人,《信息学报》59,第5期,第521--556页(2022年;Zbl 07592342) 全文: 内政部
佩特拉·沃尔夫 关于在一组规则的ILP实例中找到一个正的ILP实例的可判定性。 (英语) 兹伯利07578097 Acta信息。 59,第4号,505-519(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Wolf},Acta Inf.59,No.4,505--519(2022;Zbl 07578097) 全文: 内政部
哈南沙巴纳;M.V.沃尔科夫。 部分确定性有限自动机的仔细同步。 (英语) Zbl 07578096号 Acta信息。 59,第4期,479-504(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Shabana}和\textit{M.V.Volkov},《学报》第59期,第4期,第479--504页(2022年;Zbl 07578096) 全文: 内政部 arXiv公司
桑杰·贾恩;Birzhan Moldagaliyev;弗兰克·斯蒂芬;天大川 灯组和自动机。 (英语) Zbl 1517.20055号 Acta信息。 59,第4号,451-478(2022). 审核人:马可·特隆贝蒂(那不勒斯) MSC公司:2010年1月20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,《信息学报》59,第4期,451--478(2022年;Zbl 1517.20055) 全文: 内政部
汉斯·约阿希姆·博肯豪尔;伊丽莎白·伯琼斯;马丁·拉兹克;彼得·罗斯马尼思 参数化问题的再优化。 (英语) Zbl 1512.68118号 Acta信息。 59,第4期,427-450(2022年). 审核人:阿恩·迈尔(汉诺威) MSC公司:68年第27季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Böckenhauer}等人,《信息学报》第59期,第4期,第427-450页(2022;Zbl 1512.68118) 全文: 内政部 arXiv公司
藤冈,高鲁;富美亚大久保;高石洋森 \(mathcal{L})-重访约简计算。 (英语) Zbl 1526.68004号 Acta信息。 59,第4号,409-426(2022).MSC公司:65年第68季度 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Fujioka}等人,《信息学报》59,第4期,409--426(2022年;Zbl 1526.68004) 全文: 内政部
托马斯·埃勒巴赫;斯普纳,雅各布·T·。 缺(k)边时态图的探索。 (英语) Zbl 07578092号 Acta信息。 59,第4期,387-407(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Erlebach}和\textit{J.T.Spooner},《学报》第59期,第4期,第387--407页(2022年;Zbl 07578092) 全文: 内政部
沃尔克·迪克特;亨宁费尔瑙;佩特拉·沃尔夫 由正则语言指定的图的属性。 (英语) Zbl 07578091号 Acta信息。 59,第4期,357-385(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人,Acta Inf.59,No.4,357--385(2022;Zbl 07578091) 全文: 内政部
尤尔根·达索;伊斯马·杰克 操作复杂性和泵引理。 (英语) Zbl 07578090号 Acta信息。 59,第4期,337-355(2022年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}和\textit{I.Jecker},《情报法》第59卷,第4期,337-355页(2022年;Zbl 07578090) 全文: 内政部
米歇尔·卡迪尔哈克;查尔斯·帕普曼 wire linear\(\mathrm{AC}^0\)的正则语言。 (英语) Zbl 07578089号 Acta信息。 59,第4号,321-336(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Cadilhac}和\textit{C.Paperman},《学报》第59期,第4期,第321--336页(2022年;Zbl 07578089) 全文: 内政部
艾伦德,埃里克;Archit Chauhan先生;萨米尔·达塔 有向平面图的深度第一搜索,重温。 (英语) Zbl 07578088号 Acta信息。 59,第4期,289-319(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Allender}等人,《学报》第59期,第4期,第289--319页(2022年;Zbl 07578088) 全文: 内政部
亨宁费尔瑙(编辑);马库斯·霍尔泽(编辑);佩特拉·沃尔夫(编辑) 克劳斯·约恩·兰格·费斯特施里夫序。 (英语) Zbl 1493.00054号 Acta信息。 59,第4期,285-287(2022).MSC公司:00立方厘米 68-06 00B15号机组 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}(编辑)等人,《学报》第59卷第4期,第285--287页(2022年;Zbl 1493.00054) 全文: 内政部
詹姆斯·巴克斯特;佩德罗·里贝罗;安娜·卡瓦尔坎蒂 更正为:“合理推理股票-CSP”。 (英语) Zbl 1486.68107号 Acta信息。 59,编号2-3,283(2022).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}et al.,Acta Inf.59,No.2--3283(2022;Zbl 1486.68107) 全文: 内政部
阿姆斯特丹Elmasry;Jyrki Katajainen 用于数据结构的常规数字系统。 (英语) Zbl 07528111号 Acta信息。 59,编号2-3,245-281(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Elmasry}和\textit{J.Katajainen},《学报》第59期,第2--3245--281号(2022年;Zbl 07528111) 全文: 内政部
安德烈亚·马林;卡拉广场;萨宾娜·罗西 比例集总性和比例相似性。 (英语) Zbl 07528110号 Acta信息。 59,编号2-3,211-244(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Marin}等人,《学报》第59期,第2--3、211-244号(2022年;Zbl 07528110) 全文: 内政部
梅尔特·埃尔古图纳;亚辛卡亚、贝亚齐特;艾丁·戈尔(Ebru Aydin Gol) 带有信号时序逻辑的自动系统修复框架。 (英语) Zbl 07528109号 Acta信息。 59,编号2-3,183-209(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Ergurtuna}等人,《学报》第59期,第2--3、183-209号(2022年;Zbl 07528109) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;克里斯蒂安·施耐德 具有无向状态图的有限自动机。 (英语) Zbl 1526.68006号 Acta信息。 第1号第59页,第163-181页(2022年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《学报》第59期,第1期,第163--181页(2022年;Zbl 1526.68006) 全文: 内政部
詹姆斯·巴克斯特;佩德罗·里贝罗;安娜·卡瓦尔坎蒂 中的合理推理股票-CSP公司。 (英语) Zbl 1483.68223号 Acta信息。 59,编号1,125-162(2022); 更正同上,第59号,第2-3、283(2022)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}等人,《学报》第59期,第1期,第125--162页(2022年;Zbl 1483.68223) 全文: 内政部
毛里西奥·卡诺;雨果·A·洛佩兹。;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达 基于会话的并发,以声明方式。 (英语) Zbl 1522.68358号 Acta信息。 59,编号1,37-123(2022).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Cano}等人,Acta Inf.59,No.1,37-123(2022;Zbl 1522.68358) 全文: 内政部
塔马斯·托特;伊斯坦·马齐克 离散变量时间自动机的可配置验证。 (英语) Zbl 1483.68208号 Acta信息。 59,第1期,1-35页(2022年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Tóth}和\textit{I.Majzik},《学报》第59卷第1期,第1--35页(2022年;Zbl 1483.68208) 全文: 内政部
徐明;黄成超;冯、袁 测量量子马尔可夫链中的约束可达性。 (英语) 兹比尔1483.68140 Acta信息。 58,第653-674号(2021).MSC公司:2012年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,《学报》第58期,第6期,第653--674页(2021年;Zbl 1483.68140) 全文: 内政部
拉比亚·马扎尔;信度省,穆德萨-阿扎姆 DKL:学习确定性Kripke结构的有效算法。 (英语) Zbl 1483.68148号 Acta信息。 58,第6号,611-651(2021).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{R.Mazhar}和\textit{M.A.Sindhu},《学报》第58期,第6期,第611--651页(2021年;Zbl 1483.68148) 全文: 内政部
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 质量和数量目标相结合的游戏的平衡。 (英语) Zbl 1483.68193号 Acta信息。 58,编号6,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司
达斯·利坦·库马尔;库马尔·桑卡尔·雷 Fitting逻辑代数的双拓扑对偶性和自然对偶扩展。 (英语) Zbl 07404759号 Acta信息。 58,第5期,571-584(2021年).MSC公司:03B50号 03G25号 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{L.K.Das}和\textit{K.S.Ray},《学报》第58期,第5期,571--584(2021;Zbl 07404759) 全文: 内政部 arXiv公司
罗伯托·戈里埃里 BPP网络的团队相似性及其相关的模式逻辑。 (英语) Zbl 1497.68339号 Acta信息。 58,第5号,529-569(2021).MSC公司:68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri},《信息学报》58,第5期,529--569(2021年;Zbl 1497.68339) 全文: 内政部
陈明帅;马丁·范策尔;李,杨佳;彼得·莫萨德(Peter N.Mosaad)。;詹乃军 不确定性和延迟是失败的根源——通过综合延迟弹性控制,在算法上驯服它们。 (英语) 兹比尔1528.68214 Acta信息。 58,第5号,497-528(2021).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,《学报》第58期,第5期,第497--528页(2021年;Zbl 1528.68214) 全文: 内政部
维利亚姆·格弗特;克里斯托斯·卡波提斯。;穆罕默德·扎克佐克 双向交替自动机的补充。 (英语) Zbl 1528.68184号 Acta信息。 58,第5号,463-495(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert}等人,《学报》第58期,第5期,第463--495页(2021年;Zbl 1528.68184) 全文: 内政部
更糟,托马斯 针对一维CA中生日歌手同步问题(FSSP)的一种快速算法。 (英语) Zbl 1520.68084号 Acta信息。 58,第4号,451-462(2021).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{T.Worsch},Acta Inf.58,No.4,451--462(2021;Zbl 1520.68084) 全文: 内政部 arXiv公司
广岛乌米欧;直系神户县;Gen藤田 长度为(n=2^k-1)的1D环的一类新的最小FSSP部分解。 (英语) Zbl 1518.68225号 Acta信息。 58,第4期,427-450(2021年).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{H.Umeo}等人,《情报法》第58卷,第4期,第427-450页(2021年;Zbl 1518.68225) 全文: 内政部
弗里德里希·奥托;马蒂亚斯·温德兰特 无状态有序RRWW-自动机的可逆性。 (英语) Zbl 1520.68065号 Acta信息。 58,第4号,397-425(2021).MSC公司:65年第68季度 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}和\textit{M.Wendlandt},《学报》第58期,第4期,第397--425页(2021年;Zbl 1520.68065) 全文: 内政部
盛田贤一 一种用于可逆图灵机的指令集。 (英语) Zbl 1520.68034号 Acta信息。 58,第4号,377-396(2021).MSC公司:04年第68季度 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Morita},Acta Inf.58,No.4,377--396(2021;Zbl 1520.68034) 全文: 内政部
斯塔夫罗斯·康斯坦蒂尼迪斯;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯 关于偏导数的大小和词的隶属度问题。 (英语) Zbl 1520.68060号 Acta信息。 58,第4号,357-375(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Konstantinidis}等人,《信息学报》58,第4期,357--375(2021年;Zbl 1520.68060) 全文: 内政部
塞巴斯蒂安·雅各比;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 等长队列自动机的描述能力。 (英语) Zbl 1520.68058号 Acta信息。 58,第4号,335-356(2021).MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakobi}等人,《情报法》第58卷,第4期,第335-356页(2021;Zbl 1520.68058) 全文: 内政部
苏普雷蒂·卡米利亚;贾科·卡里 非均匀细胞自动机中的零势和周期点。 (英语) Zbl 1518.37020号 Acta信息。 58,第4号,319-333(2021).MSC公司:37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Kamilya}和\textit{J.Kari},《学报》第58期,第4期,第319--333页(2021年;Zbl 1518.37020) 全文: 内政部
海宁·博迪恩;马库斯·霍尔泽 关于有限自动机的活动状态数。 (英语) Zbl 1520.68052号 Acta信息。 58,第4号,301-318(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer},《学报参考》58,第4期,301-318(2021年;Zbl 1520.68052) 全文: 内政部
尤尔根·达索 操作复杂性和正确的线性文法。 (英语) Zbl 1522.68262号 Acta信息。 58,第4期,281-299(2021).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow},Acta Inf.58,No.4,281--299(2021;Zbl 1522.68262) 全文: 内政部
海宁·博迪恩;György的Vaszil 可逆并行通信有限自动机系统。 (英语) Zbl 1520.68053号 Acta信息。 58,第4期,263-279(2021).MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{G.Vaszil},《学报参考》58,第4期,263--279(2021;Zbl 1520.68053) 全文: 内政部
艾哈迈德·奥斯托瓦尔;苏娜·本施;托马斯·赫尔斯特罗姆 自然语言引导的图像对象检索。 (英语) Zbl 1520.68175号 Acta信息。 58,第4号,243-261(2021).MSC公司:68吨10 68T05型 68T45型 68T50型 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{A.Ostovar}等人,《信息学报》58,第4期,243--261(2021年;Zbl 1520.68175) 全文: 内政部
亨宁费尔瑙(编辑);安德烈亚斯·马尔彻(编辑);乔瓦尼·皮奇奇尼(编辑) 马丁·库特里布(Martin Kutrib)的前言。 (英语) Zbl 1478.00031号 Acta信息。 58,第4期,241-242(2021).MSC公司:00B15号机组 68-06 00立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}(编辑)等人,《学报》第58卷第4期,第241--242页(2021年;Zbl 1478.00031) 全文: 内政部
德巴扬·甘古里;金淑·查特吉;库马尔·桑卡尔·雷 Watson-Crick量子有限自动机。 (英语) Zbl 1487.68146号 Acta信息。 58,第3期,231-240(2021年).MSC公司:65年第68季度 2007年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{D.Ganguly}等人,《信息学报》58,第3期,231--240(2021年;Zbl 1487.68146) 全文: 内政部 arXiv公司
安杰洛·博尔索蒂;卢卡·布雷维利里;克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);安杰洛·莫尔岑蒂 模糊正则表达式的确定性分析算法。 (英语) Zbl 1487.68142号 Acta信息。 58,第3期,195-229(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Borsotti}等人,《信息学报》58,第3期,195-229(2021年;Zbl 1487.68142) 全文: 内政部
约翰娜·比约克隆德;洛克·克利奥帕斯 基于聚合的有限状态自动机最小化。 (英语) Zbl 1490.68125号 Acta信息。 58,第3期,177-194(2021). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Björklund}和\textit{L.Cleophas},《学报》第58期,第3期,177--194(2021年;Zbl 1490.68125) 全文: 内政部
贝内德克·纳吉;沙格哈耶·帕查米 关于确定性传感(5'\rightarrow 3'\)Watson-Crick有限自动机:2detLIN中的完整层次。 (英语) Zbl 1487.68152号 Acta信息。 58,第3期,153-175(2021).MSC公司:65年第68季度 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy}和\textit{S.Parchami},《学报》第58期,第3期,第153--175页(2021年;Zbl 1487.68152) 全文: 内政部
约斯特·恩格尔弗里特;稻田,Kazuhiro;塞巴斯蒂安·马内斯 树行走树传感器的线性边界组成:线性尺寸增加和复杂性。 (英语) Zbl 1512.68137号 Acta信息。 58,编号1-2,95-152(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,《信息学报》58,第1--2、95-152期(2021年;Zbl 1512.68137) 全文: 内政部 arXiv公司
阿纳布·巴塔查里亚;阿什图什·古普塔;拉克希曼·库普萨米;索米亚·马尼;安吉特·舒克拉;斯利瓦斯,曼达扬;穆昆德·塔泰 一种预测真核细胞囊泡交通系统新特征的正式方法。 (英语) 兹比尔1512.92022 Acta信息。 58,编号1-2,57-93(2021).MSC公司:92立方37 05C90年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bhattacharyya}等人,《信息学报》58,第1--2期,第57-93页(2021年;Zbl 1512.92022年) 全文: 内政部
恩格斯,史蒂文;托尼·谭;Van den Bussche,简 序列模式语言中的子序列与子串约束。 (英语) Zbl 1509.03091号 Acta信息。 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) 全文: 内政部
Lanese,伊万;多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 CCS中的静态与动态可逆性。 (英语) Zbl 1475.68126号 Acta信息。 58,编号1-2,1-34(2021). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:2009年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,《信息学报》58,第1--2、1-34期(2021年;Zbl 1475.68126) 全文: 内政部 链接
汉斯·休特尔 使用会话类型来推理\(\pi\)-演算中的有界性。 (英语) Zbl 1477.68180号 Acta信息。 57,第6号,801-827(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hüttel},《学报》第57期,第6期,第801--827页(2020年;Zbl 1477.68180) 全文: 内政部 arXiv公司
爱德华·巴拉诺夫;西蒙·布利兹 基于组件的框架的可表达性:对BIP的可表达性的研究。 (英语) 兹比尔1477.68174 Acta信息。 57,第6号,761-800(2020).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Baranov}和\textit{S.Bliudze},《信息学报》57,第6期,761--800(2020;Zbl 1477.68174) 全文: 内政部 哈尔
柯斯汀·彼得斯(编辑);蒂妮,西蒙(编辑) 特刊前言:EXPRESS/SOS 2016+2017。 (英语) Zbl 1477.68025号 Acta信息。 57,第6号,759-760(2020).MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}(编辑)和textit{S.Tini}(编),《学报》第57卷,第6期,第759-760页(2020年;Zbl 1477.68025) 全文: 内政部
约尔格恩德鲁利斯;扬·威廉·克鲁普;雷娜·巴赫西 换能器等级:原子、中阴和至上。 (英语) Zbl 1460.03011号 Acta信息。 57,编号3-5,727-758(2020). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:05年3月 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,《信息学报》第57期,第3--5、727--758号(2020年;Zbl 1460.03011) 全文: 内政部 链接
马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森 加权分支互模拟的完全公理化。 (英语) Zbl 1448.68343号 Acta信息。 57,编号3-5,689-725(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Jensen}和\textit{K.G.Larsen},《学报》第57期,第3--5、689--725号(2020年;Zbl 1448.68343) 全文: 内政部
马克·贾斯珀;马克西米利安·施吕特;伯恩哈德·斯特芬 Hennessy-Milner逻辑中的特征不变量。 (英语) 兹比尔1443.68113 Acta信息。 57,编号3-5671-687(2020).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jasper}等人,《学报》第57期,第3--5、671--687号(2020年;Zbl 1443.68113) 全文: 内政部
张晨毅 样本字符串的最小一致DFA。 (英语) Zbl 1508.68206号 Acta信息。 57,编号3-5,657-670(2020).MSC公司:65年第68季度 65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhang},Acta Inf.57,No.3--5,657--670(2020;Zbl 1508.68206) 全文: 内政部
秦旭东;西蒙·布利兹;艾瑞克·马德琳;侯泽晨;邓雨欣;张敏 基于SMT的符号自动机生成。 (英语) Zbl 1443.68114号 Acta信息。 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) 全文: 内政部
Manuel Gieseking先生;奥尔德罗格(Ernst-Rüdiger Olderog);尼克·Würdemann 解决高级Petri游戏。 (英语) Zbl 1443.68112号 Acta信息。 57,编号3-5,591-626(2020).MSC公司:68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gieseking}等人,《学报》第57期,第3--5591--626号(2020年;Zbl 1443.68112) 全文: 内政部
马克·鲍曼;巴斯·卢提克;蒂姆·威姆斯 对正义路径的活性属性进行离线自动分析。 (英语) Zbl 1443.68109号 Acta信息。 57,编号3-5,551-590(2020).MSC公司:68问题85 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bouwman}等人,《学报》第57期,第3--5551--590号(2020年;Zbl 1443.68109) 全文: 内政部
沃尔特·福格勒;杰拉尔德·吕特根 接口自动机的线性时间分支时间透视图。 (英语) Zbl 1443.68099号 Acta信息。 57,编号3-5,513-550(2020).MSC公司:65年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}和\textit{G.Lüttgen},《学报》第57期,第3--5513-550号(2020年;Zbl 1443.68099) 全文: 内政部
克里斯特尔·拜尔;佩德罗·达吉尼奥。;霍尔格·赫尔曼斯 关于无声移动的概率互模拟谱。 (英语) Zbl 1443.68108号 Acta信息。 57,编号3-5,465-512(2020).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《学报》第57期,第3--5465--512号(2020年;Zbl 1443.68108) 全文: 内政部
本杰明·比斯平;乌韦·内斯特曼;柯斯汀·彼得斯 配对相似性:前32年。 (英语) Zbl 1476.68166号 Acta信息。 57,编号3-5,439-463(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《信息学报》第57期,第3--5439-463号(2020年;Zbl 1476.68166) 全文: 内政部
大卫·梅斯特尔;A.W.罗斯科。 在并发模型之间进行转换。 (英语) Zbl 1465.68181号 Acta信息。 57,编号3-5,403-438(2020). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Mestel}和\textit{A.W.Roscoe},《学报》第57期,第3--5、403--438号(2020年;Zbl 1465.68181) 全文: 内政部 arXiv公司
Jan A.Bergstra。;阿尔班·蓬塞 具有真分数的算术数据类型。 (英语) Zbl 1448.68323号 Acta信息。 57,编号3-5,385-402(2020).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},《学报》第57期,第3--5385--402号(2020年;Zbl 1448.68323) 全文: 内政部
安蒂·瓦尔马里 所有一致性均低于稳定性保持公平测试或CFFD。 (英语) Zbl 1452.68128号 Acta信息。 57,编号3-5,353-383(2020). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},《信息学报》第57期,第3--5、353--383号(2020年;Zbl 1452.68128) 全文: 内政部
马西耶·加兹达;Wan Fokkink公司;维托里奥·马萨罗 从操作员的角度来看,一致性。模态特征的句法要求。 (英语) Zbl 1443.68111号 Acta信息。 57,编号3-5,329-351(2020).MSC公司:68问题85 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gazda}等人,Acta Inf.57,No.3--5,329--351(2020;Zbl 1443.68111) 全文: 内政部
Fehnker,Ansgar公司 出去喝咖啡:和罗布。 (英语) Zbl 1443.68008号 Acta信息。 57,编号3-5,323-327(2020).MSC公司:68-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fehnker},Acta Inf.57,编号:3-5323-327(2020;兹bl 1443.68008) 全文: 内政部
沃恩·普拉特 我和罗布在一起的时间。 (英语) Zbl 1443.68011号 Acta信息。 57,编号3-5,321-322(2020).MSC公司:68-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Pratt},Acta Inf.57,No.3--5,321--322(2020;Zbl 1443.68011) 全文: 内政部
乌苏拉·戈尔茨;Schicke-Uffmann,Jens-W。 三方之间的同步和异步通信。 (英语) Zbl 1443.68009号 Acta信息。 57,编号3-5,313-320(2020).MSC公司:68-03 01A70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Goltz}和\textit{J.-W.Schicke-Uffmann},《学报》第57期,第3--5313--320号(2020年;Zbl 1443.68009) 全文: 内政部
彼得·霍夫纳(编辑);卡罗尔·摩根(编辑);沃恩·普拉特(编辑) 前言。 (英语) Zbl 1443.68015号 Acta信息。 57,编号3-5,305-311(2020).MSC公司:68-06 01A70号 00立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}(编辑)等人,《学报》第57期,第3--5305-311号(2020年;Zbl 1443.68015) 全文: 内政部
纳哈尔·米尔扎伊;Faghih、Fathiyeh;瑞典雅各布斯;博佐博纳克达普尔 对称网络中自稳定协议的参数化综合。 (英语) Zbl 1435.68201号 Acta信息。 57,编号1-2,271-304(2020).MSC公司:60年第68季度 68M10个 68个M12 64岁以下 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Mirzaie}等人,Acta Inf.57,No.1-2271-304(2020;兹bl 1435.68201) 全文: 内政部
安托万·吉拉德;格雷戈·戈斯勒 使用无离散化多分辨率抽象的增量稳定切换系统的安全综合。 (英语) Zbl 1441.93131号 Acta信息。 57,编号1-2,245-269(2020).MSC公司:93立方 93亿B50 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}和\textit{G.össler},《学报》第57期,第1--2245--269号(2020年;Zbl 1441.93131) 全文: 内政部 哈尔
亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波格林 连续设备可证明安全数字控制器的自动形式化综合。 (英语) Zbl 1441.93171号 Acta信息。 57,编号1-2,223-244(2020).MSC公司:93立方62 93亿B50 93立方厘米 93D20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,《学报》第57期,第1--2223--244号(2020年;Zbl 1441.93171) 全文: 内政部