×

信息学报

简短标题: 学报信息。
出版商: 柏林/海德堡施普林格
国际标准编号: 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位作者

按年份列出的出版物

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名

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)

按年份列出的引文