理论计算机科学算法、自动机、复杂性和游戏 简短标题： 西奥。计算。科学。 发布者： 阿姆斯特丹爱思唯尔 ISSN公司： 0304-3975 在线： https://www.sciencedirect.com/journal/theoretical-computer-science/issues 评论： 期刊；索引封面到封面 已编制索引的文档： 14583出版物（自1975年起） 索引的引用： 13966出版物参考文献333992。 全部的 前5名最新问题 1001(2024) 1000(2024) 999(2024) 998(2024) 997(2024) 996(2024) 995(2024) 994(2024) 993(2024) 992(2024) 991(2024) 990(2024) 989(2024) 988(2024) 987(2024) 986(2024) 985(2024) 984(2024) 983(2024) 982(2024) 981(2024) 980(2023) 979(2023) 978(2023) 977(2023) 976(2023) 975(2023) 974(2023) 973(2023) 972(2023) 971(2023) 970(2023) 969(2023) 968(2023) 966-967(2023) 965(2023) 964(2023) 963(2023) 962(2023) 961(2023) 960(2023) 959(2023) 958(2023) 957(2023) 956(2023) 955(2023) 954(2023) 953(2023) 952(2023) 951(2023) 950(2023) 949(2023) 948(2023) 947(2023) 946(2023) 945(2023) 944(2023) 943(2023) 942(2023) 941(2023) 940(2023) 939(2023) 938(2022) 937(2022) 936(2022) 935(2022) 934(2022) 933(2022) 932(2022) 931(2022) 930(2022) 929(2022) 928(2022) 927(2022) 926(2022) 925(2022) 924(2022) 923(2022) 922(2022) 921(2022) 920(2022) 919(2022) 918(2022) 917(2022) 916(2022) 915(2022) 914(2022) 913(2022) 912(2022) 911(2022) 910(2022) 909(2022) 908(2022) 907(2022) 906(2022) 905(2022) 904(2022) 903(2022) 902(2022) 901(2022) …还有1242卷 全部的 前5名作者 71 格列泽戈兹·罗森贝格 65 奥斯卡·H·伊巴拉。 47 沃伊切赫·莱特 47 阿尔托·库斯塔·萨洛马 45 Kai T.Salomaa。 44 桑杰·贾恩 44 安东尼奥·雷斯蒂沃 42 保罗·G·斯皮拉基斯。 39 王建新 38 佩恩，古奥热 37 朱哈尼·卡鲁马基 37 弗兰克·斯蒂芬 36 安德烈·埃伦菲赫特 35 马克西姆·克罗西莫尔 34 陈剑儿 34 Tero Harju公司 34 吴伟丽 33 科斯塔斯·S·伊利奥普洛斯。 32 安德烈·佩尔克 31 卡里、莉拉 31 亚历山大·奥霍金 30 佐尔坦·埃西克 30 Goles Chacc，埃里克 30 丹尼尔·保卢斯马 30 大卫·佩勒 29 阿尔多·德卢卡 29 杰弗里·奥特洛·沙利特 28 埃文格洛斯·康斯坦蒂努·克拉纳基斯 28 弗里德里希·奥托 28 袁、晋江 27 苏西洛，威利 26 亨宁费尔瑙 26 朱拉吉·赫罗姆科维奇 26 乌戈·蒙塔纳里。 26 克里斯托夫·鲁特瑙尔 26 萨科特·索拉布 26 于盛 25 利亚·爱泼斯坦 25 马库斯·霍尔泽 25 马丁·库特里布 25 冈萨洛·纳瓦罗 25 朱，滨海 24 阿米尔，阿米胡德 24 Jan A.Bergstra。 24 Petr A.Golovach。 24 林国辉 24 吉安卡洛·莫里 24 周树明 23 布兰切特·萨德里（Francine Blanchet-Sadri） 23 布鲁诺·库塞尔 23 埃里克·D·德曼。 23 段振华 23 Han、Yo-Sub 23 Hemaspandra，A巷。 23 Juha Honkala 23 Gad M.兰道。 23 菲利波·米格诺西 23 J.Ian Munro 23 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 23 赫尔穆特·普罗丁格 23 米歇尔·雷纳尔 22 马雷克·克罗巴克 22 杜定珠 22 恩里科·福门蒂 22 伊藤武弘 22 朱塞佩·利奥塔 22 公园，坤秀 22 托马斯·齐格曼 21 克里斯蒂安·卡鲁德。 21 范建熙 21 冯其龙 21 伊迪塔·佩兰托娃 21 伊恩·皮特 21 尼古拉·桑托罗 21 瓦格伏尔盖，桑多尔 20 埃迪·程 20 克里斯蒂安·乔夫鲁特 20 朱列克·齐佐维奇 20 本杰明·多尔 20 西葫芦、保拉 20 马格努斯·马尔·哈尔森 20 Ko、Ker-I 20 李德英 20 李敏明 20 潘林强 20 田聪 20 英戈·韦格纳 20 徐银峰 19 约根·邦杰森 19 马里亚纽拉州Dezani-Ciancaglini 19 曼弗雷德·德罗斯特 19 路易斯·加加诺 19 何塞·梅塞盖尔·瓜伊塔 19 博克哈德·莫尼恩 19 杰罗姆·蒙诺 19 广岛长垣 19 卡图西亚帕拉米德斯 19 Vangelis Th.帕斯科。 19 多米尼克·佩林 19 威廉·史密斯。 …还有14794位作者 全部的 前5名领域 12,751 计算机科学（68至XX） 1,989 组合数学（05-XX） 1,523 数理逻辑与基础（03-XX） 899 运筹学、数学规划（90-XX） 706 博弈论、经济学、金融和其他社会和行为科学（91-XX） 600 信息与通信理论、电路（94-XX） 419 总体主题；集合（00-XX） 360 生物学和其他自然科学（92-XX） 268 数论（11-XX） 248 群论与推广（20-XX） 209 范畴理论；同调代数（18-XX） 208 阶、格、有序代数结构（06-XX） 171 数值分析（65-XX） 142 动力系统和遍历理论（37至XX） 141 量子理论（81-XX） 124 概率论与随机过程（60-XX） 101 一般代数系统（08-XX） 86 凸和离散几何（52至XX） 81 一般拓扑结构（54至XX） 79 统计学（62-XX） 67 系统论；控制（93-XX） 63 线性代数和多线性代数；矩阵理论（15-XX） 57 场论和多项式（12-XX） 47 交换代数（13-XX） 43 历史和传记（01-XX） 42 结合环与代数（16-XX） 34 代数几何（14-XX） 31 测量和集成（28-XX） 21 实际功能（26年X月X日） 21 常微分方程（34-XX） 19 统计力学，物质结构（82-XX） 11 复变量的函数（30年XX月） 9 特殊功能（33至XX） 9 代数拓扑（55-XX） 9 粒子和系统力学（70-XX） 8 非结合环和代数（17-XX） 8 近似值和展开值（41至XX） 7 几何图形（51至XX） 6 偏微分方程（35-XX） 6 变异微积分和最优控制；最优化（49至XX） 6 相对论和引力理论（83至XX） 5 积分变换，运算微积分（44-XX） 5 功能分析（46倍X倍） 5 流形和细胞复合体（57至XX） 4 差分方程和函数方程（39至XX） 4 欧氏空间的调和分析（42至XX） 三 序列、级数、可和性（40-XX） 三 微分几何（53-XX） 三 经典热力学，传热（80-XX） 2 算子理论（47-XX） 2 整体分析，流形分析（58至XX） 2 可变形固体力学（74-XX） 2 地球物理学（86-XX） 1 拓扑群、李群（22日至XX日） 1 几个复变量和分析空间（32-XX） 1 流体力学（76-XX） 1 天文学和天体物理学（85-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 11,067出版物有被引用108132次57306文件 引用人▼ 年份▼ 量子密码学：公钥分发和投币。 Zbl 1306.81030号 Charles H.Bennett。;吉尔·布拉萨尔 973 2014 线性逻辑。 Zbl 0625.03037号 吉安·伊夫·吉拉德 970 1987 时间自动机理论。 Zbl 0803.68071号 拉杰夫·阿鲁尔;大卫·L·迪尔。 752 1994 计算永久性的复杂性。 Zbl 0415.68008号 瓦利安特，L.G。 695 1979 一些简化的NP-完全图问题。 兹比尔0338.05120 M.R.加里。;D.S.约翰逊。;斯托克迈耶，L。 680 1976 树宽有界的图的部分k-树丛。 Zbl 0912.68148号 汉斯·L·博德兰德。 402 1998 宇宙余代数：一种系统理论。 Zbl 0951.68038号 J.J.M.M.鲁顿。 391 2000 多项式时间层次结构。 Zbl 0353.02024号 Stockmeyer，Larry J。 373 1977 命题演算的结果。 Zbl 0553.03007号 德克斯特·科岑 373 1983 测试过程的等效性。 Zbl 0985.68518号 R·德·尼古拉。;轩尼诗，M.C.B。 269 1984 从均匀分布中随机生成组合结构。 兹伯利0597.68056 马克·杰鲁姆（Mark R.Jerrum）。;莱斯利·瓦利安特（Leslie G.Valiant）。;维杰伊·瓦齐拉尼。 251 1986 条件重写逻辑作为并发的统一模型。 Zbl 0758.68043号 何塞·梅塞盖尔 247 1992 LCF被认为是一种编程语言。 Zbl 0369.68006号 普洛金，G.D。 243 1978 有向子图同胚问题。 Zbl 0419.05028号 《财富》，史蒂文;约翰·霍普克罗夫特;詹姆斯·威利 242 1980 Call-by-name、Call-by-value和\（lambda\）-演算。 Zbl 0325.68006号 普洛金，G.D。 241 1975 Petri网、事件结构和域。一、。 Zbl 0452.68067号 尼尔森，莫根斯;戈登·普洛金;格林·温斯克尔 237 1981 聚类以最小化最大簇间距离。 兹比尔0567.62048 Teofilo F.冈萨雷斯。 215 1985 难以解决的问题。 Zbl 0586.03010号 阿明·哈肯 215 1985 混合系统的算法分析。 Zbl 0874.68206号 阿鲁尔，R。;库库贝蒂斯，C。;Halbwachs，北卡罗来纳州。;亨廷格，T.A。;Ho、P.-H、。 211 1995 移动环境。 Zbl 0954.68108号 卡德利，L。;A.D.戈登。 203 2000 计算同步和异步。 Zbl 0512.68026号 罗宾·米尔纳 189 1983 图上平均收益博弈的复杂性。 Zbl 0871.68138号 乌里·兹威克;迈克·帕特森 184 1996 梅林变换和渐近性：调和和。 Zbl 0869.68057号 菲利普·弗拉乔莱特;泽维尔·古登;菲利普·杜马斯 183 1995 三次图的一些APX-完备性结果。 Zbl 0939.68052号 阿利蒙蒂，P。;V.卡恩。 181 2000 术语重新编写系统的订购。 Zbl 0525.68054号 纳鸿·德肖维茨 179 1982 多项式时间格基约简算法的层次结构。 Zbl 0642.10030号 施诺尔，C.P。 178 1987 NP就像检测独特的解决方案一样简单。 Zbl 0621.68030号 Valiant公司。;瓦齐拉尼，V.V。 175 1986 伊壁鸠鲁语单词和de Luca和Rauzy的一些结构。 Zbl 0981.68126号 X·杜洛贝。;贾斯汀，J。;G.皮里略。 165 2001 固定参数可处理性和完备性II：关于W[1]的完备性。 Zbl 0873.68059号 罗德·唐尼。;研究员Michael R。 164 1995 到处都是结构良好的过渡系统！ Zbl 0973.68170号 芬克尔，A。;施诺贝伦，P。 159 2001 代数闭域中的可定义性和快速量词消去。 Zbl 0546.03017号 乔斯·海因茨 157 1983 关于多区间图问题的参数化复杂性。 Zbl 1161.68038号 研究员Michael R。;丹尼·赫尔梅林;弗朗西斯·罗萨蒙德;圣埃芬·维亚莱特 157 2009 （1+1）进化算法的分析。 Zbl 1002.68037号 斯特凡·德罗斯特;托马斯·詹森;英戈·韦格纳 154 2002 使用依赖对终止术语重写。 Zbl 0938.68051号 艺术，T。;J·吉斯尔。 152 2000 无限树的基本性质。 Zbl 0521.68013号 布鲁诺·库塞尔 152 1983 正则语言上某些基本操作的状态复杂性。 Zbl 0795.68112号 于盛;庄庆余;凯·萨洛马 147 1994 用抽象传递过程的代数。 Zbl 0579.68016号 J.A.伯格斯特拉。;Klop，J.W。 147 1985 多项式时间可约性的比较。 Zbl 0321.68039号 拉德纳，R.E。;北卡罗来纳州林奇。;塞尔曼。 145 1975 机器归纳推理识别标准的比较。 Zbl 0524.03025号 凯斯，约翰;卡尔·史密斯 144 1983 （k）-正则序列的环。 兹比尔0774.68072 Jean-Paul Allouche;杰弗里·沙利特 140 1992 细胞自动机理论：综述。 Zbl 1080.68070号 Kari，雅科 140 2005 化学提取机。 Zbl 0747.68013号 杰拉德·贝里;杰拉德·布多尔 140 1992 有限色图上的无限游戏，以及无限树上自动机的应用。 Zbl 0915.68120号 维埃斯·齐埃隆卡 137 1998 代数语言和多项式枚举。 Zbl 0985.68516号 玛丽·皮埃尔·德尔斯特;杰拉德·维诺 136 1984 改进了顶点覆盖的上限。 Zbl 1205.05217号 陈建尔;Iyad A.Kanj。;夏、葛 134 2010 欧氏旅行商问题是NP-完全的。 Zbl 0386.90057号 克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。 131 1977 关于重构问题的复杂性。 Zbl 1207.68166号 伊藤武弘;埃里克·D·德曼。;尼古拉斯·哈维。;克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。;玛莎·西德丽;上原、琉璃;尤诺（Yushi Uno） 130 2011 关于保证图搜索的注释书目。 Zbl 1160.68007号 费多尔·福明。;迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。 128 2008 复杂性度量和决策树复杂性：一项调查。 兹比尔1061.68058 哈里·布尔曼;罗纳德·沃尔夫 125 2002 组织P系统。 Zbl 1045.68063号 卡洛斯·马丁·维德;佩恩，古奥热;胡安·帕佐斯;阿方索·罗德里格斯-帕顿 124 2003 量子自动机和量子语法。 Zbl 0939.68037号 克里斯托弗·摩尔;克拉奇菲尔德，J.P。 124 2000 十五年后，变量类型的系统（{\mathcal F}）。 Zbl 0623.03013号 吉安·伊夫·吉拉德 122 1986 有限自动机和一元语言。 Zbl 0638.68096号 马雷克·克罗巴克 121 1986 向量加法系统的覆盖和有界问题。 Zbl 0368.68054号 查尔斯·拉科夫 118 1978 类型化\（\lambda\）-calculi的完全抽象模型。 Zbl 0386.03006号 罗宾·米尔纳 117 1977 有序代数。I： 多重继承、重载、异常和部分操作的等式推导。 Zbl 0778.68056号 约瑟夫·戈根（Joseph A.Goguen）。;何塞·梅塞盖尔 116 1992 偏导数的复杂性。 Zbl 0498.68028号 沃尔特·鲍尔;沃尔克·斯特拉森 116 1983 完备集和多项式时间层次。 兹伯利0366.02031 西莉亚·沃瑟尔 115 1977 搜索和鹅卵石。 Zbl 0616.68064号 Lefteris M.基鲁西斯。;Christos H.帕帕迪米特里奥。 115 1986 生物环境：生物隔间的抽象。 Zbl 1069.68569号 阿维夫·雷格夫;叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。;威廉·西尔弗曼;卢卡·卡德利;埃胡德·夏皮罗 114 2004 斯图尔语单词：结构、组合及其算术。 Zbl 0911.68098号 阿尔多·德卢卡 113 1997 精化映射的存在。 Zbl 0728.68083号 马丁·阿巴迪;莱斯利·兰波特 112 1991 蚁群优化理论综述。 Zbl 1154.90626号 马可·多里戈;克里斯蒂安·布卢姆 111 2005 盲和部分盲单向多计数器的备注。 Zbl 0389.68030号 S.A.格雷巴赫。 109 1978 斯图尔语单词的一些组合性质。 Zbl 0874.68245号 阿尔多·德卢卡;菲律宾Mignosi 105 1994 正式的分子生物学。 Zbl 1071.68041号 文森特·达诺斯;科西莫·拉内夫 104 2004 交换和非交换Gröbner基简介。 Zbl 0824.68056号 特奥·莫拉 104 1994 参数化图形分离问题。 Zbl 1086.68104号 达尼尔·马克思 104 2006 正则表达式和有限自动机构造的偏导数。 Zbl 0872.68120号 瓦伦丁·安蒂米洛夫 103 1996 能见度有限的异步机器人集合。 Zbl 1108.68120号 西葫芦、保拉;朱塞佩·普伦西佩;尼古拉·桑托罗;彼得·维德迈尔 102 2005 关于不相交的分布复杂性。 Zbl 0787.68055号 拉兹博罗夫，A.A。 101 1992 Lex-BFS和分区细化，应用于传递方向、区间图识别和连续图测试。 Zbl 0945.68189号 哈比卜，M。;R·麦康奈尔。;C·保罗。;维诺，L。 101 2000 关于组合问题的代数结构。 Zbl 0915.68074号 彼得·杰文斯 100 1998 完备集合论中的终端余代数。 Zbl 0779.18004号 迈克尔·巴尔 97 1993 末端理论、下推自动机和二阶逻辑。 Zbl 0605.03005号 戴维·穆勒（David E.Muller）。;Paul E.舒普。 97 1985 一种新的系统认证码的编码理论构造。 Zbl 1078.68030号 丁存生;王雪松 95 2005 最优2-约束满足的一种新算法及其启示。 Zbl 1081.68095号 莱恩·威廉姆斯 95 2005 有限记忆自动机。 Zbl 0938.68711号 迈克尔·卡明斯基;尼西姆·弗朗西兹 94 1994 数据交换：语义和查询应答。 兹比尔1080.68019 罗纳德·费金;Phokion G.科莱蒂斯。;勒内·米勒。;卢西安·波帕 94 2005 PSPACE通过计算的不确定性约束逻辑模型来解决滑块谜题和其他问题的完备性。 Zbl 1079.68040号 罗伯特·赫恩。;埃里克·D·德曼。 94 2005 标记马尔可夫过程的度量。 Zbl 1068.68093号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登，普拉卡什 94 2004 单台机器上的多代理调度，以最小化延迟作业的加权总数。 Zbl 1100.68007号 Cheng，T·C·E。;Ng、C.T。;袁俊杰。 94 2006 不相交循环和不相交路径的核边界。 Zbl 1221.68099号 Bodlaender，Hans L。;圣埃芬托马斯;Yeo，安德斯 94 2011 \（β）-展开和符号动力学。 Zbl 0682.68081号 F.布兰查德。 93 1989 语言的力量和替换的不动点的可识别性。（Poissances de mots et researchasabilityédes points修复了'une替换。） 兹比尔0763.68049 布丽姬·莫塞 92 1992 微分λ-微积分。 Zbl 1070.68020号 托马斯·埃尔哈德;劳伦特·雷格尼尔 92 2003 没有地图的最短路径。 Zbl 0733.68065号 克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。;米哈利斯·亚纳卡基斯 92 1991 有向格路的基本分析组合学。 兹比尔0996.68126 西里尔·班德利尔;菲利普·弗拉乔莱特 91 2002 度量空间的计算模型。 Zbl 1011.54026号 阿巴斯·埃达拉特;莱因霍尔德·赫克曼 91 1998 基于约简的过程语义。 Zbl 0871.68122号 本田、高黑;吉田信子 91 1995 加权自动机和加权逻辑。 Zbl 1118.68076号 曼弗雷德·德罗斯特;保罗·加斯丁 91 2007 随机生成标记组合结构的微积分。 Zbl 0799.68143号 菲利普·弗拉乔莱特;保罗·齐默尔曼;伯纳德·范·库特森 90 1994 树分解图的一元二阶估计。 Zbl 0789.68083号 库塞尔，B。;M·莫斯巴。 90 1993 Meije-SCCS中的高级同步装置。 Zbl 0598.68027号 罗伯特·德西蒙 90 1985 无圈有向图的平面表示算法。 Zbl 0678.68059号 朱塞佩·迪巴蒂斯塔;罗伯托·塔马西娅 88 1988 图表中的地方多数、联盟和垄断：综述。 Zbl 0997.68088号 大卫·佩勒 85 2002 图形压缩在枚举匹配和平铺中的应用。 兹比尔1043.05099 Eric H.Kuo。 85 2004 资源、并发性和本地推理。 Zbl 1111.68023号 O'Hearn，Peter W。 85 2007 线性逻辑的计算解释。 Zbl 0791.03003号 萨姆森·艾布拉姆斯基 84 1993 限制类别。一： 局部映射的类别。 Zbl 0988.18003号 科科特，J.R.B。;莱克，斯蒂芬 83 2002 关于广义Thue-Morse词的2元复杂性。 Zbl 07789587号 吕晓涛;陈，金;温志雄;吴文 2 2024 图中的各种互可视性问题。 Zbl 07739129号 西塞隆、塞拉菲诺;加布里埃尔·迪·斯特法诺;拉腊·德罗日加德克;哈吉特，贾卡;桑迪·克拉夫扎尔;伊斯梅尔·耶罗。 4 2023 从编程语言的角度看可逆计算。 Zbl 07667524号 罗伯特·格莱克;横山，铁雄 三 2023 单调函数上（1，\（lambda）\）-EA的自调整总体大小。 Zbl 07755511号 马克·考夫曼;马克西姆·拉彻;约翰内斯·伦格勒;邹迅 三 2023 无限正则镶嵌图上的任意模式形成。 Zbl 07635990号 西塞隆、塞拉菲诺;阿莱西亚·迪丰索;加布里埃尔·迪·斯特法诺;阿尔弗雷多·纳瓦拉 三 2023 弱加权广义拟度量空间和半格。 Zbl 07751506号 伊利亚州卡斯特拉诺;安娜·佐丹娜·布鲁诺;尼科洛·扎瓦 三 2023 图的某些子类中的非循环匹配。 Zbl 1512.68243号 B.S.熊猫。;乔达里，朱希 三 2023 关于平衡序列及其临界指数。 Zbl 1507.68234号 弗朗西斯科·多尔斯;德沃·阿科娃（Dvoáková，L）；乌博米拉;伊迪塔·佩兰托娃 三 2023 一种改进的固定参数2-俱乐部簇边缘删除算法。 Zbl 07681301号 Abu-Khzam，费萨尔N。;诺玛·马卡雷姆;玛丽亚姆·谢哈布 三 2023 可表示的马尔可夫分类和分类概率统计实验的比较。 Zbl 07688224号 托拜厄斯·弗里茨;汤姆·冈达;保罗·佩罗内;埃吉尔·弗杰尔德格伦·里舍尔 三 2023 约束中心和供应商的严格FPT近似。 Zbl 07676480号 Goyal、Dishant;拉格什·贾斯瓦尔 三 2023 关于s俱乐部簇删除问题的参数化复杂性。 Zbl 07720779号 法布里奇奥·蒙泰基亚尼;贾科莫·奥塔利;托马索·皮塞利;亚历山德拉·塔皮尼 2 2023 Mallows模型下基于查询的最佳候选人选择。 兹伯利07755523 刘旭军;奥列吉亚·米伦科维奇;乔治五世·穆斯塔基德斯。 2 2023 有界度和色数的区间图和圆弧图的紧表示。 Zbl 07638356号 桑卡迪普查克拉波蒂;Jo、Seungbum 2 2023 停滞检测遇到快速突变。 兹比尔1522.68773 本杰明·多尔;阿米罗申·拉贾比 2 2023 识别带有页码2的DAG是NP完成。 Zbl 1512.68190号 迈克尔·A·贝科斯。;佐丹奴·达洛佐;法布里奇奥·弗拉蒂;马丁·格罗尼曼;塔马拉·麦克赫德利泽;Raptopoulou，Chrysanthi N。 2 2023 Helly图和（k\）-Helly图中的距离问题。 Zbl 1517.05045号 纪尧姆·杜卡夫 2 2023 异步布尔网络中的吸引子分离和符号圈。 Zbl 1517.37050号 理查德·阿德里安;伊丽莎·托内洛 2 2023 多重随机图的彩虹连通性的集中。 Zbl 1509.05160号 尚义伦 2 2023 在无人机互联网环境中，使用机器学习对对立Aquila Optimizer进行建模，实现安全访问控制。 Zbl 07638348号 苏巴达拉·佩鲁马拉;桑塔努·查特吉;A.P.Siva库马尔 2 2023 使用边收缩来减少半全控制数。 Zbl 1502.05187号 埃斯特·加尔比;利马，帕洛马T。;费利克斯曼;伯纳德·里斯 2 2023 无H图的诱导不交路很少。 Zbl 1527.05104号 巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;范·列文、埃里克·扬 2 2023 关联贪婪着色游戏。 兹伯利07676457 Carlos V.G.C.利马。;蒂亚戈·马西隆;尼古拉斯·马丁斯;鲁迪尼·桑帕约 2 2023 在突触上具有产生函数的数字尖峰神经P系统。 Zbl 07676467号 姜苏霞;徐伯恩;梁涛;朱晓亮;吴廷芳 2 2023 关于非循环匹配问题的参数化复杂性。 Zbl 07681300号 哈杰比、萨哈布;拉明·贾瓦迪 2 2023 单位圆盘图和矩形图的安全连通控制和安全全控制。 Zbl 07679988号 王彩霞;杨瑜（Yang，Yu）;徐寿军 2 2023 将随机右侧与通信重写规则相关联。 Zbl 07729838号 阿曼，博格丹;加布里埃尔·乔巴努 1 2023 具有异构系数的类Java演算。 Zbl 07729839号 里卡多·比安奇尼;弗朗西斯科·达尼诺;保拉·吉安尼尼;埃琳娜·祖卡 1 2023 实用的多方量子同态加密。 Zbl 07729842号 陈、吕;陈凌丽;李，秦 1 2023 基于纯2D上下文无关文法的新变体的数组P系统。 兹伯利07715631 索姆纳特·贝拉;Nagar，Atulya K。;萨萨·斯里拉姆;苏布拉曼尼亚语，K.G。 1 2023 突触上具有权重和延迟的峰值神经P系统。 Zbl 07715632号 李燕燕;宋博生;曾祥祥 1 2023 自稳定拜占庭容错重复可靠广播。 Zbl 07735118号 罗马里亚·杜维格诺;米歇尔·雷纳尔;埃拉·迈克尔·席勒 1 2023 关于字符串的Simon同余闭包。 兹比尔1520.68059 金圣明;Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马 1 2023 有价格的土地征用。 Zbl 1522.91102号 戴，帕拉什 1 2023 DAWG、对称索引结构和整数字母MAW的线性时间计算。 Zbl 1520.68229号 富士芝、尤塔;铃木;顺介英纳加;伊迪奥·班奈;武田，Masayuki 1 2023 有限闭包系统中的最大闭集和半空间分离。 Zbl 1520.68158号 弗洛里安·塞弗思;塔马斯·霍瓦思;斯特凡·罗贝尔 1 2023 关于识别Stick、BipHook和最大点容限图的复杂性。 Zbl 1522.68422号 伊雷娜·鲁苏 1 2023 带有标记方案的确定性收敛的上下界。 兹比尔1522.68048 布、格乌;Zvi洛特克;玛丽亚·波托普·布图卡鲁;米卡·拉比 1 2023 增强多维数据集的组件连接性。 Zbl 1522.68433号 张奇凡;周树明;埃迪·程 1 2023 关于（简单的）决策树排名。 Zbl 07748735号 尤格什·达希亚;米纳·马哈扬 1 2023 星图的拟阵连通性和条件拟阵连通度。 Zbl 07751513号 庄洪斌;林婉玲;李晓燕;张祖明 1 2023 改进的近似算法用于求解平方度量（k）设施选址问题。 Zbl 1532.90045号 张震;冯其龙;黄俊裕;王建新 1 2023 来自最长公共前缀数组的字符串推断。 Zbl 07636000号 卡卡尼恩，朱哈;马钦·皮·特考夫斯基;西蒙·普格利西。 1 2023 广义平衡超立方体的可靠性分析。 Zbl 07636006号 刘晓庆;周树明;埃迪·程;张红 1 2023 使用物联网-Spiro系统和基于模糊的量子神经网络分类器预测慢性阻塞性肺疾病。 Zbl 07638349号 G.S.卡西姆。;Pankajavalli，P.B。 1 2023 关于无序的方形单词。 Zbl 07638351号 劳伦特·布尔托;文森特·朱格;圣潘维亚莱特 1 2023 没有诱导六点路径或菱形的图的着色。 Zbl 07638364号 Jan Goedgebeur;黄、申伟;Ju，Yiao先生;默克尔、欧文 1 2023 斯科特开放滤波器的激进理论。 Zbl 07648673号 丹尼尔·米塞尔贝克·韦塞尔;彼得·舒斯特 1 2023 额外的目标点会加速进化算法吗？ Zbl 1507.68351号 雅各布博斯克;德克·苏德霍尔特 1 2023 自适应码相关稳健性函数及其在私有集求交中的应用。 Zbl 1512.68085号 Nan、Jiehui;朱海明;刘世刚;胡洪刚 1 2023 二部超立方体网络的两个不相交环上顶点双循环性。 Zbl 1517.05145号 牛瑞超;周淑杰;徐敏 1 2023 具有更多错误边的平衡超立方体的哈密顿圈。 Zbl 1512.68239号 兰婷;华中吕 1 2023 借助Borel等价关系学习代数结构。 Zbl 07661889号 尼古拉·巴热诺夫;维托里奥·西普里亚尼;卢卡·圣毛罗 1 2023 气泡排序网络的超星容错。 Zbl 07661890号 杨璐璐;华晓辉;杨玉星 1 2023 最小2-边连通生成子图问题的一种新的近似算法。 Zbl 1512.68205号 乔伊夫里尔，A。 1 2023 重新配置（非平移）树状结构。 Zbl 1512.68232号 伊藤武弘;尤尼岩马沙;小林，靖国;Yu Nakahata;Yota Otachi;库尼希罗·瓦萨 1 2023 线上的加权群搜索及其对优先疏散问题的影响。 Zbl 1498.68030号 康斯坦蒂诺斯·乔治奥;露西尔，杰西 1 2023 站起来纵容聚会。 Zbl 1507.68307号 昆廷·布拉马斯;阿尼萨·拉马尼;塞巴斯蒂安·蒂谢尔 1 2023 决定非确定性（和输入驱动）下推自动机的路径大小。 Zbl 07619402号 Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马 1 2023 关于无（H_1，H_2）图的sim-宽度和mim-宽度的算法应用。 Zbl 07673671号 安德烈亚·穆纳罗;杨世洲 1 2023 集合论可判定片段的复杂性评估。三： 关键的多项式最大可判定布尔语言的测试程序。 Zbl 07673768号 坎通纳，多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。 1 2023 关于可逆和稳定可逆的非均匀元胞自动机。 Zbl 07676463号 彭宣坚 1 2023 使用反向引用重新检查正则表达式。 兹伯利07676466 马丁·伯格伦德;布林克·范德梅尔 1 2023 用于两个顶点删除问题的更快的参数化算法。 Zbl 07676472号 德克尔·特苏尔 1 2023 AbU：一种基于属性交互的分布式事件驱动编程演算。 Zbl 07681293号 米歇尔·帕斯夸;马里诺·米库兰 1 2023 按前缀块交换进行排序。 Zbl 07681296号 安东尼·拉巴雷 1 2023 对无顶点临界图结构的一种改进。 Zbl 1528.05021号 卡梅伦，本;Chính T.Hoáng。 1 2023 有向几何图可达性的空间效率算法。 Zbl 07688228号 苏霍伊·博雷;拉胡尔·贾恩 1 2023 稳定匹配问题的偏好交换。 Zbl 07676483号 爱德华·艾本;格雷戈里·古汀;菲利普·尼利（Philip R.Neary）。;克莱门·兰堡;瓦尔斯特伦，马格纳斯;Yeo，安德斯 1 2023 识别洗牌产品的正方形单词。 Zbl 07679025号 罗密欧·里兹;圣埃芬·维亚莱特 1 2023 断开的匹配。 Zbl 07679027号 Guilherme C.M.戈麦斯。;布鲁诺·P·马斯奎奥。;保罗·平托（Paulo E.D.Pinto）。;多斯桑托斯（dos Santos），维尼修斯·F·。;Szwarcfiter，Jayme L。 1 2023 关于有界半径图和无（H）-图的匹配割的复杂性。 Zbl 07604600号 幸运，费利西娅;丹尼尔·保卢斯马;伯纳德·里斯 8 2022 优化问题解扩展的复杂性。 Zbl 07467463号 卡瑟尔·凯特琳;费尔努，海宁;Khosravian Ghadikolaei，迈赫迪;杰罗姆·莫诺;弗洛里安·西科拉 5 2022 图的本地化捕获时间。 兹比尔07496388 Natalie C.Behague女士。;安东尼·博纳托;梅丽莎·雨根（Melissa A.Huggan）。;特伦特·马尔巴赫。;布列塔尼·皮特曼 4 2022 双向和单向量子和经典自动机，为在线最小化问题提供建议。 Zbl 07527766号 卡米尔·卡迪耶夫;阿利亚·卡迪埃娃;曼苏尔·齐亚丁诺夫;伊尔纳兹·曼纳波夫;德米特里·克拉夫琴科;亚历山大·里沃什;拉米斯·亚米洛夫 4 2022 具有子模/线性惩罚的最小功率覆盖问题的近似算法。 Zbl 07540242号 刘晓飞;李伟东;戴、韩 4 2022 广义Simon问题的量子和经典查询复杂性。 Zbl 07540261号 吴正刚;邱道文;谭佳伟;李浩;蔡光亚 4 2022 通过顶点完整性来探索树深度和顶点覆盖之间的差距。 Zbl 07524431号 吉马、达苏亚;Tesshu的Hanaka;清明，Masashi;小林，靖国;尤塔·奥塔奇 4 2022 单调布尔函数的联合可实现性。 Zbl 07540223号 克劳福德·卡尔，彼得;布里·康明斯;汤姆·盖迪恩 4 2022 表面图形的本地认证。 Zbl 07482355号 路易斯·埃斯佩雷特;莱维克，本杰明 4 2022 重新讨论了完美匹配切割问题。 Zbl 07579640号 范邦乐;简·阿恩·特勒 4 2022 谎言单词的复杂性。 Zbl 07570316号 杰森·贝尔。;杰弗里·沙利特 4 2022 圆上交集图族的简洁导航预言。 Zbl 1509.68055号 阿坎、胡塞因;桑卡迪普查克拉波蒂;Jo、Seungbum;Kei中岛;Kunihiko Sadakane;萨蒂，斯里尼瓦萨·拉奥 4 2022 计算无H图中的子集断面。 Zbl 07458786号 尼克·布雷特尔;马修·约翰逊;贾科莫·佩萨尼;丹尼尔·保卢斯马 4 2022 上下度约束图定向，惩罚最小。 Zbl 1515.68222号 旭一朝弘;詹森，Jesper;宫野，Eiji;大野弘太郎 4 2022 无（H\）图的不交路和连通子图。 Zbl 1532.68023号 沃尔特·科恩;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;van Leeuwen、Erik Jan 4 2022 二部超立方体网络中的不成对多（k）不相交路径。 Zbl 07496384号 牛瑞超;徐敏 三 2022 一种用于子串-子串LCS长度查询的数据结构。 Zbl 07496385号 酒井吉福 三 2022 关于非循环图和一般图的顶点加权实现。 Zbl 07540196号 巴诺伊，阿莫茨;托尼·伯恩莱因;大卫·佩勒;德罗·拉维茨 三 2022 \（k）-由失去定向的异步机器人形成圆圈。 Zbl 07533870号 达斯，比布提;查克拉波蒂，阿比纳夫;巴加特（Bhagat，Subhash）;克里希南德·穆霍帕迪亚 三 2022 Baumslag-Solitar群的非周期性SFT。 Zbl 07533876号 索莱恩·埃斯奈。;艾蒂安·穆托特 三 2022 容错定位控制的极值三次图。 Zbl 07533880号 Jean，Devin C。;Seo，Suk J。 三 2022 给定接触方向的部分和同时矩形对偶的简单算法。 Zbl 07524440号 史蒂文·查普利克;斯特凡·费尔斯纳;菲利普·金德曼;乔纳森·克拉维特;伊格纳兹鲁特;亚历山大·沃尔夫 三 2022 后有限单调强双半群上加权树自动机的有限映像性质。 Zbl 07524445号 曼弗雷德·德罗斯特;佐尔坦，福尔öp;达维德·科什奥;福格勒、海科 三 2022 关于平衡序列的最小临界指数。 Zbl 07540202号 德沃·阿科娃（Dvoáková，L）；乌博米拉;伊迪塔·佩兰托娃;丹妮拉·奥普琴斯卡;阿塞尼·M·舒尔。 三 2022 PSPACE公司-图形着色游戏变体的硬度。 Zbl 07482357号 Carlos V.G.C.利马。;蒂亚戈·马西隆;尼古拉斯·马丁斯;鲁迪尼·桑帕约 三 2022 通过热方程在超图中找到Cheeger切割。 Zbl 07575092号 池田正弘;宫崎骏，Atsushi;高井、铃木;Yuichi Yoshida 三 2022 可编程物质的集中连接保持转换：最小种子方法。 Zbl 1508.68376号 马修·康纳;米歇尔·奥通;伊戈尔·波塔波夫 三 2022 重写系统、普通组和大地测量图。 Zbl 07467472号 老穆雷;亚当·皮戈特 三 2022 将编织立方体嵌入网格结构的算法及其线长计算。 Zbl 07467479号 米歇尔·阿罗基亚拉;阿鲁尔·杰亚·沙利尼;J·南希·德莱拉。 三 2022 …和804更多文档 所有引用出版物 排名前五的出版物 全部的 前5名44606作者引用 147 丹尼尔·保卢斯马 143 萨科特·索拉布 123 奥斯卡·H·伊巴拉。 122 Petr A.Golovach。 117 马丁·库特里布 115 格列泽戈兹·罗森贝格 114 罗尔夫·尼德迈尔 113 桑杰·贾恩 111 亨宁费尔瑙 111 Kai T.Salomaa。 108 费多尔·福明。 107 杰弗里·奥特洛·沙利特 107 弗兰克·斯蒂芬 104 利亚·爱泼斯坦 99 何塞·梅塞盖尔·瓜伊塔 98 弗里德里希·奥托 88 沃伊切赫·莱特 88 袁，晋江 87 佐尔坦·埃西克 85 亚历山大·奥霍金 84 安德烈·佩尔克 80 布鲁诺·库塞尔 79 迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。 78 朱哈尼·卡鲁马基 78 文卡特斯·拉曼 77 Bodlaender，Hans L。 77 金·古德斯特兰·拉森 77 冈萨洛·纳瓦罗 75 Tero Harju公司 75 顺介英纳加 75 安东尼奥·雷斯蒂沃 74 朱塞佩·利奥塔 74 保罗·G·斯皮拉基斯。 73 Hemaspandra，A巷。 72 马库斯·霍尔泽 72 丹尼尔·洛克斯塔诺夫 71 马克西姆·克罗西莫尔 71 迪特尔·劳滕巴赫 70 科斯塔斯·S·伊利奥普洛斯。 70 乌戈·蒙塔纳里。 69 曼弗雷德·德罗斯特 69 阿尔托·库斯塔·萨洛马 68 伊藤武弘 68 赫尔穆特·普罗丁格 67 布兰切特·萨德里，弗兰辛 67 李庆国 66 乔斯特·恩格尔弗里特 65 安德烈·埃伦菲赫特 64 瓦迪姆·弗拉迪斯拉沃维奇·洛津 63 伊迪奥·班奈 63 Vangelis Th.帕斯科。 63 徐银峰 62 卢卡·埃特罗 62 佩恩，古奥热 62 莫西·亚亚科夫·瓦尔迪 61 卡里、莉拉 60 阿尔多·德卢卡 60 安德烈亚斯·马尔彻 60 Yota Otachi 60 尼古拉·桑托罗 60 梅拉夫·泽哈维 59 Jan A.Bergstra。 59 蔡金毅 59 Cheng，Tai-Chiu Edwin先生 59 小西葫芦，保罗 59 托马斯·亨辛格（Thomas A.Henzinger）。 58 Han，Yo Sub 58 伊格纳西·绍 57 Pawe Gawrychowskił 57 克里斯蒂安·科穆塞维茨 57 斯特凡·米利厄斯 57 Narad Rampersad公司 57 王建新 57 张，赵 56 奥尔纳·库普弗曼 56 武田，Masayuki 56 王世英 55 阿达梅克，吉安尼 55 陈剑儿 55 Juha Honkala 55 维克托·雅科夫列维奇·潘 55 雅库布·拉多舍夫斯基 55 约格·马提亚斯·罗特 55 于盛 54 埃迪·程 54 埃里克·D·德曼。 54 本杰明·多尔 54 Anna Ingólfsdóttir 54 迪特尔·克拉奇 54 弗罗林·马内亚 54 杰罗姆·莫诺 53 克里希南德·查特吉 53 研究员迈克尔·拉尔夫 53 朱拉吉·赫罗姆科维奇 53 马库斯·洛伊 53 佩兰托娃 53 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 52 Bose，Prosenjit K。 52 大卫·佩勒 52 吴伟丽 …还有44506名作者 全部的 前5名1082种期刊引用 8,841 理论计算机科学 1,820 离散应用数学 1,593 信息与计算 1,521 信息处理信件 1,204 计算机与系统科学杂志 1174年 算法 776 国际计算机科学基础杂志 729 离散数学 644 组合优化期刊 635 量子信息处理 619 计算系统理论 507 信息科学 493 MSCS公司。计算机科学中的数学结构 490 纯逻辑与应用逻辑年鉴 456 信息学报 433 人工智能 422 计算机科学中的逻辑方法 379 欧洲运筹学杂志 375 符号计算杂志 326 国际理论物理杂志 295 程序设计中的逻辑和代数方法杂志 294 计算的形式方面 293 离散算法杂志 288 应用数学与计算 285 自动推理杂志 268 欧洲组合数学杂志 256 SIAM计算机杂志 254 分布式计算 254 自然计算 240 组合数学电子期刊 240 数学与人工智能年鉴 239 国际计算机数学杂志 234 赖罗。理论信息学及其应用 230 计算机与运筹学 226 计算几何 224 SIAM离散数学杂志 216 逻辑与代数程序设计杂志 211 符号逻辑杂志 204 模糊集与系统 196 线性代数及应用 195 纯粹与应用代数杂志 195 应用数学进展 194 系统设计中的形式化方法 187 国际代数与计算杂志 176 图与组合 176 离散和计算几何 170 计算复杂性 164 组合理论杂志。系列A 158 拓扑及其应用 156 复杂性杂志 155 赖罗。Informatique Théorique et Applications公司 153 数学系统理论 150 Studia Logica公司 150 调度日志 148 数学编程。A系列B系列 146 代数杂志 146 运营研究信件 140 函数编程杂志 140 赖罗。理论信息学及其应用 139 离散数学、算法和应用 135 国际近似推理杂志 134 离散优化 133 半群论坛 128 运筹学年鉴 120 逻辑程序设计理论与实践 116 网络 113 图论杂志 110 优化信函 108 计算机基础理论 107 ACM计算逻辑事务 105 美国数学学会会刊 105 软计算 103 设计、代码和密码 102 随机结构与算法 102 应用非经典逻辑杂志 101 Automatica公司 101 组合理论杂志。B系列 100 计算机与数学及其应用 99 计算数学 98 工程、通信和计算中的应用代数 97 数学逻辑档案 93 数学进展 92 遍历理论和动力系统 91 机器学习 91 全球优化杂志 86 计算与应用数学杂志 85 订单 85 国际计算几何与应用杂志 84 离散事件动态系统 82 组合数学 81 组合数学、概率与计算 81 算法 80 逻辑、语言与信息杂志 80 数学科学杂志（纽约） 80 应用逻辑杂志 80 膜计算杂志 78 应用的分类结构 78 图形算法与应用杂志 77 符号逻辑公报 76 数论杂志 …还有982种期刊 全部的 前5名62个领域被引用 38639个 计算机科学（68至XX） 10,656 组合数学（05-XX） 7,863 数理逻辑与基础（03-XX） 5,615 运筹学、数学规划（90-XX） 2,774 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2,757 信息与通信理论、电路（94-XX） 1,847 量子理论（81-XX） 1,685 数论（11-XX） 1,390 生物学和其他自然科学（92-XX） 1,364 数值分析（65-XX） 1,334 范畴理论；同调代数（18-XX） 1,332 阶、格、有序代数结构（06-XX） 1,289 群论与推广（20-XX） 1,147 概率论与随机过程（60-XX） 1,086 动力系统和遍历理论（37至XX） 775 一般拓扑结构（54至XX） 733 线性代数和多线性代数；矩阵理论（15-XX） 717 系统论；控制（93-XX） 672 统计学（62-XX） 630 凸和离散几何（52至XX） 485 代数几何（14-XX） 465 交换代数（13-XX） 452 一般代数系统（08-XX） 380 结合环与代数（16-XX） 359 统计力学，物质结构（82-XX） 289 场论和多项式（12-XX） 272 测量和集成（28-XX） 177 常微分方程（34-XX） 176 代数拓扑（55-XX） 164 算子理论（47-XX） 153 历史和传记（01-XX） 152 偏微分方程（35-XX） 143 流形和细胞复合体（57至XX） 141 复变量的函数（30年XX月） 138 总体主题；集合（00-XX） 126 实际功能（26年X月X日） 123 功能分析（46倍X倍） 117 特殊功能（33至XX） 105 几何图形（51至XX） 102 变异微积分和最优控制；最优化（49至XX） 96 近似值和展开值（41至XX） 77 可变形固体力学（74-XX） 72 差分方程和函数方程（39至XX） 71 非结合环和代数（17-XX） 69 微分几何（53-XX） 60 粒子和系统力学（70-XX） 56 拓扑群、李群（22日至XX日） 55 流体力学（76-XX） 49 整体分析，流形分析（58至XX） 48 欧氏空间的调和分析（42至XX） 46 积分变换，运算微积分（44-XX） 33 相对论和引力理论（83至XX） 31 几个复变量和分析空间（32-XX） 26 抽象谐波分析（43至XX） 25 光学、电磁理论（78-XX） 25 经典热力学，传热（80-XX） 24 序列、级数、可和性（40-XX） 19 数学教育（97-XX） 14 积分方程（45-XX） 14 地球物理学（86-XX） 13 势能理论（31日至XX日） 11 \（K\）理论（19-XX） 按年份列出的引文