通用计算机科学杂志 简短标题： 加州大学洛杉矶分校 出版商： 格拉茨技术大学 国际标准编号： 0948-6968/e号 在线： 网址：http://www.jucs.org/ 评论： 期刊；不再索引；自第1卷（1995年）起，仅以电子形式发布。此日志可开放访问。 已编制索引的文档： 504出版物(1995–2013) 全部的 前5名最新问题 192013年第6号 192013年第1期 182012年第20号 182012年第16号 182012年第14号 182012年第13号 182012年第10号 17，第13号（2011年） 17，第11号（2011年） 172011年第8号 172011年第6号 172011年第5号 16，第20号（2010年） 162010年第18号 162010年第17号 162010年第14号 162010年第11号 162010年第10号 162010年第6号 162010年第5期 162010年第3期 162010年第1期 152009年第17号 152009年第15号 152009年第14号 152009年第13号 152009年第10号 152009年第9号 152009年第8号 152009年第6号 152009年第5期 152009年第4期 152009年第3期 152009年第1期 142008年第22号 14，第21号（2008） 142008年第20号 142008年第13号 14，2008年第12号 142008年第10号 142008年第6号 142008年第3号 13，第11号（2007年） 112005年第12号 102004年第8号 92003年第10号 8，第12号（2002年） 8，第11号（2002） 8，第7号（2002） 82002年第4期 8，第3期（2002年） 82002年第2期 72001年第10号 72001年第8号 72001年第7号 72001年第6号 72001年第5号 72001年第4号 7，第3号（2001） 7，第2号，规范发行。(2001) 7，第1号，规范发行。(2001) 62000年第12号 6，第11号，规范发行。(2000) 6，第10号，规范发行。(2000) 62000年第9号 62000年第8期 62000年第5期 62000年第4期 62000年第3期 62000年第2期 62000年第1期 5，第12号（1999） 5，第11号（1999） 5，第10号（1999） 51999年第9号 5，第8号（1999年） 51999年第6号 51999年第5号 5，第3号（1999） 41998年第8号 4，第7号（1998年） 4，第6号（1998年） 4，第5号（1998年） 4，第4号（1998年） 4，第3号（1998年） 4，第2期（1998年） 4，第1期（1998年） 三，第12号（1997） 三，第11号（1997） 三，第10号（1997） 三，第9号（1997） 三，第8号（1997） 三，第7号（1997年） 三，第6号（1997） 三，第5号（1997） 三，第4号（1997） 三，第3号（1997） 三，第2号（1997） 三，第1号（1997） 2，第11号（1996） …还有12卷 全部的 前5名作者 10 克里斯蒂安·卡鲁德。 8 克劳斯·迪特·施韦 6 洪卡拉，朱哈 6 佩恩，古奥热 6 阿尔托·库斯塔·萨洛马 6 克劳斯·维赫劳赫 5 道格拉斯·苏思·布里奇斯 5 彼得·赫特林。 4 尤里·古里维奇 4 Hemaspandra，A巷。 4 石原、Hajime 4 赫尔穆特·尤根森 4 赫尔曼·毛雷尔。 4 Jean-Michel穆勒 4 Kai T.Salomaa。 4 格哈德·谢尔霍恩 4 伯恩哈德·塔勒海姆 4 张显墨 4 郑玉良 三 理查德·巴纳赫 三 约瑟夫·伯杰 三 伊贡博格尔 三 沃尔克·博塞尔霍夫 三 瓦斯科·布拉特卡 三 帕特里夏·A·卡尔森。 三 埃里克·杜瓦尔 三 瓦茨拉夫·德沃瓦克 三 彼得·芬威克 三 玛丽安·盖奥吉 三 伊藤、马萨米 三 Jörg Keller 三 帕德马纳巴恩·克里希南 三 沃纳·库奇 三 莫里斯·马根斯坦 三 Nguyen Thanh Ngoc公司 三 莱因哈德·波什 三 沃尔夫冈·雷夫 三 罗伯特·雷廷格 三 马蒂亚斯·施罗德 三 tefénescu，多鲁 三 卡尔·斯沃齐尔 三 王青 三 于盛 2 沃尔夫冈·阿伦特 2 伯恩哈德·艾切林。 2 海宁·博迪恩 2 格雷戈里·约翰·查廷 2 Jean-Marie Chesneaux 2 彼得·柯林斯。 2 达纳·克里斯托弗 2 尤尔根·达索 2 马克·达马斯 2 迈克尔·J·丁宁。 2 保罗·E·邓恩。 2 阿明·法朱迪安 2 高基町五指 2 克里斯汀·加纳 2 霍里亚·乔治斯库 2 克里斯蒂安·格罗泽亚 2 乌尔里奇·孔特 2 罗宾·哈瓦。 2 赫马斯潘德拉，伊迪丝 2 马库斯·霍尔泽 2 茨万科伊尔贾佐维奇 2 艾奥古列斯库，非洲 2 Jeong和Ik Rae 2 法比安·杰泽奎尔 2 贾科·卡里 2 Bakhadyr M.库萨诺夫。 2 米查尔·科内奇 2 彼得·科纳鲁普 2 郭金华 2 高茹黑泽明 2 菲利普·库特。 2 Lee，Beomhee先生 2 李东勋 2 Lee，Youngdae先生 2 勒佩宁，维尔 2 马乔·利普蓬恩 2 马，惠 2 斯维托斯拉夫·马里诺维奇·马尔科夫 2 卡洛斯·马丁·维德 2 亚历山德鲁·马特埃斯库 2 米雷利，卢卡 2 弗雷德里克·梅辛 2 维克托·米特拉纳 2 森高和祖 2 Nagar，Atulya K。 2 小西，神道 2 亨克·J·奥利维。 2 阿诺·保利。 2 Josef P.Pieprzyk。 2 阿方索·皮兰托尼奥 2 Evgeniya D.波波娃。 2 格里高·罗什乌 2 费尔南多·鲁比奥 2 尤尔根·鲁夫 2 萨法维·奈尼，雷哈内赫 2 彼得·迈克尔·舒斯特 2 Dan A.Simovici。 …还有687位作者 全部的 前5名领域 398 计算机科学（68至XX） 91 数学逻辑和基础（03-XX） 28 总体主题；集合（00-XX） 27 信息与通信理论、电路（94-XX） 17 数值分析（65-XX） 16 运筹学、数学规划（90-XX） 14 有序，格，有序代数结构（06-XX） 9 一般拓扑结构（54至XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 功能分析（46倍X倍） 5 组合数学（05-XX） 5 常微分方程（34-XX） 5 动力系统和遍历理论（37至XX） 4 测量和集成（28-XX） 4 算子理论（47-XX） 4 统计学（62-XX） 4 数学教育（97-XX） 三 历史和传记（01-XX） 三 一般代数系统（08-XX） 三 数论（11-XX） 三 范畴理论；同调代数（18-XX） 三 系统论；控制（93至XX） 2 场论和多项式（12-XX） 2 结合环与代数（16-XX） 2 复变量的函数（30年XX月） 2 偏微分方程（35-XX） 2 几何图形（51至XX） 2 概率论与随机过程（60-XX） 2 量子理论（81-XX） 2 统计力学，物质结构（82-XX） 2 生物学和其他自然科学（92-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 实际功能（26年X月X日） 1 特殊功能（33至XX） 1 序列、级数、可和性（40-XX） 1 凸和离散几何（52-XX） 1 粒子和系统力学（70-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 247出版物有被引用1184次1051文件 引用人▼ 年份▼ 描述资源有限的机器的复杂性。 Zbl 1258.68058号 乔纳森·戈德斯汀;马丁·卡普斯;钱德拉·M·R·金塔拉。;梁，兴;安德烈亚斯·马尔彻;沃奇克，德特勒夫 36 2002 GAC–密码函数全局雪崩特性的标准。 Zbl 0960.68572号 张显墨;郑玉良 31 1995 基本可计算拓扑。 Zbl 1201.03039号 Weihrauch，K。;T.格拉巴。 29 2009 关于计算Duquenne-Guigues基的困难性。 Zbl 1277.68258号 谢尔盖·库兹涅佐夫。 26 2004 关于BCK-代数。一种统一处理逻辑代数的尝试。新代数。 Zbl 1219.06019号 艾奥古列斯库，A。 25 2008 面向对象代数规范中的行为一致性。 Zbl 0963.68104号 拉兹万·迪亚科内斯库;高基町五指 25 2000 纳什均衡的发现有多难以捉摸？ Zbl 1216.91004号 阿诺·保利 25 2010 一个通用的tableau谚语及其与Isabelle的集成。 Zbl 0961.68116号 劳伦斯·C·鲍尔森。 22 1999 仿射算法的扩展：应用于无约束全局优化。 兹比尔1274.65184 梅辛，F。 21 2002 多表示集上的可计算多函数在编程中被关闭。 Zbl 1227.03061号 Weihrauch，K。 19 2008 可计算度量空间中的可链和循环可链co-r.e.集。 Zbl 1201.03033号 伊尔贾佐维奇，Z。 18 2009 一种基于加性一致性的选择过程，用于处理不完整的模糊语言信息。 Zbl 1216.68291号 F.J.卡布雷佐。;赫拉迪奥，R。;佩雷斯，I.J。;埃雷拉·维德马，E。 18 2010 链式\（\Omega\）数和强可约性。 Zbl 0960.68080号 克里斯蒂安·卡鲁德。;安德烈·涅斯 17 1997 双曲线平面上细胞自动机的新工具。 Zbl 0967.68111号 莫里斯·马根斯坦 17 2000 使用简单的有限模糊自动机模型进行词汇分析。 Zbl 0960.68611号 亚历山德鲁·马特埃斯库;阿托·萨洛马;凯·萨洛马 16 1995 单词之间的相加距离和准距离。 Zbl 1258.68074号 克里斯蒂安·卡鲁德。;凯·萨洛马;于盛 16 2002 微分包含解的有效可计算性：万只猴子方法。 Zbl 1201.03031号 柯林斯，P。;格拉萨，D.S。 15 2009 关于有向区间算法及其应用。 Zbl 0960.65561号 斯维托斯拉夫·马尔科夫 15 1995 汇流的持久性。 Zbl 0960.68082号 高仁青藤;富山，吉藤义彦 15 1997 使用梯形和辛普森规则对计算进行动态控制。 Zbl 0967.68175号 J.M.切斯纳。;Jézéquel，F。 15 1998 超立方体的自同构群。 Zbl 0960.68130号 弗兰克·哈雷 15 2000 多元可微函数的封闭方法及其在全局优化中的应用。 Zbl 1063.90574号 弗雷德里克·梅辛;Jean-Louis Lagouanelle 14 1998 联合类规范语言CCSL。 Zbl 0970.68104号 罗斯，简;亨德里克·泰斯;巴特·雅各布斯 13 2001 Brouwer的扇形定理和König引理之间等价性的直接证明，并带有唯一性假设。 Zbl 1124.03042号 施维希滕贝格，H。 13 2005 秒表Petri网的参数化模型检查。 Zbl 1217.68140号 L.-M.特劳诺兹。;石灰，D。;O.H.罗克斯。 13 2009 非扩张映射的Halpern迭代的渐近正则性速率。 Zbl 1316.47057号 Leuştean，Laurenţiu 13 2007 纠错和有限延迟可解码性。 Zbl 1258.68086号 斯塔夫罗斯·康斯坦蒂尼迪斯 12 2002 次要障碍太多（对于参数化的较低理想）。 Zbl 0967.68117号 迈克尔·J·丁宁。 11 1997 利用credo挖掘概念格在信息检索中的潜力。 Zbl 1277.68069号 克劳迪奥·卡皮内托;乔瓦尼·罗曼诺 11 2004 在标准模型中，无证书公钥加密可防止恶意KGC攻击。 Zbl 1217.68088号 黄勇浩;Liu，Joseph K。;谢尔曼·S·M·周。 11 2008 一组不定期的王立方体。 Zbl 0960.68623号 卡雷尔·库利克二世;贾科·卡里 10 1995 经典和非经典逻辑中基于连接的定理证明。 Zbl 0961.68118号 克里斯托夫·克里茨;延斯·奥滕 10 1999 等距和可计算结构。 Zbl 1219.03042号 茨万科伊尔贾佐维奇 10 2010 拓扑中的可计算分隔，从\（T_{0}\）到\（T_}2\）。 Zbl 1219.03043号 克劳斯·维赫劳赫 10 2010 有限自动机的同步和稳定性。 Zbl 1258.68084号 贾科·卡里 10 2002 关于随机布尔函数的密码学性质。 Zbl 0967.68059号 丹尼尔·奥利亚尔;马丁·斯坦尼克 9 1998 可逆逻辑门的群论方面。 Zbl 0961.68008号 雷奥·斯托姆;德沃斯，亚历克西斯;杰拉尔德·雅各布斯 9 1999 形式拓扑与构造数学：Gelfand和Stone-Yosida表示定理。 兹比尔1120.03049 科昆德，T。;蜘蛛，B。 9 2005 表示空间上的概率可计算性概念。 Zbl 1227.03058号 博塞尔霍夫。 9 2008 基于构造函数的逻辑。 Zbl 1362.68193号 戈因纳，丹尼尔;高基町五指;Kazuhiro绪方 9 2012 关于一元二阶理想的图小障碍集的可计算性的注记。 Zbl 0960.68129号 布鲁诺·库塞尔;罗德尼·G·唐尼。;研究员Michael R。 8 1997 归纳和共推的可实现性，以及在构造分析中的应用。 Zbl 1219.03074号 乌尔里希·伯杰 8 2010 建构集理论和布劳威尔原理。 Zbl 1124.03034号 M.拉特扬。 8 2005 合理加法半环。 Zbl 1257.16034号 佐尔坦·埃西克;沃纳·库奇 8 2002 通信流\（X\）-机器系统不超过\（X~）-机器。 Zbl 0960.68005号 都铎Balanescu;安东尼·科林。;霍里亚·乔治斯库;玛丽安·盖奥吉;迈克·霍尔科姆;克里斯蒂娜·维坦 7 1999 正则语言的乱序分解。 Zbl 1258.68081号 伊藤、马萨米 7 2002 关于精细可计算性的一些注释。 Zbl 1257.03072号 瓦斯科·布拉特卡 7 2002 一阶分支时间时序逻辑的公理化。 Zbl 1216.03033号 D.多德。;Ognjanović，Z。;马科维奇，Z。 7 2010 接受具有过滤连接的进化处理器网络。 Zbl 1175.68160号 奥盖博士，C。;马内亚，F。;米特拉纳，V。 7 2007 爆破问题的拓扑复杂性。 兹比尔1201.03036 雷廷格，R。;Weihrauch，K。;钟，N。 6 2009 关于抽象状态机的推理：WAM案例研究。 Zbl 0960.68090号 格哈德·谢尔霍恩;沃尔夫冈·阿伦特 6 1997 构造数学中线性映射的序列连续性。 Zbl 0970.46050号 石原、Hajime 6 1997 连续动力系统连接轨道存在性的数值验证方法。 Zbl 0965.65139号 新一大石 6 1998 一般非完全秘密共享方案的一些基本性质。 Zbl 0967.68060号 瓦卡哈绪方;高茹黑泽明 6 1998 移动环境和（P）-系统。 Zbl 0960.68073号 伊恩·皮特;路易吉亚·皮特 6 1999 在\（\mathbb Z^2）中使用给定模式的转换进行识别。 Zbl 1312.68026号 伊罗·洪卡拉;安托万·洛布斯坦 6 2003 正交级联：语言方程和状态复杂性。 Zbl 1216.68141号 M·戴利。;M.多马拉茨基。;萨洛马，K。 6 2010 sofic位移拓扑压力的可计算性及其在统计物理中的应用。 Zbl 1227.03064号 斯潘德尔，C。 6 2008 重新访问基于证书的签名。 Zbl 1216.94055号 W.W.吴。;穆毅（Mu，Y.）。;苏西洛，W。;X·黄。 5 2009 MSB-第一位串行算术。 Zbl 0960.68508号 尼尔森，Asger Munk;彼得·科纳鲁普 5 1995 抽象状态机的模型检查。 Zbl 0960.68071号 克尔斯滕·温特 5 1997 线性多分类器共享方案和纠错码。 兹伯利0960.68063 丁存生;泰罗·莱霍宁;阿里·伦瓦尔 5 1997 双曲平面细胞自动机空间中3-SAT的多项式解。 Zbl 0968.68105号 莫里斯·马根斯坦;盛田贤一 5 1999 异质代数中近似量化约束求解的不确定性传播。 Zbl 0963.03053号 斯特凡·拉特肖恩 5 2000 一元Pavelka代数的表示定理。 Zbl 0963.03088号 乔治·乔治斯库;爱奥那州路易斯坦 5 2000 不确定性容许干扰。 Zbl 0963.68105号 约翰·马林斯 5 2000 XML数据库转换。 Zbl 1216.68094号 克劳斯·迪特·施韦;王青 5 2010 自共轭算子谱的可计算性。 Zbl 1120.47063号 弗吉尼亚州布拉特卡。;迪尔哈奇，R。 5 2005 多项式正根的新界。 Zbl 1124.12001年 tefénescu，多鲁 5 2005 使用基于信息理论的遗传算法寻找中值分区。 Zbl 1258.68048号 达纳·克里斯托弗;丹·西莫维奇 5 2002 关于具有辛配规则的P系统的幂。 Zbl 1258.68061号 卡洛斯·马丁·维德;安德烈·鲍恩;盖奥盖·鲍恩 5 2002 常数的生成和有限自动机的同步。 Zbl 1258.68090号 阿托·萨洛马 5 2002 析取序列集有多大？ Zbl 1258.68091号 路德维希·施泰格 5 2002 离散时间事件系统的基于历史的可诊断性方法：应用于web服务。 Zbl 1217.68046号 彭科尔，Y。;苏比亚斯，A。 5 2009 用于不确定性下决策的信息融合和基于逻辑的推理方法。 兹比尔1216.68294 马丁内斯，L。;刘，J。;徐，Y。 5 2010 ASM求精保持不变量。 Zbl 1217.68064号 谢尔霍恩，G。 4 2008 多项式正根值的线性和二次复杂性界。 Zbl 1216.65053号 Akritas，A.G。 4 2009 计算PDE对称双曲组的解算子。 Zbl 1203.03058号 塞利瓦诺娃，S。;塞利瓦诺夫，V。 4 2009 LCF：有理数的词典二进制表示。 Zbl 0961.68004号 彼得·科纳鲁普;大卫·W·马图拉。 4 1995 量子算法信息理论。 Zbl 0960.68598号 斯沃齐尔，K。 4 1996 递归抽象状态机。 Zbl 0960.68091号 尤里·古里维奇;马克·斯皮尔曼 4 1997 高度非线性弹性函数。 Zbl 0960.68061号 高茹黑泽明;佐藤、高石;肯塔罗州山本市 4 1997 椭圆函数的可靠计算。 Zbl 0965.65046号 沃尔夫拉姆·路德;沃纳·奥顿 4 1998 关于区间和凸体的代数。 Zbl 0970.65053号 Svetoslav M.马尔科夫。 4 1998 查询顺序和多项式层次结构。 Zbl 0961.68052号 赫马斯潘德拉，伊迪丝;Hemaspandra，A巷。;哈拉尔德·亨佩尔 4 1998 面向代理的分布式数学服务集成。 Zbl 0961.68117号 安德烈亚斯·弗兰克;斯蒂芬·赫斯（Stephan M.Hess）。;克里斯托夫·荣格。;迈克尔·科尔哈斯;沃尔克·索尔格 4 1999 单调、霍恩和二次伪布尔函数。 兹伯利0963.06014 Foldes，斯蒂芬;哈默，彼得·L。 4 2000 关于方程克雷格插值。 Zbl 0962.03026号 格里戈·罗苏;约瑟夫·戈根 4 2000 一种用于有时间限制的移动代理路由的改进FPTAS。 Zbl 1247.68021号 尤金·列夫纳;埃拉鲁夫，阿米尔;Cheng，T.C.Edwin（T·C·埃德温·陈） 4 2011 形式拓扑中的商空间和协等式。 Zbl 1124.03038号 E.帕尔姆格伦。 4 2005 添加顺序图中的冲突避免。 Zbl 1277.68222号 伯恩哈德·甘特 4 2004 Petri网控制语法：特殊Petri网的情况。 Zbl 1217.68120号 J·达索。;图雷夫，S。 4 2009 购物商场里的游客。 Zbl 1216.68315号 弗莱舍，R。;T·坎彭斯。;R·克莱因。;兰盖特佩，E。;G·特里彭。 4 2010 代数和更新策略。 Zbl 1216.68089号 迈克尔·约翰逊;罗斯布鲁，R。;木材，R。 4 2010 通过用户重拨和自动切换重试确保无缝移动性。 Zbl 1217.68036号 Gimenez-Guzman，J.M。;多梅内奇·本洛赫，M.J。;普拉，V。;Casares-Giner，V。;J.马丁内兹·布雷特。 4 2008 带谓词逻辑模型检查的定时抽象状态机仿真。 Zbl 1217.68066号 A.斯利森科。;瓦西利耶夫，P。 三 2008 表示测量结果。 Zbl 1201.03035号 A.鲍利。 三 2009 关于龚冲突散列函数的弱点。 Zbl 0960.68042号 巴赫蒂亚里，S。;萨法维·奈尼。;皮普日克，J。 三 1997 将ASM集成到软件开发生命周期中。 Zbl 0971.68051号 伊贡博格尔;卢卡·梅雷利 三 1997 随机序列的不变性。 Zbl 0969.60002号 彼得·赫特林;王永革 三 1997 陀螺布局：双曲线层次细节树布局。 Zbl 1412.68288号 Dana K.Urribarri。;西尔维娅·卡斯特罗。;塞尔吉奥·马蒂格。 1 2013 对偶函数（C[0；1]\）上的Riesz表示算子是可计算的。 Zbl 1412.03024号 塔赫勒贾法里哈;克劳斯·维赫劳赫 1 2013 基于构造函数的逻辑。 Zbl 1362.68193号 戈因纳，丹尼尔;高基町五指;Kazuhiro绪方 9 2012 一种新的基于粒子群优化的膜算法，用于解决广播问题。 Zbl 1362.68262号 张格祥;周，芬;黄晓丽;程吉祥;玛丽安·盖奥吉;佛罗伦萨伊帕特;拉卢卡左翼 三 2012 无线设备覆盖的混合元启发式策略。 Zbl 1362.68278号 安东尼奥·巴朱洛斯。;圣地亚哥Canales;格雷戈里奥·埃尔南德斯;马法尔达·马丁斯 三 2012 电子商务中的物流优化方法。 Zbl 1311.90010号 罗伯特·巴基;彼得·苏查内克 1 2012 基于区间的通用定性时空模型。 Zbl 1311.68153号 埃斯特·马丁·马丁斯;埃斯里格·特蕾莎（M.Teresa Escrig）;德尔·波比尔，安吉尔·P。 1 2012 一种用于有时间限制的移动代理路由的改进FPTAS。 Zbl 1247.68021号 尤金·列夫纳;埃拉鲁夫，阿米尔;Cheng，T.C.Edwin（T·C·埃德温·陈） 4 2011 对称差分NFA中歧义的描述复杂性。 兹比尔1217.68135 勒奈特·范·齐吉尔;杰科·盖尔登胡伊斯 2 2011 纳什均衡的发现有多难以捉摸？ Zbl 1216.91004号 阿诺·保利 25 2010 一种基于加性一致性的选择过程，用于处理不完整的模糊语言信息。 Zbl 1216.68291号 F.J.卡布雷佐。;赫拉迪奥，R。;佩雷斯，I.J。;埃雷拉·维德马，E。 18 2010 等距和可计算结构。 Zbl 1219.03042号 茨万科伊尔贾佐维奇 10 2010 拓扑中的可计算分隔，从\（T_{0}\）到\（T_}2\）。 Zbl 1219.03043号 克劳斯·维赫劳赫 10 2010 归纳和共推的可实现性，以及在构造分析中的应用。 Zbl 1219.03074号 乌尔里希·伯杰 8 2010 一阶分支时间时序逻辑的公理化。 Zbl 1216.03033号 D.多德。;Ognjanović，Z。;马科维奇，Z。 7 2010 正交级联：语言方程和状态复杂性。 Zbl 1216.68141号 M·戴利。;M.多马拉茨基。;萨洛马，K。 6 2010 XML数据库转换。 Zbl 1216.68094号 克劳斯·迪特·施韦;王青 5 2010 不确定性决策的信息融合和基于逻辑的推理方法。 Zbl 1216.68294号 马丁内斯，L。;刘，J。;徐，Y。 5 2010 购物商场里的游客。 Zbl 1216.68315号 弗莱舍，R。;T·坎彭斯。;R·克莱因。;兰盖特佩，E。;特里彭，G。 4 2010 代数和更新策略。 兹比尔1216.68089 迈克尔·约翰逊;罗斯布鲁，R。;木材，R。 4 2010 从计算优化集、帕累托集和纳什均衡集到一般决策相关集计算。 Zbl 1219.91038号 弗拉基克·克里诺维奇;巴特洛米耶·贾切克·库比卡 三 2010 关于确定性单向堆栈语言P-完备性的注记。 Zbl 1216.68146号 兰格，K.-J。 三 2010 一种启发式方法，用于多个幂和的正根隔离。 Zbl 1216.68349号 徐明;Mu，川东;曾振兵;李志斌 2 2010 经典代数的规范有效子代数作为构造度量补足。 Zbl 1219.03041号 安德烈·鲍尔;詹斯·布兰克 2 2010 查询驱动的精确值通信的语义。 Zbl 1216.68155号 米查尔·科内奇;阿明·法朱迪安 2 2010 具有精确值的查询驱动通信的数据流网络的合成语义。 Zbl 1216.68156号 米查尔·科内奇;阿明·法朱迪安 2 2010 关系数据库中的冗余关系：模型理论视角。 Zbl 1216.68086号 弗拉维奥·安东尼奥·费拉罗蒂;亚历杭德拉·洛雷纳·保莱蒂;托雷斯，何塞·玛丽亚 2 2010 数据库视图的内部表示。 Zbl 1216.68088号 斯蒂芬·亨纳（Stephen J.Hegner）。 2 2010 具有时间约束的移动代理路由：一种资源约束的最长路径方法。 Zbl 1216.68302号 坎波诺加拉，E。;希马·R·博维 2 2010 直线覆盖问题的NP-完全性和FPT结果。 Zbl 1216.68126号 Estivill-Castro，V。;海德纳克拉姆，A。;苏拉威拉，F。 2 2010 并置形状的一种实用的定性方法。 兹比尔1216.68310 穆塞罗斯。;González-Abril，L。;F.贝拉斯科。;Z.法洛米尔。 2 2010 实环的P和DNP相对化版本的分离。 Zbl 1216.68110号 加纳，C。 1 2010 跟踪测量融合体系结构和相关性分析。 Zbl 1216.94029号 M.乌萨拉。;马萨诸塞州Messaoudi。;瓦尔达利，A。 1 2010 基于格值模糊概念格的不确定性信息决策。 Zbl 1216.68298号 杨，L。;徐，Y。 1 2010 整数限制行走中的可达性。 Zbl 1216.68202号 金兹堡，P。;V.尼米。 1 2010 关于匹配子串的线性数。 Zbl 1216.68355号 Han、Yo-Sub 1 2010 精确三维场景建模背景下旋转传感器的姿态估计。 Zbl 1216.68319号 谢贝，K。;黄、菲;R·克莱特。 1 2010 基本可计算拓扑。 Zbl 1201.03039号 Weihrauch，K。;T.格拉巴。 29 2009 可计算度量空间中的可链和循环可链co-r.e.集。 Zbl 1201.03033号 伊尔贾佐维奇，Z。 18 2009 微分包含解的有效可计算性：万只猴子方法。 Zbl 1201.03031号 柯林斯，P。;格拉萨，D.S。 15 2009 秒表Petri网的参数化模型检查。 Zbl 1217.68140号 L.-M.特劳诺兹。;石灰，D。;O.H.罗克斯。 13 2009 爆破问题的拓扑复杂性。 兹比尔1201.03036 雷廷格，R。;Weihrauch，K。;钟，N。 6 2009 重新访问基于证书的签名。 Zbl 1216.94055号 W.W.吴。;穆毅（Mu，Y.）。;苏西洛，W。;X·黄。 5 2009 离散时间事件系统的基于历史的可诊断性方法：应用于web服务。 Zbl 1217.68046号 彭科尔，Y。;A.苏比亚斯。 5 2009 多项式正根值的线性和二次复杂性界。 Zbl 1216.65053号 Akritas，A.G。 4 2009 计算PDE对称双曲组的解算子。 Zbl 1203.03058号 塞利瓦诺娃，S。;塞利瓦诺夫，V。 4 2009 Petri网控制语法：特殊Petri网的情况。 Zbl 1217.68120号 J·达索。;图雷夫，S。 4 2009 表示测量结果。 Zbl 1201.03035号 A.鲍利。 三 2009 关于Schauder基的有效存在性。 Zbl 1201.03030号 博塞尔霍夫。 2 2009 QCB空间的一个有效的Tietze-Urysohn定理。 Zbl 1201.03037号 马蒂亚斯·施罗德 2 2009 分析迭代社交网络设计中的合作。 Zbl 1217.91161号 G.波埃拉。;范德托雷。;南卡罗来纳州维拉塔。 2 2009 从理论上讲，信息加密几乎是免费的。 Zbl 1217.94114号 阿洛马尔，B。;普文德兰，R。 2 2009 访问限制和依赖项下的动态查询优化。 兹比尔1216.68085 卡尔，A。;加尔文人，D。;马丁内吉（D.Martinenghi）。 1 2009 非可数无限模态逻辑。 Zbl 1219.03018号 克雷斯韦尔，M.J。 1 2009 关于非阻塞并发的推理。 Zbl 1216.68075号 格罗夫斯，L。 1 2009 OLAP-OLTP模型聚合的正式框架。 Zbl 1216.68091号 伦茨，H.-J。;塔尔海姆，B。 1 2009 同态密码系统的进展。 Zbl 1216.94045号 M.阿金万德。 1 2009 PDE-PEDA：一种新的基于Pareto的多目标优化算法。 Zbl 1216.90080号 王雪松;郝，M。;Cheng，Y。;雷，R。 1 2009 P=的预言和相对化？几个结构的NP问题。 Zbl 1201.03032号 加纳，C。 1 2009 构造Urysohn泛度量空间。 Zbl 1201.03056号 莱什尼克，D。 1 2009 单位平方上的精细可计算函数及其积分。 Zbl 1201.03034号 T·莫里。;M.亚苏吉。;Y.Tsujii。 1 2009 一种用于未知系统辨识的具有频域特征系统实现算法的Hammerstein-Wiener递归神经网络。 Zbl 1217.68181号 陈Y.C。;王，J.-S。 1 2009 建设性地重新排列序列。 Zbl 1298.03114号 J.伯杰。;布里奇斯，D.S。 1 2009 关于BCK-代数。I.b：试图对逻辑代数进行统一处理。新代数。 Zbl 1219.06019号 艾奥古列斯库，A。 25 2008 多表示集上的可计算多函数在编程中被关闭。 Zbl 1227.03061号 Weihrauch，K。 19 2008 在标准模型中，无证书公钥加密可防止恶意KGC攻击。 Zbl 1217.68088号 黄勇浩;Liu，Joseph K。;谢尔曼·S·M·周。 11 2008 表示空间上的概率可计算性概念。 Zbl 1227.03058号 博塞尔霍夫。 9 2008 sofic位移拓扑压力的可计算性及其在统计物理中的应用。 Zbl 1227.03064号 斯潘德尔，C。 6 2008 ASM求精保持不变量。 Zbl 1217.68064号 谢尔霍恩，G。 4 2008 通过用户重拨和自动切换重试确保无缝移动性。 Zbl 1217.68036号 Gimenez-Guzman，J.M。;多梅内奇·本洛赫，M.J。;普拉，V。;Casares-Giner，V。;J.马丁内兹·布雷特。 4 2008 带谓词逻辑模型检查的定时抽象状态机仿真。 Zbl 1217.68066号 A.斯利森科。;瓦西利耶夫，P。 三 2008 布洛赫常数是可计算的。 Zbl 1227.03060号 R·雷廷格。 三 2008 高效的无意识传输方案。 Zbl 1217.68083号 楚，C.-K。;W.-G.曾。 2 2008 关于几个著名常数的次递归可计算性。 兹比尔1227.03063 斯科德夫，D。 2 2008 弱分析系统中的黎曼积分。 Zbl 1227.03075号 费雷拉，F。;费雷拉，G。 2 2008 关于滤子空间与弱极限空间的关系。 邮编：1228.18003 马蒂亚斯·施罗德 2 2008 不匹配行为接口的组成和运行时适应。 Zbl 1217.68060号 哈维尔·卡马拉;格温·萨拉恩;卡洛斯·卡纳尔 1 2008 一元程序的快捷融合。 Zbl 1217.68053号 曼齐诺，C。;A.帕尔多。 1 2008 AspectJ中建议和原始类型的交互。 Zbl 1217.68056号 F.Barden鲁博;R.马查多。;阿尔瓦罗·弗雷塔斯·莫雷拉;里贝罗。;D.J.奈斯。 1 2008 Koblitz曲线上标量乘法的并行公式。 Zbl 1217.94091号 O.艾哈迈迪。;D.汉克森。;罗德里格斯-亨里克斯，F。 1 2008 局部紧Hausdorff空间的可计算Riesz表示。 Zbl 1227.03059号 卢，H。;Weihrauch，K。 1 2008 非扩张映射的Halpern迭代的渐近正则性速率。 Zbl 1316.47057号 Leuştean，Laurenţiu 13 2007 接受具有过滤连接的进化处理器网络。 Zbl 1175.68160号 奥盖博士，C。;马内亚，F。;米特拉纳，V。 7 2007 关于BCK-代数。I.a：试图对逻辑代数进行统一处理。新代数。 兹比尔1144.06011 艾奥古列斯库，A。 三 2007 用唯一性假设直接证明Brouwer的fan定理和König引理之间的等价性。 Zbl 1124.03042号 施维希滕贝格，H。 13 2005 形式拓扑与构造数学：Gelfand和Stone-Yosida表示定理。 Zbl 1120.03049号 Coquand，T。;蜘蛛，B。 9 2005 建构集理论和布劳威尔原理。 Zbl 1124.03034号 M.拉特扬。 8 2005 自共轭算子谱的可计算性。 Zbl 1120.47063号 弗吉尼亚州布拉特卡。;迪尔哈奇，R。 5 2005 多项式正根的新界。 Zbl 1124.12001年 tefénescu，多鲁 5 2005 形式拓扑中的商空间和协等式。 Zbl 1124.03038号 E.帕尔姆格伦。 4 2005 建设性优势。 Zbl 1120.03046号 Baroni，医学硕士。 三 2005 也许是中间值定理。 Zbl 1128.03049号 维姆·维尔德曼 三 2005 函数的顺序可计算性。有效精细空间和限制递归。 Zbl 1124.03037号 M.亚苏吉。;Y.Tsujii。;T·莫里。 三 2005 一致连续性定理的构造等价物。 Zbl 1120.03047号 J.伯杰。 2 2005 直觉模型的公理类。 Zbl 1120.03008号 戈德布拉特，R。 2 2005 关于Banach代数的状态空间的紧致性和正元素。 兹比尔1120.46027 R.S.哈瓦。 2 2005 线性格规则的置换性。 Zbl 1120.03043号 内格里，S。 2 2005 构建程序或流程。 Zbl 1124.68073号 里夫斯，S。;斯特雷德，D。 2 2005 关于正则形式空间的正关系的意义。 Zbl 1124.03040号 G·桑宾。;Trentinaglia，G。 2 2005 什么是建设性的连续性？ Zbl 1124.03041号 P.舒斯特。 2 2005 …还有147个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1528位作者引用 30 Kai T.Salomaa。 20 瓦斯科·布拉特卡 18 阿诺·保利。 15 茨万科伊尔贾佐维奇 15 莫里斯·马根斯坦 11 弗雷德里克·梅辛 11 蒂莫西·吴 8 伊贡博格尔 8 拉兹万·迪亚科内斯库 8 Fariborzi Araghi，穆罕默德·阿里 8 丹尼尔·席尔瓦·格拉萨 8 Han、Yo-Sub 8 马库斯·霍尔泽 8 马丁·库特里布 8 Kazuhiro绪方 8 戴维·拉帕波特 8 克劳斯·迪特·施韦 8 迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。 8 钟，宁 7 拉维尼娅·科琳娜（Lavinia Corina）·琼古（Ciungu） 7 高基町五指 7 石原、Hajime 7 Ko、Sang-Ki 7 安德烈亚斯·马尔彻 7 亚历山大·梅尔尼科夫。 7 维克托·米特拉纳 7 佐兰·奥格尼亚诺维奇 6 道格拉斯·苏思·布里奇斯 6 克里斯蒂安·卡鲁德。 6 罗德尼·格雷厄姆·唐尼 6 Gaĭnă，丹尼尔 6 劳伦斯·查尔斯·保尔森 6 乔瓦尼·皮奇奇尼 6 奥利维尔·H·鲁克斯。 6 溅出物，Bas 6 弗兰克·斯蒂芬 5 埃蒂安·安德烈 5 乌尔里希·伯杰 5 Doder，德拉甘 5 弗拉维奥·安东尼奥·费拉罗蒂 5 皮埃尔·汉森 5 Hemaspandra，A巷。 5 埃雷拉·维德马，恩里克 5 木原隆树 5 斯塔夫罗斯·康斯坦蒂尼迪斯 5 彼得·克拉卡 5 莱姆，迪迪埃 5 森喜朗（Mori，Takakazu） 5 Ng，KengMeng先生 5 萨马德·诺伊亚格达姆 5 延斯·奥滕 5 克劳斯·维赫劳赫 4 萨伊德·阿巴斯班迪 4 伊格纳西奥·J·阿拉亚。 4 查尔斯·奥德特 4 乔治·巴姆帕利亚斯 4 弗兰齐斯卡·比格勒 4 奥利维尔·伯内兹 4 卡布雷佐，弗朗西斯科·哈维尔 4 艾琳·查龙 4 加布里埃尔·乔巴努 4 佐尔坦·埃西克 4 波哥大加兹达格·托特 4 吉多·格拉迪 4 Juha Honkala 4 马修·霍洛普 4 奥利维尔·哈迪 4 威廉·N·洪。 4 佛罗伦萨伊帕特 4 拉德克·贾诺西克 4 卡里、莉拉 4 达沃德Khojasteh Salkuyeh 4 简·科内克尼 4 圣埃芬·勒鲁 4 Leuştean，Laurenţiu 4 刘易斯·派安德鲁·E·M。 4 洛布斯坦，安托万·克里斯托夫 4 西尔万·伦巴第 4 苏巴摩·迈特拉 4 伊恩·麦克奎伦 4 卡洛·梅雷盖蒂 4 阿尔特·米德尔多普 4 宫崎骏 4 那不勒斯、阿梅迪奥 4 约旦尼宁 4 托比亚斯·尼普科 4 谢尔盖·奥比耶科夫。 4 亚历山大·奥霍金 4 亚历山大·帕卢达基斯 4 佩恩，古奥热 4 Marek A.Perkowski。 4 阿列克桑达尔·佩罗维奇 4 阿默里·波利 4 亚当·罗曼 4 格里高·罗什乌 4 宋晓宇 4 路德维希·施泰格 4 Gilles Trombettoni 4 吉木津井 4 Validć，卢西娅 …还有1428位作者 全部的 前5名233种期刊被引用 136 理论计算机科学 36 纯逻辑与应用逻辑年鉴 31 信息与计算 20 离散应用数学 20 信息科学 19 信息处理信件 19 模糊集与系统 16 计算的形式方面 16 软计算 15 计算机与系统科学杂志 15 符号计算杂志 14 MSCS公司。计算机科学中的数学结构 13 全球优化杂志 12 计算系统理论 9 复杂性杂志 9 国际计算机科学基础杂志 9 数学与人工智能年鉴 9 自然计算 8 应用数学与计算 8 自动推理杂志 8 设计、代码和密码 8 逻辑与代数程序设计杂志 7 符号逻辑杂志 7 计算机程序设计科学 7 数学逻辑档案 7 数学逻辑季刊（MLQ） 7 计算机科学中的逻辑方法 6 离散数学 6 计算与应用数学杂志 6 Studia Logica公司 6 RAIRO公司。理论信息学及其应用 6 应用逻辑杂志 6 可计算性 5 计算机与数学及其应用 5 应用数值数学 5 离散和计算几何 5 国际近似推理杂志 5 应用数学建模 5 欧洲运筹学杂志 4 信息学报 4 斯洛伐克数学 4 算法学 4 离散事件动态系统 4 计算机基础理论 4 计算机科学中的数学 4 逻辑与分析杂志 4 密码学与通信 三 数学进展 三 计算 三 凯贝内提卡 三 合成 三 工程、通信和计算中的应用代数 三 数学科学杂志（纽约） 三 计算与应用数学 三 有限域及其应用 三 可靠的计算 三 约束条件 三 非线性科学与数值模拟中的通信 三 RAIRO公司。运筹学 三 应用数学与计算杂志 三 智能与模糊系统杂志 三 程序设计中的逻辑和代数方法杂志 三 Prikladnaya Diskretnaya Matematika公司 2 国际理论物理杂志 2 数学分析与应用杂志 2 非线性 2 计算数学 2 混沌、孤子和分形 2 代数与逻辑 2 组合理论杂志。B系列 2 哲学逻辑杂志 2 美国数学学会会刊 2 拓扑及其应用 2 欧洲组合数学杂志 2 图与组合 2 神经网络 2 运筹学年鉴 2 数值算法 2 模式识别 2 分布式计算 2 数学编程。A系列B系列 2 动力学和微分方程杂志 2 Indagationes Mathematicae公司。新系列 2 系统设计中的形式化方法 2 符号逻辑公报 2 自动机、语言和组合学杂志 2 混乱 2 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 2 国际应用数学与计算机科学杂志 2 应用数学杂志 2 葡萄牙数学。Nova Série公司 2 OR频谱 2 SIAM应用动力系统杂志 2 计算机语言、系统和结构 2 量子信息处理 2 ACM计算逻辑事务 2 离散算法杂志 2 伊朗模糊系统杂志 2 泛逻辑 2 通信数学进展 …还有133种期刊 全部的 前5名53个领域被引用 571 计算机科学（68至XX） 318 数学逻辑和基础（03-XX） 93 信息与通信理论、电路（94-XX） 79 有序，格，有序代数结构（06-XX） 69 组合数学（05-XX） 69 数值分析（65-XX） 59 运筹学、数学规划（90-XX） 32 动力系统和遍历理论（37至XX） 29 一般拓扑结构（54至XX） 27 博弈论、经济学、金融和其他社会和行为科学（91-XX） 23 数论（11-XX） 20 范畴理论；同调代数（18-XX） 18 算子理论（47-XX） 17 凸和离散几何（52-XX） 15 实际功能（26年X月X日） 15 常微分方程（34-XX） 14 系统论；控制（93至XX） 13 测量和集成（28-XX） 13 量子理论（81-XX） 12 功能分析（46倍X倍） 9 场论和多项式（12-XX） 9 群论与推广（20-XX） 9 概率论与随机过程（60-XX） 7 历史和传记（01-XX） 7 偏微分方程（35-XX） 7 统计学（62-XX） 6 可变形固体力学（74-XX） 5 总体主题；集合（00-XX） 5 交换代数（13-XX） 5 代数几何（14-XX） 5 近似值和展开值（41至XX） 5 几何图形（51至XX） 4 结合环与代数（16-XX） 4 特殊功能（33至XX） 4 欧氏空间的调和分析（42至XX） 4 流体力学（76-XX） 4 生物学和其他自然科学（92-XX） 三 复变量的函数（30年XX月） 三 积分方程（45-XX） 三 流形和细胞复合体（57至XX） 三 统计力学，物质结构（82-XX） 2 一般代数系统（08-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 序列、级数、可和性（40-XX） 2 变分法与最优控制；最优化（49至XX） 2 微分几何（53至XX） 2 粒子和系统力学（70-XX） 2 数学教育（97-XX） 1 拓扑群、李群（22日至XX日） 1 差分方程和函数方程（39至XX） 1 代数拓扑（55-XX） 1 整体分析，流形分析（58至XX） 1 经典热力学，传热（80-XX） 按年份列出的引文