×

兹马思-数学第一资源

计算机科学讲义

简称: 选择。笔记计算。科学。
出版商: 斯普林格,查姆
ISSN编号: 0302-9743;1611-3349/e
在线: https://rd.springer.com/bookseries/558
评论: 丛书
编制索引的文档: 5720种出版物(自1973年起)
全部的 前5名

最新卷

12941(2021年)
12919(2021年)
12918(2021年)
12911(2021年)
12909(2021年)
12898(2021年)
12885(2021年)
12881(2021年)
12879(2021年)
12872(2021年)
12867(2021年)
12865(2021年)
12864(2021年)
12860(2021年)
12847(2021年)
12846(2021年)
12843(2021年)
12842(2021年)
12841(2021年)
12835(2021年)
12834(2021年)
12833(2021年)
12831(2021年)
12829(2021年)
12828(2021年)
12827(2021年)
12826(2021年)
12825(2021年)
12820(2021年)
12819(2021年)
12813(2021年)
12811(2021年)
12810(2021年)
12808(2021年)
12806(2021年)
12805(2021年)
12804(2021年)
12803(2021年)
12760(2021年)
12759(2021年)
12757(2021年)
12755(2021年)
12750(2021年)
12741(2021年)
12740(2021年)
12735(2021年)
12734(2021年)
12733(2021年)
12730(2021年)
12727(2021年)
12726(2021年)
12719(2021年)
12715(2021年)
12711(2021年)
12710(2021年)
12708(2021年)
12707(2021年)
12704(2021年)
12701(2021年)
12699(2021年)
12698(2021年)
12697(2021年)
12696(2021年)
12692(2021年)
12687(2021年)
12679(2021年)
12678(2021年)
12676(2021年)
12669(2021年)
12654(2021年)
12652(2021年)
12651(2021年)
12650(2021年)
12649(2021年)
12648(2021年)
12640(2021年)
12638(2021年)
12635(2021年)
12620(2021年)
12612(2021年)
12607(2021年)
12601(2021年)
12599(2021年)
12597(2021年)
12593(2021年)
12590(2020年)
12586(2020年)
12583(2020年)
12579(2020年)
12578(2020年)
12577(2020年)
12569(2020年)
12564(2020年)
12563(2020年)
12561(2021年)
12552(2020年)
12551(2020年)
12550(2020年)
12546(2020年)
12545(2020年)
…还有5617卷
全部的 前5名

作者/编辑

69 罗森伯格,格尔茨戈尔茨
55 唐加拉,杰克J。
53 加夫里洛娃,玛丽娜L。
50 谭志珍肯尼斯
37 勇,摩蒂
35 斯考伦,安德烈
33 格瓦西,奥斯瓦尔多
32 马丁维德,卡洛斯
29 斯洛特,彼得文学硕士。
28 黄,德双
27 萨洛马,库斯塔
26 塔尼亚尔,大卫
26 安德烈·沃龙科夫
25 彼得斯,詹姆斯·弗朗西斯三世
25 瓦涅夫斯基,杰瑞
25 祖拉达,雅克·M。
23 埃里格,哈特穆特
23 詹森,克劳斯
23 拉特科夫斯基,莱泽克
23 塔德乌西维茨,里扎德
21 阮成恩
21 周建英
20 罗利姆,何塞·德普。
20 谢勒,拉法
20 范阿尔巴达,杰特·迪克
19 杜丁珠
19 Raś,Zbigniew W。
18 科里特科夫斯基,马金
18 Narukawa,Yasuo
18 普里亚米,科拉多
18 斯帕卡皮特拉,斯特凡诺
18 托拉,维森ç
18 扎德,洛菲·阿斯克
17 拉甘娜,安东尼奥
17 蒙,永松
17 莫甘特,贝尼氨基
17 Păun,盖尔赫
17 普雷内尔,巴特
16 德恩,弗兰克
16 库马尔,维平
16 皮尔兹克,约瑟夫P。
16 青,思翰
16 萨克,Jörg-Rüdiger
16 沃罗日佐夫,叶夫根尼诉。
15 林,东岱
15 梅尔,恩斯特W。
15 Ślęzak,多米尼克
15 塔尔海姆,伯恩哈德
15 韦尔兹科夫斯基,罗曼
14 卡鲁德,克里斯蒂安S。
14 德波尔,弗兰克·S。
14 德迪乌,阿德里安·霍里亚
14 尼禄,阿尼尔
14 王国银
14 伍德考克,詹姆斯·C·P。
13 阿普杜汉,伯纳迪O。
13 伯纳多,马可
13 邦桑格,马塞罗·玛丽亚
13 博格,伊贡
13 詹克,克劳斯·彼得
13 库特尼,麦基
13 伊戈尔,波塔波夫
13 维加·罗德里格斯,米格尔A。
13 姚一玉
12 包,凤
12 卡尔梅特,雅克
12 de Roever,威廉·保罗
12 洛佩兹,哈维尔
12 马吉诺夫,斯维托扎尔D。
12 蒙塔纳里,乌戈·G。
12 佩德里茨,威托德
12 佩纳,佩特拉
12 里杰门,文森特
12 维辛,马丁
11 贝维拉克,维托安托尼奥
11 罗伯特·惠杰
11 格拉夫,苏珊娜
11 乔,康铉
11 康拉德卡尔切夫斯基
11 莱特,乔昂
11 利尔科夫,伊万·D。
11 Löwe,Benedikt
11 卢顿,伊芙琳
11 慕伊
11 佐子,和硕
11 肖纳,马克
11 高木、筑地
11 杂耍,谢尔盖
11 杰格曼,托马斯
10 秋山,金
10 巴尼娃,蕾妮塔P。
10 陈立群
10 格特,弗拉基米尔P。
10 格特洛布,乔治
10 伊美,希德基
10 Koepf,沃尔夫拉姆A。
10 Moreno-Díaz,Roberto jun。
10 尼塔杰,阿布德拉赫曼
10 帕拉米德西,卡图西亚
10 波斯亚诺,朱塞佩
…还有7240多个作者

按年份列出的出版物

zbMATH公开赛中包含的引文

