×

兹马思-数学第一资源

理论计算机科学

算法,自动机,复杂性和博弈

简称: 理论。计算机。科学。
出版商: 阿姆斯特丹爱思唯尔
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)

按年份列出的出版物

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.68056
Goguen,约瑟夫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.91109
Kyropouou,玛丽亚;苏克逊邦,瓦鲁特;沃杜里斯,亚历山德罗斯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.68034
Bä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.68107
D’安吉丽,丹妮尔;罗达罗,伊曼纽尔;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名

被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)

按年份列出的引文