理论计算机科学算法、自动机、复杂性和游戏 简短标题: 西奥。计算。科学。 出版商: 阿姆斯特丹爱思唯尔 国际标准编号: 0304-3975 在线: https://www.sciencedirect.com/journal/theoretical-computer-science/issues 评论: 索引封面到封面 已编制索引的文档: 14085出版物(自1975年起) 索引的引用: 13477出版物参考文献318502。 全部的 前5名最新问题 943(2023) 942(2023) 941(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) 900(2022) 899(2022) 898(2022) 897(2022) 896(2021) 895(2021) 894(2021) 893(2021) 892(2021) 891(2021) 890(2021) 889(2021) 888(2021) 887(2021) 886(2021) 885(2021) 884(2021) 883(2021) 882(2021) 881(2021) 880(2021) 878-879(2021) 877(2021) 876(2021) 875(2021) 874(2021) 873(2021) 872(2021) 871(2021) 870(2021) 869(2021) 868(2021) 867(2021) 866(2021) 865(2021) 864(2021) 863(2021) 862(2021) 861(2021) 860(2021) 859(2021) 858(2021) 857(2021) 856(2021) 855(2021) 854(2021) 853(2021) 852(2021) 851(2021) 850(2021) 849(2021) 848(2020) 847(2020) 846(2020) 845(2020) 844(2020) 843(2020) 842(2020) …还有1184卷 全部的 前5名作者 71 格列泽戈兹·罗森贝格 65 奥斯卡·H·伊巴拉。 47 沃伊切赫·莱特 46 阿尔托·库斯塔·萨洛马 44 安东尼奥·雷斯蒂沃 43 桑杰·贾恩 42 Kai T.Salomaa。 41 保罗·G·斯皮拉基斯。 38 佩恩,古奥热 37 朱哈尼·卡鲁马基 37 王建新 36 安德烈·埃伦菲赫特 36 弗兰克·斯蒂芬 35 马克西姆·克罗西莫尔 34 特罗·哈尔朱 33 陈剑儿 33 吴伟丽 32 科斯塔斯·S·伊利奥普洛斯。 31 安德烈·佩尔克 30 佐尔坦·埃西克 30 Goles Chacc,埃里克 30 丹尼尔·保卢斯马 30 大卫·佩勒 29 阿尔多·德卢卡 29 卡里、莉拉 28 埃文格洛斯·康斯坦蒂努·克拉纳基斯 28 亚历山大·奥霍金 28 弗里德里希·奥托 28 杰弗里·奥·沙利特。 28 袁、晋江 26 朱拉吉·赫罗姆科维奇 26 乌戈·蒙塔纳里。 26 克里斯托夫·鲁特瑙尔 26 威利·苏西洛 26 于盛 25 利亚·爱泼斯坦 25 亨宁费尔瑙 25 马库斯·霍尔泽 25 冈萨洛·纳瓦罗 25 萨科特·索拉布 24 Jan A.Bergstra。 24 吉安卡洛·莫里 24 朱,滨海 23 阿米尔,阿米胡德 23 布兰切特·萨德里(Francine Blanchet-Sadri) 23 布鲁诺·库塞尔 23 Petr A.Golovach。 23 Hemaspandra,A巷。 23 林国辉 23 菲利波·米格诺西 23 J.Ian Munro 23 赫尔穆特·普罗丁格 22 马雷克·克罗巴克 22 埃里克·D·德曼。 22 杜定珠 22 段振华 22 Juha Honkala 22 Gad M.兰道。 22 公园,坤秀 22 托马斯·齐格曼 21 克里斯蒂安·卡鲁德。 21 恩里科·福门蒂 21 Han、Yo-Sub 21 马丁·库特里布 21 朱塞佩·利奥塔 21 佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 21 伊恩·皮特 21 尼古拉·桑托罗 21 瓦格伏尔盖,桑多尔 20 克里斯蒂安·乔夫鲁特 20 朱列克·齐佐维奇 20 小西葫芦,保罗 20 Ko、Ker-I 20 潘林强 20 伊迪塔·佩兰托娃 20 英戈·韦格纳 20 徐银峰 20 周树明 19 马里亚纽拉州Dezani-Ciancaglini 19 曼弗雷德·德罗斯特 19 冯奇龙 19 路易斯·加加诺 19 马格努斯·马尔·哈尔森 19 伊藤武弘 19 李德英 19 李敏明 19 何塞·梅塞盖尔·瓜伊塔 19 博克哈德·莫尼恩 19 卡图西亚帕拉米德斯 19 Vangelis Th.帕斯科。 19 多米尼克·佩林 19 威廉·史密斯。 19 田聪 19 乌戈·瓦卡罗 19 Shmuel Zaks先生 18 Bodlaender,Hans L。 18 斯雷切科·布列克 18 埃迪·程 18 本杰明·多尔 18 杜洪伟 …还有14199名作者 全部的 前5名领域 12,375 计算机科学(68至XX) 1,789 组合数学(05-XX) 1,489 数学逻辑和基础(03-XX) 827 运筹学、数学规划(90-XX) 649 博弈论、经济学、金融和其他社会和行为科学(91-XX) 548 信息与通信理论、电路(94-XX) 409 总体主题;集合(00-XX) 340 生物学和其他自然科学(92-XX) 258 数论(11-XX) 243 群论与推广(20-XX) 205 范畴理论;同调代数(18-XX) 199 阶、格、有序代数结构(06-XX) 169 数值分析(65-XX) 133 动力系统和遍历理论(37至XX) 123 量子理论(81-XX) 117 概率论与随机过程(60-XX) 100 一般代数系统(08-XX) 85 凸和离散几何(52至XX) 81 一般拓扑结构(54至XX) 71 统计学(62-XX) 64 系统论;控制(93至XX) 62 线性代数和多线性代数;矩阵理论(15-XX) 56 场论和多项式(12-XX) 47 交换代数(13-XX) 41 历史和传记(01-XX) 41 结合环与代数(16-XX) 32 代数几何(14-XX) 29 测量和集成(28-XX) 20 实际功能(26年X月X日) 20 常微分方程(34-XX) 15 统计力学,物质结构(82-XX) 11 复变量的函数(30年XX月) 9 特殊功能(33至XX) 9 代数拓扑(55-XX) 9 粒子和系统力学(70-XX) 8 非结合环和代数(17-XX) 8 近似值和展开值(41至XX) 7 几何图形(51至XX) 6 变分法与最优控制;最优化(49至XX) 6 相对论和引力理论(83至XX) 5 积分变换,运算微积分(44-XX) 5 功能分析(46倍X倍) 5 流形和细胞复合体(57至XX) 4 差分和函数方程(39至XX) 4 欧氏空间的调和分析(42至XX) 三 偏微分方程(35-XX) 三 序列、级数、可和性(40-XX) 三 经典热力学,传热(80-XX) 2 算子理论(47-XX) 2 微分几何(53至XX) 2 整体分析,流形分析(58至XX) 2 地球物理学(86-XX) 1 拓扑群、李群(22日至XX日) 1 可变形固体力学(74-XX) 1 流体力学(76-XX) 1 天文学和天体物理学(85-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10,397出版物有被引用92334中的次49033文件 引用人▼ 年份▼ 线性逻辑。 Zbl 0625.03037号吉安·伊夫·吉拉德 803 1987 量子密码学:公钥分发和投币。 Zbl 1306.81030号Charles H.Bennett。;吉尔·布拉萨尔 744 2014 时间自动机理论。 Zbl 0803.68071号拉杰夫·阿鲁尔;大卫·L·迪尔。 636 1994 一些简化的NP-完全图问题。 Zbl 0338.05120号M.R.加里。;D.S.约翰逊。;斯托克迈耶,L。 616 1976 计算永久性的复杂性。 Zbl 0415.68008号瓦利安特,L.G。 602 1979 宇宙余代数:一种系统理论。 Zbl 0951.68038号J.J.M.M.鲁顿。 353 2000 多项式时间层次结构。 Zbl 0353.02024号Stockmeyer,Larry J。 345 1977 树宽有界的图的部分k-树丛。 Zbl 0912.68148号Bodlaender,Hans L。 341 1998 命题演算的结果。 Zbl 0553.03007号德克斯特·科赞 320 1983 测试过程的等效性。 Zbl 0985.68518号R·德·尼古拉。;轩尼诗,M.C.B。 245 1984 条件重写逻辑作为并发的统一模型。 Zbl 0758.68043号何塞·梅塞盖尔 214 1992 Call-by-name、Call-by-value和\(lambda\)-演算。 Zbl 0325.68006号普洛金,G.D。 212 1975 有向子图同胚问题。 Zbl 0419.05028号《财富》,史蒂文;约翰·霍普克罗夫特;詹姆斯·威利 211 1980 从均匀分布中随机生成组合结构。 Zbl 0597.68056号马克·杰鲁姆(Mark R.Jerrum)。;莱斯利·瓦利安特(Leslie G.Valiant)。;维杰伊·瓦齐拉尼。 211 1986 LCF被认为是一种编程语言。 Zbl 0369.68006号普洛金,G.D。 210 1978 Petri网、事件结构和域。一、。 Zbl 0452.68067号尼尔森,莫根斯;戈登·普洛金;格林·温斯克尔 209 1981 难以解决的问题。 Zbl 0586.03010号阿明·哈肯 193 1985 移动环境。 Zbl 0954.68108号卡德利,L。;A.D.戈登。 183 2000 计算同步和异步。 Zbl 0512.68026号罗宾·米尔纳 174 1983 混合系统的算法分析。 Zbl 0874.68206号阿鲁尔,R。;库库贝蒂斯,C。;北卡罗来纳州Halbwachs。;亨廷格,T.A。;Ho、P.-H、。 161 1995 图上平均收益博弈的复杂性。 Zbl 0871.68138号乌里·兹威克;迈克·帕特森 156 1996 NP就像检测独特的解决方案一样简单。 Zbl 0621.68030号瓦利安特,L.G。;瓦齐拉尼,V.V。 156 1986 聚类以最小化最大簇间距离。 Zbl 0567.62048号Teofilo F.冈萨雷斯。 155 1985 梅林变换和渐近性:调和和。 Zbl 0869.68057号菲利普·弗拉乔莱特;泽维尔·古登;菲利普·杜马斯 154 1995 三次图的一些APX-完备性结果。 Zbl 0939.68052号阿利蒙蒂,P。;V.卡恩。 151 2000 伊壁鸠鲁语单词和de Luca和Rauzy的一些结构。 Zbl 0981.68126号X·杜洛贝。;贾斯汀,J。;G.皮里略。 144 2001 多项式时间格基约简算法的层次结构。 Zbl 0642.10030号施诺尔,C.P。 144 1987 术语重新编写系统的订购。 Zbl 0525.68054号纳鸿·德肖维茨 144 1982 代数闭域中的可定义性和快速量词消除。 Zbl 0546.03017号乔斯·海因茨 144 1983 固定参数可处理性和完备性II:关于W[1]的完备性。 Zbl 0873.68059号罗德·唐尼。;研究员Michael R。 142 1995 多项式时间可约性的比较。 Zbl 0321.68039号拉德纳,R.E。;北卡罗来纳州林奇。;塞尔曼,A.L。 142 1975 (1+1)进化算法的分析。 Zbl 1002.68037号斯特凡·德罗斯特;托马斯·詹森;英戈·韦格纳 139 2002 无限树的基本性质。 Zbl 0521.68013号布鲁诺·库塞尔 139 1983 到处都是结构良好的过渡系统! Zbl 0973.68170号芬克尔,A。;施诺贝伦,P。 138 2001 机器归纳推理识别标准的比较。 Zbl 0524.03025号凯斯,约翰;卡尔·史密斯 137 1983 用抽象传递过程的代数。 Zbl 0579.68016号J.A.伯格斯特拉。;Klop,J.W。 132 1985 关于多区间图问题的参数化复杂性。 Zbl 1161.68038号研究员Michael R。;丹尼·赫尔梅林;弗朗西斯·罗萨蒙德;圣埃芬·维亚莱特 132 2009 使用依赖对终止术语重写。 Zbl 0938.68051号艺术,T。;J·吉斯尔。 130 2000 化学提取机。 Zbl 0747.68013号杰拉德·贝里;杰拉德·布多尔 129 1992 代数语言和多项式枚举。 Zbl 0985.68516号玛丽·皮埃尔·德尔斯特;杰拉德·维诺 126 1984 正则语言上某些基本操作的状态复杂性。 Zbl 0795.68112号于盛;庄、庆余;凯·萨洛马 123 1994 (k)-正则序列的环。 Zbl 0774.68072号Jean-Paul Allouche;杰弗里·沙利特 118 1992 十五年后,变量类型的系统({\mathcal F})。 Zbl 0623.03013号吉安·伊夫·吉拉德 117 1986 有限色图上的无限游戏,以及无限树上自动机的应用。 Zbl 0915.68120号维埃斯·齐埃隆卡 112 1998 关于保证图搜索的注释书目。 Zbl 1160.68007号费多尔·福明。;迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 112 2008 细胞自动机理论:综述。 Zbl 1080.68070号贾科·卡里 108 2005 有序代数。一: 多重继承、重载、异常和部分操作的等式推导。 Zbl 0778.68056号约瑟夫·戈根(Joseph A.Goguen)。;何塞·梅塞盖尔 107 1992 欧氏旅行商问题是NP-完全的。 Zbl 0386.90057号克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 107 1977 量子自动机和量子语法。 Zbl 0939.68037号克里斯托弗·摩尔;克拉奇菲尔德,J.P。 106 2000 斯图尔语单词:结构、组合及其算术。 Zbl 0911.68098号阿尔多·德卢卡 106 1997 类型化\(\lambda\)-calculi的完全抽象模型。 Zbl 0386.03006号罗宾·米尔纳 105 1977 生物环境:生物隔间的抽象。 Zbl 1069.68569号阿维夫·雷格夫;叶卡捷琳娜·帕尼娜(Ekaterina M.Panina)。;威廉·西尔弗曼;卢卡·卡德利;埃胡德·夏皮罗 103 2004 改进了顶点覆盖的上限。 Zbl 1205.05217号陈建尔;Iyad A.Kanj。;夏、葛 102 2010 斯图尔语单词的一些组合性质。 Zbl 0874.68245号阿尔多·德卢卡;菲利波·米格诺西 102 1994 复杂性度量和决策树复杂性:一项调查。 Zbl 1061.68058号哈里·布尔曼;罗纳德·沃尔夫 101 2002 搜索和鹅卵石。 Zbl 0616.68064号Lefteris M.基鲁西斯。;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 101 1986 组织P系统。 Zbl 1045.68063号卡洛斯·马丁·维德;佩恩,古奥热;胡安·帕佐斯;阿方索·罗德里格斯-帕顿 100 2003 完备集和多项式时间层次。 Zbl 0366.02031号西莉亚·沃瑟尔 100 1977 向量加法系统的覆盖和有界问题。 Zbl 0368.68054号查尔斯·拉科夫 99 1978 偏导数的复杂性。 Zbl 0498.68028号沃尔特·鲍尔;沃尔克·斯特拉森 99 1983 有限自动机和一元语言。 Zbl 0638.68096号马雷克·克罗巴克 98 1986 精化映射的存在。 Zbl 0728.68083号马丁·阿巴迪;莱斯利·兰波特 98 1991 蚁群优化理论综述。 Zbl 1154.90626号马可·多里戈;克里斯蒂安·布卢姆 97 2005 正式分子生物学。 Zbl 1071.68041号文森特·达诺斯;科西莫·拉内夫 95 2004 交换和非交换Gröbner基简介。 Zbl 0824.68056号特奥·莫拉 93 1994 盲和部分盲单向多计数器的备注。 Zbl 0389.68030号S.A.格雷巴赫。 91 1978 关于重构问题的复杂性。 Zbl 1207.68166号伊藤武弘;埃里克·D·德曼。;尼古拉斯·哈维。;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。;玛莎·西德丽;上原、琉璃;尤诺(Yushi Uno) 88 2011 Lex-BFS和分区细化,应用于传递方向、区间图识别和连续图测试。 Zbl 0945.68189号哈比卜,M。;R·麦康奈尔。;C·保罗。;维诺,L。 88 2000 关于组合问题的代数结构。 Zbl 0915.68074号彼得·杰文斯 88 1998 不相交循环和不相交路径的核边界。 Zbl 1221.68099号Bodlaender,Hans L。;圣埃芬托马斯;Yeo,安德斯 87 2011 单台机器上的多代理调度,以最小化延迟作业的加权总数。 Zbl 1100.68007号Cheng,T·C·E。;Ng、C.T。;袁俊杰。 86 2006 末端理论、下推自动机和二阶逻辑。 Zbl 0605.03005号戴维·穆勒(David E.Muller)。;Paul E.舒普。 86 1985 基于约简的过程语义。 Zbl 0871.68122号本田、高黑;吉田、Nobuko 85 1995 没有地图的最短路径。 Zbl 0733.68065号克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。;米哈利斯·亚纳卡基斯 85 1991 \(β)-展开和符号动力学。 Zbl 0682.68081号F.布兰查德。 84 1989 完备集合论中的终端余代数。 Zbl 0779.18004号迈克尔·巴尔 84 1993 树分解图的一元二阶估计。 Zbl 0789.68083号库塞尔,B。;M·莫斯巴。 83 1993 微分λ-微积分。 Zbl 1070.68020号托马斯·埃尔哈德;劳伦特·雷格尼尔 83 2003 能见度有限的异步机器人集合。 Zbl 1108.68120号小西葫芦,保罗;朱塞佩·普伦西佩;尼古拉·桑托罗;彼得·维德迈尔 83 2005 关于不相交的分布复杂性。 Zbl 0787.68055号拉兹博罗夫,A.A。 82 1992 度量空间的计算模型。 Zbl 1011.54026号阿巴斯·埃达拉特;莱因霍尔德·赫克曼 82 1998 正则表达式和有限自动机构造的偏导数。 Zbl 0872.68120号瓦伦丁·安蒂米洛夫 82 1996 Meije-SCCS中的高级同步装置。 Zbl 0598.68027号罗伯特·德西蒙 82 1985 语言的力量和替换的不动点的可识别性。(Poissances de mots et researchasabilityédes points修复了'une替换。) Zbl 0763.68049号碧姬·莫塞 79 1992 图形压缩在枚举匹配和平铺中的应用。 Zbl 1043.05099号Eric H.Kuo。 79 2004 参数化图形分离问题。 Zbl 1086.68104号达尼尔·马克思 79 2006 加权自动机和加权逻辑。 Zbl 1118.68076号曼弗雷德·德罗斯特;保罗·加斯丁 78 2007 数据交换:语义和查询应答。 Zbl 1080.68019号罗纳德·费金;Phokion G.科莱蒂斯。;勒内·米勒。;卢西安·波帕 77 2005 随机生成标记组合结构的微积分。 Zbl 0799.68143号菲利普·弗拉乔莱特;保罗·齐默尔曼;伯纳德·范·库特森 76 1994 图表中的地方多数、联盟和垄断:综述。 Zbl 0997.68088号大卫·佩勒 76 2002 线性逻辑的计算解释。 Zbl 0791.03003号萨姆森·艾布拉姆斯基 75 1993 标记马尔可夫过程的度量。 Zbl 1068.68093号何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 75 2004 二阶统一问题的不可判定性。 Zbl 0457.03006号沃伦·戈德法布。 75 1981 确定多项式时间的完全问题。 Zbl 0352.68068号尼尔·D·琼斯。;威廉·T·拉瑟。 75 1977 并发程序的时间语义。 Zbl 0441.68010号阿米尔·普努利 74 1981 限制类别。一: 局部映射的类别。 Zbl 0988.18003号科科特,J.R.B。;莱克,斯蒂芬 73 2002 一种新的系统认证码的编码理论构造。 Zbl 1078.68030号丁存生;王雪松 73 2005 最小化图中标识或定位支配代码的大小是NP-hard。 Zbl 1044.68066号艾琳·查龙;奥利维尔·哈迪;安托万·洛布斯坦 73 2003 类型化演算的统一算法。 Zbl 0337.68027号休特,G.P。 73 1975 有限记忆自动机。 Zbl 0938.68711号迈克尔·卡明斯基;尼西姆·弗朗西兹 72 1994 计算无H图中的子集断面。 Zbl 07458786号尼克·布雷特尔;马修·约翰逊;贾科莫·佩萨尼;丹尼尔·保卢斯马 2 2022 表面图形的本地认证。 Zbl 07482355号路易斯·埃斯佩雷特;本杰明·莱弗克 2 2022 单调布尔函数的联合可实现性。 Zbl 07540223号彼得·克劳福德-卡尔;布里·康明斯;汤姆·盖迪恩 2 2022 用于LTL验证的采样多项式轨迹。 Zbl 1478.68174号丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;J.M.达沃伦。;伊曼·谢姆斯 1 2022 国际网络的条件可诊断性。 Zbl 1478.68023号袁军;乔、慧娟;刘爱霞 1 2022 超平面图的交叉数。 Zbl 1485.68176号马库斯·奇马尼;菲利普·金德曼;法布里奇奥·蒙泰基亚尼;巴维尔·瓦尔特 1 2022 有理数上一元加权自动机的可确定性。 Zbl 1490.68127号Peter Kostolányi 1 2022 通过考虑常规实例集,从可判定性到不可判定性。 Zbl 07450572号佩特拉·沃尔夫 1 2022 (k)-机器模型中的近最优聚类。 Zbl 07450575号Sayan Bandyapadhyay;坦马伊纳姆达尔;Pai和Shreyas;斯里拉姆五世(Sriram V.Pemmaraju)。 1 2022 度量的随机性和初始段复杂性。 Zbl 07450577号安德烈·涅斯;弗兰克·斯蒂芬 1 2022 函数的多项式层次及其层级。 Zbl 07450579号伊莎贝尔·奥塔维姆 1 2022 图中带义务的独立支配集的复杂性。 Zbl 07467460号克里斯蒂安·拉福雷斯特;蒂莫塞·马丁诺德 1 2022 恒定直径增大问题的复杂性和算法。 Zbl 07467461号金恩贞(Kim,Eun Jung);马丁·米拉尼奇;杰罗姆·莫诺;克利斯朵夫·皮库鲁 1 2022 超越社会选择中的两两比较:集合Kemeny聚合问题。 Zbl 07467462号雨果·吉尔伯特;汤姆·波尔图;奥利维尔·斯潘贾德 1 2022 优化问题解扩展的复杂性。 Zbl 07467463号卡瑟尔·凯特琳;亨宁费尔瑙;Khosravian Ghadikolaei,迈赫迪;杰罗姆·莫诺;弗洛里安·西科拉 1 2022 连通顶点覆盖问题的推广及其代价。 Zbl 07467464号Khosravian Ghadikolaei,迈赫迪;尼古拉斯·梅利西诺斯;杰罗姆·莫诺;阿里斯·帕古尔茨 1 2022 基本并行过程的相似性。 Zbl 07467467号彼得·扬查尔 1 2022 在标准模型中选择基于密码格的公钥加密,并进行等式测试。 Zbl 07467477号Duong、Dung Hoang;罗伊,Partha Sarathi;威利·苏西洛;福岛,Kazuhide;清本,新坂;阿尔诺·西帕塞特 1 2022 树生成网络的容错哈密顿连通性。 Zbl 07477125号穆罕默德·阿卜杜拉;埃迪·程 1 2022 在近线性时间内确定地构造轻型扳手。 Zbl 07477126号斯蒂芬·阿尔斯特鲁普;瑟伦·达尔加德;阿诺德·菲尔泽;莫滕·斯特克尔;克里斯蒂安·沃尔夫·尼尔森 1 2022 关于图的局部公平着色的复杂性。 Zbl 07477134号梁佐松;王,胡安;蔡俊清;杨新新 1 2022 具有进化交配和膜生成规则的P系统求解QSAT。 Zbl 07477142号大卫·奥雷拉纳·马汀;路易斯·瓦伦西亚-卡布雷拉;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 1 2022 Möbius立方体在额外条件下的可诊断性。 Zbl 07477144号王世英 1 2022 用于子串-子串LCS长度查询的数据结构。 Zbl 07496385号酒井吉福 1 2022 配置结构的行为逻辑。 Zbl 1483.68222号保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 1 2022 给定接触方向的部分和同时矩形对偶的简单算法。 Zbl 07524440号史蒂文·查普利克;斯特凡·费尔斯纳;菲利普·金德曼;乔纳森·克拉维特;伊格纳斯·拉特;亚历山大·沃尔夫 1 2022 双向和单向量子和经典自动机,为在线最小化问题提供建议。 Zbl 07527766号卡米尔·卡迪耶夫;阿利亚·卡迪埃娃;曼苏尔·齐亚丁诺夫;伊尔纳兹·曼纳波夫;德米特里·克拉夫琴科;亚历山大·里沃什;拉米斯·亚米洛夫 1 2022 多跳无线网络中的稳定路由调度算法。 Zbl 07530337号霍尔维,维森特;加恩卡雷克,P。;T·尤尔金斯基。;Dariusz R.科瓦尔斯基。 1 2022 路径宽度单顶点删除的更快算法。 Zbl 07530340号德克尔·特苏尔 1 2022 就地可初始化数组。 Zbl 07533871号高桥加藤;后藤,Keisuke 1 2022 Baumslag-Solitar群的非周期性SFT。 Zbl 07533876号索莱恩·埃斯奈。;艾蒂安·穆托特 1 2022 关于非循环图和一般图的顶点加权实现。 Zbl 07540196号巴诺伊,阿莫茨;托尼·伯恩莱因;大卫·佩勒;德罗·拉维茨 1 2022 广义Simon问题的量子和经典查询复杂性。 Zbl 07540261号吴正刚;邱道文;谭佳伟;李浩;蔡光亚 1 2022 有界直径的无分区图。 Zbl 07575095号克里斯托夫·布劳斯;彼得·戈洛维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯 1 2022 关于“(r,\ell)-覆盖良好”的探测问题:算法和复杂性。 Zbl 07585795号鲁尔比奥·法里亚;美国Uéverton Souza。 1 2022 二进制翻转语言反映了格雷码顺序。 Zbl 07593358号乔·萨瓦达;亚伦·威廉姆斯;丹尼斯·王 1 2022 Bishop拓扑群中的闭子集。 Zbl 07601542号艾奥西夫·彼得拉基斯 1 2022 关于樱桃采摘和网络遏制。 Zbl 1478.92134号雷米·詹森;村上春树,Yukihiro 7 2021 PMC诊断模型下双立方体网络的故障诊断能力。 Zbl 1477.68039号刘嘉飞;周树明;顾振东;周谦如;王大金 6 2021 改进了树的单数下限。 Zbl 1481.05137号刘达芬;拉克斯曼·萨哈;达斯,萨蒂亚布拉塔 5 2021 用一般子模比最大化单调函数。 Zbl 1477.68537号龚苏宁;农、青琴;孙涛;方启智;杜定珠;邵晓宇 5 2021 线路上的最小功率部分多芯电缆。 Zbl 07331462号梁伟;李梦红;张,赵;黄晓辉 5 2021 车轮网络的结构连通性和子结构连通性。 Zbl 1464.68284号冯伟;王世英 5 2021 有界树宽图的公平列表树着色。 Zbl 1481.05049号李燕;张欣 4 2021 在线上重新分配多个设施。 Zbl 1457.90089号迪米特里斯·福塔基斯;卢卡斯·卡沃斯;Kostopanagiotis,泛神经炎;菲利普·拉佐斯;斯库拉基斯,斯特拉斯;尼科斯·扎里维斯 4 2021 最佳匹配图修改问题的复杂性。 Zbl 1500.92068号大卫·沙勒;彼得·斯塔德勒(Peter F.Stadler)。;马克·赫尔穆特 4 2021 关于超立方体的(R_g)-条件可诊断性的注记。 Zbl 1467.68016号王一红;林成宽;周谦如;周树明 4 2021 由多个代理探索动态tori。 Zbl 1464.68402号谷桥刚一(Gotoh,Tsuyoshi);铃木,Yuichi;福下大田;博通县卡库加瓦;丰田正泽 4 2021 超越逐点子模:线性时间内的非单调自适应子模最大化。 Zbl 1467.68218号唐少杰 4 2021 最大纳什福利和其他关于EFX的故事。 Zbl 1500.91079号乔治·阿马纳蒂迪斯;乔治·伯姆帕斯;菲洛斯·拉特西卡斯,阿里斯;亚历山大·霍伦德;亚历山大·沃杜利斯(Alexandros A.Voudouris)。 4 2021 全球预算中的多阶段图形问题。 Zbl 1497.68380号克劳斯·海格;安妮·索菲·希梅尔;弗兰克·坎默;罗尔夫·尼德迈尔;马尔特·伦肯;安德烈·萨延科 4 2021 如何构造具有“单循环”条件的谜题的物理零知识证明。 Zbl 07401221号帕斯卡·拉福卡德;宫崎骏;高崎水木;莱奥·罗伯特;Sasaki,Tatsuya先生;Sone,Hideaki先生 三 2021 局部决策的层次结构。 Zbl 1476.68100号劳伦特·费伊洛利;皮埃尔·弗拉吉奥德;胡胡·赫沃宁 三 2021 构造折叠的分块和交换立方体的双重CIST。 Zbl 1477.68211号张宇辉;白公驹;徐,Chiun-Chieh;杨金世勇;张祖明 三 2021 重温Bruijn序列的优先相同和优先相对结构。 Zbl 1477.68551号阿巴斯·阿哈基姆;埃文·萨拉;乔·萨瓦达 三 2021 使用局部搜索方案求解球面(k)均值问题的近似算法。 Zbl 1477.68540号张冬梅;程宇坤;李敏;王一水;徐大川 三 2021 交互式验证系统的加密反向防火墙。 Zbl 07300960号查亚·加内什;贝尔纳多·马格里;丹尼尔·文丘里 三 2021 如何计算有向共图上的有向图宽度度量。 Zbl 1497.68378号弗兰克·古尔斯基;多米尼克·科曼德;卡罗琳·雷赫斯 三 2021 计算单字符或分块编辑后最长的回文子串。 Zbl 07310533号三井县福纳科市;中岛,Yuto;顺介英纳加;伊迪奥·班奈;武田,Masayuki 三 2021 社交网络中的谣言修正最大化问题。 Zbl 1500.91105号张亚普;杨文国;杜定珠 三 2021 关于逆Lyndon因式分解中后缀的最长公共前缀和其他属性。 Zbl 07318707号鲍拉·博尼佐尼;克莱莉亚·德·费利塞;罗科·扎卡尼诺;罗莎尔巴·齐扎 三 2021 无方块字的可处置性。 Zbl 1497.68404号特罗·哈尔朱 三 2021 影响:游击队在图形上的得分游戏。 Zbl 07373864号埃里克·杜希恩;圣菲省冈萨雷斯;阿琳·帕罗;埃里克·雷米拉;菲利普·索拉尔 三 2021 无向重复阈值和无向模式回避。 Zbl 1489.68215号詹姆斯·库里。;卢卡斯·摩尔 三 2021 具有不确定性的查询竞争排序。 Zbl 1462.68031号Halldórsson,Magnüs M。;穆里洛·桑托斯·德·利马 三 2021 一种求解一般能量受限扫描覆盖问题的近似算法。 Zbl 1497.68054号聂子雄;杜洪伟 三 2021 通过树行走自动机和带有可见和不可见卵石的传感器进行XML导航和转换。 Zbl 1464.68165号约斯特·恩格尔弗里特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);巴特·桑维尔 三 2021 单轴协议下带灯异步机器人的容错完全可见性。 Zbl 1464.68405号帕文·波德尔;艾莎·阿尔乔哈尼;戈卡纳·沙尔马 三 2021 秘书问题的新结果。 Zbl 1497.68576号苏珊娜·阿尔伯斯;莱昂·拉德维格 三 2021 图上的重划算法。 Zbl 1497.68382号伊藤武弘;Naoyuki神山;小林,Yusuke;冈本义雄 三 2021 生物模型库中定量模型精确集总的大规模评估。 Zbl 07417737号伊莎贝尔·克里斯蒂娜·佩雷兹·维罗纳;米尔科·特里巴斯通;安德烈·范丁 2 2021 两类正则网络的广义3-连通性。 Zbl 07417746号王静 2 2021 单位球上双曲平衡点和可逆零点的集合是可计算的。 Zbl 07429274号丹尼尔·格拉萨(Daniel S.Graça)。;钟,宁 2 2021 不完全信息博弈中的信念不变量和量子平衡。 Zbl 07429282号文森佐·奥莱塔;迪奥达托·费拉奥利;阿舒托什·雷;贾尼科拉·斯卡帕;安德烈亚斯·温特 2 2021 PMC/MM*模型下折叠超立方体的(t/s)-可诊断性和(t/s”)-诊断算法。 Zbl 07401210号林,余杭;林丽梅;黄燕泽;王佳如 2 2021 超立方体的混合容错规定超哈密顿撕裂性。 Zbl 07401225号杨玉星;李静 2 2021 改进的树的定位色数算法。 Zbl 1479.05092号爱迪·特里·巴斯科罗;德维·伊穆利亚·戴安·普里马斯昆 2 2021 平面图的注入着色。 Zbl 1490.05064号卜月华;齐、陈涛;朱俊雷;徐婷 2 2021 定向环形网格上的警察和强盗。 Zbl 1480.91057号塞巴斯蒂安González Hermosillo de la Maza;塞耶德·阿里亚斯加尔·侯赛尼;菲亚克拉·诺克斯;博扬·莫哈尔;布鲁斯·里德 2 2021 无碰撞聚集的连续策略。 Zbl 1477.68315号李寿伟;克里斯汀·马卡里安;梅耶·奥夫·德·海德(Meyer auf der Heide,Friedhem);帕维尔·波德利皮扬 2 2021 嵌入1-平面图上加权最大割问题的固定参数算法。 Zbl 1477.68216号克莉丝汀·达恩;尼尔斯·克里格。;佩特拉·穆策尔;朱利安·席林 2 2021 约束两阶段子模块最大化。 Zbl 1482.90189号杨瑞琪;顾树阳;高川根;吴伟丽;王华(Wang,Hua);徐大川 2 2021 计算两个序列中最长的公共几乎增加的子序列。 Zbl 1478.68462号Ta,Toan Thang先生;Shieh,Yi-Kung先生;吕金龙 2 2021 改进的双标准近似方案用于具有成本约束的无关机器上的负载平衡。 Zbl 1457.90073号阮、Trung Thanh;约尔格·罗特 2 2021 奥斯特罗斯基自动序列:理论和应用。 Zbl 1467.68146号阿西姆·巴南瓦尔;卢克·谢弗;杰弗里·沙利特 2 2021 减少Parikh矩阵的模糊性。 Zbl 1497.68401号杰弗里·迪克;劳拉·哈钦森。;罗伯特·梅尔卡什;丹尼尔·雷登巴赫 2 2021 一种新的量子随机数发生器,通过值的不确定性来证明。 Zbl 1497.68232号阿圭罗·特雷霍(Agüero Trejo)、何塞·曼纽尔(JoséManuel);克里斯蒂安·卡鲁德。 2 2021 具有目标指示的峰值神经P系统。 Zbl 1497.68206号吴廷芳;张璐萍;潘林强 2 2021 通过边收缩阻塞总支配集。 Zbl 1478.68239号E.加尔比。;曼恩,F。;B.里斯。 2 2021 具有多个堆栈的双旅行商问题的近似。 Zbl 07362199号洛朗·阿兰达里;苏菲·图卢兹 2 2021 修改了谢林游戏。 Zbl 07373870号卡内洛普洛斯,帕纳吉奥蒂斯;玛丽亚·基罗普鲁;亚历山大·沃杜利斯(Alexandros A.Voudouris)。 2 2021 分体式立方体的结构和子结构连通性。 Zbl 07373871号周谦如;周树明;刘嘉飞;刘晓庆 2 2021 反应系统的分类方法:第一步。 Zbl 1491.68071号汉斯·约尔格·克鲁斯基;亚伦·赖伊 2 2021 满树的对足数。 Zbl 07391554号Alamgir Rahaman巴苏尼亚;达斯,萨蒂亚布拉塔;拉克斯曼·萨哈;卡利桑卡·蒂瓦里 2 2021 快乐集问题的复杂性和近似性。 Zbl 1477.68195号旭一朝弘;伊藤浩史;Tesshu的Hanaka;林国辉;宫野,Eiji;伊佩·特拉巴鲁 2 2021 图的Helly-gap和顶点偏心。 Zbl 1465.05053号费奥多尔·德拉甘。;希瑟·M·瓜内拉。 2 2021 树上一目了然的警察和强盗。 Zbl 07407463号杨伯丁;坦齐纳·阿克特 2 2021 单调电路的简洁证明。 Zbl 07407467号阿尔维斯,马特乌斯·罗德里格斯;德奥利维拉·奥利维拉,马特乌斯;纳西门托·席尔瓦,贾尼奥·卡洛斯;尤弗顿多斯桑托斯·索萨 2 2021 约束同步和交换性。 Zbl 07412731号斯特凡·霍夫曼 2 2021 用于无爪边修改问题的多项式核。 Zbl 07412736号袁汉春;柯玉萍;曹一新 2 2021 …还有673个文档 所有引用出版物 前5名被引用出版物 全部的 前5名39170位作者引用 117 丹尼尔·保卢斯马 114 萨科特·索拉布 111 格列泽戈兹·罗森贝格 110 奥斯卡·H·伊巴拉。 108 桑杰·贾恩 101 弗兰克·斯蒂芬 100 Petr A.Golovach。 97 利亚·爱泼斯坦 97 罗尔夫·尼德迈尔 92 何塞·梅塞盖尔·瓜伊塔 91 亨宁费尔瑙 91 Kai T.Salomaa。 91 杰弗里·奥·沙利特。 89 费多尔·福明。 88 马丁·库特里布 85 弗里德里希·奥托 82 袁、晋江 79 佐尔坦·埃西克 78 沃伊切赫·莱特 75 布鲁诺·库塞尔 73 朱哈尼·卡鲁马基 73 亚历山大·奥霍金 73 安德烈·佩尔克 71 Hemaspandra,A巷。 70 金·古德斯特兰·拉森 70 冈萨洛·纳瓦罗 69 特罗·哈尔朱 68 保罗·G·斯皮拉基斯。 67 乌戈·蒙塔纳里。 67 迪特尔·劳滕巴赫 67 安东尼奥·雷斯蒂沃 66 Bodlaender,Hans L。 65 马克西姆·克罗西莫尔 65 阿尔托·库斯塔·萨洛马 64 安德烈·埃伦菲赫特 64 文卡特斯·拉曼 63 布兰切特·萨德里(Francine Blanchet-Sadri) 63 约斯特·恩格尔弗里特 63 马库斯·霍尔泽 63 科斯塔斯·S·伊利奥普洛斯。 62 赫尔穆特·普罗丁格 61 顺介英纳加 60 丹尼尔·洛克斯塔诺夫 60 迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 59 阿尔多·德卢卡 59 曼弗雷德·德罗斯特 59 Vangelis Th.帕斯科。 58 徐银峰 57 Jan A.Bergstra。 57 朱塞佩·利奥塔 57 瓦迪姆·弗拉迪斯拉沃维奇·洛津 57 佩恩,古奥热 55 尼古拉·桑托罗 54 小西葫芦,保罗 54 维克托·雅科夫列维奇·潘 54 王建新 53 Cheng,Tai-Chiu Edwin先生 53 卡里、莉拉 52 阿达梅克,吉安尼 52 Juha Honkala 52 王世英 51 卢卡·埃特罗 51 蔡金毅 51 斯特凡·米利厄斯 51 Narad Rampersad公司 51 莫西·亚亚科夫·瓦尔迪 51 于盛 50 陈剑儿 50 埃迪·程 50 迪特尔·克拉奇 50 李庆国 49 杰罗姆·莫诺 49 伊格纳西·绍 48 伊迪奥·班奈 48 克里希南德·查特吉 48 伊藤武弘 48 伊迪塔·佩兰托娃 47 研究员迈克尔·拉尔夫 47 托马斯·亨辛格(Thomas A.Henzinger)。 47 佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 47 武田,Masayuki 47 梅拉夫·泽哈维 47 张,赵 46 凯斯,约翰 46 埃里克·D·德曼。 46 沃尔克·迪克特 46 朱拉吉·赫罗姆科维奇 46 Anna Ingólfsdóttir 46 克里斯蒂安·科穆塞维茨 46 潘林强 46 Micha Pilipczuk 46 销,Jean-Eric 46 雅库布·拉多舍夫斯基 45 Heggenes,皮纳尔 45 安德烈亚斯·马尔彻 45 大卫·佩勒 44 本杰明·多尔 44 马库斯·洛伊 44 吉安卡洛·莫里 44 克里斯托夫·鲁特瑙尔 …还有39070多名作者 全部的 前5名1019种期刊引用 8,387 理论计算机科学 1,680 离散应用数学 1,497 信息与计算 1,462 信息处理信件 1,154 计算机与系统科学杂志 1,050 算法 693 国际计算机科学基础杂志 673 离散数学 598 组合优化期刊 579 计算系统理论 478 纯逻辑与应用逻辑年鉴 453 MSCS公司。计算机科学中的数学结构 447 量子信息处理 438 信息学报 399 信息科学 389 人工智能 359 符号计算杂志 346 欧洲运筹学杂志 336 计算机科学中的逻辑方法 301 国际理论物理杂志 293 计算的形式方面 291 离散算法杂志 269 自动推理杂志 254 应用数学与计算 247 程序设计中的逻辑和代数方法杂志 245 欧洲组合数学杂志 241 分布式计算 239 国际计算机数学杂志 234 RAIRO公司。理论信息学及其应用 232 数学与人工智能年鉴 222 SIAM计算机杂志 215 逻辑与代数程序设计杂志 211 计算几何 209 计算机与运筹学 206 符号逻辑杂志 200 组合数学电子杂志 185 线性代数及应用 184 纯粹与应用代数杂志 183 SIAM离散数学杂志 180 国际代数与计算杂志 178 模糊集与系统 178 系统设计中的形式化方法 175 应用数学进展 162 计算复杂性 156 组合理论杂志。系列A 156 离散和计算几何 155 RAIRO公司。Informatique Théorique et Applications公司 154 自然计算 153 数学系统理论 149 复杂性杂志 146 拓扑及其应用 145 图与组合 144 Studia Logica公司 139 调度日志 134 运营研究信件 130 函数编程杂志 129 代数杂志 127 数学编程。A系列B系列 125 半群论坛 125 RAIRO公司。理论信息学及其应用 123 离散优化 122 运筹学年鉴 119 国际近似推理杂志 113 离散数学、算法和应用 109 逻辑程序设计理论与实践 104 软计算 102 美国数学学会会刊 98 计算机与数学及其应用 95 应用非经典逻辑杂志 93 随机结构与算法 93 优化信函 92 计算数学 92 设计、代码和密码 91 组合理论杂志。B系列 91 工程、通信和计算中的应用代数 90 Automatica公司 90 数学逻辑档案 86 数学进展 86 计算机基础理论 85 机器学习 81 遍历理论和动力系统 81 组合数学 81 国际计算几何与应用杂志 79 离散事件动态系统 79 算法 78 全球优化杂志 77 图论杂志 77 订单 76 数学科学杂志(纽约) 76 应用逻辑杂志 75 数论杂志 74 逻辑、语言与信息杂志 73 计算与应用数学杂志 73 网络 72 应用的分类结构 72 组合数学、概率与计算 71 控制论与系统分析 71 符号逻辑公报 70 讨论数学。图论 70 ACM计算逻辑事务 …还有919种期刊 全部的 前5名62个领域被引用 33,048 计算机科学(68至XX) 9,001 组合数学(05-XX) 6,872 数学逻辑和基础(03-XX) 4,795 运筹学、数学规划(90-XX) 2,247 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2,235 信息与通信理论、电路(94-XX) 1,451 数论(11-XX) 1,386 量子理论(81-XX) 1,234 数值分析(65-XX) 1,204 生物学和其他自然科学(92-XX) 1,167 阶、格、有序代数结构(06-XX) 1,143 群论与推广(20-XX) 1,139 范畴理论;同调代数(18-XX) 969 概率论与随机过程(60-XX) 902 动力系统和遍历理论(37至XX) 685 一般拓扑结构(54至XX) 626 线性代数和多线性代数;矩阵理论(15-XX) 597 系统论;控制(93至XX) 548 凸和离散几何(52至XX) 548 统计学(62-XX) 422 交换代数(13-XX) 410 代数几何(14-XX) 408 一般代数系统(08-XX) 336 结合环与代数(16-XX) 286 统计力学,物质结构(82-XX) 273 场论和多项式(12-XX) 232 测量和集成(28-XX) 156 常微分方程(34-XX) 151 代数拓扑(55-XX) 137 算子理论(47-XX) 127 历史和传记(01-XX) 126 流形和细胞复合体(57至XX) 122 复变量的函数(30年XX月) 119 偏微分方程(35-XX) 114 实际功能(26年X月X日) 113 总体主题;集合(00-XX) 104 特殊功能(33至XX) 99 功能分析(46倍X倍) 88 近似值和展开值(41至XX) 88 几何图形(51至XX) 85 变分法与最优控制;最优化(49至XX) 64 可变形固体力学(74-XX) 63 差分和函数方程(39至XX) 60 非结合环和代数(17-XX) 56 微分几何(53至XX) 50 流体力学(76-XX) 49 拓扑群、李群(22日至XX日) 45 粒子和系统力学(70-XX) 40 积分变换,运算微积分(44-XX) 39 整体分析,流形分析(58至XX) 38 欧氏空间的调和分析(42至XX) 27 相对论和引力理论(83至XX) 24 几个复变量和分析空间(32-XX) 24 序列、级数、可和性(40-XX) 24 光学、电磁理论(78-XX) 23 抽象谐波分析(43至XX) 19 经典热力学,传热(80-XX) 17 数学教育(97-XX) 15 积分方程(45-XX) 15 地球物理学(86-XX) 12 势能理论(31日至XX日) 10 \(K\)理论(19-XX) 按年份列出的引文