×

兹马思-数学第一资源

信息学报

简称: 信息学报。
出版商: 斯普林格,柏林/海德堡
ISSN编号: 0001-5903;1432-0525/e
在线: http://link.springer.com/journal/volumesAndIssues/236
评论: 索引封面到封面
编制索引的文档: 1568种出版物(自1971年起)
索引的引用: 1050份出版物参考文献22608篇。
全部的 前5名

最新版本

58,第5期(2021年)
58,第4期(2021年)
58,第3期(2021年)
58,编号1-2(2021)
57,第6期(2020年)
57,第3-5期(2020年)
57,第1-2期(2020年)
56,第7-8期(2019年)
56,第6期(2019年)
56,第5期(2019年)
56,第4期(2019年)
56,第3期(2019年)
56,第2期(2019年)
56,第1期(2019年)
55,第8期(2018年)
55,第7期(2018年)
55,第6期(2018年)
55,第5期(2018年)
552018年第4期
552018年第3期
55,第2期(2018年)
55,第1期(2018年)
54,第8期(2017年)
54,第7期(2017年)
54,第6期(2017年)
54,第5期(2017年)
54,第4期(2017年)
54,第3期(2017年)
54,第2期(2017年)
54,2017年第1期
53,第6-8期(2016年)
53,第5期(2016年)
53,第4期(2016年)
53,第3期(2016年)
53,第2期(2016年)
53,第1期(2016年)
52,第7-8号(2015)
52,第6期(2015年)
52,第4-5期(2015年)
52,第2-3期(2015年)
52,第1期(2015年)
51,2014年第8号
51,2014年第7期
51,2014年第6期
51,第5期(2014年)
51,2014年第3-4期
51,第2期(2014年)
51,第1期(2014年)
50,第7-8号(2013年)
50,第5-6期(2013年)
50,2013年第4期
50,第3期(2013年)
50,第2期(2013年)
50,2013年第1期
492012年7月8日
492012年第6期
49,第5期(2012年)
49,第4期(2012年)
49,第3期(2012年)
49,第2期(2012年)
49,第1期(2012年)
48,第7-8期(2011年)
48,第5-6期(2011年)
48,2011年第4期
48,第3期(2011年)
48,第2期(2011年)
48,第1期(2011年)
47,第7-8期(2010年)
47,第5-6期(2010年)
47,2010年第4期
47,2010年第3期
47,2010年第2期
47,2010年第1期
46,第8号(2009年)
46,2009年第7期
46,2009年第6期
46,2009年第5期
46,2009年第4期
46,2009年第3期
46,第2期(2009年)
46,2009年第1期
45,第7-8号(2008年)
45,2008年第6期
45,第5期(2008年)
45,2008年第4期
45,2008年第3期
45,2008年第2期
45,2008年第1期
44,第7-8号(2007年)
44,第6期(2007年)
442007年第5号
442007年4月3日
44,第2期(2007年)
44,第1期(2007年)
43,第8期(2007年)
43,2007年第7期
43,第6期(2007年)
43,第5期(2006年)
43,第4期(2006年)
43,第3期(2006年)
…还有184卷
全部的 前5名

作者

25 罗森伯格,格尔茨戈尔茨
17 恩格尔弗里特,乔斯特
13 沃格勒,沃尔特
11 海瑟林,维姆H。
10 科夫曼,爱德华·格雷迪·军。
10 库里克,卡雷尔二世
9 埃伦费赫特,安德烈
9 格伦贝,萨米·厄洛
9 麦杜纳,亚历山大
9 萨洛马,库斯塔
9 伍德,德里克
8 最好的,艾克
8 米特拉那,维克多
8 奥托,弗里德里希
8 Păun,盖尔赫
7 伯格斯特拉,Jan A。
7 弗拉维奥,科拉迪尼
7 德维勒,雷蒙德
7 霍尔,C.A.R.托尼
7 库特尼,麦基
7 拉森,金·斯卡克
7 马哈茂德,何萨姆M。
7 梅尔霍恩,库尔特
7 奥尔德罗,恩斯特-吕迪格
6 回来,拉尔夫·约翰
6 克里斯特,拜尔
6 帕利萨博迪斯
6 Devroye,Luc P.J.A.公司。
6 爱泼斯坦,莉亚
6 范,陈明
6 库瓦特索斯,德米特里斯D。
6 吗哪,佐哈尔
6 莫勒,赫尔曼A。
6 保罗,沃尔夫冈·雅各布
6 普努埃利,阿米尔
6 拉斯金,让·弗朗索瓦
5 博森,卢克
5 布鲁诺,约翰L。
5 德卢卡,阿尔多
5 Ehrich,Hans Dieter
5 格里斯,大卫
5 海纳,埃里克·C·R。
5 轩尼诗,马修·C·B。
5 Honkala,朱哈
5 黄成志
5 Latteux,米歇尔
5 马丁维德,卡洛斯
5 莫里斯,约瑟夫M。
5 火星上空,马克H。
5 谢尔,惠珍
5 索伊尼宁,埃尔哈斯
5 Van den Bussche,一月
5 可怜的,格哈德·约翰内斯
4 醋酸,卢卡
4 奥特伯特,让·米歇尔
4 贝萨·耶茨,里卡多·A。
4 书,罗纳德·弗农
4 卡皮,阿图罗
4 达索,约根
4 德弗朗西斯科,尼古莱塔
4 德尼古拉,洛克
4 皮耶尔帕诺
4 洛姆什洛夫
4 阿姆斯雷
4 埃斯帕扎,哈维尔
4 费诺,亨宁
4 弗朗西兹,尼西姆
4 Fülöp,佐坦
4 戈尔茨,乌苏拉
4 海珠,泰罗
4 海尔布鲁纳,斯蒂芬
4 赫尔南德斯,Héctor J。
4 亨德里克·扬
4 贾尼基,里扎德
4 卡丽,莉拉
4 威斯康星州卡斯滕斯
4 库塞拉,安东宁
4 库特里布,马丁
4 朗玛克,汉斯
4 拉森,金·古德斯兰德
4 劳尔,彼得·恩斯特
4 伦高,克里斯蒂安
4 吕特根,杰拉尔德
4 米拉·塞德巴姆少校。
4 马朱姆达尔,鲁帕克
4 马尔彻,安德烈亚斯
4 米德尔堡,科尼利斯A。
4 莫宁,伯克哈德
4 蒙塔纳里,安吉洛
4 蒙塔纳里,乌戈·G。
4 森田,健一
4 尼尔森,莫根斯
4 奥特曼,托马斯A。
4 凉棚,埃莉萨
4 莱希格,沃尔夫冈
4 塞萨尔桑切斯
4 桑顿,安东内拉
4 亚伯拉罕希尔兹
4 简·罗伯特·范格拉贝克
4 瓦里奇奥,斯特凡诺
…还有1913位作家

