欧洲理论计算机科学协会公报 简短标题: 牛市。欧洲协会。计算。科学。EATCS公司 出版商: 欧洲理论计算机科学协会 国际标准编号: 0252-9742 在线: http://bulletin.eatcs.org/index.php/beatcs/isue/archivehttp://eatcs.org/index.php/on-line-issues 前任: 欧洲理论计算机科学协会(EATCS)公报 评论: 期刊;此日志可开放访问。 已编制索引的文档: 523出版物(自1998年起) 全部的 前5名最新问题 141(2023) 140(2023) 139(2023) 138(2022) 137(2022) 136(2022) 135(2021) 134(2021) 133(2021) 132(2020) 131(2020) 130(2020) 129(2019) 128(2019) 127(2019) 126(2018) 125(2018) 124(2018) 123(2017) 122(2017) 121(2017) 120(2016) 119(2016) 118(2016) 117(2015) 116(2015) 115(2015) 114(2014) 113(2014) 112(2014) 111(2013) 110(2013) 109(2013) 108(2012) 107(2012) 106(2012) 105(2011) 104(2011) 103(2011) 102(2010) 101(2010) 100(2010) 99(2009) 98(2009) 95(2008年) 94(2008年) 93(2007) 92(2007) 91(2007) 90(2006) 89(2006) 88(2006) 87(2005) 86(2005) 85(2005) 84(2004) 83(2004) 82(2004) 81(2003) 80(2003) 79(2003) 78(2002) 77(2002) 76(2002) 75(2001) 74(2001) 73(2001) 72(2000) 71(2000) 70(2000) 69(1999) 68(1999) 67(1999) 66(1998) 65(1998) 全部的 前5名作者 32 尤里·古里维奇 21 安德烈亚斯·拉斐尔·布拉斯 15 斯特凡·施密德 12 哈特穆特·埃里格 10 克里斯蒂安·卡鲁德。 8 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 8 米歇尔·雷纳尔 7 卢卡·埃特罗 7 Juha Honkala 7 佩恩,古奥热 6 维克拉曼·阿尔文德 6 陈·阿文 6 特罗·哈尔朱 6 阿尔托·库斯塔·萨洛马 6 保罗·G·斯皮拉基斯。 5 马里奥斯·马夫罗尼科拉斯 5 格哈德·沃金格 4 布希,科斯塔斯 4 兰斯·福特诺(Lance J.Fortnow)。 4 Mika Hirvensalo 4 Anna Ingólfsdóttir 4 萨米·乌拉·汗 4 卢克·朗普雷 4 伊恩·皮特 4 格列泽戈兹·罗森贝格 4 雅各布·托兰 三 出生于Axel 三 埃琳娜·卡鲁德 三 格雷戈里·约翰·查廷 三 迈克尔·多马拉茨基 三 弗鲁姆,约格 三 威廉·伊恩·加斯奇 三 盖茨,安Q。 三 弗兰克·赫尔曼 三 科尔·A·J·赫肯斯。 三 约翰·科布勒 三 米查尔·库克 三 大丽亚·马尔基 三 卡洛斯·马丁·维德 三 亚历山德鲁·马特埃斯库 三 尼古列塞斯(Nikoletseas)、索蒂利斯(Sotiris E.)。 三 费尔南多·奥雷贾斯 三 乌尔里克·普兰奇 三 路德维希·施泰格 三 瓦格伏尔盖,桑多尔 2 伊斯瓦格·艾哈迈德 2 Krzysztof Rafal公寓 2 詹姆斯·阿斯彭斯 2 卡洛斯·巴奎罗 2 波阿斯·巴拉克 2 哈里·布尔曼 2 阿尔弗雷多·布里耶扎 2 尤根·达索 2 迈克尔·J·丁宁。 2 波尔·多莫西 2 克劳迪娅·埃尔梅尔 2 帕纳吉奥塔·法图鲁 2 斯蒂芬·芬纳(Stephen A.Fenner)。 2 菲奇,加布里埃尔 2 奥利维·芬克尔 2 威廉·扬·福克金 2 鲁道夫·弗伦德 2 乔舒亚·格罗乔(Joshua A.Grochow)。 2 马丁·格罗·罗德 2 维萨·哈拉瓦 2 海克尔,瑞科 2 莫里斯·赫利希。 2 纳塔沙·乔诺斯卡 2 朱哈尼·卡鲁马基 2 贾科·卡里 2 扬·威廉·克鲁普 2 米沙·科舍列夫 2 马丁·库特里布 2 克里斯托夫·伦岑 2 米纳·马哈扬 2 埃尔基·梅基宁 2 所罗门·马库斯 2 乌戈·蒙塔纳里。 2 德克·诺沃特卡 2 亚历山大·奥霍金 2 Shmuel Onn公司 2 朱莉娅·帕德伯格 2 乔瓦尼·皮奇奇尼 2 2 保拉·夸里亚 2 Narad Rampersad公司 2 米歇尔·阿德里安·雷尼尔 2 格温娜·里科姆 2 亚历山大·罗素。 2 Ramprasad Saptharishi公司 2 萨科特·索拉布 2 乌尔里希·施密德 2 亚历山大·施瓦茨曼。 2 圭多·西亚维科 2 拉尼·西罗莫尼 2 巴布亚州索波辛斯基 2 斯潘科夫斯基,沃伊切赫 2 加迪·陶本费尔德 2 赫里贝特·沃尔默 2 弗拉基米尔·沃夫克。 …和521多位作者 全部的 前5名领域 468 计算机科学(68至XX) 67 历史和传记(01-XX) 67 数学逻辑和基础(03-XX) 27 组合数学(05-XX) 22 博弈论、经济学、金融和其他社会和行为科学(91-XX) 21 量子理论(81-XX) 15 信息与通信理论、电路(94-XX) 14 运筹学、数学规划(90-XX) 8 总体主题;集合(00-XX) 8 概率论与随机过程(60-XX) 7 生物学和其他自然科学(92-XX) 5 群论与推广(20-XX) 三 有序,格,有序代数结构(06-XX) 三 数论(11-XX) 三 范畴理论;同调代数(18-XX) 三 动力系统和遍历理论(37至XX) 三 统计学(62-XX) 2 一般代数系统(08-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 统计力学,物质结构(82-XX) 1 拓扑群、李群(22日至XX日) 1 偏微分方程(35-XX) 1 抽象谐波分析(43至XX) 1 功能分析(46倍X倍) 1 一般拓扑结构(54至XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 265出版物有1604年被引用次1497文件 引用人▼ 年份▼ 基于指数时间假设的下限。 Zbl 1258.68068号 丹尼尔·洛克斯塔诺夫;达尼尔·马克思;萨科特·索拉布 120 2011 不知情决策的艺术。性能测试底漆。 Zbl 1024.68045号 埃尔达尔·菲舍尔 59 2001 提取器显式构造的最新发展。 Zbl 1051.68070号 Ronen Shaltiel公司 49 2002 人口协议简介。 Zbl 1169.68326号 詹姆斯·阿斯彭斯;埃里克·鲁珀特 41 2007 核函数化的最新发展:综述。 Zbl 1409.68144号 斯特凡·克拉奇 41 2014 单词组合学-教程。 Zbl 1169.68560号 J·伯斯特尔。;Karhumäki,J。 34 2003 多项式恒等式测试的进展。 Zbl 1188.68154号 尼廷·萨克塞纳 34 2009 关于有限自动机中同步字的猜想的反例。 Zbl 0977.68055号 贾科·卡里 28 2001 阿贝尔周期的Fine和Wilf定理。 兹比尔1169.68561 索林·君士坦丁斯库;露西恩·伊利 27 2006 社区检测的计算机科学和物理:景观、相变和硬度。 Zbl 1409.68220号 克里斯托弗·摩尔 27 2017 多值真值函数、乔恩猜想和道路着色。 Zbl 0952.68072号 亚历山德鲁·马特埃斯库;阿托·萨洛马 26 1999 自动结构理论中的开放性问题。 Zbl 1169.03352号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 24 2008 精确(指数)算法设计和分析中的一些新技术。 兹比尔1169.68669 费多尔·福明。;法布里西奥·格兰多尼;迪特尔·克拉奇 23 2005 命题证明复杂性:过去、现在和未来。 Zbl 0908.68164号 保罗·比姆;托尼安·皮塔西 23 1998 因果一致可逆性。 Zbl 1409.68117号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 22 2014 20年的模态和混合规范。 Zbl 1169.68498号 亚当·安东尼克;胡特,迈克尔;Larsen,Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 19 2008 NP-hard字符串问题的多元算法。 Zbl 1409.68350号 Laurent布尔托;福尔克·Hüffner;克里斯蒂安·科穆塞维茨;罗尔夫·尼德迈尔 19 2014 时间间隔逻辑:一段旅程。 兹比尔1275.03087 黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 17 2011 基于DPO方法的图变换和HLR系统的分类框架。 Zbl 1257.68092号 哈特穆特·埃里格;乌尔里克·戈拉斯;弗兰克·赫尔曼 16 2010 关于重复闭合的规律。 Zbl 0941.68605号 尤根·达索;维克托·米特拉纳;佩恩,古奥热 15 1999 尖峰神经P系统:教程。 Zbl 1169.68416号 佩恩,古奥热 15 2007 双曲平面的多米诺骨牌问题是不可判定的。 Zbl 1169.03354号 莫里斯·马根斯坦 15 2007 分布式决策调查。 Zbl 1409.68043号 劳伦特·费伊洛利;皮埃尔·弗拉吉奥德 15 2016 关于使用反端口规则分析P系统的简短说明。 Zbl 1169.68411号 鲁道夫·弗伦德;玛丽安·奥斯瓦尔德 14 2002 Watson-Crick自动机的简短调查。 Zbl 1169.68302号 埃琳娜·齐兹勒;齐兹勒,尤根 14 2006 汉金量词:逻辑、游戏和计算。 Zbl 1169.68439号 梅利恩·塞文斯特 14 2006 使用对偶多项式的通信下限。 兹比尔1169.68438 亚历山大·谢斯托夫。 14 2008 连续一属性的算法方面。 Zbl 1179.05071号 迈克尔·多姆 14 2009 不确定性计算的查询竞争算法。 Zbl 1409.68114号 托马斯·埃勒巴赫;迈克尔·霍夫曼 14 2015 聚合和交换复制数据类型。 Zbl 1257.68039号 马克·夏皮罗;努诺省普雷古伊萨;卡洛斯·巴奎罗;马雷克·扎维斯基 14 2011 过去的时间逻辑以指数形式更加简洁。 Zbl 1169.03332号 尼古拉斯·马基 13 2003 私人信息检索调查。 Zbl 1169.94341号 威廉·加萨奇 13 2004 精确多数和领导人选举人口方案的最新结果。 Zbl 1428.68047号 Elsässer,罗伯特;托马斯·拉齐克 13 2018 \(k\)-SAT的最坏情况上界。 Zbl 1169.68443号 川崎岩马 12 2004 同构测试:透视和开放问题。 Zbl 1169.68440号 V·阿尔文德。;雅各布·托兰 12 2005 计算可控制性:从火星上看。 Zbl 0941.68577号 罗德尼·G·唐尼。;研究员Michael R。;乌尔里克·斯特奇 11 1999 图形布局问题的参数化复杂性。 Zbl 1169.68446号 玛丽亚·塞尔纳;Thilikos,Dimitrios M。 11 2005 次线性时间算法。 Zbl 1169.68442号 阿图尔·祖马;克里斯蒂安·索勒 11 2006 词汇与逻辑的关系:年表。 Zbl 1169.68460号 克里斯蒂安·乔夫鲁特 11 2006 带有几个方块的二进制单词。 Zbl 1169.68565号 特罗·哈尔朱;德克·诺沃特卡 11 2006 关于重复闭合的不规则性。 Zbl 0983.68111号 王明伟 11 2000 有值约束满足的复杂性。 Zbl 1409.68141号 彼得·杰文斯;安德烈·克罗金;斯坦尼斯拉夫·伊文 11 2014 轻抚和解开。 Zbl 1394.68212号 丹麦亨舍尔;Narad Rampersad公司;杰弗里·沙利特 11 2012 描述性复杂性的进展。 Zbl 0959.68523号 尼尔·伊梅尔曼 10 1999 参数化复杂性和次指数时间。 Zbl 1169.68428号 弗鲁姆,约格;马丁·格罗 10 2004 准周期无限词:一些答案。 Zbl 1169.68566号 莱维,F。;G.里科姆。 10 2004 准周期的无限单词。 Zbl 1169.68484号 所罗门·马库斯 9 2004 过程计算中的递归与复制:表达性。 Zbl 1169.68551号 卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 9 2005 形式语言描述复杂性的最新趋势。 Zbl 1409.68161号 马丁·库特里布;乔瓦尼·皮奇奇尼 9 2013 分布式计算中的移动代理:网络探索。 Zbl 1394.68033号 达斯,山塔努 9 2013 布局问题调查补遗。 Zbl 1257.68011号 乔迪·佩蒂特 9 2011 计算(分散的)子单词。 Zbl 1169.68491号 阿托·萨洛马 8 2003 SAT解算器入门。 Zbl 1169.68444号 大卫·G·米切尔。 8 2005 量子查询复杂性的下限。 Zbl 1169.68436号 彼得·Höyer;罗伯特·什帕莱克 8 2005 有限正则语言和无限正则语言的状态复杂性。 Zbl 1024.68543号 于盛 8 2002 通信复杂性中对数库猜想的最新进展。 Zbl 1409.68118号 洛维特,沙查尔 8 2014 为什么模态逻辑如此可靠? Zbl 0935.03029号 埃里希·格拉德尔 7 1999 膜计算:简介。 Zbl 0936.68040号 佩恩,古奥热 7 1999 Bigraphs遇到双重推出。 Zbl 1169.68450号 哈特穆特·埃里格 7 2002 无限结果的路线图。 Zbl 1169.68554号 吉·斯尔巴 7 2002 算法:寻求绝对定义。 Zbl 1169.68408号 安德烈亚斯·布拉斯;尤里·古里维奇 7 2003 根据反应规则处理同余。 Zbl 1169.68553号 帕维尔索博辛斯基 7 2004 形式语言的枚举。 Zbl 1169.68466号 迈克尔·多马拉茨基 7 2006 基于风格的架构重新配置。 Zbl 1169.68306号 罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里;埃米利奥·托斯托 7 2008 群的可识别子集:有限扩张和阿贝尔情形。 Zbl 1015.20049号 佩德罗·席尔瓦。 7 2002 分布式最小生成树问题。 Zbl 1427.68251号 戈帕尔·潘杜拉根;彼得·罗宾逊;米歇尔·斯克奎萨托 7 2018 算术电路下限的最新进展。 兹比尔1409.68127 Ramprasad Saptharishi公司 7 2014 催化计算。 Zbl 1409.68106号 米查尔·库克 7 2016 容错逻辑网络结构。 Zbl 1409.68049号 梅拉夫·帕特 7 2016 简单、微小和缓慢的事情很重要:参数化计数复杂性。 Zbl 1409.68136号 Radu Curticapean公司 7 2016 资源性措施中的十二个问题。 Zbl 0936.68049号 杰克·H·卢茨。;埃尔维拉·马约多莫 6 1999 概率自动机简介。 Zbl 1169.68494号 玛丽·斯托琳加 6 2002 超越图灵机。 Zbl 1169.68409号 尤金·埃伯巴赫;彼得·韦格纳 6 2003 波斯特的复杂性理论课程。 Zbl 1169.68426号 哈里·布尔曼;托伦弗利特,Leen 6 2005 关于合取文法和布尔文法的九个开放问题。 Zbl 1169.68454号 亚历山大·奥霍金 6 2007 使用子对象转换系统进行过程定义。 Zbl 1169.68507号 弗兰克·赫尔曼;哈特穆特·埃里格 6 2008 Cospan DPO方法:DPO图转换的一种替代方法。 Zbl 1191.68361号 哈特穆特·埃里格;赫尔曼,弗兰克;乌尔里克·普兰奇 6 2009 正则语言的Hausdorff测度是可计算的。 Zbl 0912.68119号 路德维希·施泰格 6 1998 组合游戏复杂性:偏序集游戏简介。 Zbl 1409.68137号 斯蒂芬·芬纳(Stephen A.Fenner)。;约翰·罗杰斯 6 2015 韧性有多强? Zbl 1409.68207号 布罗尔斯马,哈霍 6 2015 许多排序的泛代数的一些细微差别:综述。 Zbl 1261.68088号 安杰伊·塔莱基 6 2011 关于时变(H)系统。 Zbl 0936.68041号 佩恩,安德烈 5 1999 我最喜欢的一些结果是经典进程代数。 Zbl 1169.68533号 卢卡·埃特罗 5 2003 P与NP在形式上是独立的吗? Zbl 1169.68425号 斯科特·亚伦森 5 2003 Watson-Crick有限自动机接受的语言表示定理。 Zbl 1169.68492号 JoséM.Sempere。 5 2004 更多关于轨迹的文字。 Zbl 1169.68465号 迈克尔·多马拉茨基 5 2005 该部门取得突破。 Zbl 1027.68606号 埃里克·艾伦德 5 2001 去随机化:简要概述。 Zbl 1021.68041号 瓦伦丁·卡巴内茨 5 2002 使用事务内存进行可组合错误恢复。 Zbl 1188.68101号 托瓦尔德·里格尔;费伯,帕斯卡;克里斯托夫·费泽尔 5 2009 模复合材料的多线性多项式。 Zbl 1204.68009号 阿尔卡德夫查托帕迪亚伊 5 2010 正则表达式自动机构造的平均大小。 兹比尔1409.68153 萨宾·布罗达;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯 5 2015 单体作为存储机制。 Zbl 1409.68180号 乔治·泽采 5 2016 开放式和封闭式单词。 Zbl 1409.68226号 菲奇,加布里埃尔 5 2017 使用移动代理识别网络中的敌对节点。 Zbl 1394.68017号 欧里庇得斯·马库 5 2012 有限符号树变换器基础。 Zbl 1257.68100号 玛格斯·维纳斯;尼古拉·比约纳 5 2011 会话,从类型到编程语言。 Zbl 1261.68036号 瓦斯科·瓦孔塞洛斯。 5 2011 结构操作语义中的保守扩展。 Zbl 0941.68620号 卢卡·埃特罗;Wan Fokkink公司;克里斯·弗霍夫 4 1999 成对测试。 Zbl 1169.68352号 安德烈亚斯·布拉斯;尤里·古里维奇 4 2002 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1169.03324号 马克·贝泽姆;可口、蒂埃里 4 2003 时间语言的挑战:从应用理论到基础理论。 Zbl 1169.68535号 尤金·亚萨林 4 2004 共享内存并发系统中的对称性和匿名性。 Zbl 1484.68025号 米歇尔·雷纳尔;Taubenfeld,加迪 1 2022 非归一化空域计算的最新进展。 Zbl 1512.68442号 威廉·霍扎(William M.Hoza)。 1 2022 稀疏整数编程是FPT。 Zbl 1484.68075号 马丁·库特克;Shmuel Onn公司 2 2021 希尔伯特的第十个问题解决了(d)和(n)。 Zbl 1500.11092号 威廉·加萨奇 1 2021 关于多带有限自动机规则事件的一些结果:初步报告。 Zbl 1484.68088号 亚历山大·戈德列夫斯基;格里戈里安,海克;格里戈里安、提格伦;Samvel Shoukourian公司 1 2021 计算机科学家关于具有完美信息的有限长游戏的教程。 Zbl 1484.91040号 阿普特,克日什托夫R。;苏尼尔·西蒙 1 2021 资金转移变得简单:一个规范、一个通用算法及其证明。 Zbl 1468.68033号 亚历克斯·奥瓦利;戴维·弗雷;米歇尔·雷纳尔;弗朗索瓦州塔亚尼 2 2020 Hadwiger对一些遗传图类的猜想:综述。 Zbl 1468.05069号 卡梅隆、凯西;克里斯汀娜·武什科维奇 2 2020 多项式理想的复杂性:关于电路代数复杂性的问题和证明。 Zbl 1468.68106号 乔舒亚·格罗乔(Joshua A.Grochow)。 1 2020 近加性扳手和近精确跳集,一个统一的观点。 Zbl 1468.68147号 迈克尔·埃尔金;Ofer内曼 1 2020 电路:一个抽象的观点。 Zbl 1512.68090号 安德烈亚斯·布拉斯;尤里·古里维奇 1 2020 代数计算的硬度-随机性权衡。 Zbl 1428.68164号 姆里纳尔·库马尔;Ramprasad Saptharishi公司 三 2019 定向动态网络共识的最新结果概述。 兹比尔1428.68083 凯里尔·温克勒;乌尔里希·施密德 2 2019 枚举复杂性。 Zbl 1428.68227号 扬恩·斯特罗泽基 2 2019 无拘束的教会教育理论不可能是真的。 Zbl 1428.68148号 尤里·古里维奇 1 2019 超图度序列很难实现。 Zbl 1428.68161号 安托万·德扎;阿萨夫·莱文;赛义德·穆罕默德·米苏姆;Shmuel Onn公司 1 2019 机械不完整。 Zbl 1428.03075号 塞巴斯蒂安·奥伯霍夫 1 2019 这是一次对拥有共识数字和其他数字的美好土地的非正式访问。 Zbl 1428.68081号 米歇尔·雷纳尔 1 2019 电路学究。 Zbl 1428.68149号 安德烈亚斯·布拉斯;尤里·古里维奇 1 2019 精确多数和领导人选举人口方案的最新结果。 Zbl 1428.68047号 罗伯特·埃尔萨瑟;托马斯·拉齐克 13 2018 分布式最小生成树问题。 Zbl 1427.68251号 戈帕尔·潘杜拉根;彼得·罗宾逊;米歇尔,斯克奎扎托 7 2018 缩放算法和应用的最新进展。 Zbl 1427.68377号 安基特·加格;拉斐尔·奥利维拉 三 2018 谁需要范畴理论? Zbl 1409.68095号 安德烈亚斯·布拉斯;尤里·古里维奇 2 2018 切尔诺夫约束的五个证明及其应用。 Zbl 1416.60038号 沃尔夫冈·穆尔泽 2 2018 会议词,1997年至2017年:公开问题和猜测。 Zbl 1427.68259号 让·内罗 1 2018 量子计算邀请。 兹比尔1428.68158 安德烈亚斯·布拉斯;尤里·古里维奇 1 2018 社区检测的计算机科学和物理:景观、相变和硬度。 Zbl 1409.68220号 克里斯托弗·摩尔 27 2017 开放式和封闭式单词。 Zbl 1409.68226号 菲奇,加布里埃尔 5 2017 一个(集中的)本地指南。 Zbl 1409.68218号 勒乌特·列维;麦地那,莫蒂 4 2017 基于状态的复制数据类型中的组合。 Zbl 1409.68038号 卡洛斯·巴奎罗;保罗·塞尔吉奥·阿尔梅达;阿尔西诺·库尼亚;卡拉·费雷拉 2 2017 分布式通用结构:导游。 Zbl 1409.68047号 米歇尔·雷纳尔 1 2017 概率自动机的Profinite技术。 Zbl 1409.68159号 纳塔娜·菲亚尔科夫 1 2017 游戏语义中的并发结构。 Zbl 1409.68164号 西蒙·卡斯特伦 1 2017 区块链共识层和BFT。 Zbl 1409.68037号 伊泰·亚伯拉罕;大丽亚·马尔基 1 2017 时间超属性。 Zbl 1416.03013号 伯恩德·芬克贝纳 1 2017 分布式决策调查。 兹比尔1409.68043 劳伦特·费伊洛利;皮埃尔·弗拉吉奥德 15 2016 催化计算。 Zbl 1409.68106号 米查尔·库克 7 2016 容错逻辑网络结构。 Zbl 1409.68049号 梅拉夫·帕特 7 2016 简单、微小和缓慢的事情很重要:参数化计数复杂性。 Zbl 1409.68136号 Radu Curticapean公司 7 2016 单体作为存储机制。 Zbl 1409.68180号 乔治·泽采 5 2016 包装问题的计算方面。 Zbl 1409.68130号 Alt,赫尔穆特 三 2016 主持一些计算机科学应用的介绍。 Zbl 1409.68193号 杰拉尼·纳尔逊 2 2016 Boris(Boaz)Trakhtenbrot(1921–2016)。 Zbl 1409.01033号 纳鸿·德肖维茨 1 2016 纪念:鲍里斯·特拉赫滕布罗特(Boris Trakhtenbrot),1921年至2016年。 Zbl 1409.01035号 劳伦斯·M·费希尔。 1 2016 不确定性计算的查询竞争算法。 Zbl 1409.68114号 托马斯·埃勒巴赫;迈克尔·霍夫曼 14 2015 组合游戏复杂性:偏序集游戏简介。 Zbl 1409.68137号 斯蒂芬·芬纳(Stephen A.Fenner)。;约翰·罗杰斯 6 2015 韧性有多强? Zbl 1409.68207号 布罗尔斯马,哈霍 6 2015 正则表达式自动机构造的平均大小。 Zbl 1409.68153号 萨宾·布罗达;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯 5 2015 硬件中的容错分布式系统。 Zbl 1409.68042号 丹尼·多列夫;马蒂亚斯·福格尔;克里斯托夫·伦岑;乌尔里希·施密德;安德烈亚斯·斯坦宁格 三 2015 \(k)-最佳枚举。 Zbl 1409.68212号 戴维·埃普斯坦 2 2015 负概率。 Zbl 1416.60013号 安德烈亚斯·布拉斯;尤里·古里维奇 2 2015 重命名问题:最新发展和开放性问题。 Zbl 1409.68113号 Alistar,丹 2 2015 含义直接优化基础的逻辑方法。 Zbl 1409.68285号 罗德里格斯-洛伦佐,埃斯特雷拉;巴勃罗·科德罗;曼纽尔·恩西索;安杰尔·莫拉 1 2015 乔治·丹齐格:单纯形方法之父。 Zbl 1409.01023号 大卫·阿维斯 1 2015 算法分析中O符号的一般定义。 Zbl 1409.68146号 卡勒·鲁塔南;Gómez Herrero,德国;埃里克森,Sirkka-Liisa;凯伦·埃吉亚萨里安 1 2015 结构化稀疏性的快速算法(ICALP 2015特邀教程)。 Zbl 1409.68318号 奇马·赫格德;彼得亚·因迪克;路德维希·施密特 1 2015 核函数化的最新发展:综述。 Zbl 1409.68144号 斯特凡·克拉奇 41 2014 因果一致可逆性。 Zbl 1409.68117号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 22 2014 NP-hard字符串问题的多元算法。 Zbl 1409.68350号 Laurent布尔托;福尔克·Hüffner;克里斯蒂安·科穆塞维茨;罗尔夫·尼德迈尔 19 2014 有值约束满足的复杂性。 Zbl 1409.68141号 杰文斯,彼得;安德烈·克罗金;斯坦尼斯拉夫·伊文 11 2014 通信复杂性中对数库猜想的最新进展。 Zbl 1409.68118号 沙查·洛维特 8 2014 算术电路下限的最新进展。 Zbl 1409.68127号 Ramprasad Saptharishi公司 7 2014 计算复杂性中的结构与组合。 Zbl 1409.68132号 波阿斯·巴拉克 2 2014 事务内存计算的一致性。 Zbl 1409.68070号 Dziuma,德米特罗;帕纳吉奥塔·法图鲁;埃琳·卡内卢 2 2014 上下文语义:从量子力学到逻辑、数据库、约束和复杂性。 Zbl 1416.81016号 萨姆森·艾布拉姆斯基 2 2014 使用量子计算学习物理。 Zbl 1416.81049号 内森·威比 1 2014 形式语言描述复杂性的最新趋势。 Zbl 1409.68161号 马丁·库特里布;乔瓦尼·皮奇奇尼 9 2013 分布式计算中的移动代理:网络探索。 Zbl 1394.68033号 达斯,山塔努 9 2013 米哈伊·佩特拉什库:讣告和公开问题。 Zbl 1395.01075号 米克尔·索洛普 三 2013 有建议的计算:当知识有帮助时。 Zbl 1394.68149号 斯特凡·多布雷夫;拉斯蒂斯拉夫·克拉洛维奇;理查德·克拉洛维奇 三 2013 H指数很容易操作。 Zbl 1394.68193号 巴特·德·凯伊泽;阿普特,克日什托夫R。 三 2013 并发相关分布式递归的入门教程。 Zbl 1409.68323号 塞尔吉奥·拉杰斯鲍姆;米歇尔·雷纳尔 2 2013 溪流是永恒的。 Zbl 1394.68270号 约尔格恩德鲁利斯;迪米特里·亨德里克斯;扬·威廉·克鲁普 1 2013 洗牌和不洗牌。 Zbl 1394.68212号 丹麦亨舍尔;Narad Rampersad公司;杰弗里·沙利特 11 2012 使用移动代理识别网络中的敌对节点。 Zbl 1394.68017号 欧里庇得斯·马库 5 2012 反讽复杂性:可满足性算法和电路下限。 Zbl 1261.68062号 拉胡尔·桑塔纳姆 4 2012 了解非均匀失效模型。 Zbl 1261.68030号 彼得·库兹涅佐夫 2 2012 关于区间图的同构问题。 Zbl 1394.68187号 约翰·科布勒;塞巴斯蒂安·库内特;奥列格·维尔比茨基 1 2012 算法类:形式化和比较。 Zbl 1394.68424号 谢尔盖·格里戈里夫;皮埃尔·瓦拉彻 1 2012 纪念:曼弗雷德·库德克(1940–2012)。2012年6月23日,剑桥,2012年国际教育博览会闭幕式上宣读讣告。 Zbl 1395.01078号 范·埃姆德·博阿斯(Peter van Emde Boas) 1 2012 Kripke模型上逻辑的模型检查的复杂性。 Zbl 1394.68233号 阿恩·迈尔;朱利安·斯特芬·米勒;马丁·蒙德亨克;赫里贝特·沃尔默 1 2012 计算复杂性中的真理与证明。 Zbl 1394.68152号 波阿斯·巴拉克 1 2012 基于指数时间假设的下限。 Zbl 1258.68068号 丹尼尔·洛克斯塔诺夫;达尼尔·马克思;萨科特·索拉布 120 2011 时间间隔逻辑:一段旅程。 Zbl 1275.03087号 黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 17 2011 聚合和交换复制数据类型。 Zbl 1257.68039号 马克·夏皮罗;努诺省普雷古伊萨;卡洛斯·巴奎罗;马雷克·扎维斯基 14 2011 布局问题调查的附录。 Zbl 1257.68011号 乔迪·佩蒂特 9 2011 多门泛代数的一些细微差别:综述。 Zbl 1261.68088号 安杰伊·塔莱基 6 2011 有限符号树变换器基础。 Zbl 1257.68100号 玛格斯·维纳斯;尼古拉·比约纳 5 2011 会话,从类型到编程语言。 Zbl 1261.68036号 Vaconcelos,Vasco T。 5 2011 关于位复杂性的概念。 Zbl 1258.68057号 死亡,克劳斯 2 2011 现代SAT解题器的解剖和实证评估。 Zbl 1258.68137号 卡伦·萨卡拉。;若昂·西尔瓦侯爵 2 2011 解决异步集协议的故障检测器:最新结果一瞥。 兹比尔1258.68069 米歇尔·雷纳尔 1 2011 基于DPO方法的图变换和HLR系统的分类框架。 Zbl 1257.68092号 哈特穆特·埃里格;乌尔里克·戈拉斯;弗兰克·赫尔曼 16 2010 模复合材料的多线性多项式。 Zbl 1204.68009号 阿尔卡德夫查托帕迪亚伊 5 2010 非单调逻辑的复杂性。 Zbl 1275.68141号 托马斯,迈克尔;赫里贝特·沃尔默 三 2010 高阶并发:表达性和可判定性结果——一项调查。 Zbl 1343.68175号 佩雷斯(Jorge A.Pérez)。 2 2010 共享内存的稳健模拟:20年后。 兹比尔1203.68307 哈吉特·阿提亚 2 2010 重新配置复制的原子存储:教程。 Zbl 1258.68017号 马科斯·K·阿奎莱拉。;艾迪特·凯达尔;大丽亚·马尔基;Jean-Philippe Martin;亚历山大·施拉尔 2 2010 用计算机研究布尔函数的复杂性。 Zbl 1343.68103号 天野和之 1 2010 使用图形和网络技术对移动自组网和基于通信的系统进行形式化建模和分析。 Zbl 1343.68020号 凯瑟琳·霍夫曼 1 2010 …还有165个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2284位作者引用 18 Kai T.Salomaa。 16 保罗·G·斯皮拉基斯。 15 罗尔夫·尼德迈尔 14 沃伊切赫·莱特 12 亨宁费尔瑙 12 佩恩,古奥热 12 雅库布·拉多舍夫斯基 12 达纳·罗恩 12 伊格纳西·绍 12 萨科特·索拉布 11 费多尔·福明。 11 米歇尔·奥通 11 Thilikos,Dimitrios M。 10 卡里、莉拉 10 达尼尔·马克思 10 马库斯·施密德。 10 克里希纳·苏布拉马尼 10 米哈伊尔·弗拉基米洛维奇(Mikhail Vladimirovich Volkov) 10 托马什·瓦伦 9 托马斯·科齐马卡 9 克里斯蒂安·科穆塞维茨 9 伊万·拉内斯 9 维克托·米特拉纳 9 马钦·皮利普祖克(Marcin L.Pilipczuk)。 9 萨塞纳,尼廷 8 马克西姆·克罗西莫尔 8 劳伦特·费伊洛利 8 菲奇,加布里埃尔 8 皮埃尔·弗拉吉奥德 8 鲁道夫·吉卢杜 8 Petr A.Golovach。 8 Han、Yo-Sub 8 拉森,金·古尔德斯特朗 8 安吉洛·蒙塔纳里 8 贝内德克·纳吉 8 安德烈·尼切特林 8 弗兰克·斯蒂芬 8 Wojciechowski,Piotr J。 7 阿明·科贾·奥格伦 7 赫尔曼·格鲁伯 7 尤里·古里维奇 7 特罗·哈尔朱 7 德克·诺沃特卡 7 拉马努扬,M.S。 7 米歇尔·里戈 7 罗尼特·鲁宾菲尔德 7 阿尔托·库斯塔·萨洛马 7 Ronen Shaltiel公司 7 阿萨夫·夏皮拉 7 这样,Ondřej 7 马蒂亚斯·韦勒 7 吉田、Nobuko 6 戈尔纳斯·巴德科贝赫 6 朱利安·巴斯特 6 爱德华·博内 6 查克拉博蒂,桑卡迪普 6 迈克尔·多马拉茨基 6 哈维尔·埃斯帕尔扎 6 鲁道夫·弗伦德 6 格雷戈里·古丁。 6 哈东,塞普 6 约翰·M·希区柯克。 6 马库斯·霍尔泽 6 伊祖米、大辅 6 桑杰·贾恩 6 拉斐尔·荣格斯。 6 Ko、Sang-Ki 6 迪特尔·克拉奇 6 彼得·鲁波尔德 6 丹尼尔·洛克斯塔诺夫 6 弗罗林·马内亚 6 莫里斯·马根斯坦 6 亚历山大·梅尔尼科夫。 6 克劳迪奥·安塔雷斯·梅齐纳 6 Micha Pilipczuk 6 Richomme,Gwénaël公司 6 萨蒂,斯里尼瓦萨·拉奥 6 杰弗里·奥特劳Shallit 6 阿塞尼·M·舒尔。 6 雷内·范·贝文 6 Yuichi Yoshida 6 斯坦尼斯拉夫·伊文 5 卢卡·埃特罗 5 阿纳尼切夫(Dmitry S.Ananichev)。 5 克莱门·奥伯特 5 布兰切特·萨德里(Francine Blanchet-Sadri) 5 安德烈亚斯·拉斐尔·布拉斯 5 Bodlaender,Hans L。 5 安妮城堡 5 Ioannis Chatzigannakis公司 5 埃琳娜·齐兹勒 5 大卫·多蒂 5 哈特穆特·埃里格 5 文森特·弗罗泽 5 格内西、斯特凡尼亚 5 奥德·戈尔德雷奇 5 科斯塔斯·S·伊利奥普洛斯。 5 彼得·琼森 5 Bakhadyr M.库萨诺夫。 5 杜珊·克诺普 …还有2184名作者 全部的 前5名182种期刊被引用 235 理论计算机科学 65 算法学 59 信息与计算 56 计算机与系统科学杂志 35 信息处理信件 33 SIAM计算机杂志 33 计算系统理论 28 离散应用数学 27 程序设计中的逻辑和代数方法杂志 26 分布式计算 22 自然计算 21 计算复杂性 18 SIAM离散数学杂志 18 国际计算机科学基础杂志 16 信息学报 12 膜计算杂志 11 人工智能 11 计算机科学中的逻辑方法 10 RAIRO公司。理论信息学及其应用 8 离散数学 8 数学与人工智能年鉴 8 计算机科学评论 7 欧洲组合数学杂志 7 计算的形式方面 7 随机结构与算法 7 组合优化期刊 7 逻辑与代数程序设计杂志 6 纯逻辑与应用逻辑年鉴 6 自动推理杂志 6 设计、代码和密码 6 RAIRO公司。理论信息学及其应用 6 计算机基础理论 6 离散算法杂志 6 计算理论 5 组合数学 5 数学科学杂志(纽约) 5 算法 4 组合理论杂志。系列A 4 运营研究信件 4 图与组合 4 系统设计中的形式化方法 三 数学物理中的通信 三 国际理论物理杂志 三 以色列数学杂志 三 数学生物学杂志 三 信息科学 三 符号逻辑杂志 三 网络 三 西伯利亚数学杂志 三 计算机程序设计科学 三 新一代计算 三 神经计算 三 MSCS公司。计算机科学中的数学结构 三 欧洲运筹学杂志 三 数学逻辑档案 三 逻辑、语言与信息杂志 三 组合数学电子杂志 三 数学年鉴。第二系列 三 整数 三 ACM计算逻辑事务 三 数理统计与学习 2 计算机与数学及其应用 2 统计物理杂志 2 数学笔记 2 数学进展 2 应用数学与计算 2 Automatica公司 2 代数杂志 2 组合理论杂志。B系列 2 数学心理学杂志 2 数论杂志 2 半群论坛 2 美国数学学会会刊 2 应用数学进展 2 符号计算杂志 2 概率论及其相关领域 2 离散和计算几何 2 国际近似推理杂志 2 国际代数与计算杂志 2 数学编程。A系列B系列 2 Indagationes Mathematicae公司。新系列 2 控制论与系统分析 2 应用非经典逻辑杂志 2 组合数学、概率与计算 2 数学逻辑季刊(MLQ) 2 调度日志 2 图形算法与应用杂志 2 美国医学会杂志 2 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 2 计算数学基础 2 量子信息处理 2 ACM实验算法杂志 2 统计力学杂志:理论与实验 2 并行处理信件 2 离散优化 2 ACM算法汇刊 2 Diskretny®Analiz i Issledovanie Operati® 2 SN运营研究论坛 1 倒排索引综述 1 经典引力和量子引力 …还有82种期刊 全部的 前5名在44个字段中引用 1,277 计算机科学(68至XX) 259 组合数学(05-XX) 174 数学逻辑和基础(03-XX) 88 运筹学、数学规划(90-XX) 80 信息与通信理论、电路(94-XX) 47 博弈论、经济学、金融和其他社会和行为科学(91-XX) 39 生物学和其他自然科学(92-XX) 31 数论(11-XX) 28 统计学(62-XX) 27 概率论与随机过程(60-XX) 27 量子理论(81-XX) 21 群论与推广(20-XX) 15 有序,格,有序代数结构(06-XX) 15 范畴理论;同调代数(18-XX) 13 线性代数和多线性代数;矩阵理论(15-XX) 12 代数几何(14-XX) 11 一般代数系统(08-XX) 11 数值分析(65-XX) 10 统计力学,物质结构(82-XX) 9 凸和离散几何(52-XX) 6 测量和集成(28-XX) 5 历史和传记(01-XX) 5 动力系统和遍历理论(37至XX) 5 几何图形(51至XX) 5 系统论;控制(93至XX) 4 交换代数(13-XX) 三 场论和多项式(12-XX) 三 偏微分方程(35-XX) 三 一般拓扑结构(54至XX) 2 总体主题;集合(00-XX) 2 近似值和展开值(41至XX) 2 欧氏空间的调和分析(42至XX) 2 抽象谐波分析(43至XX) 2 算子理论(47-XX) 2 流形和细胞复合体(57至XX) 2 相对论与引力理论(83至XX) 1 复变量的函数(30年XX月) 1 常微分方程(34-XX) 1 积分方程(45-XX) 1 代数拓扑(55-XX) 1 整体分析,流形分析(58至XX) 1 经典热力学,传热(80-XX) 1 地球物理学(86-XX) 1 数学教育(97-XX) 按年份列出的引文