1090年出版物有被引用6650时间5884份文件 引用人
通信系统的演算。 Zbl 0452.68027
米尔纳,罗宾
463
1980
伊莎贝尔/霍尔。高阶逻辑的证明助手。 Zbl 0994.68131号
尼普科,托比亚斯;保尔森,劳伦斯·C。;温泽尔,马库斯
318
2002
特雷维德。计算和近似。 Zbl 0825.68144
克洛克斯,顿
208
1994
约束全局优化:算法与应用。 Zbl 0638.90064
帕达洛斯,下午。;罗森,J.B。
177
1987
偏微分方程导论。 Zbl 0917.35001
雷纳德,M。;罗杰斯,R.C。
171
1993
关于Maude的一切——一个高性能的逻辑框架。如何在重写逻辑中指定、编程和验证系统。带光盘。 Zbl 1115.68046
克莱维尔,曼纽尔;杜兰,弗朗西斯科;埃克,史蒂文;林肯,帕特里克;玛蒂奥利特,纳西索;梅斯盖尔,何塞;塔尔科特,卡罗琳
143
2007
矩阵特征系统程序-EISPACK指南。第二版。 Zbl 0325.65016
史密斯,B.T。;博伊尔,J.M。;东加拉,J.J。;加宝,B.S。;伊克比,Y。;克莱玛,V.C。;莫勒,C.B。
131
1976
全局优化。 Zbl 0752.90075
特恩,爱莫;齐林斯卡斯,安塔纳斯
128
1989
流密码的稳定性理论。 0794ZB00862
丁,存生;肖国珍;珊薇娟
108
1991
爱丁堡LCF。一种机械化的计算逻辑。 Zbl 0421.68039
戈登,迈克尔J。;米尔纳,亚瑟J。;华兹华斯,克里斯托弗P。
107
1979
自动微分:技术与应用。 Zbl 0473.68025
拉尔,路易B。
102
1981
自动机、逻辑学和无限对策。当前研究的指南。 Zbl 1011.00037号
格里德,埃里希(编辑);托马斯,沃尔夫冈(编辑);威尔克,托马斯(编辑)
102
2002
伊莎贝尔。一般定理证明者。 Zbl 0825.68059
保尔森,劳伦斯·C。
96
1994
并行系统验证的偏序方法。国家爆炸问题的探讨。 Zbl 1293.68005
哥德弗洛德,帕特里斯
95
1996
公理和外壳。 Zbl 0777.68012
克努特,D.E。
90
1992
一阶动态逻辑。 Zbl 0403.03024
哈雷尔,大卫
90
1979
约束全局优化算法的测试问题集合。 Zbl 0718.90054
弗洛达斯,克里斯托杜洛斯A。;帕达洛斯,帕诺斯·M。
89
1990
具体和抽象的沃罗诺图。 Zbl 0699.68005
克莱恩,罗尔夫
72
1989
矩阵特征系统程序。EISPACK指南扩展。 Zbl 0368.65020
加宝,B.S。;博伊尔,J.M。;东加拉,J.J。;莫勒,C.B。
69
1977
轨迹上的组合数学。 Zbl 0717.68002
迪克特,沃尔克
66
1990
超边缘替换:语法和语言。 Zbl 0787.68066
哈贝尔,安妮格雷特
66
1992
在线算法。最先进的技术。 Zbl 1177.68009
菲亚特,阿莫斯(编辑);天哪,杰哈德J。(编辑)
63
1998
动态数据结构的设计。 Zbl 0545.68009
火星上空,马克H。
59
1983
交互式马尔可夫链。以及对量化质量的追求。 Zbl 1012.68142
赫尔曼,霍尔格
55
2002
多目标优化。互动和进化方法。 Zbl 1147.68304
Jürgen布兰克(编辑);黛布,卡利亚莫伊(编辑);米提宁,凯萨(编辑);Słowinçski,罗马人(编辑)
53
2008
信息结构的逻辑。 Zbl 0788.03001
万海欣
46
1993
绘制图表。方法和模型。 Zbl 0977.68644
考夫曼,迈克尔(编辑);瓦格纳,多萝西娅(编辑)
45
2001
如何更快地乘法矩阵。 Zbl 0548.65022
潘,维克托
43
1984
矩阵特征系统程序-EISPACK指南。 Zbl 0289.65017
史密斯,B.T。;博伊尔,J.M。;加宝,B.S。;伊克比,Y。;克莱玛,V.C。;莫勒,C.B。
43
1974
用方程描述的系统进行计算。 Zbl 0421.68038
奥唐纳,迈克尔J。
40
1977
程序结构理论:方案,语义,验证。 Zbl 0345.68002
格雷巴赫,希拉A。
39
1975
Petri网的模构造与偏序语义。 Zbl 1293.68015
沃格勒,沃尔特
37
1992
过滤、分割和深度。 Zbl 0801.68171
尼茨伯格,马克;芒福德,大卫;Shiota,Takahiro
35
1993
旅行推销员。RSP应用的计算解决方案。 Zbl 0825.90720
雷奈尔,格哈德
35
1994
概率归纳逻辑程序设计。理论与应用。 Zbl 1132.68007
德雷特,卢克(编辑);弗拉斯科尼,保罗(编辑);克尔斯汀,克里斯汀(编辑);麻瓜顿,斯蒂芬(编辑)
34
2008
凹腔加工的计算几何。 Zbl 0755.68136
好了,马丁
33
1991
具有次对数空间的图灵机。 Zbl 0998.68062
塞皮耶托夫斯基,安德泽吉
33
1994
代数语义学。 Zbl 0474.68010
猜猜,艾琳
32
1981
非单调推理中的条件句与信念修正。把条件句当作代理。 Zbl 0978.03014
克恩·伊斯伯纳,加布里埃尔
32
2001
线性互补问题内点算法的统一方法。 Zbl 0766.90077
小岛,Masakazu(编辑);梅吉多,尼姆罗德(编辑);Noma,Toshihito(编辑);秋子吉时(编辑)
30
1991
群论算法与图同构。 Zbl 0487.68055
霍夫曼,克里斯托夫M。
30
1982
膜计算。2009年8月24日至27日,罗马尼亚科蒂亚·德阿吉斯,WMC 2009年第10次国际研讨会。修改精选和邀请论文。 Zbl 1179.68004号
Păun,盖尔赫(编辑);Pérez Jiménez,马里奥J。(编辑);利斯科-努涅斯,阿古斯丁(编辑);罗森伯格,格尔茨戈尔茨(编辑);萨洛马,阿托(编辑)
30
2010
语法与L形:导论。 Zbl 0521.68085
德里克,伍德
29
1980
混合表示系统中的推理与修正。 Zbl 0702.68095
内贝尔,伯恩哈德
28
1990
归纳逻辑程序设计基础。 Zbl 1293.68014
陈宁惠,单惠;德沃尔夫,罗纳德
28
1997
计算心脏病学。解剖学、电生理学和力学建模。 Zbl 1051.92025
萨克斯,弗兰克B。
28
2004
置换群的基本算法。 Zbl 0785.20001
管家,格雷戈里
27
1991
计算机编程逻辑的公理化。 Zbl 0474.68045
戈德布拉特,罗伯特
27
1982
具有术语声明的有序排序逻辑的计算方面。 Zbl 0689.68001
施密特·施劳斯,曼弗雷德
26
1989
CASL参考手册。通用代数规范语言的完整文档。 Zbl 1046.68001号
莫斯,彼得D。(编辑)
26
2004
网络微积分。因特网上确定性排队系统的理论。 Zbl 0974.90003号
Le Boudec,让·伊夫;蒂安,帕特里克
26
2001
网络分析。方法论基础。 Zbl 1069.68001
布兰德斯,乌尔里克(编辑);埃利巴赫,托马斯(编辑)
25
2005
范畴语法的逻辑。自然语言语法和语义的演绎说明。 Zbl 1261.03001
模拟,理查德;反驳,克里斯蒂安
22
2012
时间逻辑。第1次国际会议,1994年7月11日至14日,德国波恩。诉讼程序。 Zbl 0875.03007
加贝,多夫·M。(编辑);奥巴赫,汉斯J。(编辑)
21
1994
用于约束求解和编程的半环。 Zbl 1054.68136
比斯塔雷利,斯特凡诺
21
2004
CCS和TCSP程序的自动机和Petri网有限表示。 Zbl 0684.68011
陶布纳,德克
20
1989
属性语法。定义、系统和书目。 中保0647.68073
德兰萨特,皮埃尔;乔丹,马丁;洛霍,伯纳德
20
1988
Petri网讲座。1: 基本模型。Petri网研究进展。 Zbl 0903.00072
莱希格,沃尔夫冈(编辑);罗森伯格,格尔茨戈尔茨(编辑)
20
1998
列出纠错码的解码。2002年ACM博士论文大赛获奖论文。 Zbl 1075.94001号
古鲁斯瓦米,文卡泰桑
19
2004
协同多准则群决策支持系统。 津保0677.68124
布,东X。
18
1987
离散时间尺度的排队网络。离散随机网络稳态行为的显式表达式。 Zbl 0988.60094
达杜纳,汉斯
18
2001
基于模型的反应系统测试。高级讲座。 Zbl 1070.68088
兄弟,曼弗雷德(编辑);强森,本特(编辑);卡托恩,乔斯特·皮尔特(编辑);白克,马丁(编辑);普雷施纳,亚历山大(编辑)
18
2005
知识系统中不确定性的一种方法。 Zbl 0705.68097
库尔特魏氏伯格;Pöhlmann,西格丽德
17
1990
形式概念分析。基础和应用。 Zbl 1087.68003
甘特,伯恩哈德(编辑);斯图姆,格尔德(编辑);威尔,鲁道夫(编辑)
16
2005
程序结构的内涵理论。 Zbl 0625.68018
罗耶,詹姆斯S。
16
1987
方程逻辑和三次曲线的自动推导。 Zbl 0921.03011
麦库恩,威廉;帕德马纳汉,R。
16
1996
关于双线性问题复杂性的讲座。 浙宝0609.68032
德格罗特,H.F。
16
1987
CASL用户手册。介绍如何使用通用代数规范语言。有蒂尔·莫萨科夫斯基、唐纳德·桑内拉和安德烈·塔莱斯基的章节。带光盘。 Zbl 1033.68025
比多伊特,米歇尔;莫斯,彼得D。
16
2004
性能测试。当前的研究和调查。 Zbl 1197.68012
戈德里奇,奥德(编辑)
16
2010
面向对象程序的模块化规范和验证。 Zbl 0998.68034
米勒,彼得
15
2002
方程逻辑程序设计基础。 Zbl 0688.68004
霍尔多布勒,斯特芬
15
1989
图文法及其在计算机科学中的应用。第三届国际研讨会,沃伦顿,弗吉尼亚,美国,1986年12月2日至6日。 Zbl 0636.00013
艾希里,H。(编辑);纳格,M。(编辑);罗森伯格,G。(编辑);罗森菲尔德,A。(编辑)
14
1987
削减制度。 Zbl 0636.68027
本宁霍芬,B。;肯梅里奇,S。;里克特,医学硕士。
14
1987
稀疏矩阵的直接方法。 Zbl 0516.65011
奥斯特比,奥立;兹拉特夫,扎哈里
14
1983
混合动力系统。 Zbl 0825.00044
格罗斯曼,罗伯特L。(编辑);尼禄,阿尼尔(编辑);拉文,安德斯P。(编辑);Rischel,汉斯(编辑)
14
1993
射线拍摄,深度命令和隐藏面移除。 Zbl 0787.68098
德伯格,马克
14
1993
决策问题的求解方法。 Zbl 0789.03013
费姆米勒,C。(编辑);莱茨,A。(编辑);Tammet,Tanel(编辑);扎莫夫,扎莫夫(编辑)
14
1993
迹理论与超大规模集成电路设计。 Zbl 0616.68001
van de Snepscheut,一月洛杉矶。
14
1985
关联规则挖掘。模型和算法。 Zbl 0998.68047
张成奇;张世超
14
2002
组合性、并发性和部分正确性。过程网络及其关系的证明理论。 Zbl 0674.68011
Zwiers,约伯
13
1989
关系数据库中的不完全信息问题。 Zbl 0779.68023
格雷恩,戈斯塔
13
1991
GAG:一个实用的编译器生成器。 Zbl 0492.68004
威斯康星州卡斯滕斯;赫特,布里吉特;齐默尔曼,埃里希
13
1982
25年的模型检查。历史、成就、观点。 Zbl 1139.68003
格鲁伯格,奥娜(编辑);维思,赫尔穆特(编辑)
13
2008
技术诊断中的时间分布症状。 Zbl 0786.68088
诺克尔,克劳斯
12
1991
复杂性和结构。 Zbl 0589.03022
休宁,乌韦
12
1986
上下文无关语法:覆盖、规范形式和解析。 Zbl 0477.68077
尼霍尔特,安东
12
1980
用时态逻辑指定消息传递和时间关键型系统。 Zbl 0806.68074
科曼,罗恩
12
1992
高级计算机系统的数值积分。 Zbl 0825.65012
克罗默,阿诺德R。;尤伯胡伯,克里斯托夫W。
12
1994
分布式算法。第八届国际研讨会,WDAG 1994,荷兰特谢林,1994年9月29日至10月1日。诉讼程序。 Zbl 0803.00026
电话,杰拉德(编辑);维塔尼,保罗(编辑)
12
1994
正确的推理。以逻辑为基础的人工智能论文,以纪念弗拉基米尔·利夫斯基茨。 Zbl 1241.68016
厄尔登,埃斯拉(编辑);李,卓容(编辑);利勒,尤利娅(编辑);皮尔斯,大卫(编辑)
12
2012
PROLOG中的否定与控制。 Zbl 0602.68006
奈什,李
12
1986
简单的程序方案和形式语言。 中银0288.68030
恩格尔弗里特,乔斯特
12
1974
帕斯卡。用户手册和报告。 中银0288.68043
詹森,凯瑟琳;沃思,尼古拉斯
12
1974
新的流密码设计。eSTREAM决赛。 Zbl 1259.94006
罗伯肖,马修(编辑);钢坯,奥利弗(编辑)
11
2008
实时系统的规范和组成验证。 Zbl 1293.68009
乔曼,泽夫
11
1991
局部搜索的整数优化。独立于领域的方法。 Zbl 0934.90053
沃瑟,约阿希姆·保罗
11
1999
逻辑程序设计与非单调推理。2007年5月15日至17日,美国亚利桑那州坦佩市,LPNMR 2007第九届国际会议。诉讼程序。 Zbl 1119.68003
巴拉尔,奇塔(编辑);布雷卡,格哈德(编辑);施利普,约翰(编辑)
11
2007
约束的复杂性。当前研究主题概述。 Zbl 1154.68008
克里诺,娜迪亚(编辑);科莱蒂斯,Phokion G。(编辑);沃尔默,赫尔贝特(编辑)
11
2008
逻辑程序设计与非单调推理。第11届国际会议,LPNMR 2011,加拿大温哥华,2011年5月16-19日。诉讼程序。 Zbl 1214.68009
德格兰德,詹姆斯P。(编辑);费伯,沃尔夫冈(编辑)
11
2011
世界上的十七个证明人。Dana S.Scott的前言。。 邮编:1084.68119
维迪迪克,弗里克(编辑)
10
2005
动态逻辑。新趋势和应用。第二届国际研讨会,2019年达利,葡萄牙波尔图,2019年10月7日至11日。诉讼程序。 Zbl 1430.03006号
苏亚雷斯巴博萨;巴尔塔格,亚历山德罗
1
2020
图形变换。第13届国际会议,ICGT 2020,作为STAF2020的一部分举行,挪威卑尔根,2020年6月25-26日。诉讼程序。 Zbl 07290429
加杜奇,法比奥;基勒,蒂莫
1
2020
逻辑程序设计与非单调推理。第15届国际会议,LPNMR 2019,美国宾夕法尼亚州费城,2019年6月3日至7日。诉讼程序。 Zbl 1410.68009
巴尔杜奇尼,马塞洛;利勒,尤利娅;沃尔特兰,斯特凡
4
2019
用于系统构造和分析的工具和算法。25年的TACAS:TOOLympics,作为2019年ETAPS的一部分举行,捷克共和国布拉格,2019年4月6日至11日。诉讼程序。第三部分。 Zbl 1408.68008
拜尔,德克;豪氏威马,玛丽克;科顿,法布里斯;斯特芬,伯恩哈德
2019
描述逻辑,理论结合,等等。在弗兰兹·巴德60岁生日之际献给他的文章。 Zbl 1428.68036
卢茨,卡斯滕;乌里达州萨特勒;蒂内利,塞萨尔;图尔汗,安尼·亚斯明;沃尔特,弗兰克
1
2019
数学形态学及其在信号和图像处理中的应用。第14届国际研讨会,ISMM 2019,德国萨尔布吕肯,2019年7月8日至10日。诉讼程序。 Zbl 1428.68009
伯格思,伯恩哈德;克莱菲尔德,安德烈亚斯;纳格尔,贝诺;帕萨特,尼古拉斯;本杰明佩雷特
1
2019
图转换、规范和网络。为了纪念哈特穆特·艾里格。 Zbl 1383.68006
海克尔,灵子;加布里埃尔,泰泽
1
2018
后量子密码术。2018年第9届国际会议,PQCrypto,佛罗里达州劳德代尔堡,美国,2018年4月9日至11日。诉讼程序。 Zbl 1387.94005
兰格,塔尼娅;斯坦万特,雷纳
1
2018
验证过的软件。理论、工具和实验。2018年7月18日至19日,英国牛津,2018年VSTTE第十届国际会议。修订精选论文。 Zbl 1400.68034
皮斯卡,鲁齐卡;吕默,菲利普
1
2018
图解表示和推理。第十届国际会议,2018年6月18日至22日,英国爱丁堡。诉讼程序。 Zbl 1387.68019号
查普曼,彼得;斯台普顿,杰姆;莫克特菲,阿米鲁切;佩雷斯·克里兹,莎拉;贝鲁奇,弗朗西斯科
1
2018
基于逻辑的程序综合与转换。第27届国际研讨会,2017年10月10日至12日,比利时纳穆尔。修订精选论文。 Zbl 1392.68017号
费奥拉万蒂,法比奥;加拉赫,约翰P。
1
2018
满意度测试的理论与应用——2018年SAT。第21届国际会议,2018年7月9日至12日,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月9日至12日。诉讼程序。 Zbl 1390.68015
拜尔斯多夫,奥拉夫;温特施泰格,克里斯托夫M。
1
2018
交互式定理证明。第九届国际会议,2018年ITP,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月9日至12日。诉讼程序。 Zbl 1391.68001
阿维加德,杰里米;马布比,阿西娅
1
2018
计算机辅助验证。第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月14-17日。诉讼程序。第二部分。 Zbl 1391.68002号
乔克勒,哈娜;魏森巴赫,乔治
1
2018
计算机辅助验证。第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月14-17日。诉讼程序。第一部分。 Zbl 1391.68003号
乔克勒,哈娜;魏森巴赫,乔治
1
2018
网络安全与加密。第11届国际会议,SCN 2018,意大利阿马尔菲,2018年9月5日至7日。诉讼程序。 Zbl 1397.94004号
加泰罗尼亚,达里奥;德普里斯科,罗伯托
1
2018
字符串处理和信息检索。第25届国际研讨会,2018年10月9日至11日,秘鲁利马,SPIRE 2018。诉讼程序。 兹布1398.68028
加吉,特拉维斯;莫法特,阿利斯泰尔;纳瓦罗,冈萨罗;库德罗斯·瓦尔加斯,欧内斯托
1
2018
重写逻辑及其应用。2018年6月14日至15日,希腊塞萨洛尼基,2018年6月14日至15日,作为ETAPS的卫星活动,WRLA 2018年。诉讼程序。 Zbl 1398.68038号
拉苏,弗拉德
1
2018
下界与高海拔之间的冒险。在尤拉杰·赫罗姆科维奇60岁生日之际为他写的文章。 Zbl 1398.68015号
Böckenhauer,汉斯·约阿希姆;康姆,丹尼斯;恩格尔,沃尔特
1
2018
动态逻辑。新趋势和应用。2017年9月23日至24日,巴西巴西利亚,达利2017年第一次国际研讨会。诉讼程序。 Zbl 1383.03006号
马德拉,亚历山德拉;贝尼维德斯,Mário
1
2018
逻辑程序设计与非单调推理。第14届国际会议,LPNMR 2017,芬兰埃斯波,2017年7月3日至6日。诉讼程序。 Zbl 1367.68005
巴尔杜奇尼,马塞洛;简胡南,托米
2
2017
粗糙集。国际联席会议,2017年IJCRS,波兰奥尔斯泰恩,2017年7月3日至7日。诉讼程序。第二部分。 Zbl 1367.68012
波尔科夫斯基,莱赫;姚一玉;阿蒂姆杰,皮奥特;达维德,奇奇;刘,敦;Ślęzak,多米尼克;齐洛斯科,比塔
2
2017
自动扣除——CADE 26。第26届自动扣减国际会议,瑞典哥德堡,2017年8月6日至11日。诉讼程序。 Zbl 1369.68037
德穆拉,莱昂纳多
2
2017
加密硬件和嵌入式系统——CHES 2017。第19届国际会议,台湾台北,2017年9月25-28日。诉讼程序。 兹布1371.68007
费舍尔,威兰;霍玛,娜芙米
2
2017
逻辑及其应用。第七届印度会议,2017年ICLA,印度坎普尔,2017年1月5日至7日。诉讼程序。 Zbl 1416.03005
Ghosh,Sujata;普拉萨德,桑吉瓦
1
2017
理论计算机科学专题。第二届IFIP工作组1.8国际会议,2017年9月12日至14日,伊朗德黑兰。诉讼程序。 Zbl 1373.68021
穆萨维,穆罕默德·雷扎;斯考尔,吉
1
2017
自动机的实现与应用。第22届国际会议,2017年6月27日至30日,法国马恩·拉瓦莱。诉讼程序。 Zbl 1365.68007号
Carayol,阿诺;尼考德,西里尔
1
2017
图形变换。2017年7月18日至19日,德国马尔堡,2017年第10届国际会议,ICGT,作为2017年STAF的一部分举行。诉讼程序。 Zbl 1367.68013号
德拉,胡安;丰满,德特勒夫
1
2017
几何信息科学。2017年第三届国际会议,2017年11月7日至9日,法国巴黎。诉讼程序。 Zbl 1374.94006
尼尔森,弗兰克;Barbaresco,弗里德里克
1
2017
《密码学进展》——ASIACRYPT 2017。第23届国际密码学与信息安全理论与应用会议,中国香港,2017年12月3日至7日。诉讼程序。第三部分。 Zbl 1380.94008
高木、筑地;佩林,托马斯
1
2017
软件科学和计算结构基础。第20届国际会议,FOSACS 2017,作为欧洲软件理论与实践联合会议的一部分举行,2017年4月22日至29日,瑞典乌普萨拉,2017年ETAPS。诉讼程序。 Zbl 1360.68010
埃斯帕扎,哈维尔;Murawski和Andrzej S。
1
2017
可计算性和复杂性。在罗德尼·G·唐尼60岁生日之际献给他的散文。 Zbl 1352.03004号
白天,亚当;伙计们,迈克尔;格林伯格,诺姆;巴卡因托夫;梅尔尼科夫,亚历山大;罗莎蒙德,弗朗西斯
1
2017
满意度测试的理论与应用——2017年SAT。第20届国际会议,澳大利亚维多利亚州墨尔本,2017年8月28日至9月1日。诉讼程序。 Zbl 1368.68008
气喘吁吁的,谢尔盖;沃尔什,托比
1
2017
静态分析。第24届国际研讨会,SAS 2017,美国纽约,2017年8月30日至9月1日。诉讼程序。 Zbl 1369.68036
兰扎托,弗朗西斯科
1
2017
可达性问题。第11届国际研讨会,RP 2017,英国伦敦,2017年9月7日至9日。诉讼程序。 Zbl 1371.68009
黑格,马修;伊戈尔,波塔波夫
1
2017
计算理论基础。第21届国际研讨会,FCT 2017,法国波尔多,2017年9月11日至13日。诉讼程序。 Zbl 1369.68029号
克拉辛,拉尔夫;泽顿,马克
1
2017
密码学进展——欧洲密码2016。第35届国际密码技术理论与应用年会,奥地利维也纳,2016年5月8日至12日。诉讼程序。第一部分。 Zbl 1339.94004号
费什林,马克;科隆,让-塞巴斯蒂安
2016
密码学进展——欧洲密码2016。第35届国际密码技术理论与应用年会,奥地利维也纳,2016年5月8日至12日。诉讼程序。第二部分。 Zbl 1337.94002号
费什林,马克;科隆,让-塞巴斯蒂安
2
2016
组合优化。第四届国际研讨会,ISCO 2016,意大利南马雷Vietri,2016年5月16-18日。修订精选论文。 Zbl 1346.90004号
塞鲁利,拉斐尔;佐藤町;你好,A.里达
2
2016
密码学进展-密码2016。第36届国际密码学年会,加利福尼亚州圣巴巴拉,美国,2016年8月14-18日。诉讼程序。第二部分。 Zbl 1344.94002号
罗伯肖,马修;卡茨,乔纳森
2
2016
自动机理论中的描述集合论方法。可判定性和拓扑复杂性。 Zbl 1375.03003号
斯克日普扎克,米查
2
2016
后量子密码术。第七届国际研讨会,PQCrypto 2016,日本福冈,2016年2月24-26日。诉讼程序。 Zbl 1331.94007号
高木、筑地
1
2016
功能和逻辑编程。第13届国际研讨会,FLOPS 2016,日本高知,2016年3月4日至6日。诉讼程序。 Zbl 1331.68016
基塞尔约夫,奥列格;国王,安迪
1
2016
分布式对象、组件和系统的形式化技术。第36届IFIP工作组6.1国际会议,FORTE 2016,作为第11届国际分布式计算技术联合会议的一部分举行,DisCoTec 2016,Heraklion,Crete,希腊,2016年6月6日至9日。诉讼程序。 Zbl 1339.68004号
艾伯特,艾薇拉;Lanese,Ivan
1
2016
可达性问题。第十届国际研讨会,RP 2016,丹麦奥尔堡,2016年9月19-21日。诉讼程序。 Zbl 1371.68012
拉森,金·古德斯兰德;伊戈尔,波塔波夫;斯尔巴,吉
1
2016
自动验证和分析技术。第14届国际研讨会,ATVA 2016,日本千叶,2016年10月17-20日。诉讼程序。 Zbl 1346.68003
阿尔索,西里尔;勒盖,阿克塞尔;贝利,多伦
1
2016
满意度测试的理论与应用——2016年SAT。2016年7月8日,法国波尔多国际会议。诉讼程序。 Zbl 1337.68009
克里诺,娜迪亚;丹尼尔,勒贝尔
1
2016
智能计算机数学。第九届国际会议,2016年7月25日至29日,波兰比亚里斯托克,CICM 2016。诉讼程序。 Zbl 1342.68025
科哈塞,迈克尔;美国农业部约翰逊;米勒,布鲁斯;德穆拉,莱昂纳多;汤帕,弗兰克
1
2016
密码学进展-密码2016。第36届国际密码学年会,加利福尼亚州圣巴巴拉,美国,2016年8月14-18日。诉讼程序。第一部分。 Zbl 1344.94001号
罗伯肖,马修;卡茨,乔纳森
1
2016
加密硬件和嵌入式系统——CHES 2016。第18届国际会议,加利福尼亚州圣巴巴拉,美国,2016年8月17日至19日。诉讼程序。 Zbl 1343.68009
吉利希,本尼迪克;波希曼,阿克塞尔Y。
1
2016
交互式定理证明。第七届国际会议,ITP 2016,法国南希,2016年8月22-25日。诉讼程序。 Zbl 1343.68004
布兰切特,贾斯敏·克里斯蒂安;默兹,斯蒂芬
1
2016
组合优化及其应用。2016年第十届可可国际会议,中国香港,2016年12月16-18日。诉讼程序。 Zbl 1377.68004号
陈,T-H.休伯特;李敏明;王鲁生
1
2016
图形绘制与网络可视化。第24届国际研讨会,GD 2016,希腊雅典,2016年9月19-21日。修订精选论文。 Zbl 1352.68012
胡一凡;Nöllenburg,马丁
1
2016
科学计算、计算机算术和有效数字。2014年9月21日至26日,德国乌尔茨堡,2014年SCAN第16届国际研讨会。修订精选论文。 Zbl 1334.65002
尼梅尔,马可;沃尔夫·冯·古登堡,Jürgen;塔克,沃里克
1
2016
用于系统构造和分析的工具和算法。第22届国际会议,2016年TACAS,作为欧洲软件理论与实践联合会议的一部分,2016年4月2日至8日,荷兰埃因霍温,ETAPS 2016。诉讼程序。 Zbl 1360.68008
切奇,玛莎;拉斯金,让·弗朗索瓦
1
2016
Web服务、形式化方法和行为类型。第11届国际研讨会,WS-FM 2014,荷兰埃因霍温,2014年9月11日至12日,第12届国际研讨会,WS-FM/BEAT 2015,西班牙马德里,2015年9月4日至5日。修订精选论文。 Zbl 1334.68017号
希尔德布兰特,托马斯;安托尼奥,拉瓦拉;范德沃夫,简·马尔蒂恩;魏德利希,马提亚斯
1
2016
密码学理论。第12届密码理论会议,TCC 2015,波兰华沙,2015年3月23日至25日。诉讼,第二部分。 Zbl 1312.94004号
多迪斯,叶甫盖尼;尼尔森,Jesper Buus
5
2015
密码学进展-密码2015。第35届年度密码学会议,加利福尼亚州圣巴巴拉,美国,2015年8月16-20日。诉讼程序。第二部分。 Zbl 1319.94003
根纳罗,罗萨里奥;罗伯肖,马修
5
2015
密码学进展-2015年。第34届密码技术理论与应用国际年会,保加利亚索非亚,2015年4月26日至30日。诉讼程序。第二部分。 Zbl 1321.94011
奥斯瓦尔德,伊丽莎白;费什林,马克
4
2015
加密硬件和嵌入式系统——CHES 2015。第17届国际研讨会,法国圣马洛,2015年9月13-16日。诉讼程序。 Zbl 1343.68011
葛尼苏,蒂姆;汉斯丘,海伦娜
4
2015
战略推理模型。逻辑、游戏和社区。 Zbl 1327.91003号
范本瑟姆,约翰;Ghosh,Sujata;维布鲁格,里内克
2015
密码学进展——欧洲密码2015。第34届密码技术理论与应用国际年会,保加利亚索非亚,2015年4月26日至30日。诉讼程序。第一部分。 Zbl 1321.94010号
奥斯瓦尔德,伊丽莎白;费什林,马克
2015
逻辑程序设计与非单调推理。2015年9月27日至30日,美国肯塔基州列克星敦,LPNMR 2015第13届国际会议。诉讼程序。 Zbl 1320.68014
卡利梅里,弗朗西斯科;伊安尼,乔瓦姆巴蒂斯塔;米罗斯拉夫特鲁兹钦斯基
2015
密码学进展-密码2015。第35届年度密码学会议,加利福尼亚州圣巴巴拉,美国,2015年8月16-20日。诉讼程序。第一部分。 Zbl 1319.94002
根纳罗,罗萨里奥;罗伯肖,马修
2015
智能计算机数学。2015年国际会议,2015年国际会议,华盛顿特区,美国,2015年7月13-17日,会议记录。 Zbl 1316.68015
克伯,曼弗雷德;卡莱特,雅克;卡利斯齐克,塞扎里;拉贝,弗洛里安;索尔格,沃尔克
2
2015
几何信息科学。2015年第二届国际会议,2015年10月28日至30日,法国帕莱索。诉讼程序。 Zbl 1334.94028号
尼尔森,弗兰克;Barbaresco,弗里德里克
2
2015
非常规计算和自然计算。2015年8月30日至9月3日,新西兰奥克兰,UCNC 2015年第14届国际会议。诉讼程序。 Zbl 1318.68012
卡鲁德,S。;迪宁,J。
2
2015
用于系统构造和分析的工具和算法。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,2015年4月11日至18日。诉讼程序。 Zbl 1360.68006
拜尔,克里斯特尔;蒂内利,塞萨尔
2
2015
快速软件加密。第22届国际研讨会,FSE 2015,土耳其伊斯坦布尔,2015年3月8日至11日。修订精选论文。 Zbl 1318.68029
利安德,格雷戈
2
2015
逻辑、重写和并发。在何塞·梅斯盖尔65岁生日之际献给他的散文。 Zbl 1319.68011
玛蒂奥利特,纳西索;厄尔维茨基,Csaba;塔尔科特,卡罗琳
2
2015
自动推理分析表及相关方法。第24届国际会议,2015年9月21日至24日,波兰Wrocław。诉讼程序。 680165.ZB15
德尼维尔,汉斯
2
2015
知识表示、逻辑程序设计和抽象论证的进展。在格哈德·布雷卡60岁生日之际献给他的文章。 Zbl 1303.68014
艾特,托马斯;斯特拉斯,汉斯;特鲁兹钦斯基,米洛斯ław;沃尔特兰,斯特凡
2
2015
程序构造数学。2015年6月29日至7月1日,德国Königswinter,MPC 2015第12届国际会议。诉讼程序。 Zbl 1312.68008
辛兹,拉尔夫;沃伊格特兰州,贾尼斯
1
2015
进化的可计算性。第11届欧洲可计算性会议,2015年CiE,罗马尼亚布加勒斯特,2015年6月29日至7月3日。诉讼程序。 Zbl 1314.68011
贝克曼,阿诺德;米特拉那,维克多;索斯科娃,玛丽娅
1
2015
密码学的进展——ASIACRYPT 2015。第21届国际密码学与信息安全理论与应用会议,奥克兰,新西兰,2015年11月29日至12月3日。诉讼程序。第二部分。 Zbl 1327.94002号
岩田、河津;川,俊熙
1
2015
代数发展技术的最新趋势。2014年9月4日至7日,罗马尼亚锡纳亚,瓦特2014年第22届国际研讨会。修订精选论文。 Zbl 1327.68013号
代码库,米海;迪亚科内斯库,Răzvan;Ţuţu,Ionuţ
1
2015
计算机科学数学基础2015。2015年第40届国际研讨会,意大利米兰,2015年8月24-28日。诉讼程序。第二部分。 Zbl 1318.68024
意大利,F。;皮吉兹尼,乔瓦尼;桑内拉,T。
1
2015
约束编程原理与实践。第21届国际会议,CP 2015,爱尔兰科克,2015年8月31日至9月4日。诉讼程序。 Zbl 1318.68035
佩桑特,吉尔
1
2015
程序设计语言和系统。第24届欧洲编程研讨会,ESOP 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。诉讼程序。 Zbl 1333.68020
维泰克,简
1
2015
公钥密码–PKC 2015。2015年3月30日至4月1日,美国马里兰州盖瑟斯堡,第18届IACR公钥密码实践与理论国际会议。诉讼程序。 Zbl 1318.94002
卡茨,乔纳森
1
2015
快速软件加密。第21届国际研讨会,英国伦敦,2014年3月3日至5日。修订精选论文。 Zbl 1318.68013
Cid,卡洛斯;雷克伯格,克里斯蒂安
1
2015
进化多准则优化。第八届国际会议,2015年3月29日至4月1日,葡萄牙吉玛雷斯。诉讼程序。第一部分。 Zbl 1318.68017
安托尼奥加斯帕库尼亚;亨格勒·安图内斯,卡洛斯;科埃罗,卡洛斯·科埃罗
1
2015
算法——欧洲账户体系2015。第23届欧洲年会,希腊帕特拉斯,2015年9月14日至16日。诉讼程序。 Zbl 1320.68011
班萨尔,尼基尔;芬诺奇,艾琳
1
2015
正确的系统设计。2015年9月8日至9日,德国奥尔登堡,为恩斯特-Rüdiger Olderog 60岁生日举办的研讨会。诉讼程序。 Zbl 1320.68024
梅罗耶,还有;普拉泽,安德烈;威海,黑克
1
2015
不确定性推理的符号和定量方法。第十三届欧洲会议,2015年7月15日至17日,法国康皮涅,ECSQARU。诉讼程序。 Zbl 1316.68008
德斯特克,塞巴斯蒂安;迪诺,蒂埃里
1
2015
数学形态学及其在信号和图像处理中的应用。第12届国际研讨会,ISMM 2015,冰岛雷克雅未克,2015年5月27-29日。诉讼程序。 Zbl 1316.68004
本尼迪克松,Jón Atli;查努索,乔斯林;纳吉曼,劳伦特;塔尔伯特,胡格
1
2015
密码学理论。第11届密码学理论会议,TCC 2014,加利福尼亚州圣地亚哥,美国,2014年2月24日至26日。诉讼程序。 Zbl 1280.94007
林德尔,耶胡达
5
2014
智能计算机数学。2014年国际会议,CICM 2014,葡萄牙科英布拉,2014年7月7日至11日。诉讼程序。 Zbl 1293.68035
瓦特,斯蒂芬M。;达文波特,詹姆斯H。;塞克斯顿,艾伦P。;索伊卡,彼得;城市,约瑟夫
4
2014
密码学进展——2014年加密。2014年8月17日至21日,美国加利福尼亚州圣巴巴拉,第34届年度密码会议。诉讼,第一部分。 Zbl 1292.94002号
加雷,胡安A。;根纳罗,罗萨里奥
2014
《密码学进展》——2014年《亚洲密码》。第20届国际密码学与资讯安全理论与应用研讨会,台湾高雄,2014年12月7日至11日,会议录,第二部分。 Zbl 1301.94002号
萨卡,帕拉什;岩田、河津
2014
密码学选定领域——SAC 2013。2013年8月14日至16日,加拿大不列颠哥伦比亚省伯纳比举行第20届国际会议。修订精选论文。 Zbl 1321.94008号
兰格,塔尼娅;劳特,克里斯汀;Lisoněk,彼得
2
2014
密码学进展——欧洲密码2014。第33届国际密码技术理论与应用年会,丹麦哥本哈根,2014年5月11日至15日。诉讼程序。 Zbl 1287.94004号
阮,凤Q。;奥斯瓦尔德,伊丽莎白
2
2014
交互式定理证明。第五届国际会议,ITP 2014,作为维也纳逻辑之夏的一部分举行,VSL 2014,维也纳,奥地利,2014年7月14-17日。诉讼程序。 Zbl 1294.68020
克莱恩,格温;甘博亚,鲁本
2
2014
重写并键入lambda结石。联合国际会议,RTA-TLCA 2014,作为维也纳逻辑之夏的一部分举行,VSL 2014,维也纳,奥地利,2014年7月14-17日。诉讼程序。 Zbl 1291.68017号
道克,吉尔
2
2014
密码学进展——2014年加密。2014年8月17日至21日,美国加利福尼亚州圣巴巴拉,第34届年度密码会议。诉讼,第二部分。 Zbl 1292.94001号
加雷,胡安A。;根纳罗,罗萨里奥
2
2014
自动验证和分析技术。第12届国际研讨会,ATVA 2014,澳大利亚新南威尔士州悉尼,2014年11月3日至7日。诉讼程序。 Zbl 1325.68014
卡塞兹,弗兰克;拉斯金,让·弗朗索瓦
2
2014
理论计算机科学。第八届IFIP TC 1/WG 2.2国际会议,2014年TCS,意大利罗马,2014年9月1日至3日。诉讼程序。 Zbl 1295.68021
乔瑟普,迪亚斯;Lanese,Ivan;大卫桑吉奥吉
2
2014
加密硬件和嵌入式系统——CHES 2014。第16届国际研讨会,韩国釜山,2014年9月23日至26日。诉讼程序。 Zbl 1316.68002
巴蒂纳,莱吉拉;罗伯肖,马修
2
2014
重写逻辑及其应用。2014年4月5日至6日,法国格勒诺布尔,作为ETAPS的卫星活动,WRLA 2014第10次国际研讨会。修订精选论文。 Zbl 1318.68016
圣地亚哥埃斯科巴
2
2014
密码学专题——CT-RSA 2014。2014年2月25日至28日,美国加利福尼亚州旧金山市,2014年RSA大会上,密码学家的足迹。诉讼程序。 Zbl 1283.94001号
贝纳罗,乔希
2
2014
…还有151份文件
全部的 前5名

