计算机科学前沿 简短标题： 前面。计算。科学。 发布者： 柏林/海德堡施普林格；北京高等教育出版社 国际标准编号： 2095-2228; 2095-2236/年 在线： http://link.springer.com/journal/volumesAndIssues/11704 前置处理器： 中国计算机科学前沿 评论： 期刊；不再索引 编入索引的文档： 102出版物(2012–2018) 索引的引用： 86出版物参考文献2834。 全部的 前5名最新问题 122018年第6号 12，第5号（2018） 12，第4号（2018） 12，第2号（2018） 122018年第1期 112017年第6号 112017年第5号 112017年第4号 112017年第3号 102016年第5号 102016年第4号 102016年第2期 102016年第1期 92015年第4号 92015年第3期 92015年第1期 82014年第6号 82014年第5号 82014年第4号 82014年第3期 82014年第2期 82014年第1期 72013年第6号 72013年第5号 72013年第4号 72013年第3期 72013年第2期 72013年第1期 62012年第6号 62012年第5号 62012年第4号 62012年第3号 62012年第2期 62012年第1期 全部的 前5名作者 4 隋、岳飞 三 金正平 三 李伟 三 苏凯乐 三 文乔艳 三 徐春香 2 陈清亮 2 陈增强 2 董金松 2 冯新余 2 胡玉浦 2 蒋明明 2 柯伟 2 赖，奇奇 2 李万鹏 2 刘，权 2 刘，杨 2 刘志明 2 罗杰 2 普什品德·辛格 2 孙骏 2 王宝仓 2 王淑玲 2 闫永义 2 张华 2 张文正 2 张秀杰 2 张再岳 2 周、奥英 2 周、余 1 加根阿格拉瓦尔 1 巴，魏 1 白、梅 1 苏赫里德·巴拉克利什南 1 鲍佳佳 1 克里斯蒂安·比克斯 1 利奥波多·贝尔托西。 1 洛依茨贝斯纳德 1 Bo，Yang（杨波） 1 曹存根 1 曹、金 1 曹亚南 1 曹英春 1 杰米·卡博内尔（Jaime G.Carbonell）。 1 Chang、Liang 1 陈爱祥 1 陈道旭 1 陈国良 1 陈，洪 1 陈洪辉 1 陈建飞 1 陈杰 1 陈靖宇 1 陈可飞 1 陈丽菲 1 陈梅 1 陈宁 1 陈，吴 1 陈秀伟 1 陈燕文 1 陈一香 1 Chen，袁 1 Cheng，Lin（林成） 1 程向国 1 程雪琪 1 拉达·奇尔科娃 1 Chong、Zhihong 1 乔普拉，苏米特 1 科伦坡托萨托，西尔瓦诺 1 崔贤吉 1 邓绍波 1 Ernst-Erich Doberkat 1 侗、乐 1 董新璐娜 1 董新丰 1 杜晓敏 1 杜宇月 1 段少侠 1 马尔瓦内·哈比利 1 范文飞 1 范阳宇 1 傅明 1 傅启明 1 傅、沙沙 1 高惠吉 1 高伟 1 贾弗·加德兹 1 哈利什·加格 1 蒂埃里·戈蒂埃 1 费比安·吉塞克 1 龚茂国 1 龚鹏 1 圭多州长 1 顾嘉义 1 顾欣 1 关、苏杰 1 郭德科 1 郭公德 1 罗伯特·瓜德拉 1 韩婷婷 …还有209名作者 全部的 前5名领域 76 计算机科学（68至XX） 21 信息与通信理论、电路（94-XX） 11 数学逻辑和基础（03-XX） 9 运筹学、数学规划（90-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 统计学（62-XX） 2 阶、格、有序代数结构（06-XX） 2 系统论；控制（93至XX） 1 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 常微分方程（34-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 48出版物有被引用92中的次88文件 引用人▼ 年份▼ 基于Lyapunov的线性时滞系统稳定性方法综述。 Zbl 1405.34046号 孙健;陈杰 12 2017 向图形可达性和模式查询添加正则表达式。 Zbl 1251.68170号 范文飞;李建忠;马帅;唐，南;吴英辉 5 2012 针对2型模糊集的一些新的距离测度和针对群决策问题的基于距离测度的排序。 Zbl 1402.03075号 普什品德·辛格 4 2014 一种无随机预言的基于格的签密方案。 Zbl 1360.94322号 陆秀华;文乔艳;金正平;王立成;杨春丽 三 2014 在大型网络上基于延迟的TCP中实现高吞吐量和TCP Reno公平性。 Zbl 1343.68029号 王靖远;温江涛;韩宇兴;张军;李超;熊，张 三 2014 类型1 Feistel方案上的已知密钥识别器及其哈希模式上的近碰撞攻击。 Zbl 1368.94095号 侗、乐;吴文玲;吴爽;邹健 三 2014 用于指定和验证实时系统的时序逻辑调查。 Zbl 1425.68258号 萨瓦斯·科努尔 三 2013 一种新的无对无证书认证密钥协商协议，具有可证明的安全性。 Zbl 1426.94150号 孙海燕;文乔艳;张华;金正平 三 2013 矩阵的半传感器乘积逼近有限自动机的可达性，并应用于语言识别。 Zbl 1403.68131号 闫永义;陈增强;刘忠信 三 2014 RCOS：基于组件的软件的正式模型驱动工程方法。 Zbl 1251.68078号 柯伟;李晓山;刘志明;沃尔克·斯托尔茨 三 2012 弹性\（k\）-d树：\（k\）-表示在空间中重新访问。 Zbl 1251.68084号 费比安·吉塞克;加布里埃尔·莫鲁兹;瓦伦霍尔德，简 三 2012 通过关系进行可追踪的XML数据交换。 Zbl 1251.68083号 拉达·奇尔科娃;利奥尼德·利金;胡安·卢特（Juan L.Reutter）。 三 2012 一个短的不可授权的强指定验证者签名。 Zbl 1368.94150号 田海波;李、金 2 2014 操作发生在记忆模型之前。 Zbl 1403.68028号 张扬;冯新余 2 2016 标准模型中无证书加密方案的密码分析和改进。 Zbl 1426.94088号 Cheng，Lin（林成）;文乔艳;金正平;张华 2 2014 最优二进制码和量子码的二进制构造。 Zbl 1404.81082号 王伟良;范阳宇;李瑞虎 2 2014 多智能体系统时间知识的完整联盟逻辑。 Zbl 1403.68256号 陈清亮;苏凯乐;胡勇;胡贵武 2 2015 Timed-pNets：分布式系统的通信行为语义模型。 Zbl 1403.68138号 陈燕文;陈一香;艾瑞克·马德琳 2 2015 两个同类游戏还是收视率游戏？自适应成对偏好和潜在因素模型。 兹比尔1251.68236 苏赫里德·巴拉克利什南;苏米特·乔普拉 2 2012 匹配依赖：语义和查询应答。 Zbl 1251.68087号 贾弗·加德兹;利奥波多·贝托西;伊利州基林加 2 2012 Dm-KDE：通过数据流上具有固定分量数的KDE估计序列进行动态核密度估计。 Zbl 1329.62193号 徐敏;石内，久雄;顾欣;王世通 1 2014 无双线性对的无证书签密方案的密码分析与改进。 Zbl 1360.94332号 史文波;尼拉吉·库马尔;龚鹏;张泽忠 1 2014 广播网络中双系统密钥连续泄漏弹性广播密码系统。 Zbl 1368.94138号 张明武;穆毅 1 2014 不确定流上的连续排名。 Zbl 1331.68071号 金、车清;张景伟;周、奥英 1 2012 通过等价性评估RDF查询。 Zbl 1425.68092号 倪伟伟;Chong、Zhihong;舒、胡;鲍佳佳;周、奥英 1 2013 计算最大收缩的一般框架。 Zbl 1425.68396号 罗杰 1 2013 通过符号数字计算方法证明循环程序的完全正确性和生成前提。 Zbl 1425.68260号 林，王;吴敏;杨正峰;曾振兵 1 2014 作为异质概念格表示的基本定理。 Zbl 1402.06002号 乔泽夫·波切斯;Pócsová，贾纳 1 2015 基于神经网络区间2型模糊滑模控制器的八角无人机容错控制。 Zbl 1405.93168号 萨米尔·泽拉赫;贾梅尔·塞加阿;卡梅尔·卡拉 1 2016 通过Hoare逻辑推理循环动作。 Zbl 1403.68267号 何建坤;赵西顺 1 2016 大数据的并行计算框架。 Zbl 1403.68068号 陈国良;毛锐;陆克忠 1 2017 平衡布尔函数的自相关分布。 Zbl 1426.94144号 周、余;张伟国;李胡安;董新丰;肖国珍 1 2013 可逆峰值神经P系统。 Zbl 1425.68116号 宋涛;石晓龙;徐金邦 1 2013 新的具有不可信更新的前向安全签名方案。 Zbl 1426.94149号 李万鹏;徐春香;张文正;朱世雄;张秀杰 1 2013 对具有不同服务容量的优先级排队系统进行建模。 Zbl 1426.90066号 陈梅;金小龙;王元卓;程雪琪;闵、葛勇 1 2013 基于固定范围的OWL本体中的完整性约束。 Zbl 1425.68401号 丹东欧阳;崔贤吉;叶玉新 1 2013 不完备系统中基于容差的多粒度粗糙集。 Zbl 1403.68295号 张再跃;杨喜蓓 1 2014 钥匙绝缘聚合签名。 Zbl 1404.94135号 赵慧艳;于，贾;段少侠;程向国;郝、荣 1 2014 SeVe：安全协议验证的自动工具。 Zbl 1251.68142号 卢安图;孙骏;刘，杨;董金松 1 2012 丰富微博中的短文本表示以进行聚类。 Zbl 1251.68303号 唐继良;王旭飞;高惠吉;胡，夏;刘欢 1 2012 综合建议：从物品到包装。 Zbl 1251.68304号 谢敏;Lakshmanan，Laks V.S.公司。;彼得·T·伍德。 1 2012 链接时态记录。 Zbl 1251.68090号 李，裴;董新璐娜;安德烈亚·莫里诺;迪维什·斯利瓦斯塔瓦 1 2012 通过具有细胞分离的组织P系统统一求解独立集问题。 Zbl 1251.68107号 张兴义;曾祥祥;罗斌;张，郑 1 2012 在存在类相似性的情况下评估排名质量的ClasSi系数。 Zbl 1251.68096号 伊万内斯库、安卡·玛丽亚;马克·威赫特里希;克里斯蒂安·比克斯 1 2012 使用基于AICc的多目标优化算法，用最优神经网络预测时间序列。 Zbl 1425.68348号 侯牧州;杨云雷;刘桃华;彭文平 1 2018 评论：“2类模糊集的一些新距离测度和群决策问题的基于距离测度的排序”。 兹比尔1404.03048 苏克维尔·辛格;哈利什·加格 1 2018 用代数状态空间方法对组合自动机进行建模和控制。 兹比尔1403.68132 闫永义;陈增强;岳菊梅 1 2017 基于分段李亚普诺夫函数的模糊仿射动态系统的非脆弱控制。 Zbl 1405.93147号 傅、沙沙;邱建斌;纪文强 1 2017 使用基于AICc的多目标优化算法，用最优神经网络预测时间序列。 Zbl 1425.68348号 侯牧州;杨云雷;刘桃华;彭文平 1 2018 评论：“2类模糊集的一些新距离测度和群决策问题的基于距离测度的排序”。 Zbl 1404.03048号 苏克维尔·辛格;哈利什·加格 1 2018 基于Lyapunov的线性时滞系统稳定性方法综述。 Zbl 1405.34046号 孙健;陈杰 12 2017 大数据的并行计算框架。 Zbl 1403.68068号 陈国良;毛锐;陆克忠 1 2017 用代数状态空间方法对组合自动机进行建模和控制。 Zbl 1403.68132号 闫永义;陈增强;岳菊梅 1 2017 基于分段Lyapunov函数的模糊仿射动态系统的非脆弱控制。 Zbl 1405.93147号 傅、沙沙;邱建斌;纪文强 1 2017 操作发生在记忆模型之前。 Zbl 1403.68028号 张扬;冯新余 2 2016 基于神经网络区间2型模糊滑模控制器的八角无人机容错控制。 Zbl 1405.93168号 泽拉赫、萨米尔;贾梅尔·塞加阿;卡梅尔·卡拉 1 2016 通过Hoare逻辑推理循环动作。 Zbl 1403.68267号 何建坤;赵西顺 1 2016 多智能体系统时间知识的完整联盟逻辑。 Zbl 1403.68256号 陈清亮;苏凯乐;胡勇;胡贵武 2 2015 定时pNets：一种用于分布式系统的通信行为语义模型。 Zbl 1403.68138号 陈燕文;陈一香;艾瑞克·马德琳 2 2015 作为异质概念格表示的基本定理。 Zbl 1402.06002号 乔泽夫·波切斯;Pócsová，贾纳 1 2015 针对2型模糊集的一些新的距离测度和针对群决策问题的基于距离测度的排序。 Zbl 1402.03075号 普什品德·辛格 4 2014 一种无随机预言的基于格的签密方案。 Zbl 1360.94322号 陆秀华;文乔艳;金正平;王立成;杨春丽 三 2014 在大型网络上基于延迟的TCP中实现高吞吐量和TCP-Reno公平性。 Zbl 1343.68029号 王靖远;温江涛;韩宇兴;张军;李超;熊，张 三 2014 已知密钥区分了1型Feistel方案和哈希模式的近碰撞攻击。 Zbl 1368.94095号 侗、乐;吴文玲;吴爽;邹健 三 2014 矩阵的半传感器乘积逼近有限自动机的可达性，并应用于语言识别。 Zbl 1403.68131号 闫永义;陈增强;刘忠信 三 2014 一个短的不可授权的强指定验证者签名。 Zbl 1368.94150号 田海波;李、金 2 2014 标准模型中无证书加密方案的密码分析和改进。 Zbl 1426.94088号 Cheng，Lin（林成）;文乔艳;金正平;张华 2 2014 最优二进制码和量子码的二进制构造。 Zbl 1404.81082号 王维良;范阳宇;李瑞虎 2 2014 Dm-KDE：通过数据流上具有固定分量数的KDE估计序列进行动态核密度估计。 Zbl 1329.62193号 徐敏;石内，久雄;顾欣;王世通 1 2014 无双线性对的无证书签密方案的密码分析与改进。 兹比尔1360.94332 史文波;尼拉吉·库马尔;龚鹏;张泽忠 1 2014 广播网络中双系统的密钥连续泄漏弹性广播密码系统。 Zbl 1368.94138号 张明武;穆毅 1 2014 通过符号数字计算方法证明循环程序的完全正确性并生成先决条件。 Zbl 1425.68260号 林，王;吴敏;杨正峰;曾振兵 1 2014 不完备系统中基于容差的多粒度粗糙集。 Zbl 1403.68295号 张再岳;杨喜蓓 1 2014 钥匙绝缘聚合签名。 Zbl 1404.94135号 赵慧燕;于，贾;段少侠;程向国;郝蓉 1 2014 用于指定和验证实时系统的时序逻辑调查。 Zbl 1425.68258号 萨瓦斯·科努尔 三 2013 一种新的无对无证书认证密钥协商协议，具有可证明的安全性。 Zbl 1426.94150号 孙海燕;文乔艳;张华;金正平 三 2013 通过等价性评估RDF查询。 Zbl 1425.68092号 倪伟伟;Chong、Zhihong;舒、胡;鲍佳佳;周、奥英 1 2013 计算最大收缩的一般框架。 Zbl 1425.68396号 罗杰 1 2013 平衡布尔函数的自相关分布。 Zbl 1426.94144号 周、余;张伟国;李胡安;董新丰;肖国珍 1 2013 可逆峰值神经P系统。 兹比尔1425.68116 宋涛;石晓龙;徐金邦 1 2013 具有不可信更新的新的前向安全签名方案。 Zbl 1426.94149号 李万鹏;徐春香;张文正;朱世雄;张秀杰 1 2013 对具有不同服务容量的优先级排队系统进行建模。 Zbl 1426.90066号 陈梅;金小龙;王元卓;程雪琪;闵、葛勇 1 2013 基于固定范围的OWL本体中的完整性约束。 Zbl 1425.68401号 丹东欧阳;崔贤吉;叶玉新 1 2013 向图形可达性和模式查询添加正则表达式。 Zbl 1251.68170号 范文飞;李建忠;马帅;唐，南;吴英辉 5 2012 RCOS：基于组件的软件的正式模型驱动工程方法。 Zbl 1251.68078号 柯伟;李晓山;刘志明;沃尔克·斯托尔茨 三 2012 弹性\（k\）-d树：\（k\）-表示在空间中重新访问。 Zbl 1251.68084号 费比安·吉塞克;加布里埃尔·莫鲁兹;瓦伦霍尔德，简 三 2012 通过关系进行可追踪的XML数据交换。 Zbl 1251.68083号 拉达·奇尔科娃;利奥尼德·利金;胡安·卢特（Juan L.Reutter）。 三 2012 两个同类游戏还是收视率游戏？自适应成对偏好和潜在因素模型。 Zbl 1251.68236号 苏赫里德·巴拉克利什南;苏米特·乔普拉 2 2012 匹配依赖：语义和查询应答。 Zbl 1251.68087号 加德齐，贾弗;利奥波多·贝托西;伊利州基林加 2 2012 在不确定的流上连续排名。 Zbl 1331.68071号 金、车清;张景伟;周、奥英 1 2012 SeVe：用于验证安全协议的自动工具。 Zbl 1251.68142号 卢安图;孙骏;刘，杨;董金松 1 2012 丰富微博中的短文本表示以进行聚类。 Zbl 1251.68303号 唐继良;王旭飞;高惠吉;胡，夏;刘欢 1 2012 综合建议：从物品到包装。 Zbl 1251.68304号 谢敏;Lakshmanan，Laks V.S.公司。;彼得·T·伍德。 1 2012 链接时态记录。 Zbl 1251.68090号 李，裴;董新璐娜;安德烈亚·莫里诺;迪维什·斯利瓦斯塔瓦 1 2012 通过具有细胞分离的组织P系统统一求解独立集问题。 Zbl 1251.68107号 张兴义;曾祥祥;罗斌;张，郑 1 2012 在存在类相似性的情况下评估排名质量的ClasSi系数。 Zbl 1251.68096号 伊万内斯库、安卡·玛丽亚;马克·威赫特里希;克里斯蒂安·比克斯 1 2012 所有引用出版物 前5名被引用出版物 全部的 前5名255位作者引用 三 邓伦志 三 Leonid O·利金。 2 巴勃罗·巴塞洛 2 利奥波多·贝尔托西。 2 陈增强 2 程向国 2 窦、李华 2 范文飞 2 Daniel Schnetzer，法瓦 2 何塞·路易斯·费亚代罗 2 加西亚，亚历杭德罗·哈维尔 2 哈利什·加格 2 玛丽安·盖奥吉 2 郝蓉 2 柯伟 2 弗拉基米尔·科克谢涅夫 2 萨瓦斯·科努尔 2 刘志明 2 安托尼亚州洛佩斯 2 帕维尔·O·米切夫。 2 胡安·卢特（Juan L.Reutter）。 2 弗朗切斯科·西尔维斯特里 2 普什品德·辛格 2 苏克维尔·辛格 2 马丁·斯特芬 2 沃尔克·斯托尔茨 2 苏凯乐 2 孙健 2 谢尔盖·苏申科 2 威利·苏西洛 2 卢西亚诺·塔马戈。 2 Tkachyov，罗马 2 王燕峰 2 闫永义 2 于，贾 2 岳菊梅 1 亨利·纳蒂维达·阿多纳 1 阿格拉瓦尔，梅加 1 顺伊池天野之弥 1 阿布巴卡尔·阿米里 1 杰斯珀·安德森 1 卢博米·安东尼 1 穆罕默德·福阿德·本科里斯 1 Loutfi Benyettou公司 1 梅赫迪·贝伦科布（Mehdi Berenjkoub） 1 布鲁内尔，赫维格 1 萨维里奥·卡米尼蒂 1 曹、杨 1 阿米尔·卡梅尔 1 阿里·柴巴赫什 1 张东勋 1 陈爱祥 1 陈春林 1 陈杰 1 陈靖宇 1 陈清亮 1 陈，新建 1 陈志伟 1 拉达·奇尔科娃 1 凯文·丘奇。 1 Luděk市Cienciala 1 马修·O·T·科尔。 1 路易斯·克鲁兹·菲利佩 1 穆罕默德·达赫利安 1 扎赫德·达斯坦 1 克莱尔·大卫 1 米歇尔·德·穆因克 1 卢卡斯·T·F·德索萨。 1 洛伦佐·德·斯特凡尼 1 贝诺·德拉哈耶 1 邓绍波 1 邓婷 1 阿里·杰里奥伊 1 董汝珍 1 董新璐娜 1 董新丰 1 段少侠 1 丹尼斯·埃菲莫夫。 1 彼得·埃利亚斯 1 纳西姆·恩桑塞法特 1 约翰·法伯 1 范阳宇 1 冯俊娥 1 冯帅 1 艾琳·菲诺奇 1 伊曼纽尔·吉多·福斯科 1 高荣海 1 高燕 1 贾弗·加德兹 1 格拉萨·加斯帕 1 葛爱军 1 弗朗索瓦·杰拉德 1 巴哈尔，加迪里·巴沙杜斯特 1 戈什，莫霍纳 1 龚俊清 1 龚鹏 1 塞巴斯蒂安·戈蒂弗雷迪 1 文森佐，格拉西 1 内森·格里菲斯 1 格罗兹基，格热戈兹 …和155多位作者 全部的 前5名44种期刊引用 13 计算机科学前沿 7 信息科学 4 软计算 三 国际控制杂志 三 设计、代码和密码 三 系统科学与复杂性杂志 2 ACM数据库系统事务 2 Automatica公司 2 理论计算机科学 2 美国医学会杂志 2 膜计算杂志 1 人工智能 1 离散应用数学 1 国际理论物理杂志 1 富兰克林学院学报 1 应用数学与计算 1 计算 1 模糊集与系统 1 计算机与系统科学杂志 1 模拟中的数学和计算机 1 SIAM计算机杂志 1 SIAM控制与优化期刊 1 算法 1 国际近似推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 数学应用 1 自动化和远程控制 1 国际鲁棒非线性控制杂志 1 统计论文 1 计算与应用数学 1 数学与人工智能年鉴 1 复杂性 1 计算系统理论 1 国际应用数学与计算机科学杂志 1 量子信息处理 1 ACM实验算法杂志 1 工业与管理优化杂志 1 数学密码学杂志 1 对称 1 亚洲控制杂志 1 控制理论与技术 1 程序设计中的逻辑和代数方法杂志 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名19个领域引用 49 计算机科学（68至XX） 20 信息与通信理论、电路（94-XX） 18 系统论；控制（93至XX） 7 数学逻辑和基础（03-XX） 5 运筹学、数学规划（90-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 生物学和其他自然科学（92-XX） 三 组合数学（05-XX） 三 概率论与随机过程（60-XX） 三 量子理论（81-XX） 2 数论（11-XX） 2 代数几何（14-XX） 2 常微分方程（34-XX） 2 统计学（62-XX） 1 欧氏空间的调和分析（42至XX） 1 抽象谐波分析（43至XX） 1 功能分析（46倍X倍） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 按年份列出的引文