按年份列出的出版物

zbMATH公开赛中包含的引文

1137年出版物有被引用8280时间6632份文件 引用人
大型有序索引的组织与维护。 中银0226.68008
拜耳,R。;麦克莱特。
107
1971
非确定性自动机的强制枚举方法。 68006.ZB38升
塞勒普塞尼,Róbert
104
1988
数据表示的正确性证明。 Zbl 0244.68009
霍尔,哥伦比亚特区。
98
1972
双处理器系统的最优调度。 中银0248.68023
科夫曼,例如jun。;格雷厄姆,R.L。
97
1971
关于任意代数上多项式的快速乘法。 Zbl 0766.68055
康托,大卫G。;卡尔托芬,埃里希
94
1991
并行程序的公理化证明技术。 Zbl 0312.68011
奥维基,苏珊;格里斯,大卫
94
1976
四叉树:通过复合键检索的数据结构。 Zbl 0278.68030
芬克尔,拉斐尔·阿里;宾利,乔恩·路易斯
88
1974
具有简洁输入表示的组合问题的复杂性。 Zbl 0621.68032
瓦格纳,克劳斯W。
86
1986
单故障单机流时间调度。 中保0657.68033
阿迪里,伊加尔;布鲁诺,约翰;弗罗斯蒂格,埃丝特;菅直人,A.H.G。
78
1989
最优二叉搜索树。 中银0233.68010
克努特,D.E。
67
1971
pi演算中会话类型的子类型。 Zbl 1079.68065
同性恋,西蒙;霍尔,马尔科姆
65
2005
Steiner树的快速算法。 Zbl 0445.68051
寇,L。;马科夫斯基,G。;伯曼,L。
64
1981
微积分的一种互模拟理论。 Zbl 0835.68072
大卫桑吉奥吉
63
1996
具有计划维护的单机流程时间调度。 Zbl 0738.68043
李忠义;利曼,苏里亚·达努萨普特罗
60
1992
用于通信过程的面向规范的语义。 Zbl 0569.68019
奥尔德罗,E.-R。;霍尔,托尼
55
1986
对称二叉B-树:数据结构和维护算法。 中银0233.68009
拜耳,鲁道夫
54
1972
层次树聚类中的NP难问题。 Zbl 0644.68055
米尔科Křivánek;莫拉维克,雅罗斯拉夫
54
1986
考虑学习的双准则单机调度问题。 Zbl 1137.90500
李文强;吴金嘉;宋华琼
52
2004
Petri网的分支过程。 Zbl 0743.68106
恩格尔弗里特,乔斯特
49
1991
树高分析中的分枝过程。 中银0643.60065
德弗罗耶。
47
1987
具有可用性约束的机器调度。 6800918.6800918升
桑拉维尔,埃里克;施密特,居特
46
1998
特征2域上多项式的快速乘法。(Schnelle Multiplikation von Polynomenüber Körpern der Charakteristik 2.) Zbl 0362.65011
舍恩哈格,A。
46
1977
关于实时元胞自动机和格子自动机。 Zbl 0534.68039
乔夫鲁特,C。;乔利克,卡雷尔二世
46
1984
连分式展开的快速计算。(Schnelle Berechnung von Kettenbruchentwicklungen) 中银0223.68008
舍恩哈格,A。
45
1971
分支时间的时间逻辑。 Zbl 0533.68036
本阿里,莫德凯;普努埃利,阿米尔;吗哪,佐哈尔
44
1983
并发系统作用与等价概念的精化。 Zbl 0969.68081
范格拉贝克,罗伯;戈尔茨,乌苏拉
42
2001
过渡系的可拓等价。 Zbl 0636.68069
德尼古拉,洛克
42
1987
简单计算设备中的不确定性。 中银0229.68014
哈特曼,J。
41
1972
普通巧克力。高阶过程的第二代微积分。 Zbl 0790.68069
汤姆森,本特
41
1993
程序变量之间的仿射关系。 Zbl 0358.68025
卡尔,迈克尔
39
1976
上下文网络。 Zbl 0835.68084
蒙塔纳里,乌戈;罗西,弗朗西丝卡
36
1995
一种过程的效率预购单。 Zbl 0790.68039
阿伦库马尔,S。;轩尼诗,M。
36
1992
随机2-3棵树。 Zbl 0369.05024
姚志智
36
1978
证明并应用二阶模式表示的程序转换。 Zbl 0389.68008
休特,杰拉德;朗,伯纳德
35
1978
表示已排序列表的新数据结构。 Zbl 0481.68061
哈德斯顿,斯科特;梅尔霍恩,库尔特
33
1982
程序设计语言Pascal的公理化定义。 中银0261.68040
霍尔,哥伦比亚特区。;北卡罗来纳州沃思市。
33
1974
顶点覆盖问题的Ramsey数及其近似算法。 Zbl 0558.05044
莫宁,伯克哈德;斯派肯迈耶,伊瓦尔德
33
1985
部分抽象类型。 Zbl 0494.68020
兄弟,曼弗雷德;维辛,马丁
32
1982
矩阵文法理论中的Petri网算法。 Zbl 0834.68064
孩子们,迪尔豪斯;詹森,马提亚斯
32
1994
二部图的凸匹配及其相关算法。 Zbl 0445.68052
利普斯基,W.jun。;准备,F.P。
32
1981
EOL表格。 Zbl 0348.68046
莫雷尔,H.A。;萨洛马,A。;伍德,D。
32
1977
具有无限模型的命题投影时序逻辑的判定过程。 Zbl 1141.68039
段振华;田聪;张,李
32
2008
程序证明中覆盖不确定性的一种逻辑。 Zbl 0534.68024
巴林格,H。;程,J.H。;琼斯,C.B。
32
1984
一种基于条件/事件系统的分布式CCS操作语义。 浙宝0656.68061
德加诺,皮尔波洛;迪尼古拉,洛克;蒙塔纳里,乌戈
32
1988
部分(集合)2-结构。二: 并发系统的状态空间。 Zbl 0696.68083
埃伦费赫特,A。;罗森伯格,G。
32
1990
在\(\pi\)-演算中因果关系的完全抽象语义。 Zbl 0908.68103
博雷尔,米歇尔;大卫桑吉奥吉
31
1998
南部不同的家庭的语言转换理性。 中银0242.68037
博阿森,L。;尼瓦特,M。
31
1973
Petri网中的并发互模拟。 Zbl 0718.68034
最好的,艾克;德维勒,雷蒙德;基恩,阿斯特里德;波梅洛,露西亚
30
1991
无限状态并发系统模型检验的可判定性。 Zbl 0865.68046
埃斯帕扎,哈维尔
30
1997
近似最优二叉搜索树。 Zbl 0333.68028
梅尔霍恩,库尔特
30
1975
抽象数据类型的代数规范。 Zbl 0369.68010
古塔格,J.V。;霍宁,J.J。
30
1978
从代数规范走向程序的形式化开发:重温实现。 Zbl 0621.68004
桑内拉,唐纳德;塔勒基,安德烈
30
1988
命题mu演算中基于Tableau的模型检查。 Zbl 0676.03033
克里夫兰,兰斯
30
1990
重新检查垃圾箱拉伸。 Zbl 1034.68039
爱泼斯坦,莉亚
28
2003
有限完全重写系统与单词问题的复杂性。 Zbl 0535.68019
鲍尔,G。;奥托,F。
27
1984
部分(集合)2-结构。一: 基本概念与表征问题。 Zbl 0696.68082
费伦哈。;罗森伯格,G。
27
1990
图灵机函数与网络复杂性的有限性。 Zbl 0338.02019
施诺尔,C.P。
26
1976
向量替换系统的持久性是可判定的。 Zbl 0454.68048
梅尔,恩斯特
25
1981
Petri网展开的规范前缀。 Zbl 1072.68072
霍门科,维克托;库特尼,麦基;沃格勒,沃尔特
25
2003
程序设计语言Pascal。 Zbl 0205.18603
北卡罗来纳州沃思市。
25
1971
过渡系统中的公平性及其相关性质——一种处理公平性的时态逻辑。 Zbl 0489.68024
奎尔,J.P。;Sifakis,J。
24
1983
在线二维装箱算法的下界。 Zbl 0493.68042
布朗,唐娜J。;贝克,布伦达S。;卡塞夫,霍华德P。
24
1982
边不相交生成树与深度优先搜索。 Zbl 0307.05104
塔扬,罗伯特·恩德雷
24
1976
优化计算二叉树所需的平均寄存器数。 Zbl 0395.68059
坎普,R。
24
1979
单调数据流分析框架。 Zbl 0375.68020
金,约翰B。;乌尔曼,杰弗里D。
24
1977
关于有限传感器的价值。 Zbl 0672.68027
韦伯,安德烈亚斯
24
1990
一种适用于相似文本字符串的最长公共子序列算法。 Zbl 0493.68041
Narao Nakatsu;Kambayashi,Yahiko;Yajima,Shuzo
23
1982
自顶向下的语法分析。 中银0233.68022
克努斯,唐纳德E。
23
1971
别列克南和计划。一。 中银0252.68018
斯特拉森,V。
23
1972
程序设计语言语义的一致性和互补性形式理论。 中银0264.68006
霍尔,哥伦比亚特区。;劳尔,P.E。
23
1974
论上下文无关语法的句子形式。 中银0264.68029
萨洛马,A。
23
1973
过程代数中的时间和因果关系。 Zbl 0858.68036
醋酸,卢卡;墨菲,大卫
23
1996
快速排序程序的分析。 Zbl 0325.68016
塞吉威克,罗伯特
23
1977
关于术语重写系统的充分完备性及其相关性质。 Zbl 0594.68035
卡普尔,迪帕克;纳伦德兰,佩利思;张汉涛
23
1987
自动和自动驾驶。 中银0238.68017
施诺尔,C.P。;史提姆,H。
22
1972
通过描述hopan croft算法。 Zbl 0242.94042
大卫,格里斯
22
1973
进化处理器网络。 Zbl 1060.68046
卡斯特拉诺斯,胡安;马丁维德,卡洛斯;米特拉那,维克多;塞姆佩雷,何塞。
22
2003
可扩展哈希和trie搜索的性能评价。 Zbl 0515.68048
弗莱约特,菲利普
22
1983
并行存储器粒度受限的并行机随机确定性仿真。 Zbl 0548.68044
梅尔霍恩,库尔特;乌兹维什金
22
1984
记录理论在随机树研究中的应用。 Zbl 0656.68065
德夫罗耶,卢克
22
1988
平衡树上VLSI的收缩自动机。 Zbl 0493.68054
库里克,卡雷尔二世;格鲁斯卡,J。;萨洛马,A。
21
1983
具有局部连锁公式的开发系统。 Zbl 0304.68076
罗森伯格,G。;林登梅尔,A。
21
1973
静音稳定的内存要求。 Zbl 0933.68156
多利夫,什洛米;戈达,穆罕默德G。;施耐德,马可
21
1999
有限自动机中的不确定性量。 Zbl 0423.68016
金塔拉,钱德拉M.R。;沃什克,德特勒夫
21
1980
有效的最坏情况数据结构范围搜索。 Zbl 0423.68029
宾利,乔恩·路易斯;莫雷尔,H.A。
21
1980
十六进制是Pspace vollständig。(十六进制是Pspace complete)。 Zbl 0431.90103
莱希,斯特凡
21
1981
在交替中。 Zbl 0437.68025
保罗,沃尔夫冈J。;Prauß,Ernst J。;瑞舒克,吕迪格
21
1980
带阻塞指数排队系统的近似分析。 中银0442.60091
Boxma,Onno J。;科海姆,艾伦G。
21
1981
程序推导的一种精化演算。 Zbl 0658.68018
回来,R.J.R。
21
1988
\(M/M/1\)带休假的重试队列。 Zbl 1185.90046
是的,田凡
20
2010
在带有活性膜的P系统中交换标签的极化。 Zbl 1101.68028
阿尔哈佐夫,阿蒂姆;潘林强;Păun,盖尔赫
20
2004
带有促进剂/抑制剂的膜系统。 Zbl 1034.68038
波托尼,保罗;马丁维德,卡洛斯;Păun,盖尔赫;罗森伯格,格尔茨戈尔茨
20
2002
装箱:最大限度地增加包装件数。 6800421.6800465
科夫曼,E。;梁振英。;丁德伟。
20
1978
复杂公式的简短证明。 Zbl 0552.03009
克里希纳穆尔蒂,巴拉克里希南
20
1985
通过计算对数据进行优化。 Zbl 0699.68029
摩根,卡罗尔;加德纳,P.H.B。
20
1990
从代数规范走向程序的形式化发展:重新审视参数化。 Zbl 0790.68077
桑内拉,唐纳德;Sokołowski,斯特凡;塔勒基,安德烈
19
1992
B-树上操作的并发性。 Zbl 0343.68022
拜耳,R。;Schkolnick,M。
19
1977
论正则模式语法的生成力。 Zbl 0541.68048
克莱恩,H.C.M。;罗森伯格,G。
19
1983
向量集的留数及其在Petri网可判定性问题中的应用。 Zbl 0545.68051
瓦尔克,鲁迪格;詹森,马提亚斯
19
1985
关于计数和近似。 Zbl 0663.03025
克布勒,约翰内斯;休宁,乌韦;托兰,雅各布
19
1989
CCS中静态与动态可逆性。 Zbl 07340917
Lanese,Ivan;梅迪奇,多丽安娜;梅齐纳,克劳迪奥·安塔雷斯
5
2021
基于聚集的有限状态自动机最小化。 Zbl 07362509
乔安娜·比约克隆德;克莱奥普斯,洛克
1
2021
BPP网络的团队双相似性及其相关的模态逻辑。 Zbl 07404758号
戈里里,罗伯托
1
2021
超性能合成。 Zbl 1435.68194
芬克贝纳,伯纳德;哈恩,克里斯托弗;卢卡特,菲利普;斯坦格,马文;Tentrup,利安德
2
2020
GR(1)综合的性能启发式算法及相关算法。 Zbl 1435.68195
菲尔曼,伊丽莎白;毛兹,沙哈尔;林格特,简·奥利弗
1
2020
线性时序逻辑规范最大可实现性的反应式综合。 Zbl 1435.68193
迪米特罗娃,雷娜;伽塞米尼,玛莎;乌鲁克托普CU
1
2020
综合最优弹性控制器。 Zbl 1435.68066
尼尔,丹尼尔;韦内特,亚历山大;齐默尔曼,马丁
1
2020
从算符的观点来看是一致的。模态表征的句法要求。 Zbl 1443.68111
加兹达,麦基;沃恩州福克金;马萨托里奥
1
2020
耦合相似性:前32年。 2036号邮政编码:2036
本杰明,比斯平;威斯康星州内斯特曼;彼得斯,基尔斯廷
1
2020
Hennessy-Milner逻辑中的特征不变量。 Zbl 1443.68113
贾斯帕,马克;施吕特,马克西米利安;斯特芬,伯恩哈德
1
2020
分析概率程序的困难。 Zbl 1417.68054
卡明斯基,本杰明·卢西安;卡托恩,乔斯特·皮尔特;马蒂娅,克里斯托夫
2019
可逆会议和灵活的选择。 Zbl 1462.68121号
卡斯特拉尼,伊利亚;Dezani Ciancaglini,马里安哥拉;贾尼尼,保罗
2019
协商作为并发原语。 Zbl 1422.68168
德塞尔,约格;埃斯帕扎,哈维尔;菲利浦霍夫曼
1
2019
接口自动机、组件兼容性和错误的一般理论。 Zbl 1421.68093
芬德里奇,萨沙;吕特根,杰拉尔德
1
2019
路径控制插入-删除系统。 Zbl 1410.68188
费诺,亨宁;库普萨米,拉克什曼;拉曼,因杜马蒂
1
2019
Petri网是dioid:非确定性网络理论的一个新的代数基础。 Zbl 1417.68114
保罗巴尔丹;加杜奇,法比奥
1
2019
单词幂的Parikh矩阵。 Zbl 1423.68364
阿塔纳修,阿德里安;普瓦南德兰,加詹德兰;Teh,Wen Chean
1
2019
反应系统的广义语境:动态因果关系的定义和研究。 Zbl 1390.68301
巴布提,罗伯托;戈里,罗伯塔;列维,弗朗西斯卡;米兰佐,保罗
8
2018
平均能量游戏。 兹布1390.68115
布耶,帕特里夏;马基,尼古拉斯;兰多尔,米凯尔;拉森,金G。;劳森,西蒙
7
2018
监控实时属性的算法。 Zbl 1395.68185
脸盆,大卫;克莱德克,费利克斯;Zălinescu,尤根
5
2018
稀疏化和次指数近似。 Zbl 1408.68068
发动机罩,爱杜瓦;帕斯科,万盖利斯。
2018
有界选择自由Petri网综合:算法问题。 Zbl 1400.68131号
最好的,艾克;德维勒,雷蒙德;乌利亚州施拉赫特
2018
实际调度的概率互模拟。 6837ZB1394
张丽君;杨鹏飞;宋,雷;赫尔曼,霍尔格;艾森特,克里斯蒂安;詹森,大卫N。;戈德斯凯森,詹斯·克里斯。
2
2018
事件代数在时间自动机上的应用。 Zbl 1398.68340
车费,伊利;波德维,让保罗;菲拉利,马蒙
2
2018
模板抽象域上的降序链和收缩。 Zbl 1398.68090
阿马托,詹卢卡;迪纳多·迪梅奥,西蒙尼;哦,玛丽亚·恰拉;斯科扎里,弗朗西斯卡
1
2018
过渡网络的快速确定性解析器。 Zbl 1400.68093
波索蒂,安吉洛;布雷维格里里,卢卡;克雷斯皮·雷吉兹,斯特凡诺;摩泽蒂,安吉洛
1
2018
过渡系统的因子分解。 Zbl 1395.68196
德维勒,雷蒙德
1
2018
透过朦胧的窗户看平均回报。 Zbl 1408.91045号
亨特,保罗;佩雷斯,吉列尔莫A。;拉斯金,让·弗朗索瓦
1
2018
参数化线性时序逻辑满足成本:仍然不比LTL贵。 Zbl 1390.68445
齐默尔曼,马丁
1
2018
串并行图上反转有界自动机的可达性分析。 Zbl 1390.68385
迪米特罗娃,雷娜;马朱姆达尔,鲁帕克
1
2018
验证人口协议。 Zbl 1364.68081
埃斯帕扎,哈维尔;甘蒂,皮埃尔;勒鲁克斯,杰罗姆;马朱姆达尔,鲁帕克
7
2017
通过归纳学习的形式综合理论。 兹布1380.68124
杰哈,苏米特;塞希亚,Sanjit A。
7
2017
随机生化系统的精确参数综合。 Zbl 1373.92038
塞斯卡,米兰;Dannenberg,Frits公司;保罗提,尼古拉;奎亚特科夫斯卡,玛尔塔;布里姆,卢博什
6
2017
TSO和PSO的无状态模型检查。 Zbl 1380.68265
阿卜杜拉,帕罗什·阿齐兹;阿罗尼斯,斯塔夫罗斯;阿蒂格,Mohamed Faouzi;强森,本特;莱昂纳森,卡尔;萨戈纳,康斯坦丁诺斯
5
2017
对到年为止的共同生产的概述。 Zbl 1371.68186
邦奇,菲利波;丹尼拉,佩特里安;波斯,达米安;烂,朱瑞安
5
2017
针对单调谓词的高效安全的基于属性的签名。 050升139477
顾,可;魏佳,魏佳;王国军;文,盛
4
2017
假设容许合成。 Zbl 1362.68202号
布伦圭尔,罗曼;拉斯金,让·弗朗索瓦;奥坎桑库尔
2017
求解总收益对策和最小费用可达对策的伪多项式迭代算法。 Zbl 1362.68203
布里哈伊,托马斯;吉勒茨,吉尔;哈达德,阿克塞尔;蒙梅格,本杰明
2017
结构化随机过程形式化验证的动态贝叶斯网络。 Zbl 1364.68262
埃斯梅尔·扎德·苏德贾尼,萨德格;阿伯特,亚历山德罗;马朱姆达尔,鲁帕克
2017
考虑最大可实现性的无红花LTL合成。 兹布1380.68285
多田,高石;上野,Atsushi;岛川,Masaya;下原、志贺;Yonezaki,Naoki
2
2017
马尔可夫链可聚性与可逆性的关系。 Zbl 1398.60085号
马林,A。;罗西,S。
2
2017
通过仿生机动性,有效解决垃圾箱包装问题。 Zbl 1371.68079
阿曼,博格丹;乔巴努,加布里埃尔
2
2017
多方会议类型作为一致性证明。 Zbl 1371.68049
卡本,马可;蒙特西,法布里齐奥;舒曼,卡斯滕;吉田信子
2
2017
高阶会话过程的特征互模拟。 Zbl 1380.68297
库扎帕斯,迪米特里奥斯;佩雷斯,豪尔赫A。;吉田信子
2
2017
SMT中的近似计数和概率程序的值估计。 兹布1380.68117
奇斯蒂科夫,德米特里;迪米特罗娃,雷娜;马朱姆达尔,鲁帕克
1
2017
基因调控网络进化的模型检验。 Zbl 1380.68273
米尔科,贾科布;盖特,Călin C。;古普塔,阿什图什;亨辛格,托马斯A。;提亚戈,派克斯昂;彼得罗夫,塔贾纳
1
2017
可逆沃森-克里克自动机。 Zbl 1378.68102号
金树查特吉;雷,库马尔·桑卡尔
1
2017
伪边界词集的析取性和其他性质。 Zbl 1371.68222
卡丽,莉拉;库尔卡尼,玛纳斯S。
1
2017
检查计算的间隔属性。 Zbl 1350.68184
莫利纳里,阿尔伯托;蒙塔纳里,安吉洛;穆拉尼诺;佩雷利,朱塞佩;佩隆,阿德里安
10
2016
确定连续时间度量时序逻辑可满足性的工具。 兹布1336.68230
伯萨尼,马塞洛M。;罗西,马特奥;圣彼得罗,皮耶鲁吉
6
2016
并发抽象状态机。 Zbl 1352.68176号
博格,伊贡;Schewe,克劳斯·迪特
4
2016
时间博弈自动机的动态可控性。 Zbl 1350.68251
亚历山德罗·西马蒂;亨斯伯格,卢克;米其莉,安德烈;波塞纳托,罗伯托;罗维里,马可
4
2016
台阶痕迹。 Zbl 1335.68173
贾尼基,里扎德;克莱恩,码头;库特尼,麦基;米库尔斯基,乌卡斯
4
2016
艾伦关系区间逻辑表达性的一个完整分类:一般和稠密情况。 Zbl 1339.03018号
醋酸,卢卡;黛拉·莫妮卡,达里奥;哥伦科,瓦伦丁;安娜,英格尔夫斯多蒂尔;蒙塔纳里,安吉洛;西亚维科,吉多
4
2016
计划和执行灵活的时间表:一个正式的帐户。 Zbl 1351.90092
玛尔塔,玛尔塔;奥兰迪尼,安德里亚;翁布里科,亚历山德罗
2016
具有不确定性的动态可控简单时态网络的有效执行。 兹布1336.68250
亨斯伯格,卢克
2016
指导克雷格插值与领域的具体抽象。 Zbl 1344.68139
勒鲁克斯,杰罗姆;吕默,菲利普;苏波蒂奇,帕夫
2
2016
可逆图灵机及其函数的普适性。 Zbl 1348.68051
阿克塞尔森,霍尔格·伯克;格吕克,罗伯特
2
2016
具有不确定性的简单时间网络的有效处理:动态可控性验证算法。 Zbl 1350.68252
尼尔森,米凯尔;科瓦恩斯特伦,乔纳斯;多尔蒂,帕特里克
2
2016
缺失和两极缺失的状态复杂性。 Zbl 1335.68121号
韩,友子;柯,桑基;萨洛马,凯
2
2016
基于时间分辨率的LTL不满意核提取。 Zbl 1338.68170号
舒帕,维克多
2
2016
扩展森林自动机对有序数据堆操作程序的验证。 Zbl 1344.68136
阿卜杜拉,帕罗什·阿齐兹;霍利克,卢卡什;强森,本特;伦加尔,昂德内伊;崔恩,聪奎;沃伊纳尔,汤姆š
1
2016
具有等价关系的度量命题邻域逻辑。 68ZB1350.1升
蒙塔纳里,安吉洛;马可·帕利亚;萨拉,皮埃特罗
1
2016
\(k\)—逗号码和\(k\)—逗号互码的特征。 Zbl 1361.94034号
曹春华;刘海燕;杨,狄
1
2016
时间定性约束网络的优化。 Zbl 1336.68244
康多塔,让·弗朗索瓦;卡奇,苏希拉;萨尔希,雅库布
1
2016
度量时态逻辑。 Zbl 1339.03019
雷诺兹,马克
1
2016
中央社:这不公平!即使在进程和某些公平性假设下,公平调度程序也不能用类似CCS的语言实现。 Zbl 1327.68171
范格拉贝克,罗伯J。;霍夫纳,彼得
7
2015
T系统的状态空间公理。 Zbl 1317.68129
最好的,艾克;德维勒,雷蒙德
5
2015
使用CADP对异步并发系统进行组合验证。 Zbl 1410.68250
Garavel,休伯特;朗,弗里德里克;马特斯库,拉杜
5
2015
图像语言的确定性有序重启自动机。 Zbl 1330.68174
奥托,弗里德里希;先生,弗兰蒂舍克
5
2015
重温不确定性和概率过程的双相似性及其模态逻辑。 Zbl 1331.68147
伯纳多,马可;德尼古拉,洛克;洛蕾蒂,米歇尔
5
2015
更丰富的接口自动机,具有乐观和悲观的兼容性。 Zbl 1325.68161
吕特根,杰拉尔德;沃格勒,沃尔特;芬德里奇,萨沙
4
2015
持久系统的综合与重组。 Zbl 1310.68148
最好的,艾克;德维勒,雷蒙德
2015
从界面理论到组装理论。 Zbl 1309.68047
亨尼克,罗尔夫;克纳普,亚历山大
2
2015
参数模态转换系统的精化检验。 Zbl 1309.68130
贝尼什,尼古拉;Křetínský,1月;拉森,金G。;默勒,米凯尔H。;希克特,所罗门;斯尔巴,吉
2
2015
上下文超边缘替换。 Zbl 1329.68153
德雷维斯,弗兰克;霍夫曼,伯托德
2
2015
避免给定因子的单词的格雷码顺序。 Zbl 1330.68230
贝尔尼尼,A。;比洛塔,S。;平扎尼,R。;萨布里,A。;瓦伊诺夫斯基。
2
2015
重新审视因果关系。 Zbl 1307.68053
布鲁尼,布鲁尼;蒙塔纳里,乌戈;马蒂莫,马蒂莫
2
2015
模态代数和Petri网。 Zbl 1410.68249
当,韩兴;莫勒,伯恩哈德
1
2015
Petri网的可观察活性。 Zbl 1319.68148
德塞尔,约格;Kılınç,Görkem
1
2015
论LTS算子与其它LTS算子的可构造性与不可构造性。 兹布1328.68140
瓦尔马里,安蒂
1
2015
同步并发构造调度的指称不动点语义。 Zbl 1325.68135
阿瓜多,乔奎因;门德勒,迈克尔;冯·汉克斯登,莱茵哈德;福曼,Insa
1
2015
“组合性和并发性的结合”专题。一。 Zbl 1315.00129
范格拉贝克,罗伯J。;戈尔茨,乌苏拉;奥尔德罗,恩斯特-吕迪格
1
2015
对合二元关系的一些性质。 Zbl 1329.68174
范,陈明;王,詹策;黄成志
1
2015
无限状态过程的参数化不变性。 Zbl 1329.68171
桑切斯,亚历杭德罗;塞萨尔桑切斯
1
2015
综合鲁棒系统。 Zbl 1302.93079号
你好,罗德里克;查特吉,克莉什南杜;格雷梅尔,卡琳;亨辛格,托马斯A。;霍夫雷克,乔治;Jobstmann,芭芭拉;贝蒂娜,Könighofer;Könighofer,罗伯特
18
2014
多维量化目标的策略综合。 Zbl 1360.68208
查特吉,克莉什南杜;兰多尔,米凯尔;拉斯金,让·弗朗索瓦
12
2014
带度约束的三边收缩问题的参数化复杂性。 Zbl 1360.68489
贝尔蒙特,雷米;戈洛维奇,彼得拉。;van’t霍夫,皮姆;保卢斯马,丹尼
7
2014
模态转换系统的一般定量规范理论。 Zbl 1360.68585
伊利诺伊州费伦伯格;勒盖,阿克塞尔
4
2014
明显的理性表达。 Zbl 1354.68148
波泽利,劳拉;塞萨尔桑切斯
2014
基于跟踪和失败的响应语义。 Zbl 1304.68033
沃格勒,沃尔特;斯塔尔,克里斯蒂安;米勒,理查德
2
2014
一元多头有限自动机的头和状态层次。 Zbl 1304.68110号
库特里布,马丁;安德烈马尔彻;温德兰特,马提亚斯
2
2014
一些原始词和非原始词。 Zbl 1360.68656
曹春华;爽,杨;狄,杨
1
2014
分布式系统模型的形式通信消除和顺序等价性证明。 Zbl 1360.68471
伯特兰,米克尔;巴伯特,弗朗西斯;克莱门特,八月
1
2014
利用超图模型寻找Golomb规则。 Zbl 1360.68520
索格,曼纽尔;Moser,Hannes;尼德迈尔,罗尔夫;韦勒,马蒂亚斯
1
2014
非确定性量子程序的终止。 Zbl 1359.68092
李,杨佳;余能坤;英,明生
1
2014
常规和无上下文规范的分布式合成。 Zbl 1360.68587
弗里德曼,瓦拉迪米尔;伯纳德,普卡拉
1
2014
符号树传感器的正反向应用。 Zbl 1307.68047
Fülöp,佐坦;福格勒,黑子
1
2014
进化处理器网络:子区域滤波器的能力。 兹布1272.68128
达索,约根;玛妮亚,弗洛林;特鲁特,比安卡
6
2013
避免交叉bifix自由二进制字。 Zbl 1310.68171
比洛塔,斯特凡诺;格拉齐尼,伊丽莎白;凉棚,埃莉萨;Pinzani,伦佐
4
2013
…还有1037份文件
全部的 前5名