8847位作者引用

43 梅斯盖尔·瓜伊塔,何塞
32 帕达洛斯,帕诺斯·M。
21 尼普科,托比亚斯
20 布兰切特,贾斯敏·克里斯蒂安
20 恩格尔弗里特,乔斯特
19 伯格斯特拉,Jan A。
19 潘,维克多·雅科夫列维奇
18 阿普特,玛里亚
18 本斯穆勒,克里斯托夫·埃瓦尔德
18 保尔森,劳伦斯·查尔斯
18 拉贝,弗洛里安
17 拉森,金·古德斯兰德
17 卢卡斯,萨尔瓦多
17 蒙塔纳里,乌戈·G。
17 罗森伯格,格尔茨戈尔茨
17 沃格勒,沃尔特
16 玛蒂奥利特,纳西索
15 肖布,托尔斯滕H。
14 博德兰德,汉斯L。
14 霍斯特,雷纳
14 Kamide,Norihiro
14 克恩·伊斯伯纳,加布里埃尔
13 拜尔,克里斯特尔
13 库塞尔,布鲁诺
13 莫萨科夫斯基,蒂尔
12 本森,哈罗德P。
12 德雷特,卢克
12 圣地亚哥埃斯科巴
12 基弗特,维利安
12 卢卡努,多雷尔
12 旺辛,海因里希·西奥多
12 伍德,德里克
11 巴德尔,弗兰兹
11 伯恩斯坦,丹尼尔·朱利叶斯
11 德雷维斯,弗兰克
11 赫尔曼,霍尔格
11 安娜,英格尔夫斯多蒂尔
11 科哈塞,迈克尔
11 罗şu,格里戈
11 Rutten,一月J.M.M。
10 贝顿,乔斯·C·M。
10 盆地,大卫A。
10 邦迪,艾伦
10 凯斯,约翰
10 科拉迪尼,安德里亚
10 杜兰,弗朗西斯科
10 法拉希,莫雷诺
10 卡托恩,乔斯特·皮尔特
10 克莱恩,罗尔夫·迪特
10 克洛克斯,顿
10 库特尼,麦基
10 利奥塔,朱塞佩
10 阮文哲
10 波佩斯库,安德烈
10 苏,伊格纳西
10 斯特拉斯,乔治
10 塔尔科特,卡罗琳L。
10 塔勒基,安德烈
10 城市,约瑟夫
10 沃尔特兰,斯特凡
10 伊林斯卡斯,安塔纳斯
9 贝勒,克里斯托夫
9 Ćirić,米罗斯拉夫D。
9 德伯格,马克·西奥多
9 弗洛达斯,克里斯托杜洛斯·阿奇利厄斯
9 加斯汀,保罗
9 卡利斯齐克,塞扎里
9 克拉奇,斯特凡
9 迈耶,约翰·朱尔斯·查尔斯
9 尼德雷特,哈拉尔德
9 珀尔蒂埃,尼古拉斯
9 里古兹,法布里齐奥
9 萨洛马,库斯塔
9 唐纳德,桑内拉。
9 席尔瓦,亚历山德拉
9 蒂曼,勒内
9 Thilikos,Dimitrios M。
8 巴利斯,黛米斯
8 Böhme,萨沙
8 布里哈伊,托马斯
8 德尼古拉,洛克
8 艾特,托马斯
8 古特曼,沃尔特
8 轩尼诗,马修·C·B。
8 伊格雅托维奇,耶琳娜
8 特穆尔库兹亚
8 洛克什塔诺夫,丹尼尔
8 帕帕多普卢,埃文蒂亚
8 拉斯金,让·弗朗索瓦
8 里斯科,阿德里安
8 拉苏,弗拉德
8 索拉布,萨基特
8 斯坦达特,弗朗索瓦·泽维尔
8 阿尔伯托威尔德乔
8 韦雷德特,雷蒙德
8 万科、伊贡
8 伍德考克,詹姆斯·C·P。
7 醋酸,卢卡
7 艾克霍尔泽,奥斯温
7 阿鲁索艾,安德烈
…还有8747位作者
全部的 前5名

