×

计算机科学课堂讲稿

简短标题: 莱克特。注释计算。科学。
出版商: 施普林格,查姆
国际标准编号: 0302-9743; 1611-3349/年
在线: https://www.springer.com/series/558
评论: 图书系列
已编制索引的文档: 6098出版物(自1973年起)
全部的 前5名

作者/编辑

70 格列泽戈兹·罗森贝格
59 杰克·多加拉(Jack J.Dongarra)。
54 玛丽娜·加夫里洛娃。
51 Tan,Chih Jeng Kenneth
40 Moti Yung
36 安杰伊·斯科沃伦
33 奥斯瓦尔多·格瓦西
33 卡洛斯·马丁·维德
31 Jacek M.祖拉达。
29 莱泽克鲁特考斯基
29 Peter M.A.Sloot。
29 Ryszard Tadeusiewicz
28 黄德双
27 阿尔托·库斯塔·萨洛马
26 詹姆斯·弗朗西斯·彼得斯三世
26 拉法·谢勒
26 大卫·塔尼亚尔
26 安德烈·沃伦科夫
25 瓦希涅夫斯基,杰西
24 克劳斯·扬森
24 马钦·科里特科夫斯基
23 哈特穆特·埃里格
23 周建英
22 阮成玉
21 杜定珠
20 靖国神奈川
20 兹比格涅夫·拉希。
20 维琴察托拉
20 范·阿尔巴达、吉尔特·迪克
19 林东岱
19 罗曼·威兹科夫斯基
18 维托尔德·佩德里茨
18 巴特·普雷内尔
18 科拉多·普里亚米
18 斯特凡诺·斯帕卡皮埃特拉
18 沃罗佐佐夫,叶夫根尼五世。
18 Lotfi Asker扎德
17 安东尼奥·拉加纳
17 孟永松
17 贝尼亚米·穆甘特
17 佩恩,古奥热
16 弗兰克·德恩
16 维平·库马尔
16 Josef P.Pieprzyk。
16 青思汗
16 Jörg-Rüdiger萨克
15 迪特尔·戈尔曼
15 康拉德·卡齐夫斯基
15 恩斯特·梅尔(Ernst W.Mayr)。
15 尼禄,阿尼尔
15 伊戈尔·波塔波夫
15 多米尼克·扎克
15 伯恩哈德·塔勒海姆
15 詹姆斯·C·P·伍德科克。
14 克里斯蒂安·S·卡卢德。
14 德波尔(Frank S。
14 阿德里安·霍里亚·德迪乌
14 马西耶·库特尼
14 米格尔·A·维加·罗德里格斯。
14 王国银
13 伯纳迪·奥·阿普杜汉。
13 包,冯
13 马尔科·贝尔纳多
13 马塞洛·玛丽亚·邦桑格
13 克劳斯·彼得·詹特克
13 斯维托扎尔·马格诺夫。
13 卡苏·萨科
13 威利·苏西洛
13 王华雄
13 姚一玉
12 伊贡博格尔
12 雅克·卡梅特
12 陈立群
12 威廉·鲍尔·德·罗弗
12 邓惠杰
12 伊凡·利尔科夫。
12 乌戈·蒙塔纳里。
12 佩特拉·佩纳
12 文森特·里杰曼
12 马丁·威尔辛
11 秋山,金
11 雷内塔·巴内娃(Reneta P.Barneva)。
11 维多利亚州贝维拉夸
11 乔治·戈特洛布
11 苏珊娜·格拉芙
11 赵康云
11 约昂·莱特
11 Löwe,Benedikt公司
11 伊芙琳·卢顿
11 穆毅
11 帕诺斯·帕达洛斯(Panos M.Pardalos)。
11 JoséD.P.罗利姆。
11 马克·施努埃尔
11 津桥高木
11 范·列文(Jan Van Leeuwen)
11 Serge,杂耍
11 托马斯·齐格曼
10 斯特凡妮娅·班迪尼
10 比约纳,迪内斯
10 瓦伦丁·E·布里姆科夫。
…还有7744名作者

按年份列出的出版物

zbMATH Open中包含的引文

1,811出版物有10625年被引用中的次8994文件 引用人 年份
通信系统的微积分。 兹比尔0452.68027
罗宾·米尔纳
622
1980
伊莎贝尔/霍尔。高阶逻辑的证明助手。 Zbl 0994.68131号
托比亚斯·尼普科;劳伦斯·C·鲍尔森。;马库斯·温泽尔
491
2002
树宽。计算和近似。 Zbl 0825.68144号
Kloks,吨
328
1994
自动机、逻辑和无限游戏。当前研究指南。 Zbl 1011.00037号
217
2002
关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 Zbl 1115.68046号
曼努埃尔·克拉维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特
210
2007
偏微分方程导论。 Zbl 0917.35001号
雷纳迪,M。;罗杰斯,R.C。
202
1993
约束全局优化:算法和应用。 Zbl 0638.90064号
Pardalos,P.M。;J.B.罗森。
193
1987
全局优化。 Zbl 0752.90075号
爱莫·特恩;安塔那斯齐林斯卡斯
170
1989
多目标优化。互动和进化方法。 Zbl 1147.68304号
151
2008
爱丁堡LCF。一种机械化的计算逻辑。 Zbl 0421.68039号
迈克尔·戈登。;亚瑟·J·米尔纳。;克里斯托弗·沃兹沃思。
142
1979
矩阵特征系统例程.EISPACK指南。第2版。 Zbl 0325.65016号
史密斯,B.T。;J.M.博伊尔。;J.J.东加拉。;B.S.加博。;Y.Ikebe。;V.C.克莱马。;莫勒,C.B。
140
1976
流密码的稳定性理论。 Zbl 0762.94008号
丁存生;肖国珍;Shan、Weijuan
134
1991
伊莎贝尔。一个通用定理证明器。 Zbl 0825.68059号
劳伦斯·C·鲍尔森。
130
1994
自动区分:技术和应用。 Zbl 0473.68025号
路易·B·拉尔。
128
1981
并行系统验证的部分顺序方法。解决国家爆炸问题的方法。 Zbl 1293.68005号
帕特丽斯·戈德弗里德
121
1996
一阶动态逻辑。 Zbl 0403.03024号
大卫·哈雷
110
1979
轴和外壳。 Zbl 0777.68012号
科努特,D.E。
107
1992
在线算法。最先进的技术。 Zbl 1177.68009号
103
1998
约束全局优化算法的测试问题集合。 Zbl 0718.90054号
弗卢达斯,克里斯托杜洛斯A。;帕诺斯·帕达洛斯(Panos M.Pardalos)。
102
1990
具体和抽象的Voronoi图。 Zbl 0699.68005号
罗尔夫·克莱恩
92
1989
超边缘替换:语法和语言。 Zbl 0787.68066号
阿内格丽特·哈贝尔
87
1992
绘制图形。方法和模型。 Zbl 0977.68644号
87
2001
迹上的组合数学。 Zbl 0717.68002号
沃尔克·迪克特
84
1990
动态数据结构的设计。 Zbl 0545.68009号
马克·奥弗马斯(Mark H.Overmars)。
82
1983
矩阵特征系统例程。EISPACK指南扩展。 Zbl 0368.65020号
B.S.加博。;J.M.博伊尔。;J.J.东加拉。;莫勒,C.B。
73
1977
交互式马尔可夫链。以及对量化质量的追求。 Zbl 1012.68142号
霍尔格·赫尔曼斯
72
2002
方程描述的系统中的计算。 Zbl 0421.68038号
迈克尔·奥唐纳。
60
1977
非单调推理中的条件句和信念修正。将条件句视为代理。 Zbl 0978.03014号
加布里埃尔·克恩·伊斯伯纳
58
2001
信息结构的逻辑。 Zbl 0788.03001号
海因里希·瓦辛
57
1993
网络分析。方法论基础。 Zbl 1069.68001号
56
2005
旅行推销员。RSP应用的计算解决方案。 Zbl 0825.90720号
格哈德·雷内特
54
1994
归纳逻辑编程基础。 Zbl 1293.68014号
Nienhuys-Cheng、Shan-Hwei;罗纳德·德·沃尔夫
54
1997
过滤、分割和深度。 Zbl 0801.68171号
马克·尼茨伯格;大卫·芒福德;高弘志田
53
1993
如何更快地乘矩阵。 Zbl 0548.65022号
维克多·潘
52
1984
新的流密码设计。eSTREAM入围者。 Zbl 1259.94006号
51
2008
Petri网的模块化结构和偏序语义。 Zbl 1293.68015号
沃尔特·福格勒
51
1992
程序结构理论:方案、语义、验证。 Zbl 0345.68002号
希拉·格雷巴赫。
45
1975
矩阵特征系统例程.EISPACK指南。 Zbl 0289.65017号
史密斯,B.T。;J.M.博伊尔。;B.S.加博。;Y.Ikebe。;V.C.克莱马。;莫勒,C.B。
44
1974
Petri网讲座。1:基本模型。Petri网的进展。 Zbl 0903.00072号
43
1998
代数语义。 Zbl 0474.68010号
伊雷纳游击队
43
1981
概率归纳逻辑编程。理论和应用。 Zbl 1132.68007号
42
2008
反应系统的基于模型的测试。高级讲座。 Zbl 1070.68088号
42
2005
CASL参考手册。通用代数规范语言的完整文档。 Zbl 1046.68001号
41
2004
群理论算法和图同构。 Zbl 0487.68055号
克里斯托夫·霍夫曼。
41
1982
图文法及其在计算机科学中的应用。第三届国际研讨会,美国弗吉尼亚州沃伦顿,1986年12月2-6日。 Zbl 0636.00013号
40
1987
具有次对数空间的图灵机。 Zbl 0998.68062号
安德烈·谢皮埃托夫斯基
39
1994
范畴语法的逻辑。对自然语言语法和语义的演绎说明。 Zbl 1261.03001号
穆特,理查德;克里斯蒂安·雷托雷
39
2012
带有术语声明的顺序逻辑的计算方面。 Zbl 0689.68001号
曼弗雷德·施密特·肖斯
38
1989
公理化计算机编程的逻辑。 Zbl 0474.68045号
罗伯特·戈德布拉特
38
1982
膜计算。2009年8月24日至27日,第十届WMC国际研讨会,罗马尼亚Curtea de Arges。修订选定和邀请的论文。 Zbl 1179.68004号
38
2010
网络微积分。互联网确定性排队系统理论。 Zbl 0974.90003号
Jean-Yves Le Boudec;帕特里克·蒂兰
37
2001
线性互补问题内点算法的统一方法。 Zbl 0766.90077号
Masakazu小岛;尼姆罗德·梅吉多;野田东彦;吉泽明子
37
1991
关于口袋加工的计算几何。 Zbl 0755.68136号
赫尔德,马丁
36
1991
等式逻辑编程基础。 兹比尔0688.68004
斯特芬·Hölldobler
34
1989
置换群的基本算法。 Zbl 0785.20001号
格雷戈里·巴特勒
34
1991
混合表示系统中的推理和修正。 Zbl 0702.68095号
伯恩哈德·内贝尔
33
1990
混合动力系统。 Zbl 0825.00044号
32
1993
计算心脏病学。解剖学、电生理学和力学建模。 Zbl 1051.92025号
弗兰克·B·萨克斯。
31
2004
语法和L形式:简介。 Zbl 0521.68085号
伍德,德里克
31
1980
形式概念分析。基础和应用。 Zbl 1087.68003号
28
2005
用自动机和Petri网对CCS和TCSP程序进行有限表示。 Zbl 0684.68011号
德克·托布纳
26
1989
图形文法及其在计算机科学中的应用。第四次国际研讨会,德国不来梅,1990年3月5日至9日。诉讼程序。 Zbl 0753.00023号
26
1991
约束求解和编程的半环。 Zbl 1054.68136号
斯蒂法诺·比斯塔雷利
25
2004
性能测试。当前的研究和调查。 Zbl 1197.68012号
25
2010
属性语法。定义、系统和参考书目。 Zbl 0647.68073号
皮埃尔·德兰萨特;马丁·茹尔丹;伯纳德·洛霍
25
1988
图文法及其在计算机科学中的应用。第二届国际研讨会,德国Haus Ohrbeck,1982年10月4日至8日。”由欧洲理论计算机科学协会赞助”。 Zbl 0512.00027号
24
1983
决策问题的解决方法。 Zbl 0789.03013号
23
1993
列出纠错码的解码。2002年ACM博士论文大赛获奖论文。 Zbl 1075.94001号
文凯特桑·古鲁斯瓦米
23
2004
时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 Zbl 0875.03007号
22
1994
多集处理。数学、计算机科学和分子计算的观点。 Zbl 0983.00053号
21
2001
CASL用户手册。介绍如何使用通用代数规范语言。Till Mossakowski、Donald Sannella和Andrzej Tarlecki的章节。带CD-ROM。 Zbl 1033.68025号
米歇尔·比多特;彼得·莫塞斯(Peter D.Mosses)。
20
2004
今天的计算机科学。最近的趋势和发展。 邮编:0875.00060
20
1995
方程式逻辑和三次曲线的自动推导。 Zbl 0921.03011号
威廉·麦库恩;帕德马纳班,R。
20
1996
程序结构的内涵理论。 Zbl 0625.68018号
詹姆斯·罗耶(James S.Royer)。
20
1987
关于代数函数的积分。 Zbl 0471.14009号
詹姆斯·哈罗德·达文波特
20
1981
图文法及其在计算机科学和生物学中的应用。Bad Honnef国际研讨会,1978年10月30日至11月3日。 Zbl 0398.00019号
19
1979
具有离散时间尺度的排队网络。离散时间随机网络稳态行为的显式表达式。 Zbl 0988.60094号
汉斯·达杜纳
19
2001
削减制度。 Zbl 0636.68027号
B.本宁霍芬。;Kemmerich,S。;里希特,M.M。
19
1987
组成性、并发性和部分正确性。过程网络的证明理论及其关系。 Zbl 0674.68011号
乔布·兹维尔
19
1989
用于协同多准则群决策的群决策支持系统。 Zbl 0677.68124号
Bui,Tung X。
19
1987
粗糙集和当前计算趋势。1998年6月22日至26日在波兰华沙举行的1998年RSCTC第一届国际会议。诉讼程序。 Zbl 0891.00026号
18
1998
关于双线性问题复杂性的讲座。 Zbl 0609.68032号
德格罗特,H.F。
18
1987
基于知识的系统中的不确定性方法。 兹比尔0705.68097
Kurt Weichselberger;Sigrid的Pöhlmann
18
1990
面向对象程序的模块化规范和验证。 Zbl 0998.68034号
彼得·米勒
17
2002
25年的模型检查。历史、成就、观点。 Zbl 1139.68003号
17
2008
射线拍摄、深度命令和隐藏表面去除。 Zbl 0787.68098号
马克·德·伯格
16
1993
先进计算机系统上的数值集成。 Zbl 0825.65012
阿诺德·克罗默。;克里斯托夫·尤伯(Christoph W.Ueberhuber)。
16
1994
关联规则挖掘。模型和算法。 Zbl 0998.68047号
张成奇;张世超
16
2002
用于构建和分析系统的工具和算法。2008年3月29日至4月6日,作为欧洲软件理论和实践联合会议的一部分,第14届国际会议,TACAS 2008,在匈牙利布达佩斯举行。诉讼程序。 Zbl 1133.68009号
16
2008
复杂性和结构。 Zbl 0589.03022号
乌韦州Schöning
16
1986
PROLOG中的否定和控制。 Zbl 0602.68006号
李·奈什
16
1986
Petri网:中心模型及其性质。《1986年Petri网进展》,第一部分,高级课程论文集,Bad Honnef,1986年9月8-19日。 Zbl 0619.00023号
16
1987
稀疏矩阵的直接方法。 Zbl 0516.65011号
奥斯特比,奥莱;扎哈里·兹拉特夫
16
1983
技术诊断中暂时分布的症状。 Zbl 0786.68088号
克劳斯·Nökel
16
1991
关系数据库中的信息不完整问题。 Zbl 0779.68023号
戈斯塔·格雷内
16
1991
布尔差分法。 Zbl 0452.94033号
安德烈·塞斯
15
1981
计算机视觉中的尺度空间和变分方法。第二届国际会议,SSVM 2009,挪威沃斯,2009年6月1日至5日。诉讼程序。 兹比尔1233.68026
15
2009
帕斯卡。用户手册和报告。 Zbl 0288.68043号
凯瑟琳·延森;尼克劳斯·沃思
15
1974
使用Hausdorff距离进行有效的视觉识别。 Zbl 0863.68117号
威廉·拉克利奇
14
1996
轨迹理论与超大规模集成电路设计。 Zbl 0616.68001号
van de Snepscheut,Jan L.A。
14
1985
密码学进展–ASIACRYPT 2022。第28届国际密码学和信息安全理论与应用会议,台湾台北,2022年12月5日至9日。诉讼程序。第四部分。 Zbl 1517.94004号
1
2023
计算机视觉中的尺度空间和变分方法。第九届国际会议,2023年5月21日至25日,意大利圣玛格丽塔迪普拉,SSVM 2023。诉讼程序。 Zbl 1525.68001号
1
2023
用于构建和分析系统的工具和算法。第28届国际会议,TACAS 2022,作为欧洲软件理论与实践联合会议的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。第一部分。 Zbl 1528.68027号
2022
从过程代数到时间自动机再到模型学习的旅程。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。 兹比尔1515.68037
2
2022
组合算法。2022年6月7日至9日,第33届国际研讨会,IWOCA 2022,德国特里尔。诉讼程序。 Zbl 1493.68006号
1
2022
密码学进展–EUROCRYPT 2022。第41届密码技术理论与应用国际年会,挪威特隆赫姆,2022年5月30日至6月3日。诉讼程序。第三部分。 Zbl 1493.94003号
1
2022
计算机科学中的图论概念。第48届国际研讨会,2022年6月22日至24日,德国图宾根,WG 2022。修订了选定的论文。 Zbl 1509.68008号
1
2022
计算机科学的逻辑基础。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。 Zbl 1490.03004号
1
2022
密码学主题-CT-RSA 2022。2022年3月1日至2日,RSA大会2022虚拟活动上的加密者轨迹。诉讼程序。 Zbl 1490.94003号
1
2022
算法和离散应用数学。第八届国际会议,2022年2月10日至12日,印度普杜赫里CALDAM 2022。诉讼程序。 Zbl 1509.68007号
1
2022
算法决策理论。第七届国际会议,ADT 2021,法国图卢兹,2021年11月3-5日。诉讼程序。 Zbl 1507.91003号
1
2021
优化和应用。2021年9月27日至10月1日,第12届国际会议,OPTIMA 2021,黑山Petrovac。诉讼程序。 Zbl 1508.90001号
1
2021
软件工程和形式化方法。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。 Zbl 1511.68014号
1
2021
密码学进展–ASIACRYPT 2021。第27届密码学与信息安全理论与应用国际会议,新加坡,2021年12月6日至10日。诉讼程序。第二部分。 Zbl 1510.94003号
1
2021
密码学进展–EUROCRYPT 2021。第40届加密技术理论与应用国际年会,克罗地亚萨格勒布,2021年10月17日至21日。诉讼程序。第二部分。 Zbl 1475.94011号
1
2021
Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。 Zbl 1482.68013号
1
2021
图形转换。2021年6月24日至25日,第14届国际会议,ICGT 2021,作为STAF 2021虚拟活动的一部分举行。诉讼程序。 Zbl 1482.68021号
1
2021
膜计算。第21届国际会议,CMC 2020,虚拟活动,2020年9月14日至18日。修订了选定的论文。 Zbl 1475.68021号
1
2021
细胞自动机。第十四届研究和工业细胞自动机国际会议,ACRI 2020,波兰罗兹,2020年12月2-4日。诉讼程序。 Zbl 1482.68024号
1
2021
软件工程的基本方法。第24届国际会议,FASE 2021,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2021,卢森堡市,2021年3月27日至4月1日。诉讼程序。 Zbl 1466.68016号
1
2021
用于构建和分析系统的工具和算法。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 Zbl 1471.68016号
1
2021
密码学中的选定领域。第27届国际会议,哈利法克斯,NS,加拿大(虚拟活动),2020年10月21日至23日。修订了选定的论文。 Zbl 1482.94005号
1
2021
智能计算机数学。2021年7月26日至31日,罗马尼亚蒂米苏拉第十四届国际会议,CICM 2021。诉讼程序。 Zbl 1484.68013号
1
2021
密码学进展–密码2021。第41届国际密码学年会,2021年8月16日至20日,CRYPTO 2021,虚拟事件。诉讼程序。第三部分。 Zbl 1484.94002号
1
2021
信息和通信安全。第23届国际会议,ICICS 2021,中国重庆,2021年11月19-21日。诉讼程序。第二部分。 Zbl 1487.68013号
1
2021
系统生物学中的计算方法。第19届国际会议,CMSB 2021,波尔多,法国,2021年9月22日至24日。诉讼程序。 Zbl 1486.92002号
1
2021
密码学进展——LATINCRYPT 2021。第七届拉丁美洲密码学和信息安全国际会议,哥伦比亚波哥大,2021年10月6日至8日。诉讼程序。 Zbl 1487.94007号
1
2021
图形转换。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。 Zbl 1493.68012号
4
2020
计算模型的理论和应用。第十六届国际会议,2020年TAMC,中国长沙,2020年10月18-20日。诉讼程序。 兹比尔1502.68022
2020
组合算法。第31届国际研讨会,IWOCA 2020,法国波尔多,2020年6月8日至10日,会议记录。 Zbl 1496.68019号
2020
计算机科学——理论与应用。2020年6月29日至7月3日,俄罗斯叶卡捷琳堡,第15届俄罗斯国际计算机科学研讨会,CSR 2020。诉讼程序。 Zbl 1496.68017号
亨宁费尔瑙
2
2020
超越可计算性的范围。第十六届欧洲可计算性会议,CiE 2020,意大利费西亚诺,2020年6月29日至7月3日。诉讼程序。 Zbl 1502.68017号
2
2020
逻辑与计算领域III.在尤里·古雷维奇80岁生日之际为他撰写的论文。 Zbl 1498.03010号
2
2020
密码学进展–EUROCRYPT 2020。第39届密码技术理论与应用国际年会,克罗地亚萨格勒布,2020年5月10日至14日。诉讼程序。第三部分。 Zbl 1475.94009号
2
2020
自动推理。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分。 Zbl 1498.68016号
2
2020
Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。 Zbl 1493.68015号
1
2020
信息安全和隐私。2020年11月30日至12月2日,澳大利亚西澳大利亚州珀斯,第25届澳大利亚国际互联网服务提供商会议,ACISP 2020。诉讼程序。 Zbl 1461.68013号
1
2020
信息和管理的算法方面。第14届国际会议,2020年8月10日至12日,中国金华,AAIM 2020。诉讼程序。 Zbl 1464.68025号
1
2020
密码学的选定领域——SAC 2019。第26届国际会议,2019年8月12-16日,加拿大安大略省滑铁卢。修订了选定的论文。 Zbl 1430.94005号
1
2020
动态逻辑。新趋势和应用。2019年10月7日至11日,第二届国际研讨会,DALI 2019,葡萄牙波尔图。诉讼程序。 Zbl 1430.03006号
1
2020
密码学进展——非洲密码2020。第十二届非洲密码学国际会议,埃及开罗,2020年7月20日至22日。诉讼程序。 Zbl 1498.94007号
1
2020
逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号
1
2020
思维和机器中的本体论和概念。第25届概念结构国际会议,ICCS 2020,意大利博尔扎诺,2020年9月18-20日。诉讼程序。 Zbl 1464.68001号
1
2020
应用密码学和网络安全。2020年10月19-22日在意大利罗马举行的ACNS 2020第18届国际会议。诉讼程序。第一部分。 Zbl 1454.94003号
1
2020
计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分。 Zbl 1453.68017号
1
2020
逻辑和论证。第三届国际会议,CLAR 2020,中国杭州,2020年4月6日至9日。诉讼程序。 Zbl 1496.03007号
1
2020
拉丁语2020:理论信息学。第十四届拉丁美洲研讨会,巴西圣保罗,2021年1月5日至8日。诉讼程序。 Zbl 1496.68029号
1
2020
约束编程、人工智能和运筹学的集成。第17届国际会议,CPAIOR 2020,奥地利维也纳,2020年9月21日至24日。诉讼程序。 Zbl 1502.68029号
1
2020
可逆计算。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。 Zbl 1464.68012号
1
2020
结构信息和通信复杂性。第27届国际学术讨论会,SIROCCO 2020,德国帕德博恩,2020年6月29日至7月1日。诉讼程序。 Zbl 1493.68021号
1
2020
并行处理和应用数学。第13届国际会议,PPAM 2019,波兰比亚韦斯托克,2019年9月8日至11日,修订了部分论文。第一部分。 Zbl 1496.68037号
1
2020
归纳逻辑编程。2019年9月3日至5日,保加利亚普罗夫迪夫,第29届国际劳工大会。诉讼程序。 Zbl 1496.68026号
1
2020
密码学进展–EUROCRYPT 2020。第39届密码技术理论与应用国际年会,克罗地亚萨格勒布,2020年5月10日至14日。诉讼程序。第二部分。 Zbl 1482.94003号
1
2020
密码学进展–EUROCRYPT 2020。第39届密码技术理论与应用国际年会,克罗地亚萨格勒布,2020年5月10日至14日。诉讼程序。第一部分。 Zbl 1475.94008号
1
2020
自动推理。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。 Zbl 1498.68017号
1
2020
用于构建和分析系统的工具和算法。TACAS 25年:TOOLympics,作为ETAPS 2019的一部分,于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。第三部分。 Zbl 1408.68008号
9
2019
并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 Zbl 1416.68004号
9
2019
逻辑编程和非单调推理。2019年6月3日至7日,第15届国际会议,LPNMR 2019,美国宾夕法尼亚州费城。诉讼程序。 兹比尔1410.68009
6
2019
自动扣除–CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。 Zbl 1428.68018号
6
2019
编程语言和系统。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,第28届欧洲编程研讨会(ESOP 2019)在捷克共和国布拉格举行。诉讼程序。 Zbl 1408.68010号
4
2019
密码学进展——密码2019。第39届国际密码学年会,2019年8月18日至22日,美国加利福尼亚州圣巴巴拉。诉讼程序。第二部分。 Zbl 1428.94005号
4
2019
用于构建和分析系统的工具和算法。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。 Zbl 1408.68024号
2019
计算系统建模的艺术:从逻辑和并发到安全和隐私的旅程。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。 兹比尔1425.68003
2019
描述逻辑、理论组合等等。纪念弗兰兹·巴德60岁生日的文章。 Zbl 1428.68036号
2019
密码学进展——密码2019。第39届国际密码学年会,2019年8月18日至22日,美国加利福尼亚州圣巴巴拉。诉讼程序。第三部分。 Zbl 1428.94006号
2019
后量子密码术。第十届国际会议,PQCrypto 2019,中国重庆,2019年5月8日至10日。修订了选定的论文。 Zbl 1418.94003号
2019
软件工程的基本方法。第22届国际会议,FASE 2019,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2019,捷克共和国布拉格,2019年4月6日至11日。诉讼程序。 Zbl 1408.68018号
2
2019
计算模型的理论和应用。2019年4月13日至16日,日本北九州TAMC 2019第15届年会。诉讼程序。 Zbl 1408.68017号
2
2019
分布式对象、组件和系统的形式化技术。2019年6月17日至21日,第39届IFIP WG 6.1国际会议FORTE 2019,作为第14届分布式计算技术国际联合会议DisCoTec 2019的一部分,在丹麦Kongens Lyngby举行。诉讼程序。 Zbl 1410.68019号
2
2019
单词组合学。2019年9月9日至13日在英国拉夫堡举行的第十二届世界2019年国际会议。诉讼程序。 Zbl 1419.68014号
2
2019
智能计算机数学。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议,CICM 2019。诉讼程序。 Zbl 1428.68028号
2
2019
进化多准则优化。2019年3月10日至13日,第十届国际会议,EMO 2019,美国密歇根州东兰辛。诉讼程序。 Zbl 1409.68011号
1
2019
软件工程基础。第八届国际会议,FSEN 2019,伊朗德黑兰,2019年5月1日至3日。修订了选定的论文。 Zbl 1419.68011号
1
2019
逻辑、理性和互动。2019年LORI第七届国际研讨会,中国重庆,2019年10月18-21日。诉讼程序。 Zbl 1425.68005号
1
2019
音乐中的数学和计算。2019年6月18日至21日在西班牙马德里举行的第七届MCM国际会议,会议记录。 Zbl 1425.00082号
1
2019
数学形态学及其在信号和图像处理中的应用。2019年7月8日至10日在德国萨尔布吕肯举行的第14届国际研讨会,ISMM 2019。诉讼程序。 Zbl 1428.68009号
1
2019
密码学理论。第17届国际会议,TCC 2019,德国纽伦堡,2019年12月1-5日。诉讼程序。第一部分。 Zbl 1428.94013号
1
2019
分布式系统的稳定性、安全性和安全性。2019年10月22日至25日在意大利比萨举行的第21届SSS 2019国际研讨会。诉讼程序。 兹比尔1428.68019
1
2019
组合系统的前沿。2019年9月4日至6日,第十二届国际研讨会,FroCoS 2019,英国伦敦。诉讼程序。 Zbl 1428.68022号
1
2019
程序构造的数学。第13届国际会议,2019年货币政策委员会,葡萄牙波尔图,2019年10月7日至9日。诉讼程序。 Zbl 1428.68024号
1
2019
多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。 Zbl 1435.68010号
罗纳德·哈恩
1
2019
密码学进展——2019年欧洲密码展。第38届密码技术理论与应用国际年会,2019年5月19日至23日,德国达姆施塔特。诉讼程序。第三部分。 Zbl 1416.94012号
1
2019
计算机辅助验证。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第二部分。 Zbl 1416.68008号
1
2019
基于图形的表示和推理。2019年7月1日至4日在德国马尔堡举行的第24届国际概念结构会议。诉讼程序。 Zbl 1416.68010号
1
2019
密码学进展——2018年EUROCRYPT。第37届加密技术理论与应用国际年会,以色列特拉维夫,2018年4月29日至5月3日。诉讼程序。第一部分。 Zbl 1387.94008号
4
2018
计算物流。2018年10月1日至3日,在意大利南马里岛举行的2018年ICCL第九届国际会议。诉讼程序。 Zbl 1397.90011号
4
2018
双向变换。2016年7月25日至29日,英国牛津国际暑期学校。辅导讲座。 Zbl 1405.68010号
2018
后量子密码术。2018年4月9日至11日在美国佛罗里达州劳德代尔堡举行的2018年PQCrypto第九届国际会议。诉讼程序。 Zbl 1387.94005号
2018
这都是关于协调的。庆祝Farhad Arbab终身科学成就的文章。 Zbl 1461.68011号
2018
图形转换、规范和网络。为了纪念哈特穆特·埃里格。 Zbl 1383.68006号
2018
密码学进展-EUROCRYPT 2018。第37届密码技术理论与应用国际年会,以色列特拉维夫,2018年4月29日至5月3日。诉讼程序。第三部分。 Zbl 1387.94006号
2
2018
抽象状态机、合金、B、TLA、VDM和Z。第六届国际会议,2018年ABZ,英国南安普顿,2018年6月5-8日。诉讼程序。 兹比尔1387.68015
2
2018
大规模科学计算。2017年6月5日至9日在保加利亚索佐波尔举行的2017年LSSC第11届国际会议。修订了选定的论文。 Zbl 1435.65014号
2
2018
自动推理。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。 Zbl 1391.68006号
2
2018
满意度测试的理论和应用——2018年SAT。2018年7月9日至12日在英国牛津举行的2018年第21届国际会议(SAT 2018),作为联邦逻辑会议的一部分。诉讼程序。 Zbl 1390.68015号
2
2018
计算机辅助验证。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第二部分。 Zbl 1391.68002号
2
2018
计算机辅助验证。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分。 Zbl 1391.68003号
2
2018
密码学进展——2018年亚洲密码展。第24届密码学和信息安全理论与应用国际会议,澳大利亚昆士兰州布里斯班,2018年12月2-6日。诉讼程序。第一部分。 Zbl 1402.94008号
2
2018
享受自然计算。在马里奥·德·杰苏斯·佩雷斯·吉梅内斯70岁生日之际,为他撰写的论文。 Zbl 1400.68023号
2
2018
用于验证和分析的自动化技术。第16届国际研讨会,2018年10月7日至10日,美国加利福尼亚州洛杉矶,ATVA 2018。诉讼程序。 Zbl 1396.68018号
2
2018
…还有369个文档
全部的 前5名

13142作者引用

53 何塞·梅塞盖尔·瓜伊塔
34 托比亚斯·尼普科
32 帕诺斯·帕达洛斯(Panos M.Pardalos)。
31 劳伦斯·查尔斯·保尔森
28 马丁·奥列特,纳西索
28 格列泽戈兹·罗森贝格
27 约斯特·恩格尔弗里特
27 朱塞佩·利奥塔
25 玛丽亚·阿尔普特
25 加布里埃尔·克恩·伊斯伯纳
25 金·古德斯特兰·拉森
23 克里斯托夫·埃瓦尔德·本兹穆勒
23 贾斯敏·克里斯蒂安·布兰切特
23 萨尔瓦多卢卡斯
23 维克托·雅科夫列维奇·潘
22 Jan A.Bergstra。
22 圣地亚哥埃斯科瓦尔
22 乌戈·蒙塔纳里。
22 弗洛里安·拉贝
22 沃尔特·福格勒
21 克里斯特尔·拜尔
21 克里斯托夫·贝尔
21 诺里希罗·卡米德
20 托尔斯滕·绍布(Torsten H.Schaub)。
19 沃尔特·迪迪莫
18 丹尼尔·朱利叶斯·伯恩斯坦
18 Bodlaender,Hans L。
18 法兰克·德雷维斯
18 迈克尔·科尔哈斯
17 罗伯特·加尼安
17 阿尔贝托·维尔德乔
16 安德烈亚·科拉迪尼
16 乔治·斯特鲁斯
16 约瑟夫·乌尔班
16 马丁·齐默尔曼
15 卢卡·埃特罗
15 迈克尔·贝科斯(Michael A.Bekos)。
15 凯斯,约翰
15 弗朗西斯科·杜兰
15 莫雷诺,法拉斯基
15 塞萨里·卡利西克
15 Joost-Pieter卡托恩
15 蒂尔·莫萨科夫斯基
15 安德烈·波佩斯库
15 帕拉什·萨尔卡
15 伊格纳西·绍
15 卡罗琳·塔尔科特。
15 Moshe Ya’akov瓦尔迪
14 弗兰兹·巴德
14 帕特里夏·鲍耶
14 罗伯托·布鲁尼
14 布鲁诺·库塞尔
14 吕克·德·雷德
14 维利亚姆·格弗特
14 轩尼诗,Matthew C.B。
14 霍尔格·赫尔曼斯
14 雷纳·霍斯特
14 Anna Ingólfsdóttir
14 坦尼娅·兰格
14 迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。
13 克里希南德·查特吉
13 纳鸿·德肖维茨
13 保罗·加斯丁
13 Jan Friso,格鲁特
13 桑杰·贾恩
13 罗尔夫·迪特尔·克莱恩
13 Kloks,吨
13 斯捷潘·勒沃维奇,库兹涅佐夫
13 简·J·M·M·鲁顿。
13 斯泽德,斯特凡
13 海因里希·西奥多
12 David A.Basin。
12 哈罗德·本森。
12 托马斯·布里海耶
12 阿兰·邦迪
12 埃米利奥·迪·贾科莫
12 沃尔特·古特曼
12 迈克尔·考夫曼
12 扬·威廉·克鲁普
12 马西耶·库特尼
12 汉斯·约尔格·克鲁斯基
12 多雷尔·卢卡努
12 阿尔特·米德尔多普
12 尼古拉斯·佩尔蒂埃
12 齐文峰
12 格里高·罗什乌
12 萨基特Saurabh
12 雷内·蒂曼
12 范格拉贝克、罗伯特·扬
12 伍德,德里克
11 Jos C.M.Baeten。
11 米罗斯拉夫·奇·伊里奇。
11 洛科·德尼古拉
11 曼弗雷德·德罗斯特
11 托马斯·艾特
11 Hong,Seok-Hee先生
11 特穆尔库西亚
11 埃文西娅·帕帕佐普洛
11 安德烈·普拉泽
11 阿德里安·里斯科
…还有13042名作者
全部的 前5名

674种期刊被引用

760 理论计算机科学
229 信息与计算
197 自动推理杂志
156 人工智能
149 信息处理信件
137 全球优化杂志
137 程序设计中的逻辑和代数方法杂志
130 计算的形式方面
126 信息学报
118 计算机与系统科学杂志
114 逻辑程序设计理论与实践
108 离散应用数学
104 算法
103 欧洲运筹学杂志
89 信息科学
78 符号计算杂志
76 应用数学与计算
69 系统设计中的形式化方法
66 计算与应用数学杂志
62 数学与人工智能年鉴
61 计算机与数学及其应用
59 计算机科学中的逻辑方法
56 国际近似推理杂志
53 逻辑与代数程序设计杂志
52 计算几何
48 运筹学年鉴
46 密码学杂志
44 计算机与运筹学
44 计算系统理论
41 机器学习
41 应用非经典逻辑杂志
39 Studia Logica公司
39 应用逻辑杂志
38 国际计算机科学基础杂志
38 设计、代码和密码
37 计算物理杂志
37 MSCS公司。计算机科学中的数学结构
35 计算数学
35 计算
35 线性代数及应用
34 离散和计算几何
34 数学编程。A系列B系列
34 计算机基础理论
32 计算优化与应用
31 最优化理论与应用杂志
31 分布式计算
30 逻辑、语言与信息杂志
28 国际计算机数学杂志
28 控制论与系统分析
28 密码学和通信
27 函数编程杂志
26 纯逻辑与应用逻辑年鉴
26 约束条件
25 应用力学与工程中的计算机方法
25 符号逻辑杂志
24 离散数学
24 数学分析与应用杂志
24 组合优化期刊
23 哲学逻辑杂志
23 数学成像与视觉杂志
23 优化信函
22 Automatica公司
22 比特币
22 SIAM计算机杂志
22 计算机程序设计科学
22 复杂性杂志
22 模式识别
22 工程、通信和计算中的应用代数
21 国际控制杂志
21 RAIRO公司。Informatique Théorique et Applications公司
20 模糊集与系统
20 数学和计算机建模
19 微分方程杂志
19 自然计算
19 ACM计算逻辑事务
18 运筹学国际交易
18 膜计算杂志
17 软件。实践与经验
17 运营研究信件
17 优化
17 国际计算几何与应用杂志
17 软计算
16 计算机物理通信
16 合成
16 新一代计算
16 吉泰。实验与理论人工智能杂志
16 RAIRO公司。理论信息学及其应用
15 国际工程数值方法杂志
15 计算机辅助几何设计
15 离散事件动态系统
15 应用数学杂志
15 离散算法杂志
15 计算机科学中的数学
14 数学系统理论
14 网络
14 数值算法
14 调度日志
13 国际智能系统杂志
13 SIAM离散数学杂志
13 实时系统
…还有574本杂志
全部的 前5名

62个领域被引用

5,832 计算机科学(68-XX)
1,289 数学逻辑和基础(03-XX)
1,139 运筹学、数学规划(90-XX)
738 信息与通信理论、电路(94-XX)
705 数值分析(65-XX)
590 组合数学(05-XX)
327 博弈论、经济学、金融和其他社会和行为科学(91-XX)
227 系统论;控制(93至XX)
194 偏微分方程(35-XX)
181 生物学和其他自然科学(92-XX)
166 统计学(62-XX)
163 数论(11-XX)
152 概率论与随机过程(60-XX)
115 量子理论(81-XX)
112 阶、格、有序代数结构(06-XX)
110 范畴理论;同调代数(18-XX)
99 群论与推广(20-XX)
98 常微分方程(34-XX)
97 线性代数和多线性代数;矩阵理论(15-XX)
94 变异微积分和最优控制;最优化(49-XX)
91 流体力学(76-XX)
79 可变形固体力学(74-XX)
76 凸和离散几何(52至XX)
59 动力系统和遍历理论(37至XX)
56 代数几何(14-XX)
55 总体主题;集合(00-XX)
46 历史和传记(01-XX)
39 一般代数系统(08-XX)
39 交换代数(13-XX)
39 实函数(26年X月X日)
36 统计力学,物质结构(82-XX)
35 场论和多项式(12-XX)
35 算子理论(47-XX)
25 结合环与代数(16-XX)
25 近似值和展开值(41至XX)
25 功能分析(46倍X倍)
24 一般拓扑结构(54至XX)
23 几何图形(51-XX)
20 粒子和系统力学(70-XX)
18 复变量的函数(30年XX月)
17 微分几何(53至XX)
17 经典热力学,传热(80-XX)
16 地球物理学(86-XX)
15 流形和细胞复合体(57至XX)
15 整体分析,流形分析(58至XX)
14 欧氏空间的调和分析(42至XX)
12 特殊功能(33至XX)
12 积分方程(45-XX)
12 光学、电磁理论(78-XX)
9 非结合环与代数(17-XX)
9 相对论和引力理论(83至XX)
8 测量和集成(28-XX)
5 势能理论(31日至XX日)
5 差分方程和函数方程(39至XX)
4 几个复变量和分析空间(32-XX)
4 数学教育(97-XX)
拓扑群、李群(22日至XX日)
代数拓扑(55-XX)
天文学和天体物理学(85-XX)
2 序列、级数、可和性(40-XX)
2 积分变换,运算微积分(44-XX)
1 抽象谐波分析(43至XX)

按年份列出的引文