7416位作者引用

73 罗森伯格,格尔茨戈尔茨
48 恩格尔弗里特,乔斯特
44 伍德,德里克
39 伊巴拉,奥斯卡·H。
36 奥托,弗里德里希
35 沃格勒,沃尔特
32 蒙塔纳里,乌戈·G。
31 萨洛马,库斯塔
28 海瑟林,维姆H。
27 库里克,卡雷尔二世
27 段振华
27 库特尼,麦基
27 吉田信子
26 亚历山大梅杜纳
25 伯格斯特拉,Jan A。
25 米特拉那,维克多
25 Păun,盖尔赫
23 埃伦费赫特,安德烈
23 库特里布,马丁
22 Devroye,Luc P.J.A.公司。
22 Hemaspandra,A车道。
22 莫勒,赫尔曼A。
21 郑大秋埃德温
21 田聪
20 马哈茂德,何萨姆M。
20 奥霍廷,亚历山大
20 大卫桑吉奥吉
19 最好的,艾克
19 费诺,亨宁
19 斯科斯特,艾瑞克
19 范德霍文,乔里斯
18 保罗巴尔丹
18 霍尔泽,马库斯
17 醋酸,卢卡
17 爱泼斯坦,莉亚
17 弗莱约特,菲利普
17 基弗特,维利安
17 萨洛马,Kai T。
17 谭志毅
16 弗拉维奥,科拉迪尼
16 德维勒,雷蒙德
16 傅玉溪
16 戈里里,罗伯托
16 何勇
16 塔勒基,安德烈
16 颜旭春
15 布鲁尼,罗伯托
15 达索,约根
15 卡莉,卡莉
15 塞巴斯蒂安·林克
15 Mäkinen,Erkki
15 桑内拉,唐纳德T。
15 范格拉贝克,罗伯特·扬
14 伯格默尔,鲁道夫
14 阿姆斯雷
14 亨尼克,罗尔夫
14 安娜,英格尔夫斯多蒂尔
14 江一伟
14 拉森,金·斯卡克
14 马尔彻,安德烈亚斯
14 米德尔堡,科尼利斯A。
14 奥尔德罗,恩斯特-吕迪格
14 奥特曼,托马斯A。
14 普努埃利,阿米尔
14 塔扬,罗伯特·恩德雷
14 福格勒,黑子
14 冯·祖尔·加滕,约阿希姆
13 乔巴努,加布里埃尔
13 德雷维斯,弗兰克
13 海珠,泰罗
13 轩尼诗,马修·C·B。
13 霍尔,C.A.R.托尼
13 李忠义
13 洛里,马库斯
13 马莱蒂,安德烈亚斯
13 梅斯盖尔·瓜伊塔,何塞
13 潘林强
13 菲利普斯,法律。
13 张楠
12 阿尔哈佐夫,阿蒂姆
12 回来,拉尔夫·约翰
12 博雷尔,米歇尔
12 查特吉,克莉什南杜
12 Dezani Ciancaglini,马里安哥拉
12 戈尔吉
12 Katinoue,寿司
12 意大利人,朱塞佩·弗朗切斯科
12 克莱恩,码头H.C.M。
12 勒克夫,格雷戈尔
12 马德纳,克劳斯E。
12 米拉·塞德巴姆少校。
12 斯特勒特布罗达尔,格特
12 韦雷德特,雷蒙德
12 余,盛
11 艾伦德,埃里克W。
11 巴布提,罗伯托
11 兄弟,曼弗雷德
11 布西,娜迪亚
11 科拉迪尼,安德里亚
11 卡苏哈伊·瓦尔杰·贝特
…还有7316位作者
全部的 前5名