被543种期刊引用

504 理论计算机科学
160 自动推理杂志
154 信息与计算
119 计算的形式化方面
118 信息处理信函
115 全球最优化杂志
111 信息学报
101 逻辑程序设计理论与实践
98 计算机与系统科学杂志
95 人工智能
87 算法
74 程序设计中的逻辑和代数方法杂志
69 离散应用数学
64 符号计算杂志
61 欧洲运筹学杂志
58 应用数学与计算
56 系统设计中的形式化方法
53 计算与应用数学杂志
48 数学与人工智能年鉴
43 信息科学
40 计算机与数学及其应用
39 运筹学年鉴
38 应用非经典逻辑杂志
36 计算几何
34 逻辑研究
33 计算
33 密码学杂志
33 计算系统理论
32 逻辑与代数程序设计杂志
31 计算数学
31 最优化理论与应用杂志
31 线性代数及应用
30 离散与计算几何
29 计算物理杂志
29 国际计算机科学基础杂志
29 数学规划。A系列。B系列
28 国际近似推理杂志
28 MSCS公司。计算机科学中的数学结构
28 计算优化及其应用
28 应用逻辑杂志
27 国际计算机数学杂志
26 机器学习
26 设计、代码和密码学
24 计算机与运筹学
24 控制论与系统分析
22 钻头
22 计算机程序设计学
22 模式识别
22 分布式计算
22 密码学与通信
21 离散数学
21 数学分析与应用杂志
21 雷罗。信息技术应用
21 逻辑、语言与信息杂志
20 应用力学与工程中的计算机方法
20 符号逻辑杂志
20 工程、通信和计算中的应用代数
19 组合优化期刊
18 国际控制杂志
18 哲学逻辑杂志
18 优化信函
17 软件。实践与经验
17 国际计算几何与应用杂志
17 函数程序设计杂志
17 计算机科学中的逻辑方法
16 模糊集与系统
16 微分方程杂志
16 暹罗计算机杂志
16 纯逻辑与应用逻辑年鉴
16 优化
16 新一代计算
16 杰泰。实验与理论人工智能杂志
16 雷罗。理论信息学与应用
16 计算逻辑学报
15 国际工程数值方法杂志
15 复杂性杂志
14 数学系统论
14 运筹学信函
14 限制条件
13 自动
13 合成语
13 计算机辅助几何设计
13 国际智能系统杂志
13 数学与计算机建模
13 实时系统
13 数学成像与视觉杂志
12 计算机物理通信
12 Zeitschrift für Angewandte Mathematik und Mechanik(ZAMM)公司
12 数值数学
12 计算机科学与技术杂志
12 数值算法
11 编程与计算机软件
11 莱罗,信息来源
11 离散事件动态系统
11 组合数学、概率与计算
11 有限域及其应用
11 工程数学问题
11 软计算
11 计算机科学中的数学
10 圣母院形式逻辑杂志
…还有443本杂志
全部的 前5名

