信息学报 简短标题: 学报信息。 出版商: 柏林/海德堡施普林格 国际标准编号: 0001-5903; 1432-0525/年 在线: https://link.springer.com/journal/236/volumes-and-issues网站 评论: 期刊;索引封面到封面 已编制索引的文档: 1620出版物(自1971年起) 索引的引用: 1103出版物参考文献24274。 全部的 前5名最新问题 61,编号1(2024) 60,编号4(2023) 60,编号3(2023) 60,编号2(2023) 60,编号1(2023) 59,编号6(2022) 59,第5号(2022) 59,编号4(2022) 59,编号2-3(2022) 59,编号1(2022) 58,编号6(2021) 58,编号5(2021) 58,编号4(2021) 58,编号3(2021) 58,编号1-2(2021) 57,第6号(2020年) 57,第3-5号(2020) 57,第1-2号(2020) 562019年第7-8号 562019年第6号 56,第5号(2019) 56,第4号(2019) 56,第3号(2019) 562019年第2期 562019年第1期 552018年第8号 55,第7号(2018) 552018年第6号 55,第5号(2018) 55,第4号(2018) 55,第3号(2018) 55,第2号(2018) 552018年第1期 542017年第8号 542017年第7号 542017年第6号 542017年第5号 542017年第4号 542017年第3号 542017年第2期 542017年第1期 532016年第6-8号 532016年第5号 532016年第4号 53,第3号(2016) 532016年第2期 532016年第1期 522015年第7-8号 52,第6号(2015) 522015年第4-5号 522015年第2-3号 522015年第1期 512014年第8号 512014年第7号 512014年第6号 512014年第5号 512014年第3-4号 512014年第2期 512014年第1期 502013年第7-8号 502013年第5-6号 502013年第4号 502013年第3期 502013年第2期 502013年第1期 492012年第7-8号 492012年第6号 492012年第5号 492012年第4号 492012年第3期 492012年第2期 492012年第1期 482011年第7-8号 48,编号5-6(2011) 482011年第4号 482011年第3期 482011年第2期 482011年第1期 472010年第7-8号 47,编号5-6(2010) 472010年第4期 472010年第3期 472010年第2期 472010年第1期 462009年第8号 462009年第7号 462009年第6号 462009年第5期 462009年第4期 462009年第3期 462009年第2期 462009年第1期 452008年第7-8号 452008年第6号 452008年第5号 452008年第4号 452008年第3号 452008年第2期 452008年第1期 442007年第7-8号 …还有195多卷 全部的 前5名作者 25 格列泽戈兹·罗森贝格 17 约斯特·恩格尔弗里特 14 沃尔特·福格勒 11 维姆·赫塞林克。 10 科夫曼(Edward Grady jun Coffman)。 10 卡雷尔·库利克二世 10 亚历山大·梅杜纳 9 安德烈·埃伦菲赫特 9 萨米·埃罗·格伦贝 9 阿尔托·库斯塔·萨洛马 9 伍德,德里克 8 最好的,艾克 8 霍萨姆·马哈茂德。 8 维克托·米特拉纳 8 弗里德里希·奥托 8 Păun,盖奥尔吉 8 黄泽权 7 Jan A.Bergstra。 7 弗拉维奥·科拉迪尼 7 雷蒙德·魔鬼队 7 C.A.R.Tony Hoare 7 马西耶·库特尼 7 金·斯卡·拉森 7 库尔特·梅尔霍恩 7 奥尔德罗格(Ernst-Rüdiger Olderog) 7 让-弗朗索瓦·拉斯金 6 回来了,拉尔夫·约翰 6 克里斯特尔·拜尔 6 西蒙·博扎帕里迪斯 6 Luc P.J.A.Devroye。 6 什洛米·多列夫 6 利亚·爱泼斯坦 6 范成明 6 亨宁费尔瑙 6 德米特里斯·库瓦索斯。 6 佐哈尔·曼纳 6 赫尔曼·A·莫勒。 6 沃尔夫冈·雅各布·保罗 6 阿米尔·普努利 5 卢卡·埃特罗 5 吕克·博阿松 5 约翰·布鲁诺。 5 尤根·达索 5 阿尔多·德卢卡 5 汉斯·迪特·埃里奇 5 阿姆斯特丹Elmasry 5 大卫·格里斯 5 埃里克·C·R·海纳。 5 轩尼诗,Matthew C.B。 5 Juha Honkala 5 黄成池 5 Rainer肯普 5 码头Kleijn 5 马丁·库特里布 5 米歇尔·拉特奥 5 杰拉尔德·吕特根 5 安德烈亚斯·马尔彻 5 卡洛斯·马丁·维德 5 约瑟夫·莫里斯(Joseph M.Morris)。 5 马克·奥弗马斯(Mark H.Overmars)。 5 害羞,Huei Jan 5 Eljas Soisalon-Soininen公司 5 Van den Bussche,简 5 范格拉贝克、罗伯特·扬 5 格哈德·沃金格 4 Jean-Michel,Autebert 4 里卡多·A·贝扎·耶茨。 4 书,罗纳德·弗农 4 阿图罗·卡皮 4 De Francesco,尼科莱塔 4 洛科·德尼古拉 4 皮耶保罗·德加诺 4 沃尔克·迪克特 4 哈维尔·埃斯帕尔扎 4 尼西姆·弗朗西兹 4 佐尔坦,福尔öp 4 乌苏拉·戈尔茨 4 Tero Harju公司 4 Stephan Heilbrunner先生 4 Hernández,Héctor J。 4 亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 4 里扎德·贾尼基 4 卡里、莉拉 4 乌韦·卡斯滕斯 4 安东尼·库塞拉 4 汉斯·朗马克 4 金·古德斯特兰·拉森 4 彼得·恩斯特·劳尔 4 克里斯蒂安·伦戈尔 4 米拉·塞德尔巴姆少校。 4 科内利斯·A·米德尔堡。 4 阿里·米莉 4 博克哈德·莫尼恩 4 安吉洛·蒙塔纳里 4 乌戈·蒙塔纳里。 4 盛田贤一 4 尼尔森,莫根斯 4 托马斯·奥特曼。 4 伊丽莎·佩戈拉 4 沃尔夫冈·雷西格 …还有2038位作者 全部的 前5名字段 1,536 计算机科学(68-XX) 132 数学逻辑和基础(03-XX) 88 组合数学(05-XX) 64 运筹学、数学规划(90-XX) 64 信息与通信理论、电路(94-XX) 40 概率论与随机过程(60-XX) 29 博弈论、经济学、金融和其他社会和行为科学(91-XX) 19 总体主题;集合(00-XX) 19 群论与推广(20-XX) 14 数论(11-XX) 13 数值分析(65-XX) 10 系统论;控制(93至XX) 9 阶、格、有序代数结构(06-XX) 9 范畴理论;同调代数(18-XX) 7 历史和传记(01-XX) 7 一般代数系统(08-XX) 7 生物学和其他自然科学(92-XX) 4 量子理论(81-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 凸和离散几何(52至XX) 三 统计学(62-XX) 2 交换代数(13-XX) 2 几何图形(51-XX) 1 代数几何(14-XX) 1 结合环与代数(16-XX) 1 实际功能(26年X月X日) 1 特殊功能(33至XX) 1 动力系统和遍历理论(37至XX) 1 近似值和展开值(41至XX) 1 欧氏空间的调和分析(42至XX) 1 积分变换,运算微积分(44-XX) 1 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1,212出版物有被引用10428中的次7963文件 引用人▼ 年份▼ 非确定自动机的强制枚举方法。 Zbl 0638.68046号 洛伯特·塞莱普塞尼 127 1988 大型有序索引的组织和维护。 Zbl 0226.68008号 拜耳,R。;麦克赖特,E。 124 1971 并行程序的公理证明技术。 Zbl 0312.68011号 苏珊·奥维基;大卫·格里斯 120 1976 任意代数上多项式的快速乘法。 Zbl 0766.68055号 大卫·G·坎托。;埃里希·卡尔托芬 115 1991 四叉树:通过组合键进行检索的数据结构。 Zbl 0278.68030号 拉斐尔·阿里·芬克尔;本特利,乔恩·路易斯 111 1974 数据表示正确性的证明。 Zbl 0244.68009号 C.A.R.霍尔。 108 1972 双处理器系统的最优调度。 Zbl 0248.68023号 科夫曼(E.G.jun Coffman)。;格雷厄姆·R·L·。 103 1971 具有简洁输入表示的组合问题的复杂性。 Zbl 0621.68032号 克劳斯·瓦格纳。 100 1986 pi演算中会话类型的子类型。 Zbl 1079.68065号 西蒙·盖伊;霍尔,马尔科姆 90 2005 单故障单机流水调度。 Zbl 0657.68033号 伊加尔·阿迪里;约翰·布鲁诺;埃斯特·弗罗斯蒂格;A.H.G.林诺伊·坎。 83 1989 最佳二叉搜索树。 Zbl 0233.68010号 科努特,D.E。 77 1971 斯坦纳树的快速算法。 Zbl 0445.68051号 库·L·。;马科斯基,G。;伯曼,L。 73 1981 微积分的互模拟理论。 Zbl 0835.68072号 戴维·桑吉奥吉 73 1996 层次树聚类中的NP-hard问题。 Zbl 0644.68055号 米尔科·科瓦内克;雅罗斯拉夫·莫拉维克 70 1986 用于通信过程的面向规范的语义。 Zbl 0569.68019号 E.-R.奥尔德罗。;你好,托尼 68 1986 带有定期维护的单机流水时间调度。 Zbl 0738.68043号 Lee,Chung-Yee先生;苏里亚·达努萨普特罗·利曼 64 1992 Petri网的分支过程。 Zbl 0743.68106号 约斯特·恩格尔弗里特 64 1991 对称二叉B树:数据结构和维护算法。 Zbl 0233.68009号 鲁道夫·拜耳 63 1972 关于实时细胞自动机和网格自动机。 Zbl 0534.68039号 乔夫鲁特,C。;卡雷尔·库利克二世 59 1984 程序变量之间的仿射关系。 Zbl 0358.68025号 迈克尔·卡尔 58 1976 分支时间的时间逻辑。 兹伯利0533.68036 莫德凯·本·阿里;阿米尔·普努利;佐哈尔·曼纳 58 1983 特征2域上多项式的快速乘法。(Schnelle Multiplikation von Polynomenüber Körpern der Charakteristik 2) Zbl 0362.65011号 A.Schönhage。 56 1977 改进并发系统的动作和等价概念。 Zbl 0969.68081号 罗布·范格拉贝克;乌苏拉·戈尔茨 55 2001 考虑学习的双准则单机调度问题。 Zbl 1137.90500号 李文川;吴金驰;宋华荣 55 2004 具有可用性约束的机器调度。 Zbl 0917.68018号 埃里克·桑拉维尔;格恩特·施密特 52 1998 普通CHOCS。高阶过程的第二代微积分。 兹比尔0790.68069 本特·汤姆森 51 1993 树高分析中的分枝过程。 Zbl 0643.60065号 德夫罗伊,L。 51 1987 上下文网络。 Zbl 0835.68084号 乌戈·蒙塔纳里;弗朗西丝卡·罗西 51 1995 快速计算连续分式展开式。(Schnelle Berechnung von Kettenbruchentwicklungen) Zbl 0223.68008号 A.Schönhage。 49 1971 简单计算设备中的不确定性。 Zbl 0229.68014号 J·哈特马尼斯。 49 1972 证明并应用用二阶模式表示的程序变换。 Zbl 0389.68008号 杰拉德·休特;伯纳德·朗 48 1978 过渡系统的扩展等价。 Zbl 0636.68069号 洛科·德尼古拉 46 1987 部分(组)2-结构。II: 并发系统的状态空间。 Zbl 0696.68083号 A.埃伦菲赫特。;G.罗森伯格。 45 1990 流程的效率预购。 Zbl 0790.68039号 阿伦·库马尔,S。;轩尼诗,M。 43 1992 基于条件/事件系统的CCS分布式操作语义。 Zbl 0656.68061号 皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 42 1988 关于项重写系统的充分完备性及其相关性质。 Zbl 0594.68035号 迪帕克·卡普尔;巴利亚特·纳伦德兰;张汉涛 42 1987 Ramsey数和顶点覆盖问题的近似算法。 Zbl 0558.05044号 博克哈德·莫尼恩;埃瓦尔德·斯佩肯迈耶 42 1985 Petri网中的并发互模拟。 Zbl 0718.68034号 最好的,艾克;雷蒙德·魔鬼队;阿斯特里德·基恩;露西娅·波梅尔 41 1991 抽象数据类型的代数规范。 Zbl 0369.68010号 古塔格,J.V。;霍宁,J.J。 40 1978 在程序证明中覆盖不确定性的逻辑。 Zbl 0534.68024号 H.巴林格。;Cheng,J.H。;C.B.琼斯。 40 1984 部分(组)2-结构。一: 基本概念和表示问题。 Zbl 0696.68082号 A.埃伦菲赫特。;G.罗森伯格。 40 1990 用于表示排序列表的新数据结构。 Zbl 0481.68061号 斯科特·哈德斯顿;库尔特·梅尔霍恩 40 1982 随机在2-3棵树上。 Zbl 0369.05024号 姚志智 38 1978 部分抽象类型。 Zbl 0494.68020号 曼弗雷德·布罗伊;马丁·威尔辛 38 1982 矩阵文法理论中的Petri网算法。 Zbl 0834.68064号 德克·豪希尔特;马提亚斯·扬岑 37 1994 演算中因果关系的完全抽象语义。 Zbl 0908.68103号 米歇尔·博雷尔;戴维·桑吉奥吉 35 1998 凸二部图最大匹配的高效算法及相关问题。 Zbl 0445.68052号 利普斯基,W.jun。;预制件,F.P。 35 1981 边-直径联合生成树和深度优先搜索。 Zbl 0307.05104号 罗伯特·恩德雷·塔尔扬 35 1976 从代数规范走向程序的正式开发:重温实现。 Zbl 0621.68004号 唐纳德·桑内拉;安德烈·塔莱基 35 1988 具有无限模型的命题投影时序逻辑的决策过程。 Zbl 1141.68039号 段振华;田聪;张,李 34 2008 合成鲁棒系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 34 2014 编程语言Pascal的公理化定义。 Zbl 0261.68040号 C.A.R.霍尔。;北卡罗来纳州沃思。 33 1974 几乎最优的二叉搜索树。 Zbl 0333.68028号 库尔特·梅尔霍恩 33 1975 适用于类似文本字符串的最长通用子序列算法。 Zbl 0493.68041号 Narao Nakatsu;川崎雅彦;山岛,Shuzo 33 1982 关于有限传感器的价值。 Zbl 0672.68027号 安德烈亚斯·韦伯 32 1990 EOL表格。 兹伯利0348.68046 H·A·莫勒。;莎乐玛,A。;伍德,D。 32 1977 Petri网展开的标准前缀。 Zbl 1072.68072号 维克托·科门科;马西耶·库特尼;沃尔特·福格勒 32 2003 无限状态并发系统模型检查的可判定性。 Zbl 0865.68046号 哈维尔·埃斯帕尔扎 32 1997 有限的完全重写系统和单词问题的复杂性。 Zbl 0535.68019号 G.鲍尔。;F.奥托。 32 1984 苏尔代夫家族的语言传递原理。 Zbl 0242.68037号 博阿森,L。;尼瓦特,M。 31 1973 重新检查箱子拉伸。 Zbl 1034.68039号 利亚·爱泼斯坦 31 2003 复杂公式的简短证明。 Zbl 0552.03009号 巴拉克里什南·克里希纳穆提 31 1985 记录理论在随机树研究中的应用。 Zbl 0656.68065号 吕克·德夫罗伊 30 1988 命题微积分中基于表的模型检验。 Zbl 0676.03033号 兰斯·克莱维兰 30 1990 单调数据流分析框架。 Zbl 0375.68020号 John B.Kam。;杰弗里·乌尔曼。 30 1977 Hex ist Pspace-ollständig(十六进制)。(十六进制表示Pspace-complete)。 Zbl 0431.90103号 斯特凡·雷希 30 1981 静音稳定的内存要求。 Zbl 0933.68156号 什洛米·多列夫;穆罕默德·古达。;施耐德,马尔科 29 1999 Endliche Automaten und Zufallsfolgen公司。 Zbl 0238.68017号 施诺尔,C.P。;H·斯蒂姆。 29 1972 自上而下的语法分析。 Zbl 0233.68022号 唐纳德·科努特(Donald E.Knuth)。 29 1971 过渡系统中的公平性和相关属性——处理公平的时序逻辑。 Zbl 0489.68024号 基耶,J.P。;J.西法基斯。 29 1983 编程语言Pascal。 兹伯利0205.18603 北卡罗来纳州沃思。 28 1971 进化处理器网络。 Zbl 1060.68046号 胡安·卡斯特拉诺斯;卡洛斯·马丁·维德;维克托·米特拉纳;JoséM.Sempere。 27 2003 描述Hopcroft的算法。 Zbl 0242.94042号 大卫·格里斯 27 1973 快速排序程序的分析。 Zbl 0325.68016号 罗伯特·塞奇威克 27 1977 有限函数的网络复杂性和图灵机复杂性。 Zbl 0338.02019 施诺尔,C.P。 27 1976 点集的距离度量及其计算。 Zbl 0865.51011号 托马斯·艾特;海基·曼尼拉 27 1997 优化计算二叉树所需的平均寄存器数。 兹伯利0395.68059 R.坎普。 26 1979 有限自动机中的大量不确定性。 Zbl 0423.68016号 钱德拉·M·R·金塔拉。;沃奇克,德特勒夫 26 1980 在带有活性膜的P系统中交易标签极化。 Zbl 1101.68028号 阿尔哈佐夫,阿蒂姆;潘林强;佩恩,古奥热 26 2004 \(M/M/1)带工作休假的再审队列。 Zbl 1185.90046号 是的,Tien Van 26 2010 多维量化目标的战略合成。 Zbl 1360.68208号 克里希南德·查特吉;米凯尔·兰多尔;让-弗朗索瓦·拉斯金 26 2014 向量替换系统的持久性是可判定的。 Zbl 0454.68048号 恩斯特·梅尔 25 1981 特殊因素、周期性以及对斯图尔语单词的应用。 兹比尔0956.68119 阿图罗·卡皮;阿尔多·德卢卡 25 2000 很好地绘制平面图。 Zbl 0545.68057号 北海千叶;Kazunori Onoguchi;西泽高雄 25 1985 具有有限并行存储器粒度的并行机器对PRAM的随机和确定性模拟。 Zbl 0548.68044号 库尔特·梅尔霍恩;乌兹·维什金 25 1984 平衡树上VLSI的收缩自动机。 Zbl 0493.68054号 卡雷尔·库利克二世;J·格鲁斯卡。;莎乐玛,A。 25 1983 从代数规范走向程序的正式开发:重新审视参数化。 Zbl 0790.68077号 唐纳德·桑内拉;斯特凡·索科·奥斯基;安杰伊·塔莱基 24 1992 过程代数中的时间和因果关系。 Zbl 0858.68036号 卢卡·埃特罗;大卫·墨菲 24 1996 程序派生的细化演算。 Zbl 0658.68018号 后退,R.J.R。 24 1988 用于范围搜索的高效最坏情况数据结构。 Zbl 0423.68029号 本特利,乔恩·路易斯;H·A·莫勒。 24 1980 非线性系统分析的杂交方法。 Zbl 1134.93026号 尤金·亚萨林;Thao Dang先生;安托万·吉拉德 24 2007 使用局部链式公式开发系统。 兹伯利0304.68076 G.罗森伯格。;Lindenmayer,A。 24 1973 带有促进剂/抑制剂的膜系统。 Zbl 1034.68038号 保罗·波托尼;卡洛斯·马丁·维德;佩恩,古奥热;格列泽戈兹·罗森贝格 24 2002 关于可扩展散列和trie搜索的性能评估。 Zbl 0515.68048号 菲利普·弗拉乔莱特 24 1983 在线二维打包算法的下限。 Zbl 0493.68042号 Donna J·布朗。;布伦达·S·贝克。;霍华德·凯瑟夫(Howard P.Katseff)。 24 1982 Berechnung和程序。一、。 Zbl 0252.68018号 V·斯特拉森。 23 1972 编程语言语义的一致性和互补性形式理论。 Zbl 0264.68006号 霍尔,C.A.R。;劳尔,体育。 23 1974 论无语境语法的句子形式。 Zbl 0264.68029号 莎乐玛,A。 23 1973 Petri网的综合问题。 Zbl 0849.68085号 德塞尔,约格;沃尔夫冈·雷西格 23 1996 向量集的剩余及其在Petri网可判定性问题中的应用。 Zbl 0545.68051号 鲁迪盖·瓦尔克;马提亚斯·扬岑 23 1985 约束多项式分区。 Zbl 07727460号 尼古拉斯·科奇杜普尔;马蒂亚斯·阿尔霍夫 2 2023 具有给定度序列的树的最小状态。 Zbl 1508.05151号 郭海燕;周波 1 2023 下推自动机和恒定高度:可判定性和界限。 Zbl 07686409号 乔瓦尼·皮奇奇尼;卢卡普里吉奥尼罗 1 2023 走向程序修复理论。 Zbl 07727458号 贝斯玛·哈里丁;Aleksandr Zakharchenko;马蒂亚斯·马丁内斯;阿里·米莉 1 2023 带有信号时序逻辑的自动系统修复框架。 Zbl 07528109号 梅尔特·埃尔古图纳;亚辛卡亚、贝亚齐特;艾丁·戈尔(Ebru Aydin Gol) 三 2022 操作复杂性和泵引理。 Zbl 07578090号 尤尔根·达索;伊斯马·杰克 2 2022 一个跳跃的Watson-Crick有限自动机模型。 Zbl 07592343号 拉迪姆·科克曼;科伊夫卡、兹比恩克;亚历山大·梅杜纳;贝内德克·纳吉 2 2022 中的合理推理股票-CSP公司。 Zbl 1483.68223号 詹姆斯·巴克斯特;佩德罗·里贝罗;安娜·卡瓦尔坎蒂 1 2022 缺(k)边时态图的探索。 Zbl 07578092号 托马斯·埃勒巴赫;斯普纳,雅各布·T·。 1 2022 共享内存的接口自动机。 Zbl 07592342号 艾琳·辛科;沃尔特·福格勒;约翰内斯·加里斯;N.Tri Nguyen公司;杰拉尔德·吕特根 1 2022 关于广义二叉分裂树的Huang和Wong算法。 Zbl 07605996号 马雷克·克罗巴克;末底改·戈林;J.Ian Munro;尼尔·E·扬。 1 2022 比例集总性和比例相似性。 Zbl 07528110号 安德烈亚·马林;卡拉广场;萨宾娜·罗西 1 2022 CCS中的静态与动态可逆性。 Zbl 1475.68126号 伊万·拉内斯;多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 11 2021 关于确定性传感(5'\rightarrow 3'\)Watson-Crick有限自动机:2detLIN中的完整层次。 Zbl 1487.68152号 贝内德克·纳吉;沙格哈耶·帕查米 5 2021 BPP网络的团队相似性及其相关的模式逻辑。 Zbl 1497.68339号 罗伯托·戈里埃里 4 2021 质量和数量目标相结合的游戏的平衡。 Zbl 1483.68193号 朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 2 2021 测量量子马尔可夫链中的约束可达性。 兹比尔1483.68140 徐明;黄成超;冯、袁 2 2021 操作复杂性和正确的线性文法。 Zbl 1522.68262号 于尔根·达索 2 2021 等长队列自动机的描述能力。 Zbl 1520.68058号 塞巴斯蒂安·雅各比;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 2 2021 关于偏导数的大小和词的隶属度问题。 Zbl 1520.68060号 斯塔夫罗斯·康斯坦蒂尼迪斯;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯 2 2021 双向交替自动机的补充。 Zbl 1528.68184号 维利亚姆·格弗特;克里斯托斯·卡波提斯。;穆罕默德·扎克佐克 2 2021 基于聚合的有限状态自动机最小化。 Zbl 1490.68125号 约翰娜·比约克隆德;洛克·克利奥帕斯 1 2021 不确定性和延迟是失败的根源——通过综合延迟弹性控制,在算法上驯服它们。 兹比尔1528.68214 陈明帅;马丁·范策尔;李,杨佳;彼得·莫萨德(Peter N.Mosaad)。;詹乃军 1 2021 通过奇偶博弈从LTL规范实际合成反应系统。 Zbl 1435.68200号 迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 10 2020 超属性合成。 Zbl 1435.68194号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克;马文·斯坦格;Leander Tentrup公司 5 2020 配对相似性:前32年。 Zbl 1476.68166号 本杰明·比斯平;乌韦·内斯特曼;柯斯汀·彼得斯 5 2020 对正义路径的活性属性进行离线自动分析。 Zbl 1443.68109号 马克·鲍曼;巴斯·卢提克;蒂姆·威姆斯 5 2020 GR(1)综合和相关算法的性能启发式。 Zbl 1435.68195号 伊丽莎白·菲尔曼;沙哈尔·茂兹;詹·奥利弗·林格特 三 2020 综合最佳弹性控制器。 Zbl 1435.68066号 丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼 三 2020 一种用于渴望策略的懒惰合成的符号算法。 Zbl 1435.68198号 瑞典雅各布斯;穆罕默德·萨克尔 2 2020 线性时序逻辑规范的最大可实现性的反应合成。 Zbl 1435.68193号 雷娜·迪米特洛娃;马哈萨·加西米;托普库,乌福 2 2020 连续设备可证明安全数字控制器的自动形式化综合。 Zbl 1441.93171号 亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波格林 2 2020 从操作员的角度来看,一致性。模态特征的句法要求。 Zbl 1443.68111号 马西耶·加兹达;Wan Fokkink公司;维托里奥·马萨罗 2 2020 Hennessy-Milner逻辑中的特征不变量。 兹比尔1443.68113 马克·贾斯珀;马克西米利安·施吕特;伯恩哈德·斯特芬 2 2020 使用无离散化多分辨率抽象的增量稳定切换系统的安全综合。 Zbl 1441.93131号 安托万·吉拉德;格雷戈·戈斯勒 1 2020 我和罗布在一起的时间。 Zbl 1443.68011号 沃恩·普拉特 1 2020 出去喝咖啡:和罗布。 Zbl 1443.68008号 安斯加·芬克 1 2020 具有真分数的算术数据类型。 Zbl 1448.68323号 Jan A.Bergstra。;阿尔班·蓬塞 1 2020 在并发模型之间进行转换。 Zbl 1465.68181号 大卫·梅斯特尔;A.W.罗斯科。 1 2020 接口自动机的线性时间分支时间透视图。 Zbl 1443.68099号 沃尔特·福格勒;杰拉尔德·吕特根 1 2020 解决高级Petri游戏。 Zbl 1443.68112号 Manuel Gieseking先生;奥尔德罗格(Ernst-Rüdiger Olderog);尼克·Würdemann 1 2020 基于SMT的符号自动机生成。 Zbl 1443.68114号 秦旭东;西蒙·布利兹;艾瑞克·马德琳;侯泽晨;邓玉欣;张敏 1 2020 具有灵活选择的可逆会话。 Zbl 1462.68121号 伊利亚卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·詹尼尼 9 2019 关于分析概率程序的难度。 Zbl 1417.68054号 本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;克里斯托夫·马提亚 8 2019 在路径控制的插入-删除系统上。 Zbl 1410.68188号 亨宁费尔瑙;拉克希曼·库普萨米;因杜马提·拉曼 4 2019 关于过渡系统中多面体不变量存在性的可判定性。 Zbl 1421.68097号 戴维·莫尼奥 三 2019 单词幂的Parikh矩阵。 Zbl 1423.68364号 阿德里安·阿塔纳西乌;加詹德兰·普瓦南德兰;Teh,Wen Chean先生 三 2019 接口自动机、组件兼容性和错误的一般理论。 Zbl 1421.68093号 芬德里奇、萨沙;杰拉尔德·吕特根 2 2019 使用收缩解图解决重构问题。 Zbl 1431.90161号 保罗·邦斯玛;丹尼尔·保卢斯马 2 2019 Petri网的结构活性是ExpSpace(扩展空间)-硬而可决定。 Zbl 1425.68296号 彼得·扬查尔;乘务长,大卫 2 2019 协商作为并发原语。 Zbl 1422.68168号 德塞尔,约格;哈维尔·埃斯帕尔扎;菲利普·霍夫曼 1 2019 具有双面界面的组件的关联组合。 Zbl 1431.68081号 沃尔夫冈·雷西格 1 2019 使用静态和动态切点对程序的Petri网模型进行等价性检查。 兹比尔1430.68159 Soumyadip Bandyopadhyay公司;迪班卡·萨尔卡;奇塔兰詹·曼达尔 1 2019 Petri网是二元体:非确定性网络理论的新代数基础。 Zbl 1417.68114号 保罗·巴尔丹;法比奥·加杜奇 1 2019 具有恒定更新时间的红黑树。 兹比尔1423.68124 阿姆斯特丹Elmasry;莫斯塔法·卡拉;啊,费迪;马哈茂德·哈希姆 1 2019 CTL操作员指纹检查模型。 Zbl 1423.68288号 安德烈亚斯·克雷布斯;阿恩·迈尔;马丁·蒙德亨克 1 2019 平均能量游戏。 兹比尔1390.68115 帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;拉森,金·G。;西蒙·劳尔森 16 2018 反应系统的广义背景:动态因果关系的定义和研究。 Zbl 1390.68301号 罗伯托·巴布蒂;罗伯塔·戈里;弗朗西丝卡·列维;保罗·米拉佐 13 2018 有界无选择Petri网综合:算法问题。 Zbl 1400.68131号 最好的,艾克;雷蒙德·魔鬼队;乌里·施拉赫特 11 2018 用于监视实时属性的算法。 Zbl 1395.68185号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 8 2018 稀疏化和次指数近似。 Zbl 1408.68068号 爱德华·博内;Vangelis Th.帕斯科。 6 2018 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 Zbl 1390.68445号 马丁·齐默尔曼 4 2018 透过雾蒙蒙的窗户看平均回报。 兹比尔1408.91045 保罗·亨特;吉列尔莫·A·佩雷斯。;让-弗朗索瓦·拉斯金 三 2018 过渡系统的工厂化。 Zbl 1395.68196号 雷蒙德·魔鬼队 三 2018 分层信息和分布式策略的综合。 兹比尔1408.91004 迪特马尔·伯旺格;阿努普·巴兹尔·马修;玛丽·范登·博加德 2 2018 跨越从安全到活跃的范围。 Zbl 1408.68096号 瑞秋·法拉;奥尔纳·库普弗曼 2 2018 用于将系统组合应用程序转换为时间自动机的事件代数。 Zbl 1398.68340号 票价,Elie;Jean-Paul Bodeveix公司;马蒙·菲拉利 2 2018 实际调度程序的概率互模拟。 Zbl 1398.68374号 张丽君;杨鹏飞;宋磊;霍尔格·赫尔曼斯;克里斯蒂安·艾森特罗;大卫·詹森(David N.Jansen)。;Jens Chr.Godskesen。 2 2018 下降链和缩小模板抽象域。 Zbl 1398.68090号 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2018 线性时间时序逻辑计数模型的复杂性。 Zbl 1390.68441号 托法、哈泽姆;马丁·齐默尔曼 1 2018 序列平行图上可逆有界自动机的可达性分析。 Zbl 1390.68385号 雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 1 2018 表征三元代码的第一步。 Zbl 1398.68351号 曹春华;青、鲁;狄、杨 1 2018 复制、细化和可达性:动态条件响应图的复杂性。 Zbl 1398.68094号 瑟伦·德博伊斯;托马斯·希尔德布兰特。;斯莱亚特,蒂杰斯 1 2018 用于过渡网络的快速确定性解析器。 兹比尔1400.68093 安杰洛·博尔索蒂;卢卡·布雷维利里;克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);安杰洛·莫尔岑蒂 1 2018 利用(GI/M/1)型马尔可夫过程分析具有多个工作休假的(M^X/M/1)排队。 Zbl 1404.60142号 张洪波 1 2018 人口协议的验证。 兹比尔1364.68081 哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;勒鲁,杰罗姆;鲁帕克·马朱姆达尔 21 2017 到的共同生产的一般说明。 Zbl 1371.68186号 菲利波·邦奇;丹尼拉·佩特里西安;Damien Pous;朱里安·罗特 16 2017 假设允许合成。 Zbl 1362.68202号 罗曼·布伦吉尔;让-弗朗索瓦·拉斯金;奥坎·桑库尔 13 2017 通过归纳学习的形式综合理论。 Zbl 1380.68124号 苏斯米特·贾;Sanjit A.Seshia。 12 2017 随机生化系统的精确参数综合。 Zbl 1373.92038号 科什卡,米兰;Dannenberg,弗里茨;尼古拉·保莱蒂;玛尔塔·奎亚特科夫斯卡;卢博什·布里姆 11 2017 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 11 2017 马尔可夫链集总性与可逆性的关系。 Zbl 1398.60085号 A.马林。;罗西,S。 7 2017 伪多项式迭代算法,用于求解总对偶博弈和最小代价可达博弈。 Zbl 1362.68203号 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格 7 2017 通过生物诱导流动性有效解决垃圾箱包装问题。 Zbl 1371.68079号 阿曼,博格丹;加布里埃尔·乔巴努 6 2017 多方会话类型作为一致性证明。 Zbl 1371.68049号 马可·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼;吉田、Nobuko 5 2017 用于单调谓词的高效且安全的基于属性的签名。 Zbl 1377.94050号 顾、柯;贾维嘉;王国军;文生 5 2017 用于结构化随机过程形式化验证的动态贝叶斯网络。 Zbl 1364.68262号 Esmaeil Zadeh Soudjani,萨代格;亚历山德罗·阿巴特;鲁帕克·马朱姆达尔 5 2017 高阶会话进程的特征互模拟。 Zbl 1380.68297号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 三 2017 无遗憾的反应合成。 Zbl 1364.68263号 保罗·亨特;吉列尔莫·A·佩雷斯。;让-弗朗索瓦·拉斯金 三 2017 考虑最大可实现性的无安全LTL综合。 Zbl 1380.68285号 高市富田;上野,Atsushi;Masaya岛川;Shigeki Hagihara;直纪延崎 2 2017 SMT中的近似计数和概率程序的值估计。 Zbl 1380.68117号 德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 2 2017 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布;猜猜,柯林·C。;阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;提亚哥,派克斯昂;塔贾纳·彼得罗夫 2 2017 可逆Watson-Crick自动机。 Zbl 1378.68102号 金淑·查特吉;库马尔·桑卡尔·雷 1 2017 无特征码异步拜占庭系统:从多值到二进制一致,具有\(t<n/3)、\(O(n^2)\)消息和恒定时间。 Zbl 1378.68019号 阿查尔,莫塞法伊;米歇尔·雷纳尔 1 2017 伪序词集的析取性和其他性质。 Zbl 1371.68222号 卡里、莉拉;库尔卡尼(Kulkarni,Manasi S.)。 1 2017 检查计算的间隔属性。 兹比尔1350.68184 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;阿德里亚诺·佩隆 21 2016 并发抽象状态机。 Zbl 1352.68176号 伊贡博格尔;克劳斯·迪特·施韦 10 2016 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 Zbl 1339.03018号 卢卡·埃特罗;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Anna Ingólfsdóttir;Angelo蒙塔纳里;圭多·西亚维科 9 2016 具有灵活时间表的计划和执行:正式账户。 Zbl 1351.90092号 玛尔塔·恰尔迪亚·梅耶;安德烈亚·奥兰迪尼;亚历山德罗·乌姆布里科 7 2016 通过定时游戏自动机实现动态可控性。 Zbl 1350.68251号 亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 7 2016 …和1112份其他文件 所有引用出版物 前5名被引用出版物 全部的 前5名8754位作者引用 73 格列泽戈兹·罗森贝格 50 约斯特·恩格尔弗里特 46 伍德,德里克 41 奥斯卡·H·伊巴拉。 40 马丁·库特里布 40 弗里德里希·奥托 38 沃尔特·福格勒 37 乌戈·蒙塔纳里。 36 马西耶·库特尼 31 阿尔托·库斯塔·萨洛马 31 吉田、Nobuko 29 卡雷尔·库利克二世 29 段振华 29 亚历山大·梅杜纳 29 维克托·米特拉纳 28 维姆·赫塞林克。 27 Jan A.Bergstra。 26 卢卡·埃特罗 26 码头Kleijn 25 雷蒙·德维勒 25 亨宁费尔瑙 25 亚历山大·奥霍金 25 佩恩,古奥热 25 范格拉贝克、罗伯特·扬 24 最好的,艾克 24 Luc P.J.A.Devroye。 24 马库斯·霍尔泽 24 安吉洛·蒙塔纳里 23 保罗·巴尔丹 23 安德烈·埃伦菲赫特 23 利亚·爱泼斯坦 23 Hemaspandra,A巷。 23 田聪 22 罗伯托·戈里埃里 22 Anna Ingólfsdóttir 22 霍萨姆·马哈茂德。 22 赫尔曼·A·莫勒。 21 Cheng,Tai-Chiu Edwin先生 21 安德烈亚斯·马尔彻 21 Kai T.Salomaa。 21 戴维·桑吉奥吉 21 埃里克·斯科特 21 乔里斯·范德霍温 20 尤尔根·达索 19 法兰克·德雷维斯 19 卡里、莉拉 18 阿尔哈佐夫,阿蒂姆 18 劳拉·博泽利 18 罗伯托·布鲁尼 18 维利亚姆·格弗特 18 罗尔夫·亨尼克 18 阿德里亚诺·佩隆 18 Yen、Hsuchun 17 鲁道夫·伯哈默 17 加布里埃尔·乔巴努 17 菲利普·弗拉乔莱特 17 金·斯卡·拉森 17 格思·斯特林特·布罗达尔 17 谭志毅 17 安德烈·塔莱基 17 福格勒、海科 16 弗拉维奥·科拉迪尼 16 马里亚纽拉州Dezani-Ciancaglini 16 阿姆斯特丹Elmasry 16 傅玉玺 16 特罗·哈尔朱 16 何勇 16 Joost-Pieter卡托恩 16 林克,塞巴斯蒂安 16 奥尔德罗格(Ernst-Rüdiger Olderog) 16 米凯尔·兰多尔 16 唐纳德·桑内拉。 15 克里希南德·查特吉 15 哈维尔·埃斯帕尔扎 15 里扎德·贾尼基 15 埃尔基·梅基宁 15 安德烈亚斯·马莱蒂 15 托马斯·奥特曼。 15 伊恩·菲利普斯。 15 罗伯特·恩德雷·塔尔扬 14 阿曼,博格丹 14 埃兹贝特·苏哈伊·瓦尔朱 14 法比奥·加杜奇 14 轩尼诗,Matthew C.B。 14 C.A.R.Tony Hoare 14 蒋一伟 14 何塞·梅塞盖尔·瓜伊塔 14 科内利斯·A·米德尔堡。 14 佩雷斯,豪尔赫·A。 14 G.Michele Pinna 14 阿米尔·普努利 14 让-弗朗索瓦·拉斯金 14 约阿希姆·冯·祖尔·盖森 14 张楠 13 埃里克·W·艾伦德。 13 回来了,拉尔夫·约翰 13 罗伯托·巴布蒂 13 米歇尔·博雷尔 13 帕特里夏·鲍耶 13 安德烈亚·科拉迪尼 …还有8654名作者 全部的 前5名被400种期刊引用 1295年 理论计算机科学 514 信息学报 387 信息处理信件 335 信息与计算 243 计算机与系统科学杂志 147 计算的形式方面 135 离散应用数学 118 算法 116 国际计算机科学基础杂志 108 国际计算机数学杂志 100 信息科学 98 欧洲运筹学杂志 86 符号计算杂志 79 程序设计中的逻辑和代数方法杂志 73 计算系统理论 70 数学系统理论 69 计算机科学中的逻辑方法 67 计算机与运筹学 65 MSCS公司。计算机科学中的数学结构 65 分布式计算 57 RAIRO公司。Informatique Théorique et Applications公司 49 逻辑与代数程序设计杂志 48 比特币 48 系统设计中的形式化方法 46 组合优化期刊 42 人工智能 40 RAIRO,Informatique Théorique公司 39 计算 39 排队系统 36 自动推理杂志 36 运筹学年鉴 35 调度日志 35 RAIRO公司。理论信息学及其应用 33 计算机与数学及其应用 33 数学与人工智能年鉴 30 自然计算 29 离散数学 29 计算机程序设计科学 29 随机结构与算法 27 运营研究信件 27 计算机基础理论 26 计算数学 26 函数编程杂志 25 国际计算机与信息科学杂志 25 计算几何 24 离散算法杂志 22 应用数学与计算 22 应用数学建模 22 计算复杂性 22 ACM计算逻辑事务 21 纯逻辑与应用逻辑年鉴 21 复杂性杂志 21 比特。Nordisk Tidskrift信息处理 19 RAIRO公司。理论信息学及其应用 18 离散事件动态系统 17 凯贝内提卡 17 计算机科学与技术杂志 17 应用概率年鉴 16 控制论 16 国际代数与计算杂志 16 膜计算杂志 15 苏联数学杂志 15 SIAM计算机杂志 14 模糊集与系统 14 国际并行程序设计杂志 14 组合数学、概率论和计算 14 工程中的数学问题 14 并行算法与应用 13 高阶和符号计算 12 SIAM代数和离散方法杂志 12 国际近似推理杂志 12 亚太运筹学杂志 12 工程和信息科学中的概率 11 Automatica公司 11 组合理论杂志。系列A 11 工程、通信和计算中的应用代数 11 控制论与系统分析 11 RAIRO公司。运筹学 11 离散优化 11 计算机科学评论 10 应用数学进展 10 新一代计算 10 数学和计算机建模 10 线性代数及应用 10 模式识别 10 非线性分析。混合动力系统 9 国际系统科学杂志 9 计算物理杂志 9 计算与应用数学杂志 9 半群论坛 9 数学编程。A系列B系列 9 组合数学电子杂志 9 应用数学与计算杂志 9 ACM实验算法杂志 8 应用概率的进展 8 网络 8 编程和计算机软件 8 CEJOR公司。中欧运筹学杂志 8 逻辑程序设计理论与实践 8 应用逻辑杂志 …还有300多份期刊 全部的 前5名54个领域被引用 6,772 计算机科学(68-XX) 893 数学逻辑和基础(03-XX) 876 运筹学、数学规划(90-XX) 573 组合数学(05-XX) 290 概率论与随机过程(60-XX) 204 信息与通信理论、电路(94-XX) 174 博弈论、经济学、金融和其他社会和行为科学(91-XX) 155 数值分析(65-XX) 152 数论(11-XX) 104 群论与推广(20-XX) 94 系统论;控制(93至XX) 79 生物学和其他自然科学(92-XX) 75 范畴理论;同调代数(18-XX) 59 统计学(62-XX) 58 阶、格、有序代数结构(06-XX) 42 场论和多项式(12-XX) 39 量子理论(81-XX) 35 交换代数(13-XX) 34 一般代数系统(08-XX) 31 线性代数和多线性代数;矩阵理论(15-XX) 31 动力系统和遍历理论(37至XX) 26 凸和离散几何(52至XX) 25 历史和传记(01-XX) 18 一般拓扑结构(54至XX) 17 总体主题;集合(00-XX) 15 代数几何(14-XX) 15 结合环与代数(16-XX) 15 流体力学(76-XX) 14 测量和集成(28-XX) 12 近似值和展开值(41至XX) 10 可变形固体力学(74-XX) 8 统计力学,物质结构(82-XX) 7 偏微分方程(35-XX) 7 变异微积分和最优控制;最优化(49-XX) 6 几何图形(51-XX) 5 常微分方程(34-XX) 4 特殊功能(33至XX) 三 实际功能(26年X月X日) 三 复变量的函数(30年XX月) 三 欧氏空间的调和分析(42至XX) 三 流形和细胞复合体(57至XX) 2 积分变换,运算微积分(44-XX) 2 功能分析(46倍X倍) 2 算子理论(47-XX) 2 粒子和系统力学(70-XX) 2 光学、电磁理论(78-XX) 2 经典热力学,传热(80-XX) 1 非结合环和代数(17-XX) 1 拓扑群、李群(22日至XX日) 1 差分方程和函数方程(39至XX) 1 序列、级数、可和性(40-XX) 1 微分几何(53至XX) 1 地球物理学(86-XX) 1 数学教育(97-XX) 按年份列出的引文