被367种期刊引用

1238年 理论计算机科学
487 信息学报
377 信息处理信函
309 信息与计算
238 计算机与系统科学杂志
146 计算的形式化方面
128 离散应用数学
108 国际计算机数学杂志
107 算法
103 国际计算机科学基础杂志
95 欧洲运筹学杂志
90 信息科学
79 符号计算杂志
70 数学系统论
68 计算系统理论
66 程序设计中的逻辑和代数方法杂志
65 分布式计算
60 MSCS公司。计算机科学中的数学结构
59 计算机与运筹学
57 雷罗。信息技术应用
49 逻辑与代数程序设计杂志
48 钻头
42 组合优化期刊
40 莱罗,信息来源
39 排队系统
38 计算
37 人工智能
36 运筹学年鉴
36 系统设计中的形式化方法
35 雷罗。理论信息学与应用
34 自动推理杂志
32 计算机与数学及其应用
32 数学与人工智能年鉴
32 调度日志
29 离散数学
29 计算机程序设计学
29 计算机科学中的逻辑方法
26 运筹学信函
26 随机结构与算法
25 计算数学
25 国际计算机与信息科学杂志
24 函数程序设计杂志
24 离散算法杂志
23 计算几何
22 应用数学模型
21 应用数学与计算
21 计算复杂性
21 比特。Nordisk Tidskift信息处理
20 纯逻辑与应用逻辑年鉴
19 复杂性杂志
17 克贝内提卡
17 计算机科学与技术杂志
17 自然计算
16 控制论
16 国际代数与计算杂志
15 苏联数学杂志
14 国际并行程序设计杂志
14 应用概率年鉴
14 离散事件动态系统
14 并行算法及其应用
13 组合数学、概率与计算
13 工程数学问题
13 高阶与符号计算
13 计算机基础理论
13 雷罗。理论信息学与应用
12 暹罗代数与离散方法杂志
12 亚太运筹学杂志
11 模糊集与系统
11 工程、通信和计算中的应用代数
11 控制论与系统分析
11 雷罗。运筹学
11 计算逻辑学报
11 离散优化
10 组合理论杂志。A系列
10 新一代计算
10 国际近似推理杂志
10 数学与计算机建模
10 模式识别
10 计算机科学评论
10 膜计算杂志
9 国际系统科学杂志
9 自动
9 计算与应用数学杂志
9 线性代数及应用
9 组合数学电子杂志
9 工程与信息科学中的概率论
8 应用概率论研究进展
8 编程与计算机软件
8 半群论坛
8 应用数学进展
8 数学规划。A系列。B系列
8 应用数学与计算杂志
8 应用逻辑杂志
8 非线性分析。混合动力系统
7 暹罗计算机杂志
7 信息与优化科学杂志
7 全球最优化杂志
6 国际通用系统杂志
6 计算物理杂志
6 应用概率杂志
…还有267本杂志
全部的 前5名