在62个领域被引用

3763个 计算机科学(68-XX)
852 数理逻辑与基础(03-XX)
759 运筹学,数学规划(90-XX)
549 数值分析(65-XX)
413 信息与通信理论,电路(94-XX)
369 组合数学(05-XX)
174 博弈论、经济学、金融学和其他社会和行为科学(91-XX)
156 系统论;控制(93-XX)
155 偏微分方程(35-XX)
118 数论(11-XX)
116 概率论与随机过程(60-XX)
106 生物学和其他自然科学(92-XX)
90 统计学(62-XX)
80 序,格,有序代数结构(06-XX)
77 常微分方程(34-XX)
71 流体力学(76-XX)
70 变分法与最优控制;优化(49-XX)
69 线性代数和多线性代数;矩阵理论(15-XX)
68 可变形固体力学(74-XX)
67 群论与推广(20-XX)
65 范畴论;同调代数(18-XX)
57 凸与离散几何(52-XX)
44 量子理论(81-XX)
36 动力系统与遍历理论(37-XX)
35 一般性和全局性主题;收藏(00-XX)
32 交换代数(13-XX)
30 一般代数系统(08-XX)
30 代数几何(14-XX)
28 历史与传记(01-XX)
28 场论与多项式(12-XX)
28 实函数(26-XX)
24 算符理论(47-XX)
19 近似和展开(41-XX)
19 几何学(51-XX)
19 统计力学,物质结构(82-XX)
18 结合环与代数(16-XX)
18 功能分析(46-XX)
16 复变函数(30-XX)
14 欧氏空间的调和分析(42-XX)
14 粒子与系统力学(70-XX)
14 经典热力学,传热(80-XX)
12 积分方程(45-XX)
12 一般拓扑(54-XX)
12 地球物理学(86-XX)
11 特殊功能(33-XX)
11 整体分析,流形分析(58-XX)
11 光学,电磁理论(78-XX)
10 流形和细胞复合体(57-XX)
8 微分几何(53-XX)
6 非关联环与代数(17-XX)
6 相对论与引力理论(83-XX)
5 测量与集成(28-XX)
5 差分与泛函方程(39-XX)
4 势理论(31-XX)
4 数学教育(97-XX)
2 序列、序列、可和性(40-XX)
2 代数拓扑学(55-XX)
2 天文学和天体物理学(85-XX)
1 拓扑群,李群(22-XX)
1 多复变数与解析空间(32-XX)
1 抽象谐波分析(43-XX)
1 积分变换,运算微积分(44-XX)

按年份列出的引文