理论计算机科学算法，自动机，复杂性和博弈 简称： 理论。计算机。科学。 出版商： 阿姆斯特丹爱思唯尔 ISSN编号： 0304-3975 在线： http://www.sciencedirect.com/science/journal/03043975 评论： 索引封面到封面 编制索引的文档： 13504份出版物（自1975年起） 索引的引用： 12901份出版物参考文献301356篇。 全部的 前5名最新版本 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年） 841（2020年） 840（2020年） 839（2020年） 838（2020年） 837（2020年） 836（2020年） 835（2020年） 834（2020年） 833（2020年） 832（2020年） 830-831号（2020年） 828-829号（2020年） 826-827年（2020年） 824-825年（2020年） 823（2020年） 822（2020年） 821（2020年） 820（2020年） 819（2020年） 818（2020年） 817（2020年） 816（2020年） 815（2020年） 814（2020年） 813（2020年） 812（2020年） 811（2020年） 810（2020年） 809（2020年） 808（2020年） 807（2020年） 806（2020年） 805（2020年） 804（2020年） 803（2020年） 802（2020年） 801（2020年） 800（2019年） 799（2019年） 798（2019年） 797（2019年） 796（2019年） 795（2019年） 794（2019年） 793（2019年） 792（2019年） 791（2019年） 790（2019年） 789（2019年） 788（2019年） 787（2019年） 786（2019年） 785（2019年） …还有1131卷 全部的 前5名作者 70 罗森伯格，格尔茨戈尔茨 65 伊巴拉，奥斯卡·H。 47 赖特，沃伊切赫 46 萨洛马，库斯塔 42 雷斯蒂沃，安东尼奥 41 杰恩，桑杰 41 萨洛马，Kai T。 41 斯皮拉基斯，保罗G。 38 Păun，盖尔赫 37 卡鲁马基，朱哈尼 36 埃伦费赫特，安德烈 34 克罗切莫尔，马克西姆 34 王建新 33 海珠，泰罗 33 斯蒂芬，弗兰克 32 陈建儿 32 Iliopoulos，科斯塔斯S。 32 吴伟丽 31 佩尔克，安德烈 30 ç植，佐坦 30 戈尔斯·查克，埃里克 30 卡丽，莉拉 29 德卢卡，阿尔多 28 克拉纳基斯，伊万盖洛斯·康斯坦蒂努 28 奥霍廷，亚历山大 28 奥托，弗里德里希 28 贝利，大卫 26 赫罗姆科维奇，尤拉吉 26 蒙图纳里格。 26 鲁特纳厄，克里斯托夫 26 余，盛 26 晋江袁 25 霍尔泽，马库斯 24 伯格斯特拉，Jan A。 24 爱泼斯坦，莉亚 24 费诺，亨宁 24 纳瓦罗，冈萨罗 24 保卢斯马，丹尼 24 沙利特，杰弗里O。 24 朱滨海 23 阿米尔，亲爱的 23 布兰切特·萨德里，弗朗辛 23 库塞尔，布鲁诺 23 Hemaspandra，A车道。 23 林国辉 23 毛里，詹卡洛 23 米诺西，菲利波 23 蒙罗，J.伊恩 23 普罗丁格，赫尔穆特 22 克洛巴克，马雷克 22 杜丁珠 22 戈洛维奇，彼得拉。 22 兰道，Gad M。 22 索拉布，萨基特 22 杰格曼，托马斯 21 Demaine，埃里克D。 21 段振华 21 Honkala，朱哈 21 库特里布，马丁 21 朴，昆洙 21 圣托罗，尼古拉 20 卡鲁德，克里斯蒂安S。 20 乔夫鲁特，基督教徒 20 朱雷克，齐佐维奇 20 弗洛奇尼，保罗 20 福尔门蒂，恩里科 20 韩，友子 20 柯，克-伊 20 潘林强 20 Pérez Jiménez，马里奥J。 20 皮特，伊恩 20 苏西洛，威利 20 桑多尔瓦格维 20 因戈韦格纳 20 徐银峰 19 Dezani Ciancaglini，马里安哥拉 19 加加诺，路易莎 19 利奥塔，朱塞佩 19 梅斯盖尔·瓜伊塔，何塞 19 莫宁，伯克哈德 19 帕拉米德西，卡图西亚 19 佩林，多米尼克 19 斯迈思，威廉F。 19 瓦卡罗，乌戈 19 周淑明 18 博德兰德，汉斯L。 18 布雷克，斯雷奇科 18 本杰明，多尔 18 德罗斯特，曼弗雷德 18 冯启龙 18 哈尔德松，马格努斯马 18 伊藤，武弘 18 佩兰托娃，伊迪塔 18 田聪 17 阿尔伯托省阿波斯托利科 17 卡皮，阿图罗 17 郑大秋埃德温 17 卡苏哈伊·瓦尔杰·贝特 17 迪克特，沃尔克 17 杜宏伟 …还有13424位作者 全部的 前5名领域 11837个 计算机科学（68-XX） 1729年 组合数学（05-XX） 1464年 数理逻辑与基础（03-XX） 791 运筹学，数学规划（90-XX） 626 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 529 信息与通信理论，电路（94-XX） 404 一般性和全局性主题；收藏（00-XX） 335 生物学和其他自然科学（92-XX） 254 数论（11-XX） 241 群论与推广（20-XX） 200 范畴论；同调代数（18-XX） 192 序，格，有序代数结构（06-XX） 169 数值分析（65-XX） 130 动力系统与遍历理论（37-XX） 116 概率论与随机过程（60-XX） 115 量子理论（81-XX） 100 一般代数系统（08-XX） 83 凸几何与离散几何（52-XX） 78 一般拓扑（54-XX） 68 统计学（62-XX） 63 系统论；控制（93-XX） 60 线性代数和多线性代数；矩阵理论（15-XX） 55 场论与多项式（12-XX） 46 交换代数（13-XX） 41 结合环与代数（16-XX） 38 历史与传记（01-XX） 31 代数几何（14-XX） 29 测量与集成（28-XX） 20 实函数（26-XX） 20 常微分方程（34-XX） 15 统计力学，物质结构（82-XX） 11 复变函数（30-XX） 9 特殊功能（33-XX） 9 代数拓扑学（55-XX） 9 粒子与系统力学（70-XX） 8 近似和展开（41-XX） 7 非关联环与代数（17-XX） 7 几何学（51-XX） 6 变分法与最优控制；优化（49-XX） 6 相对论与引力理论（83-XX） 5 积分变换，运算微积分（44-XX） 5 功能分析（46-XX） 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） 按年份列出的出版物 所有引用出版物 被引用的前5名出版物 zbMATH公开赛中包含的引文 9716个出版物有被引用79951时间43067份文件 引用人▼ 年▼ 线性逻辑。 Zbl 0625.03037吉拉德，让·伊夫 713 1987 几个简化的NP完全图问题。 Zbl 0338.05120加里，M.R。;约翰逊，D.S。;斯托克梅耶，L。 568 1976 时间自动机理论。 Zbl 0803.68071阿鲁尔，拉吉耶夫;迪尔，大卫L。 542 1994 量子密码学：公钥分配和抛硬币。 Zbl 1306.81030号班纳特，查尔斯H。;布拉萨尔，吉尔 542 2014 计算永久性的复杂性。 Zbl 0415.68008勇敢，L.G。 533 1979 多项式时间层次。 Zbl 0353.02024斯托克梅耶，拉里J。 325 1977 泛余代数：系统论。 Zbl 0951.68038罗滕，J.J.M.M。 306 2000 树有界图的部分k-树集。 Zbl 0912.68148博德兰德，汉斯L。 289 1998 关于命题演算的结果。 Zbl 0553.03007科赞，德克斯特 274 1983 测试过程的等效性。 Zbl 0985.68518德尼古拉，R。;轩尼诗，M.C.B。 224 1984 LCF被认为是一种编程语言。 Zbl 0369.68006普洛金，G.D。 198 1978 按名称调用、按值调用和\（\lambda\）—微积分。 Zbl 0325.68006普洛金，G.D。 195 1975 有向子图同胚问题。 Zbl 0419.05028命运，史蒂文;霍普克罗夫特，约翰;威利，詹姆斯 192 1980 条件重写逻辑作为并发的统一模型。 Zbl 0758.68043梅斯盖尔，何塞 183 1992 从均匀分布随机生成组合结构。 Zbl 0597.68056杰鲁姆，马克R。;勇敢，莱斯利G。;瓦齐拉尼，维杰诉。 176 1986 Petri网，事件结构和域。一。 Zbl 0452.68067尼尔森，莫根斯;普洛金，戈登;温斯基，温斯基 174 1981 移动环境。 Zbl 0954.68108卡德利，L。;戈登，公元前。 170 2000 计算同步和异步。 Zbl 0512.68026米尔纳，罗宾 165 1983 解决问题的难易性。 Zbl 0586.03010哈肯，阿明 158 1985 混合系统的算法分析。 Zbl 0874.68206阿鲁尔，R。;库库比蒂斯。;北卡罗来纳州哈尔布瓦克斯。;亨辛格，T.A。;哦，P.-H。 145 1995 梅林变换与渐近：调和和。 Zbl 0869.68057弗莱约特，菲利普;古尔登，泽维尔;大仲马，菲利普 140 1995 代数闭域中量词的可定义性和快速消去。 Zbl 0546.03017海因茨，乔斯 135 1983 多项式时间可约性的比较。 Zbl 0321.68039雷德纳，R.E。;林奇，北卡罗来纳州。;塞尔曼，A.L。 134 1975 机器归纳推理辨识准则之比较。 Zbl 0524.03025凯斯，约翰;史密斯，卡尔 133 1983 术语重写系统的排序。 Zbl 0525.68054德肖维茨，纳库姆 131 1982 三次图的APX完全性结果。 Zbl 0939.68052阿利蒙蒂。;凯恩，V。 131 2000 书信体词汇与de Luca和Rauzy的一些结构。 Zbl 0981.68126杜洛贝，X。;贾斯汀，J。;皮里洛，G。 128 2001 NP和检测唯一解一样容易。 Zbl 0621.68030勇敢，L.G。;瓦齐拉尼，V.V。 127 1986 图上平均报酬对策的复杂性。 Zbl 0871.68138兹维克，乌里;帕特森，迈克 124 1996 用抽象来交流过程的代数。 Zbl 0579.68016伯格斯特拉，J.A。;克洛普，J.W。 122 1985 无限树的基本性质。 Zbl 0521.68013库塞尔，布鲁诺 119 1983 固定参数的可跟踪性与完备性Ⅱ：关于W[1]的完备性。 邮政编码：0873.68059唐尼，罗德·G。;伙计们，迈克尔R。 119 1995 化学文摘机。 Zbl 0747.68013贝瑞，杰拉德;伯多尔，杰拉德 118 1992 （1+1）进化算法的分析。 Zbl 1002.68037范，德罗斯特;詹森，托马斯;因戈韦格纳 118 2002 一类多项式时间格基约简算法。 Zbl 0642.10030施诺尔，C.P。 118 1987 聚类以最小化最大簇间距离。 零担0567.62048冈萨雷斯，特奥菲洛F。 117 1985 代数语言和多元胺计数。 Zbl 0985.68516德莱斯特，玛丽·皮埃尔;维诺，杰拉德 116 1984 到处都是结构良好的过渡系统！ Zbl 0973.68170芬克尔，A。;施诺贝伦，P。 114 2001 十五年后的变量类型系统。 Zbl 0623.03013吉拉德，让·伊夫 111 1986 正则语言中一些基本运算的状态复杂性。 Zbl 0795.68112余，盛;庄青玉;萨洛马，凯 111 1994 使用依赖项对终止术语重写。 Zbl 0938.68051艺术，T。;吉尔斯，J。 108 2000 关于多区间图问题的参数化复杂性。 Zbl 1161.68038伙计们，迈克尔R。;赫密林，丹尼;罗莎蒙德，弗朗西斯;小瓶，圣潘 107 2009 生物环境：对生物区的抽象。 Zbl 1069.68569雷格夫，阿维夫;帕尼娜，叶卡捷琳娜M。;西尔弗曼，威廉;卡德利，卢卡;夏皮罗，埃胡德 100 2004 （k）正则序列的环。 Zbl 0774.68072阿洛奇，让·保罗;沙利特，杰弗里 100 1992 量子自动机与量子文法。 Zbl 0939.68037摩尔，克里斯托弗;克鲁奇菲尔德，J.P。 100 2000 关于保证图搜索的注释书目。 Zbl 1160.68007福明，费多诉。;Thilikos，Dimitrios M。 99 2008 结构、组合学及其算法。 Zbl 0911.68098德卢卡，阿尔多 98 1997 有序代数。一： 多重继承、重载、异常和部分操作的等式推导。 Zbl 0778.68056Goguen，约瑟夫A。;梅斯盖尔，何塞 96 1992 完备集与多项式时间层次。 Zbl 0366.02031威瑟尔，西莉亚 96 1977 类型\（\lambda\）-演算的完全抽象模型。 Zbl 0386.03006米尔纳，罗宾 96 1977 元胞自动机理论综述。 Zbl 1080.68070卡里，贾科 96 2005 搜索和pebbling。 Zbl 0616.68064基鲁斯，左撇子M。;帕帕迪米特里奥，克里斯托斯H。 95 1986 Sturmian词的一些组合性质。 Zbl 0874.68245德卢卡，阿尔多;米诺西，菲利波 94 1994 欧氏旅行商问题是NP完全问题。 Zbl 0386.90057帕帕迪米特里奥，克里斯托斯H。 93 1977 有限自动机和一元语言。 Zbl 0638.68096克洛巴克，马雷克 88 1986 组织P系统。 Zbl 1045.68063马丁维德，卡洛斯;Păun，盖尔赫;帕佐斯，胡安;罗德里格斯·帕顿，阿方索 87 2003 向量加法系统的覆盖与有界性问题。 Zbl 0368.68054拉客，查尔斯 86 1978 求精映射的存在性。 Zbl 0728.68083阿巴迪，马丁;兰波特，莱斯利 86 1991 交换和非交换Gröbner基简介。 Zbl 0824.68056莫拉，泰 85 1994 关于盲和部分盲单向多计数器机器的注记。 Zbl 0389.68030格雷巴赫，S.A。 83 1978 偏导数的复杂性。 Zbl 0498.68028鲍尔，沃尔特;斯特拉森，沃尔克 83 1983 形式分子生物学。 Zbl 1071.68041丹诺斯，文森特;拉尼芙，科西莫 82 2004 蚁群优化理论综述。 Zbl 1154.90626多里戈，马可;布卢姆，克里斯蒂安 82 2005 复杂性度量与决策树复杂性：综述。 Zbl 1061.68058布尔曼，哈利;德沃尔夫，罗纳德 82 2002 有限着色图上的无限对策及其在无限树上自动机的应用。 Zbl 0915.68120齐隆卡，威斯ław 79 1998 单台机器上的多智能体调度，以最小化延迟作业的总加权数。 Zbl 1100.68007程，T.C.E。;Ng，C.T。;袁，J.J。 79 2006 基于约简的过程语义研究。 Zbl 0871.68122号本田，科海;吉田信子 78 1995 完备集理论中的终端余代数。 Zbl 0779.18004巴尔，迈克尔 78 1993 目的论，下推自动机和二阶逻辑。 Zbl 0605.03005穆勒，大卫·E。;舒普，保罗E。 78 1985 改进了顶点覆盖的上界。 Zbl 1205.05217陈建儿;Kanj，Iyad A。;夏，葛 78 2010 没有地图的最短路径。 6800733.680733帕帕迪米特里奥，克里斯托斯H。;Yannakakis，米哈利斯 77 1991 Lex-BFS和分区求精，在传递定向、区间图识别和连续图测试中的应用。 Zbl 0945.68189哈比卜，M。;麦康奈尔，R。;保罗，C。;维诺，L。 77 2000 Meije SCC中的高级同步设备。 Zbl 0598.68027德西蒙尼，罗伯特 76 1985 词的力量和代换不动点的可识别性。（代用积分修正公式） Zbl 0763.68049莫斯é，布里吉特 75 1992 确定多项式时间的完全问题。 Zbl 0352.68068琼斯，尼尔D。;拉塞尔，威廉T。 73 1977 \（\beta\）—扩展和符号动力学。 Zbl 0682.68081布兰查德，F。 73 1989 正则表达式的偏导数与有限自动机构造。 Zbl 0872.68120安蒂米洛夫，瓦伦丁 72 1996 线性逻辑的计算解释。 Zbl 0791.03003阿布拉姆斯基，参孙 72 1993 树可分解图的一元二阶评价。 Zbl 0789.68083库塞尔，B。;莫斯巴，M。 72 1993 随机生成标记组合结构的微积分。 Zbl 0799.68143弗莱约特，菲利普;Zimmerman，保罗;范卡特森，伯纳德 72 1994 度量空间的计算模型。 Zbl 1011.54026埃达拉特，阿巴斯;赫克曼，莱因霍尔德 72 1998 实函数的计算复杂性。 Zbl 0498.03047柯，克-伊。;弗里德曼，哈维 71 1982 关于组合问题的代数结构。 Zbl 0915.68074杰文斯，彼得 71 1998 参数化图分离问题。 Zbl 1086.68104马克思，Dániel 70 2006 聚集视线有限的异步机器人。 Zbl 1108.68120弗洛奇尼，保罗;普伦西普，朱塞佩;圣托罗，尼古拉;维德迈耶，彼得 69 2005 不相交环和不相交路径的核界。 Zbl 1221.68099博德兰德，汉斯L。;托马塞，圣潘;杨，安德斯 69 2011 论离散性的分布复杂性。 Zbl 0787.68055拉兹博罗夫，A.A。 68 1992 系统代码。（编码系统）。 Zbl 0601.68056布兰查德，F。;汉斯，G。 68 1986 图形缩聚法在枚举匹配和平铺中的应用。 Zbl 1043.05099郭，郭。 67 2004 图中的局部多数、联盟和垄断：综述。 Zbl 0997.68088贝利，大卫 67 2002 重写逻辑中的规范和编程。 Zbl 1001.68059克莱维尔，M。;杜兰，F。;埃克，S。;林肯，P。;马里特，N。 67 2002 类型\（\overline\lambda\）—微积分的一种统一算法。 Zbl 0337.68027休特，G.P。 66 1975 并发程序的时间语义。 Zbl 0441.68010普努埃利，阿米尔 66 1981 系统方程解决方案。 Zbl 0459.68013拉撒，丹尼尔 66 1981 斯特米安的话，林登的话和树。 Zbl 0901.68155贝斯特，琼;德卢卡，阿尔多 65 1997 重构问题的复杂性。 Zbl 1207.68166伊藤，武弘;Demaine，埃里克D。;哈维，尼古拉斯J.A。;帕帕迪米特里奥，克里斯托斯H。;塞德利，玛莎;上原，瑞海;乌诺，玉石 65 2011 二阶统一问题的不确定性。 Zbl 0457.03006戈德法布，沃伦D。 64 1981 一种新的系统认证码的编码理论构建。 Zbl 1078.68030丁，存生;王雪松 64 2005 最小化图中标识或定位支配代码的大小是NP难的。 Zbl 1044.68066查隆，伊尔讷;哈德里，奥利弗;洛斯坦，安托万 64 2003 加权自动机与加权逻辑。 Zbl 1118.68076德罗斯特，曼弗雷德;加斯汀，保罗 64 2007 关于樱桃采摘和网络遏制。 Zbl 07297783詹森，雷米;村上春树 三 2021 有界树图的公平列表树着色。 Zbl 07300956李，燕;张欣 三 2021 轮对网络的结构连通性和子结构连通性。 Zbl 1464.68284冯伟;王世英 2 2021 警察和强盗在定向环形网格上。 Zbl 07300887塞巴斯蒂安·冈萨雷斯·赫莫西罗·德拉马扎;侯赛尼，塞耶德·阿利斯加尔;诺克斯，菲亚奇拉;莫哈尔，博扬;里德，布鲁斯 2 2021 PMC诊断模型下双管网络的故障可诊断性。 Zbl 07300901刘佳飞;周淑明;顾振东;千如，周千如;王大金 2 2021 可处置性用不加方框的词表示。 Zbl 07318715海珠，泰罗 2 2021 最佳匹配图修改问题的复杂性。 Zbl 07331472沙勒，大卫;斯塔德勒，彼得F。;你好，马克 2 2021 地方距离限制了选举中的贿赂行为。 Zbl 1467.91042号戴伊，帕拉什 1 2021 可撤销的基于身份的加密有界解密密钥暴露抵抗：基于格的构造和更多。 Zbl 1467.94041高桥，Atsushi;渡边，洋平 1 2021 使用树行走自动机和传感器（带有可见和不可见的鹅卵石）进行XML导航和转换。 Zbl 1464.68165恩格尔弗里特，乔斯特;亨德里克·扬;桑威尔，巴特 1 2021 多智能体动态曲面探索。 Zbl 1464.68402高藤，筑石;Sudo，Yuichi;福岛市，福岛;Kakugawa，Hirotsuku;Masuzawa，Toshimitsu 1 2021 构造折叠分块交换立方体的对偶矩阵。 Zbl 07297780张玉辉;拍，功夫;徐超哲;杨，金世勇;张若明 1 2021 弦图中均匀树着色问题的难点与算法。 Zbl 07300876牛，贝;李，毕;张欣 1 2021 改进了树的射电数的下界。 Zbl 07300900刘大芬;萨哈，拉克斯曼;达斯，萨蒂亚布拉塔 1 2021 重温prefer same和prefere-contract de-Bruijn序列结构。 Zbl 07300917阿哈基姆，阿巴斯;萨拉，埃文;佐田，乔 1 2021 一类简单的基于图的特征对策的稳定性代价。 Zbl 07300953卡克拉玛尼斯，克里斯托斯;卡内洛普洛斯，Panagiotis;康斯坦丁诺斯帕帕奥安诺;帕图恰斯，迪米特里斯 1 2021 奥斯特罗夫斯基自动序列：理论与应用。 Zbl 1467.68146巴兰瓦尔，亚塞姆;谢弗，卢克;沙利特，杰弗里 1 2021 Zeckendorf和基phi展开式的位数和函数。 Zbl 07310531德金，F.米歇尔 1 2021 一种新的量子随机数发生器。 Zbl 07318705阿圭罗·特雷乔，何塞·曼努埃尔;卡鲁德，克里斯蒂安S。 1 2021 秘书问题的新结果。 Zbl 07325911阿尔伯斯，苏珊娜;莱昂，莱昂 1 2021 一条线上的最小功率部分多重覆盖。 3310746ZB号梁伟;李梦红;张，赵;黄晓辉 1 2021 快乐集问题的复杂性和可接近性。 Zbl 07333011朝日，裕一;伊藤，弘石;花冈，泰素;林国辉;宫野爱子;泰拉巴鲁，伊佩 1 2021 将网络公平划分为稀疏模块的理论方面。 Zbl 07356472张华强;张欣 1 2021 CSP的通用局部可验证码和3轮交互式邻近性证明。 Zbl 07373868戈德里奇，奥德;古尔，汤姆 1 2021 在组资源分配中几乎没有嫉妒。 Zbl 1458.91109Kyropouou，玛丽亚;苏克逊邦，瓦鲁特;沃杜里斯，亚历山德罗斯A。 5 2020 时态图类：通过时态分隔符的视图。 Zbl 1436.68234弗罗斯尼克，蒂尔;莫尔特，亨德里克;尼德迈尔，罗尔夫;雷肯，马尔特;Zschoche，菲利普 4 2020 （强）无冲突连接：算法和复杂性。 Zbl 1436.68243吉，孟;李雪亮;朱小雨 4 2020 超越水平平面性：周期性、环面性和同时平面性。 Zbl 1436.68377安吉利尼，帕特里齐奥;达洛佐，乔达诺;迪巴蒂斯塔，朱塞佩;弗拉蒂，法布里齐奥;帕特里尼亚尼，毛里齐奥;拉特，伊格纳斯 4 2020 Fibonacci语言的变形词，Beatty序列和整数图像。 Zbl 1447.68012德金，米歇尔 4 2020 与能量受限的移动机器人协作交付。 Zbl 1437.68034Bärtschi，安德烈亚斯;查洛平，杰瑞米;达斯，山塔努;迪塞尔，扬;盖斯曼，芭芭拉;格拉夫，丹尼尔;劳尔，阿诺;米哈拉克，马什 4 2020 一石二鸟：通过嫉妒循环消除，为EFX和GMMS击败1/2。 Zbl 1458.91107阿曼提迪斯，乔治;马卡基斯，伊万盖洛斯;Ntokos，Apostolos 4 2020 通过精确的黑盒分析进行最佳参数选择。 Zbl 1436.68408号本杰明，多尔;多尔，卡罗拉;杨静 三 2020 概率分合：分支二相似性。 Zbl 1436.68209卡斯蒂格利奥尼，瓦伦蒂娜;蒂尼，西蒙妮 三 2020 嵌套聚合查询的弹性。 Zbl 1436.68090苗东京;吉国，吉国;蔡志鹏 三 2020 反转序列和上升序列中关系三元组的模式。 Zbl 1469.05010号林志聪 三 2020 具有可证明保证的深层神经网络基于博弈的近似验证。 Zbl 1436.68199吴敏;柳条，马修;阮文杰;黄晓伟;奎亚特科夫斯卡，玛尔塔 三 2020 倒数最佳匹配图修改问题的复杂性。 Zbl 1443.92120你好，马克;盖伊，曼努埃拉;斯塔德勒，彼得F。 三 2020 交叉立方体的结构连通性和子结构连通性。 Zbl 1442.68182号潘卓文;程冬琴 三 2020 分块交换立方体的连通性和超连通性。 Zbl 1461.68163宁，万涛 三 2020 图的合理不可选择性。 Zbl 1468.05073埃瓦州Burchardt博士;富尔曼奇克，汉娜;西多罗维奇，埃尔比塔 三 2020 奇异值分解辅助多载波连续变量量子密钥分配。 Zbl 1442.81022号Gyongyosi，拉兹洛 2 2020 参数化度量图中中心路由问题的近似算法。 Zbl 1436.68226陈丽萱;谢，孙元;鸿，凌菊;克拉辛，拉尔夫 2 2020 Minsum \（k\）-路径网络上的接收器问题。 Zbl 1442.90024号本科齐，罗伯特;Bhattacharya，比奈;东川，裕亚;尖田津彦;卡托，直木 2 2020 最小子模费用部分集多覆盖问题的双准则算法。 Zbl 1436.90128号石，一朔;冉，英利;张，赵;杜丁珠 2 2020 姚明百万富翁协议的实用卡片实现。 Zbl 1436.94084号宫原大吉;Hayashi，Yu-ichi;水木，高崎;Sone，Hideaki 2 2020 关于图的\（g\）-好邻居连通性。 Zbl 1436.68264王，赵;毛亚萍;谢，孙元;吴继昌 2 2020 \（\omega\）-林登的话。 Zbl 1458.68153波提克，米卡;扎姆博尼，卢卡Q。 2 2020 基于格的可撤销（分层）IBE，具有解密密钥暴露抵抗能力。 Zbl 1447.94049胜田，水池;松田、高弘;高桥，Atsushi 2 2020 通过（l{2，q}）-范数极小化计算给定零的多个给定多项式的最近多项式。 Zbl 1443.26008号文虎，文虎;李胜浩;黄金红;王婷华;于高航 2 2020 自动机半群和群的轨道可展性。 Zbl 1455.68107D&rsquo；安吉丽，丹妮尔;罗达罗，伊曼纽尔;Wächter，简·菲利普 2 2020 聚集在动态的环中。 Zbl 1437.68195迪卢娜，朱塞佩·安东尼奥;弗洛奇尼，保罗;帕格利，琳达;普伦西普，朱塞佩;圣托罗，尼古拉;维莉埃塔，乔瓦尼 2 2020 近似证明标记方案。 Zbl 1437.68193希勒审查官，克伦;阿美，巴斯;佩里，莫尔 2 2020 弹性退化文本的近似模式匹配。 Zbl 1437.68207贝尔纳迪尼，朱利亚;皮桑蒂，娜迪亚;比西斯，索伦P。;罗森，乔凡娜 2 2020 遗传规划中字典节俭压力的破坏性及连锁交叉的缓解。 Zbl 1432.68623号Kötzing，蒂莫;拉各津斯基，J.A.格雷戈;伦格，约翰内斯;梅尔尼琴科，安娜 2 2020 双立方体子系统的可靠性分析。 Zbl 1432.68046张奇帆;徐丽琼;周淑明;杨卫华 2 2020 关于不都是平等的三-坐. Zbl 1433.68272安德烈亚斯，达曼;德克尔，詹诺什 2 2020 在一个网格上收集匿名的，忘乎所以的机器人。 Zbl 1433.68597卡斯特诺，詹尼克;费舍尔，马提亚斯;哈比，乔纳斯;Jung，丹尼尔;梅耶·奥夫·德海德，弗里德曼 2 2020 投影时序逻辑的一个判定过程和完全公理化。 Zbl 07188529舒欣枫;段振华;杜宏伟 2 2020 Lawson紧代数L-域的一种逻辑。 Zbl 07191325王龙春;李庆国 2 2020 带时隙成本的校准调度。 Zbl 1436.90058王凯 2 2020 正则图的额外边连通性与分量边连通性的关系。 Zbl 1453.05054号郝荣霞;顾，妹妹;张若明 2 2020 反应系统的插件上下文提供程序。 兹布1440.68085克莱恩，码头;库特尼，麦基;罗森伯格，格尔茨戈尔茨 2 2020 无4-圈与6-圈相交的平面图的顶点树度的注记。 145ZB05016号崔旭阳;滕文顺;刘星;王慧娟 2 2020 受限图类的在线图探索：蝌蚪图的最优解。 Zbl 1453.68214布兰特，塞巴斯蒂安;福斯特，克劳斯·第谷;莫雷尔，乔纳森;沃特恩霍弗，罗杰 2 2020 关于扇形交叉图。 Zbl 1461.68145勃兰登堡，弗兰兹J。 2 2020 有限生成结构的在线表示。 Zbl 1464.68443巴泽诺夫，尼古拉;伊斯坎德尔卡利穆林;梅尔尼科夫，亚历山大;吴敬萌 2 2020 安全排名计算的基于卡的协议。 Zbl 1455.68066高岛，肯;亚伯，尤塔;佐佐木;宫原大吉;胜川，和川;水木，高崎;Sone，Hideaki 2 2020 \条件可诊断性：系统级诊断的一种新的广义测度。 Zbl 1435.68050郭，陈;肖志芳;刘志红;彭，朔 2 2020 图的细分覆盖数：色界，有效算法和硬度。 Zbl 1442.05168阿伯鲁，A。;库尼亚，L。;德菲格雷多，C。;科瓦达，L。;马奎兹诺，F。;波斯纳，D。;葡萄牙，R。 1 2020 舞蹈编程的核心模型。 Zbl 1436.68078克鲁兹·菲利佩，鲁伊斯;蒙特西，法布里齐奥 1 2020 量子耦合的斯特拉森定理。 Zbl 1442.81005周，李;英，盛钢;余能坤;英，明生 1 2020 使用Ehrenfeucht-Fraïsségames从字符串样本合成DNF公式。 Zbl 1436.68154罗查，蒂亚戈·阿尔维斯;马丁斯，安娜·特雷莎;费雷拉，弗朗西克伯马丁斯 1 2020 局部时间膜系统和时间Petri网。 Zbl 1436.68110号阿曼，博格丹;巴蒂亚尼，佩特;乔巴努，加布里埃尔;瓦齐尔，吉尔吉 1 2020 P系统中的子程序及其复杂性类的闭包性质。 Zbl 1436.68116莱波拉蒂，阿尔伯托;曼佐尼，卢卡;毛里，詹卡洛;波雷卡，安东尼奥E。;Zandron，克劳迪奥 1 2020 具有支持/反对规则的P系统：环境何时重要？ 118.14兹比尔奥雷利亚娜·马丁恩，大卫;玛蒂内斯德尔阿莫尔，米格尔。;瓦伦西亚卡布雷拉，路易斯;宋博生;潘林强;Pérez Jiménez，马里奥J。 1 2020 当物体生产调整了膜系统的效率。 Zbl 1436.68117号奥雷利亚娜·马丁恩，大卫;玛蒂内斯德尔阿莫尔，米格尔。;Pérez Hurtado，伊格纳西奥;利斯科-努涅斯，阿古斯丁;瓦伦西亚卡布雷拉，路易斯;Pérez Jiménez，马里奥J。 1 2020 更多关于符号平方根映射的动力学。 Zbl 1436.68286佩尔托姆斯基，贾科;怀特兰，马库斯A。 1 2020 图的顶点处的连通度量维。 Zbl 1442.05048埃罗，琳达;康，丛X。;伊，恩贞 1 2020 的可选参数化公制尺寸. Zbl 1436.68146古汀，格雷戈里;Ramanujan，硕士。;雷德尔，费利克斯;瓦尔斯特伦，马格努斯 1 2020 实心公制尺寸。 Zbl 1436.68241哈卡宁，安妮;朱尼拉，维尔;莱霍宁，泰罗 1 2020 时间匹配。 兹布1436.68220巴斯特，朱利安;别轩，平明;鲁克斯，安托万 1 2020 参数化二阶复杂度理论及其在区间计算研究中的应用。 Zbl 1454.03057纽曼，艾克;斯坦伯格，弗洛里安 1 2020 非同构区间图和非同构置换图的计数。 Zbl 1442.05099山崎，和崎;斋藤，Toshiki;清美，Masashi;上原，瑞海 1 2020 磁盘优先疏散：在\（n=1,2,3\）的情况下。 Zbl 1437.68173朱雷克，齐佐维奇;乔治，康斯坦丁诺斯;基里克，赖安;克拉纳基斯，伊万盖洛斯;克里扎克，丹尼;拉塔，纳拉亚南;奥帕特尼，雅罗斯拉夫;申德，苏尼尔 1 2020 社交网络中DS分解的网络游戏病毒式营销。 兹布1443.91240高传根;杜海;吴伟丽;王华 1 2020 基于潜在主题模型的质量感知在线任务分配机制。 Zbl 1443.91174杜，杨;孙玉娥;黄，他;黄柳生;徐红丽，徐红丽;吴晓灿 1 2020 一种新的可更新的基于身份的哈希证明系统及其应用。 Zbl 1455.94202周彦伟;杨波;王涛;慕伊 1 2020 有风险的两阶段组合优化问题。 Zbl 1436.90122号戈德里克，马克;卡巴斯基，亚当;杰林斯基，帕维 1 2020 关于图的大地凸性的Carathéodority和交换数。 Zbl 1442.05040阿南德，比乔S。;钱德兰股份有限公司;马诺伊，昌亚特;多拉多，米特C。;侯赛因·内扎德，费多斯;Narasimha Shenoi，Prasanth G。 1 2020 图的上对控制的算法方面。 Zbl 1436.68242汉宁，迈克尔A。;普拉丹，D。 1 2020 关于高阶过程的“上下文”推理。 Zbl 1436.68211德雷尔，阿德里安;赫尔施科夫，丹尼尔;大卫桑吉奥吉 1 2020 改进了基于比较的排序的平均复杂度。 Zbl 1436.68087岩手，和硕;太山，Junichi 1 2020 无限词的广义Lyndon因式分解。 Zbl 1458.68149伯克罗夫，阿曼达;温莎，埃里克 1 2020 正则互连网络的额外连通性和额外可诊断性。 Zbl 1436.68050吕梦洁;范剑喜;周静雅;程宝雷;贾晓华 1 2020 具有拓扑约束的多段线图形。 Zbl 1436.68232迪贾科莫，埃米利奥;伊迪斯，彼得;利奥塔，朱塞佩;梅杰，亨克;Montecchiani，法布里齐奥 1 2020 具有双边偏好列表和拟阵约束的流行匹配。 Zbl 1436.91086号神山，直玉 1 2020 基于身份加密的泄漏放大选择密文攻击的安全性。 Zbl 1448.94238周彦伟;杨波;夏哲;张明武;慕伊 1 2020 局部差分隐私模型中的主成分分析。 Zbl 1436.68100元王，狄;徐金辉 1 2020 关于有限域中不完全性的预言分离猜想。 Zbl 1436.68124号剂量，提图斯 1 2020 错误界在线多类学习bandit反馈价格的新界。 Zbl 1436.68153长，菲利普·M。 1 2020 …还有617份文件 所有引用出版物 被引用的5种出版物 全部的 前5名被34543位作者引用 111 罗森伯格，格尔茨戈尔茨 108 伊巴拉，奥斯卡·H。 100 杰恩，桑杰 95 保卢斯马，丹尼 91 索拉布，萨基特 91 斯蒂芬，弗兰克 88 爱泼斯坦，莉亚 88 戈洛维奇，彼得拉。 88 梅斯盖尔·瓜伊塔，何塞 83 尼德迈尔，罗尔夫 81 萨洛马，Kai T。 80 福明，费多诉。 80 奥托，弗里德里希 79 费诺，亨宁 79 晋江袁 74 ç植，佐坦 74 沙利特，杰弗里O。 71 库塞尔，布鲁诺 70 佩尔克，安德烈 70 赖特，沃伊切赫 69 卡鲁马基，朱哈尼 68 库特里布，马丁 65 海珠，泰罗 65 萨洛马，库斯塔 64 埃伦费赫特，安德烈 64 蒙塔纳里，乌戈·G。 64 纳瓦罗，冈萨罗 63 恩格尔弗里特，乔斯特 63 Hemaspandra，A车道。 63 拉森，金·古德斯兰德 63 雷斯蒂沃，安东尼奥 62 克罗切莫尔，马克西姆 61 布兰切特·萨德里，弗朗辛 61 博德兰德，汉斯L。 60 奥霍廷，亚历山大 59 卢卡，阿尔多 59 Iliopoulos，科斯塔斯S。 58 斯皮拉基斯，保罗G。 57 Păun，盖尔赫 57 劳滕巴赫，迪特 56 帕斯科，万盖利斯。 56 普罗丁格，赫尔穆特 55 Raman，Venkatesh 54 洛克什塔诺夫，丹尼尔 53 伯格斯特拉，Jan A。 53 霍尔泽，马库斯 53 Thilikos，Dimitrios M。 53 徐银峰 52 洛津，瓦迪姆·弗拉迪斯拉沃维奇 52 潘，维克多·雅科夫列维奇 51 德罗斯特，曼弗雷德 51 弗洛奇尼，保罗 51 Honkala，朱哈 51 圣托罗，尼古拉 50 阿德梅克 50 余，盛 49 郑大秋埃德温 49 卡丽，莉拉 49 克拉奇，迪特 48 Rampersad，Narad 47 醋酸，卢卡 47 陈建儿 47 王建新 46 伙计们，迈克尔·拉尔夫 46 伊纳加，顺介 46 蒙诺，杰罗姆 45 凯斯，约翰 45 海格斯，皮纳尔 45 亨辛格，托马斯A。 45 利奥塔，朱塞佩 45 米利厄斯，斯特凡 45 潘林强 45 Pérez Jiménez，马里奥J。 45 别针，让·埃里克 45 瓦迪，莫斯伊。 45 王世英 44 赞博尼，卢卡夸多 42 蔡金义 42 查特吉，克莉什南杜 42 迪克特，沃尔克 42 赫罗姆科维奇，尤拉吉 42 安娜，英格尔夫斯多蒂尔 42 李庆国 42 佩兰托娃，伊迪塔 42 皮利普祖克，米迦 42 鲁特纳厄，克里斯托夫 42 苏，伊格纳西 41 Demaine，埃里克D。 41 Dezani Ciancaglini，马里安哥拉 41 Kazuhisa Makino 41 毛里，詹卡洛 41 可怜的，格哈德·约翰内斯 41 吴伟丽 40 Gąsieniec，莱泽克·安东尼 40 韩，友子 40 轩尼诗，马修·C·B。 40 科穆塞维奇，克里斯蒂安 40 米特拉那，维克多 40 邱道文 39 程，埃迪 …还有34443位作者 全部的 前5名被946种期刊引用 8025个 理论计算机科学 1560年 离散应用数学 1417年 信息处理信函 1354年 信息与计算 1108年 计算机与系统科学杂志 942 算法 693 国际计算机科学基础杂志 643 离散数学 557 计算系统理论 516 组合优化期刊 464 纯逻辑与应用逻辑年鉴 427 MSCS公司。计算机科学中的数学结构 419 信息学报 385 信息科学 343 符号计算杂志 339 人工智能 309 欧洲运筹学杂志 309 量子信息处理 291 离散算法杂志 287 计算的形式化方面 249 自动推理杂志 246 计算机科学中的逻辑方法 237 欧洲组合学杂志 236 国际计算机数学杂志 234 雷罗。理论信息学与应用 228 国际理论物理杂志 225 分布式计算 219 数学与人工智能年鉴 215 应用数学与计算 215 逻辑与代数程序设计杂志 214 程序设计中的逻辑和代数方法杂志 198 符号逻辑杂志 192 计算几何 181 暹罗计算机杂志 178 模糊集与系统 175 纯粹与应用代数杂志 175 国际代数与计算杂志 167 线性代数及应用 166 计算机与运筹学 164 系统设计中的形式化方法 159 应用数学进展 156 计算复杂性 155 雷罗。信息技术应用 154 自然计算 153 数学系统论 150 组合理论杂志。A系列 149 暹罗离散数学杂志 145 复杂性杂志 144 离散与计算几何 132 逻辑研究 132 拓扑学及其应用 125 调度日志 121 函数程序设计杂志 120 半群论坛 118 运筹学信函 116 代数杂志 116 离散优化 111 图与组合 111 运筹学年鉴 110 数学规划。A系列。B系列 109 雷罗。理论信息学与应用 107 逻辑程序设计理论与实践 101 国际近似推理杂志 98 计算机与数学及其应用 98 美国数学学会会刊 93 随机结构与算法 93 应用非经典逻辑杂志 89 工程、通信和计算中的应用代数 87 计算数学 87 组合数学电子杂志 87 软计算 87 离散数学、算法与应用 85 数理逻辑档案 84 组合理论杂志。B系列 83 设计、代码和密码学 80 优化信函 79 机器学习 79 算法 78 数学进展 77 图论杂志 77 遍历理论和动力系统 77 数学科学杂志（纽约） 76 全球最优化杂志 76 应用逻辑杂志 75 国际计算几何与应用杂志 73 网络 72 自动 72 组合数学、概率与计算 70 数论杂志 70 组合 70 控制论与系统分析 70 计算逻辑学报 69 命令 69 逻辑、语言与信息杂志 68 符号逻辑公报 67 计算与应用数学杂志 67 离散事件动态系统 67 应用范畴结构 67 工程数学问题 64 计算机科学与技术杂志 …还有846本杂志 全部的 前5名在62个领域被引用 29172个 计算机科学（68-XX） 7835个 组合数学（05-XX） 6162个 数理逻辑与基础（03-XX） 4204年 运筹学，数学规划（90-XX） 1915年 信息与通信理论，电路（94-XX） 1885年 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 1299年 数论（11-XX） 1138年 数值分析（65-XX） 1084年 生物学和其他自然科学（92-XX） 1075年 量子理论（81-XX） 1048个 序，格，有序代数结构（06-XX） 1045年 群论与推广（20-XX） 1014年 范畴论；同调代数（18-XX） 833 概率论与随机过程（60-XX） 810 动力系统与遍历理论（37-XX） 627 一般拓扑（54-XX） 542 线性代数和多线性代数；矩阵理论（15-XX） 518 系统论；控制（93-XX） 482 凸与离散几何（52-XX） 449 统计学（62-XX） 374 交换代数（13-XX） 369 代数几何（14-XX） 365 一般代数系统（08-XX） 303 结合环与代数（16-XX） 259 场论与多项式（12-XX） 228 统计力学，物质结构（82-XX） 212 测量与集成（28-XX） 140 常微分方程（34-XX） 128 算符理论（47-XX） 124 代数拓扑学（55-XX） 113 历史与传记（01-XX） 111 偏微分方程（35-XX） 108 流形和细胞复合体（57-XX） 106 实函数（26-XX） 105 复变函数（30-XX） 102 一般性和全局性主题；收藏（00-XX） 90 特殊功能（33-XX） 89 功能分析（46-XX） 78 几何学（51-XX） 76 近似和展开（41-XX） 72 变分法与最优控制；优化（49-XX） 59 差分与泛函方程（39-XX） 59 可变形固体力学（74-XX） 54 非关联环与代数（17-XX） 47 微分几何（53-XX） 42 流体力学（76-XX） 38 积分变换，运算微积分（44-XX） 36 拓扑群，李群（22-XX） 34 粒子与系统力学（70-XX） 32 整体分析，流形分析（58-XX） 31 欧氏空间的调和分析（42-XX） 23 相对论与引力理论（83-XX） 22 光学，电磁理论（78-XX） 21 抽象谐波分析（43-XX） 20 序列、序列、可和性（40-XX） 19 多复变数与解析空间（32-XX） 17 经典热力学，传热（80-XX） 14 数学教育（97-XX） 13 积分方程（45-XX） 13 地球物理学（86-XX） 11 势理论（31-XX） 10 \（K）理论（19-XX） 按年份列出的引文