引用52个领域

5602个 计算机科学(68-XX)
795 运筹学,数学规划(90-XX)
680 数理逻辑与基础(03-XX)
484 组合数学(05-XX)
251 概率论与随机过程(60-XX)
170 信息与通信理论,电路(94-XX)
137 数值分析(65-XX)
132 数论(11-XX)
119 博弈论、经济学、金融学和其他社会和行为科学(91-XX)
94 群论与推广(20-XX)
73 系统论;控制(93-XX)
63 生物学和其他自然科学(92-XX)
62 范畴论;同调代数(18-XX)
46 序,格,有序代数结构(06-XX)
44 统计学(62-XX)
39 场论与多项式(十二)
32 一般代数系统(08-XX)
32 交换代数(13-XX)
28 线性代数和多线性代数;矩阵理论(15-XX)
26 动力系统与遍历理论(37-XX)
24 凸与离散几何(52-XX)
24 量子理论(81-XX)
20 历史与传记(01-XX)
16 一般拓扑(54-XX)
14 结合环与代数(16-XX)
13 一般性和全局性主题;收藏(00-XX)
13 代数几何(14-XX)
12 测量与集成(28-XX)
11 近似和展开(41-XX)
11 流体力学(76-XX)
8 可变形固体力学(74-XX)
7 偏微分方程(35-XX)
6 几何学(51-XX)
4 特殊功能(三十三)
4 变分法与最优控制;优化(49-XX)
4 统计力学,物质结构(82-XX)
实函数(26-XX)
复变函数(30-XX)
常微分方程(34-XX)
流形和细胞复合体(57-XX)
2 欧氏空间的调和分析(42-XX)
2 积分变换,运算微积分(44-XX)
2 算符理论(47-XX)
2 光学,电磁理论(78-XX)
1 非关联环与代数(17-XX)
1 拓扑群,李群(22-XX)
1 序列、序列、可和性(40-XX)
1 功能分析(46-XX)
1 微分几何(53-XX)
1 经典热力学,传热(80-XX)
1 地球物理学(86-XX)
1 数学教育(97-XX)

按年份列出的引文