×

系统设计中的形式化方法

国际期刊

简称: 形式方法体系。Des公司。
出版商: 斯普林格美国,纽约,纽约
ISSN编号: 0925-9856;东经1572-8102/e
在线: http://link.springer.com/journal/volumesAndIssues/10703
评论: 索引封面到封面
编制索引的文档: 526种出版物(自1992年起)
索引的引用: 416种出版物参考文献15327篇。
全部的 前5名

最新版本

58,第3期(2021年)
58,编号1-2(2021)
57,第3期(2021年)
57,第2期(2021年)
57,1号(2021年)
56,第1-3期(2020年)
55,第3期(2020年)
55,第2期(2019年)
55,第1期(2019年)
54,第3期(2019年)
54,第2期(2019年)
54,第1期(2019年)
53,第3期(2018年)
53,第2期(2018年)
53,第1期(2018年)
52,第3期(2018年)
52,第2期(2018年)
52,第1期(2018年)
51,第3期(2017年)
51,第2期(2017年)
51,2017年第1期
50,第2-3期(2017年)
50,2017年第1期
49,第3期(2016年)
49,第1-2期(2016年)
48,第3期(2016年)
48,第1-2期(2016年)
47,第3期(2015年)
47,第2期(2015年)
47,第1期(2015年)
46,第3期(2015年)
46,第2期(2015年)
46,第1期(2015年)
45,第3期(2014年)
45,第2期(2014年)
45,第1期(2014年)
44,第3期(2014年)
44,第2期(2014年)
44,第1期(2014年)
43,第3期(2013年)
43,第2期(2013年)
43,2013年第1期
42,第3期(2013年)
42,第2期(2013年)
42,2013年第1期
41,第3期(2012年)
41,第2期(2012年)
41,第1期(2012年)
40,第3期(2012年)
40,第2期(2012年)
40,第1期(2012年)
39,第3期(2011年)
39,第2期(2011年)
39,第1期(2011年)
38,第3期(2011年)
38,第2期(2011年)
38,第1期(2011年)
37,第2-3期(2010年)
37,2010年第1期
36,2010年第3期
36,2010年第2期
36,2010年第1期
35,2009年第3期
35,第2期(2009年)
35,2009年第1期
34,2009年第3期
34,第2期(2009年)
34,2009年第1期
33,第1-3期(2008年)
32,2008年第3期
32,2008年第2期
32,2008年第1期
31,第3期(2007年)
31,第2期(2007年)
31,第1期(2007年)
30,第3期(2007年)
30,第2期(2007年)
30,第1期(2007年)
29,第3期(2006年)
29,第2期(2006年)
29,第1期(2006年)
28,第3期(2006年)
28,第2期(2006年)
28,第1期(2006年)
27,第3期(2005年)
27,第1-2期(2005年)
26,第3期(2005年)
26,第2期(2005年)
26,2005年第1期
25,第2-3期(2004年)
25,第1期(2004年)
24,第3期(2004年)
24,第2期(2004年)
24,第1期(2004年)
23,2003年第3期
23,第2期(2003年)
23,第1期(2003年)
22,2003年第3期
22,第2期(2003年)
22,第1期(2003年)
…还有24卷
全部的 前5名

作者

11 克拉克,埃德蒙·梅尔森俊。
11 科宁,丹尼尔
11 斯特里奇曼,奥弗
10 瓦迪,莫希·雅科夫
8 法尔肯,伊莉丝
8 格鲁伯格,奥娜
7 艾哈迈德·布瓦贾尼
7 佩利德,多伦A。
7 托内塔,斯特凡诺
6 阿鲁尔,拉吉耶夫
6 巴雷特,克拉克W。
6 你好,罗德里克
6 乔克勒,哈娜
6 亨辛格,托马斯A。
6 奥娜库普费尔曼
6 拉森,金·古德斯兰德
6 拉斯金,让·弗朗索瓦
6 吕默,菲利普
6 莎莉吉娜,娜塔莎
6 魏森巴赫,乔治
5 比尔,阿明
5 查基,萨加尔
5 查特吉,克莉什南杜
5 埃斯帕扎,哈维尔
5 弗里堡,劳伦特
5 Gopalakrishnan,Ganesh Lalitha
5 阿丽·古芬克尔
5 哈维伦德,克劳斯
5 海曼,塔米尔
5 Kwiatkowska,Marta Z。
5 马朱姆达尔,鲁帕克
5 雷诺兹,安德鲁
5 维斯瓦纳坦,马赫什
5 沃伊纳尔,汤姆š
5 约拉夫,凯伦
4 阿卜杜拉,帕罗什·阿齐兹
4 拜尔,克里斯特尔
4 本大卫,肖汉
4 查克拉波蒂,上提克
4 亚历山德罗·西马蒂
4 库克,拜伦
4 迪尔,大卫L。
4 艾斯纳,辛迪
4 格里吉奥,阿尔伯托
4 格罗苏,拉杜
4 哈伯梅尔,彼得
4 卡托恩,乔斯特·皮尔特
4 麦克米兰,肯尼斯L。
4 诺曼,格钦
4 普拉泽,安德烈
4 罗şu,格里戈
4 Sangiovanni Vincentelli,阿尔贝托L。
4 斯里拉姆Sankaranarayanan
4 斯托勒,斯科特D。
4 蒂内利,塞萨尔
4 特里帕基斯,斯塔夫罗斯
亚伯拉罕,雅各布A。
安徒生,亨里克·赖夫
阿齐兹,阿德南
巴托奇,埃齐奥
盆地,大卫A。
贝克,伯纳德
啤酒,伊兰
本维尼斯特,艾伯特
Bérard,Béatrice
Bonakdarpour,Borzoo
布耶,帕特里夏
卡波迪,詹皮罗
克莱森,吕克
科伦坡,克里斯蒂安
该死,沃纳
多恩,劳伦特
芬克贝纳,伯纳德
菲斯曼,达娜
弗朗卡兰扎,阿德里安
加斯汀,保罗
妮西,斯蒂芬妮娅
赫尔曼,霍尔格
亨特,沃伦·A·琼。
Iosif,拉杜
杰伦,蒂埃里
卡茨,希缪尔
克莱德克,费利克斯
克罗夫,托马斯
昆卡,维克多
库山,罗伯特P。
拉托雷,萨尔瓦托
勒盖,阿克塞尔
马利克,沙拉德
马钱德,赫维
敏妮,安托万
搬运工,塞吉奥
尼科维奇,德扬
佩斯,戈登J。
Păsăreanu,科丽娜s。
波德尔斯基,安德烈亚斯
卡迪尔,沙兹
兰扎托,弗朗西斯科
代表,托马斯W。
对手,泽维尔
…还有1001位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

342出版物有1833年被引用时间1398份文件 引用人
利用可满足性求解进行有界模型检验。 Zbl 0985.68038
克拉克,埃德蒙;比尔,阿明;雷米,理查德;朱云山
55
2001
并发系统验证的保属性抽象。 Zbl 0829.68053
卢西厄,C。;格拉夫,S。;Sifakis,J。;布瓦贾尼,A。;本萨勒姆,S。
39
1995
McMillan展开算法的改进。 Zbl 1017.68085
埃斯帕扎,哈维尔;Römer,Stefan;沃格勒,沃尔特
36
2002
平均收益博弈的更快算法。 Zbl 1213.68430
布里姆,L。;查洛普卡,J。;多恩,L。;龙提尼,R。;拉斯金,J.F。
35
2011
LSCs:在消息序列图中呼吸生命。 Zbl 0985.68033
该死,沃纳;哈雷尔,大卫
34
2001
无交变模态积分的线性时间模型检验算法。 Zbl 0772.68038
克里夫兰,兰斯;斯特芬,伯恩哈德
34
1993
统一QBF认证及其应用。 Zbl 1284.68516
巴拉巴诺夫,瓦莱丽;蒋洁红R。
32
2012
安全性能的模型检查。 Zbl 0995.68061
奥娜库普费尔曼;瓦迪,莫斯伊。
32
2001
利用偏序有效地验证了死锁自由度和安全性。 Zbl 0772.68064
哥德弗洛德,帕特里斯;沃尔珀,皮埃尔
31
1993
从活泼到敏捷。 Zbl 1192.68416
奥娜库普费尔曼;皮特曼,Nir;瓦迪,莫斯伊。
29
2009
使用前向可达性分析来验证有损信道系统。 Zbl 1073.68675
阿卜杜拉,帕罗什·阿齐兹;安尼奇尼学院,奥罗尔;艾哈迈德·布瓦贾尼;强森,本特
25
2004
基于数字时钟的概率时间自动机性能分析。 Zbl 1105.68063
奎亚特科夫斯卡,玛尔塔;诺曼,格钦;帕克,大卫;斯普罗斯顿,杰里米
25
2006
对国家爆炸的顽固攻击。 Zbl 0783.68083
瓦尔马里,安蒂
24
1992
用时间抽象互模拟分析时间系统。 Zbl 0971.68096
特里帕基斯,斯塔夫罗斯;尤文塞尔吉奥
22
2001
一种基于展开的状态空间搜索技术。 Zbl 0829.68085
麦克米兰,K.L。
22
1995
可更新时间自动机的正演分析。 Zbl 1073.68041
布耶,帕特里夏
21
2004
用符号步骤进行强连通分量分析的一种算法。 Zbl 1110.68161
你好,罗德里克;加博,哈罗德N。;萨曼齐,法比奥
21
2006
实时系统中的最小和最大延迟问题。 Zbl 0777.68045
库库比提斯,科斯塔斯;Yannakakis,米哈利斯
20
1992
用静态和动态掩模合成不透明系统。 Zbl 1247.68161
卡塞兹,弗兰克;杜布雷尔,杰瑞米;马钱德,赫维
20
2012
有效地检查定时Büchi自动机的空性。 Zbl 1085.68083
特里帕基斯,斯塔夫罗斯;尤文塞尔吉奥;艾哈迈德·布瓦贾尼
18
2005
上下界参数时间自动机的决策问题。 Zbl 1186.68245
波泽利,劳拉;拉托雷,萨尔瓦托
18
2009
基于SMT的递归程序模型检查。 Zbl 1358.68072
安维什,科穆拉维利;阿丽·古芬克尔;查基,萨加尔
18
2016
有效求解量化位向量公式。 Zbl 1284.03212
温特施泰格,克里斯托夫M。;哈马迪,优素福;德穆拉,莱昂纳多
17
2013
一个基于博弈的Markov决策过程抽象求精框架。 Zbl 1233.90276
凯特贝特,马克;奎亚特科夫斯卡,玛尔塔;诺曼,格钦;帕克,大卫
17
2010
时间模型检验中的真空度有效检测。 Zbl 0988.68111
啤酒,伊兰;本大卫,肖汉;艾斯纳,辛迪;Rodeh,Yoav
16
2001
关于加权时间自动机的最优可达性问题。 Zbl 1129.68039
布耶,帕特里夏;布里哈伊,托马斯;布鲁伊埃,维罗尼克;拉斯金,让·弗朗索瓦
16
2007
符号多值模型检查的数据结构。 Zbl 1109.68063
切奇,玛莎;阿丽·古芬克尔;Devereux,贝内特;来,艾伯特;伊斯特布鲁克,史蒂夫
16
2006
混合系统的抽象。 Zbl 1133.68368号
蒂瓦里,阿什什
15
2008
构造混合系统的不变量。 Zbl 1133.68365
斯里拉姆Sankaranarayanan;西普玛,亨尼B。;吗哪,佐哈尔
15
2008
随机混杂系统的组合建模与分析框架。 Zbl 1291.68293号
哈恩,恩斯特莫里茨;哈特曼,阿恩;赫尔曼,霍尔格;卡托恩,乔斯特·皮尔特
15
2013
LTL合成的反链和合成算法。 Zbl 1258.03046
菲利奥特,艾曼纽;金乃勇;拉斯金,让·弗朗索瓦
15
2011
HySAT:混合动力系统有界模型检验的有效证明引擎。 Zbl 1116.68048
马丁,弗兰兹;赫德,克里斯蒂安
14
2007
多定价时间自动机的最优无限调度。 Zbl 1133.68360
布耶,帕特里夏;布林克斯马,埃德;拉森,金G。
14
2008
基于约束的参数化缓存一致性协议验证。 Zbl 1073.68518号
德尔扎诺,乔治
14
2003
数值抽象的弱关系型:改进算法和正确性证明。 Zbl 1185.68405
巴格纳,罗伯托;希尔,帕特里夏·M。;扎法内拉,埃尼亚
14
2009
将部分降阶与动态模型检验相结合。 Zbl 1425.68267
贝利,多伦
14
1996
用SAT实现ANSI-C程序的谓词抽象。 Zbl 1090.68022
克拉克,埃德蒙;科隆,丹尼尔;莎莉吉娜,娜塔莎;约拉夫,凯伦
13
2004
时间自动机的鲁棒安全性。 Zbl 1165.68392
德沃夫,马丁;多恩,劳伦特;马基,尼古拉斯;拉斯金,让·弗朗索瓦
13
2008
基于IC3和谓词抽象的无限状态不变检查。 Zbl 1368.68245
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;搬运工,塞吉奥;托内塔,斯特凡诺
13
2016
学习分而治之:应用\(L^*\)算法来自动化假设保证推理。 Zbl 1147.68053
Păsăreanu,科丽娜s。;吉安纳科普卢,迪米特拉;博巴鲁,米哈埃拉·格奥尔基;科布里,杰米森M。;巴林格,霍华德
12
2008
符号状态空间探索中的偏序约化。 Zbl 1001.68080
阿鲁尔,R。;布莱顿,R.K。;亨辛格,T.A。;卡迪尔,S。;Rajamani,S.K。
12
2001
为什么阿斯特雷会扩大规模? Zbl 1185.68241
库索,帕特里克;库索,拉迪亚;费雷特,杰罗姆;莫博涅,劳伦特;敏妮,安托万;对手,泽维尔
12
2009
具有递归的Hennessy-Milner逻辑的可监控性。 Zbl 1370.68203
弗朗卡兰扎,阿德里安;醋酸,卢卡;安娜,英戈尔夫斯多蒂
11
2017
竞争随机系统的自动验证。 Zbl 1291.68252
陈涛略;弗雷特,沃伊特ěch;奎亚特科夫斯卡,玛尔塔;帕克,大卫;西迈提斯,艾斯蒂斯
11
2013
用抽象冲突驱动子句学习判定浮点逻辑。 Zbl 1317.68110
布莱恩,马丁;D'Silva,维杰;格里吉奥,阿尔伯托;哈勒,利奥波德;科隆,丹尼尔
10
2014
连接器代数的因果语义学。 Zbl 1207.68203
我知道,西蒙;斯法基斯,约瑟夫
10
2010
下推模块检查。 Zbl 1209.68312
波泽利,劳拉;穆拉诺,阿尼埃洛;佩隆,阿德里亚诺
10
2010
在与顺序分析绑定的上下文下减少并发分析。 Zbl 1186.68298号
拉尔,阿卡什;重复,托马斯
10
2009
用离散控制器综合实现容错添加的自动化。 Zbl 1186.68051
吉罗,阿兰;吕滕,Éric
10
2009
实用的可中断对话:使用多方会话类型和Python进行分布式动态验证。 Zbl 1341.68118号
德曼金,罗曼;本田,科海;胡,雷蒙德;尼科娃,鲁米亚娜;吉田信子
10
2015
概率时间自动机的模型检验。 Zbl 1291.68265
诺曼,格钦;帕克,大卫;斯普罗斯顿,杰里米
10
2013
结构良好的符号模型检查中的可计算不动点。 Zbl 1291.68247
伯特兰,N。;施诺贝伦,P。
10
2013
Maude中语义执行的两个案例研究:CCS和LOTOS。 Zbl 1086.68552
阿尔伯托威尔德乔;玛蒂奥利特,纳西索
9
2005
用于良好连接体系结构的分布式综合。 Zbl 1180.68056
加斯汀,保罗;斯纳杰德,娜塔莉;泽顿,马克
9
2009
javamac:Java程序的运行时保证方法。 Zbl 1073.68552
金,月亮动物园;维斯瓦纳坦,马赫什;坎南,桑帕斯;李,因苏普;索科尔斯基,奥列格
9
2004
合成正确的并发运行时监视器。 Zbl 1323.68373
弗朗卡兰扎,阿德里安;塞舌尔,奥尔德林
9
2015
用于验证堆操作的森林自动机。 兹布1284.68398
哈伯梅尔,彼得;霍利克,卢卡什;亚当,罗加莱维奇;西蒙切克;沃伊纳尔,汤姆š
8
2012
互模拟最小化和符号模型检验。 Zbl 1018.68052
费斯勒,凯西;瓦迪,莫斯伊。
8
2002
用交替自动机检查有限迹。 Zbl 1073.68053
芬克贝纳,伯纳德;西普玛,亨尼
8
2004
运行时验证工具Java PathExplorer概述。 Zbl 1073.68549
哈维伦德,克劳斯;罗şu,格里戈
8
2004
时间规范的可伸缩离线监控。 兹布1380.68268
脸盆,大卫;卡罗尼,杰尔马诺;艾瑞斯,莎拉;哈文,马特š;克莱德克,费利克斯;壁炉架,黑子
8
2016
实时Maude中AER/NCA主动网络协议包的描述与分析。 Zbl 1109.68010
厄尔维茨基,彼得·克萨巴;梅斯盖尔,何塞;塔尔科特,卡罗琳L。
8
2006
从LTL到确定性自动机。无红花的构图方法。 Zbl 1368.68233
埃斯帕扎,哈维尔;Křetínský,1月;希克特,所罗门
8
2016
基于SMT的混合系统场景验证。 Zbl 1284.03216
亚历山德罗·西马蒂;搬运工,塞吉奥;托内塔,斯特凡诺
7
2013
并行化\(\text{Mur}\varphi\)验证器。 Zbl 1001.68073
斯特恩,乌尔里希;迪尔,大卫
7
2001
线性关系分析中的动态划分:在反应系统验证中的应用。 Zbl 1067.68091
珍妮,B。
7
2003
压缩和插值的分辨率证明变换。 Zbl 1317.68123
罗里尼,西蒙富尔维奥;布鲁托梅索,罗伯托;莎莉吉娜,娜塔莎;齐托维奇,阿里阿克西
7
2014
使用参数时间自动机对存储器电路的一般结构进行时间验证。 Zbl 1165.68401
雷米,骑士;恩克雷纳兹·蒂芬,艾曼纽尔;弗里堡,劳伦特;徐伟文
7
2009
在多面体计算中降低空间维数的几种方法。 Zbl 1105.68107
北卡罗来纳州哈尔布瓦克斯。;墨沙特,D。;冈诺德,L。
7
2006
加权时间自动机的MSO逻辑。 Zbl 1258.68089
夸斯,卡琳
7
2011
混合系统:结合运动规划和离散搜索从验证到证伪。 Zbl 1192.68692
普莱库,埃里昂;卡夫拉基,莉迪亚·E。;瓦迪,莫斯伊。
7
2009
全局安全属性的局部证明。 Zbl 1176.68118号
科恩,阿里尔;南乔希,凯达尔S。
7
2009
混合系统微分不变量的不动点计算。 Zbl 1180.93024号
普拉泽,安德烈;克拉克,埃德蒙M。
7
2009
贝叶斯统计模型检验及其在Stateflow/Simulink验证中的应用。 Zbl 1291.68273
祖利亚尼,保罗;普拉泽,安德烈;克拉克,埃德蒙M。
7
2013
符号有界综合。 Zbl 1247.68163
埃勒斯,吕迪格
7
2012
功能抽象的区域性框架。 Zbl 1331.68050
古堡,埃里克;普托,西尔维
6
2015
SystemcC的优化时间监视器。 兹布1284.68206
戴安,塔巴科夫;罗齐尔,克里斯汀·Y。;瓦迪,莫斯伊。
6
2012
使用逻辑框架进行SMT验证检查。 Zbl 1284.68521号
树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔
6
2013
反例引导实例化求解量化线性算法。 Zbl 1377.68138
雷诺兹,安德鲁;国王,蒂姆;昆卡,维克多
6
2017
自动符号合成验证学习假设。 Zbl 1147.68052
南,元红;马杜苏丹,P。;阿鲁尔,拉吉耶夫
6
2008
基于BDD的程序,用于非解释函数的等式理论。 Zbl 1021.68057
戈尔,阿努吉;库拉姆萨吉德;周,海;阿齐兹,阿德南;Singhal,Vigyan
6
2003
一种新的基于BDDs的坏循环检测算法。 Zbl 1001.68074
哈丁,R.H。;库尔山,R.P。;Shukla,S.K。;瓦迪,M.Y。
6
2001
实时系统的一致性测试。 Zbl 1180.68072
克里钦,莫兹;特里帕基斯,斯塔夫罗斯
6
2009
采样切换系统的有限控制不变量。 Zbl 1303.93121号
弗里堡,L。;库恩,美国。;苏拉特,R。
6
2014
用编辑距离定量监测STL。 兹布1394.68230
雅克希奇,斯特凡;巴托奇,埃齐奥;格罗苏,拉杜;阮,唐;尼奇科维奇,德扬
6
2018
满意度的组成检查。 Zbl 0776.68083
安徒生,亨里克·赖夫;温斯克尔,格林
6
1992
运行时强制监视器:合成、合成和执行能力。 Zbl 1219.68089
法尔肯,伊莉丝;莫尼尔,劳伦特;费尔南德斯,让-克劳德;Richier,让·卢克
6
2011
代码感知资源管理。 Zbl 1291.68137
查特吉,克莉什南杜;德阿尔法罗,卢卡;费拉,马可;马朱姆达尔,鲁帕克;拉曼,维什瓦纳特
6
2013
部分观测随机奇偶对策综述。 Zbl 1291.91022号
查特吉,克莉什南杜;多恩,劳伦特;亨辛格,托马斯A。
6
2013
基于自动机的符号串分析漏洞检测。 Zbl 1291.68272
于,方;阿尔卡拉夫,穆阿瑟;布尔坦,特夫菲克;伊巴拉,奥斯卡·H。
6
2014
在HOL中构造实数。 Zbl 0809.68102
哈里森,约翰
6
1994
相互作用:具有GCC的面向方面检测。 Zbl 1284.68153
塞斯特,贾斯汀;迪克西特,克坦;黄小婉;格罗苏,拉杜;哈维伦德,克劳斯;斯莫尔卡,斯科特A。;斯托勒,斯科特D。;扎多克,埃雷斯
5
2012
混合动力系统的模块化和可视化规范:HyCharts简介。 Zbl 1018.68047
格罗苏,拉杜;斯达纳,托马斯
5
2002
超大电路可达性分析的可伸缩并行算法。 Zbl 1020.68107
海曼,塔米尔;盖斯特,丹尼;格鲁伯格,奥娜;舒斯特,阿萨夫
5
2002
一种扩展的惰性抽象与插值程序与数组。 Zbl 1317.68107
阿尔贝蒂,弗朗西斯科;布鲁托梅索,罗伯托;吉尔迪,西尔维奥;拉妮丝,西尔维奥;莎莉吉娜,娜塔莎
5
2014
用抽象规则推理生成无限状态通信协议模型。 Zbl 1322.68131号
Aarts、Fides;强森,本特;尤金,约翰;瓦德拉格,油炸食品
5
2015
从前历史到后现代的符号模型检验。 Zbl 1074.68036
亨辛格,托马斯A。;奥娜库普费尔曼;卡迪尔,沙兹
5
2003
保持时序逻辑的状态空间约简的静态分析。 Zbl 1073.68055
约拉夫,凯伦;格鲁伯格,奥娜
5
2004
屏蔽合成。 Zbl 1386.68101号
贝蒂娜,Könighofer;穆罕默德·阿尔希赫;你好,罗德里克;汉弗莱,劳拉;Könighofer,罗伯特;乌鲁克托普CU;王超
5
2017
有列表的程序是反自动机。 Zbl 1217.68059
艾哈迈德·布瓦贾尼;波兹加,马吕斯;哈伯梅尔,彼得;Iosif,拉杜;莫罗,皮埃尔;沃伊纳尔,汤姆š
5
2011
利用可逆条件求解量化位向量约束。 Zbl 07388006
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
2
2021
基于SAT的模型检验的证明。 Zbl 07440321
格里吉奥,阿尔伯托;罗维里,马可;托内塔,斯特凡诺
1
2021
SAT模离散事件仿真在铁路设计能力分析中的应用。 Zbl 07440322
卢特伯格,比约纳尔;克莱森,科恩;约翰森,克里斯蒂安;斯特芬,马丁
1
2021
从频率分布中取样学习归纳不变量。 Zbl 07307317
费德约科维奇,格里戈里;考夫曼,塞缪尔J。;博迪克,拉斯蒂斯拉夫
5
2020
用BDDs实现一阶时序逻辑监控。 Zbl 07307312
哈维伦德,克劳斯;贝利,多伦;乌鲁斯,多根
1
2020
用计算机代数对算术电路进行逐列递增验证。 Zbl 07307313
考夫曼,丹尼拉;比尔,阿明;考尔斯,曼纽尔
1
2020
环上不经意机器人算法的参数化验证。 Zbl 07307314
桑尼尔,阿诺;斯纳杰德,娜塔莉;波托普·布图卡鲁,玛丽亚;塞巴斯蒂安提克塞尔
1
2020
基于有理搜索的精确定量概率模型检验。 Zbl 07307315
马图尔,乌曼;鲍尔,马修S。;查达,罗希特;西斯特拉,A.普拉萨德;维斯瓦纳坦,马赫什
1
2020
防火墙的自动修复示例。 Zbl 07307316
哈拉汉,威廉T。;翟恩南;皮斯卡,鲁齐卡
1
2020
监视超属性。 Zbl 1425.68254
芬克贝纳,伯纳德;哈恩,克里斯托弗;斯坦格,马文;Tentrup,利安德
4
2019
高级应用程序域(超越软件)的运行时验证挑战综述。 Zbl 1425.68268号
塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安卡利,多梅尼科;科伦坡,克里斯蒂安;法尔肯,伊莉丝;弗朗卡兰扎,阿德里安;Krstić,Srđan;卢伦索,若昂。;尼科维奇,德扬;佩斯,戈登J。;鲁菲诺,何塞;先生,朱利安;特劳特尔,德米特里;韦斯,亚历山大
2019
状态网络验证的一些复杂性结果。 Zbl 1425.68248
阿尔卑斯,卡列夫;熊猫,极光;拉比诺维奇,亚历山大;萨吉夫,穆利;申克,斯科特;肖汉,莎伦;维纳,亚龙
2
2019
电传:用紧密性度量从正例学习信号时序逻辑。 Zbl 1425.68349
杰哈,苏米特;蒂瓦里,阿什什;塞希亚,Sanjit A。;沙海,吐温;沙卡,纳塔拉扬
2
2019
几乎独立于事件率的监控。 Zbl 1425.68249
脸盆,大卫;巴特,巴拉加夫;Krstić,Srđan;特劳特尔,德米特里
2
2019
Alloy*:一个通用的高阶关系约束求解器。 Zbl 1425.68264
米利切维奇,亚历山达;附近,约瑟夫P。;康恩苏克;杰克逊,丹尼尔
2
2019
模板多面体和双线性优化。 Zbl 1426.65079
格朗斯基,杰西卡;本·萨西,穆罕默德·阿明;贝克,斯蒂芬;斯里拉姆Sankaranarayanan
2
2019
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
2
2019
应用配对和分层样本对PCTL进行统计验证。 Zbl 1425.68270
王,余;鲁希,尼玛;韦斯特,马修;维斯瓦纳坦,马赫什;杜勒鲁德,盖尔E。
1
2019
概率黑盒可达性检查(扩展版)。 Zbl 1425.68247
艾瑟尼格,伯恩哈德K。;塔普勒,马丁
1
2019
用编辑距离定量监测STL。 兹布1394.68230
雅克希奇,斯特凡;巴托奇,埃齐奥;格罗苏,拉杜;阮,唐;尼奇科维奇,德扬
6
2018
通过优先推广解决平价博弈。 Zbl 1390.68332
贝内雷凯蒂,马西莫;戴尔;埃尔巴,丹妮尔;莫加韦罗,法比奥
4
2018
不确定条件下的无线协议验证。 Zbl 1394.68027
史景浩;拉希里,Shuvendu K。;钱德拉,兰维尔;查伦,杰弗里
2
2018
有限迹线性时序逻辑:共导完备性。 Zbl 1394.68237
罗şu,格里戈
2
2018
通过先进先出(FIFO)和行李缓冲器自动验证自动机通信。 Zbl 1392.68224
阿克鲁恩,拉赫达尔;格温萨拉因
1
2018
关于监测兰花信号的复杂性,以及递推方程。 Zbl 1394.68180号
古伯尔特·拉雷克,珍;拉汉斯,让·菲利普
1
2018
非线性采样切换系统控制综合的一种改进算法。 Zbl 1428.93053
艾德里安,艾德里安;Alexandre dit Sandretto,朱利安;查普特,亚历山德拉;弗里堡,劳伦特
1
2018
验证多项式不变量的数值半定规划求解器。 Zbl 1425.68081
鲁克斯,皮埃尔;林元兰沃罗宁;斯里拉姆Sankaranarayanan
1
2018
强制终止过程间分析。 Zbl 1425.68083
舒尔茨·弗里林豪斯,斯特凡;塞德尔,赫尔穆特;福格勒,拉尔夫
1
2018
具有递归的Hennessy-Milner逻辑的可监控性。 Zbl 1370.68203
弗朗卡兰扎,阿德里安;醋酸,卢卡;安娜,英戈尔夫斯多蒂
11
2017
反例引导实例化求解量化线性算法。 Zbl 1377.68138
雷诺兹,安德鲁;国王,蒂姆;昆卡,维克多
6
2017
屏蔽合成。 Zbl 1386.68101号
贝蒂娜,Könighofer;穆罕默德·阿尔希赫;你好,罗德里克;汉弗莱,劳拉;Könighofer,罗伯特;乌鲁克托普CU;王超
5
2017
信号时序逻辑的鲁棒在线监测。 Zbl 1370.68199
德什穆克,乔蒂莫伊诉。;东泽,亚历山德拉;Ghosh,Shromona;金晓青;Juniwal,加维特;塞希亚,Sanjit A。
5
2017
参数化异步共享内存系统的模型检查。 Zbl 1360.68584
安托万·杜兰德·加塞林;埃斯帕扎,哈维尔;甘蒂,皮埃尔;马朱姆达尔,鲁帕克
5
2017
多维马尔可夫决策过程中的百分位查询。 Zbl 1360.68518号
兰多尔,米凯尔;拉斯金,让·弗朗索瓦;奥坎桑库尔
5
2017
基于传播的位精确推理局部搜索。 Zbl 1377.68134号
尼美兹,艾娜;普莱纳,马蒂亚斯;比尔,阿明
4
2017
多项式动力系统的可达性计算。 Zbl 1360.93084号
德劳西,汤玛索;当,曹;广场,卡拉
4
2017
使用Skorokod度量量化一致性。 Zbl 1360.68629
德什穆克,乔蒂莫伊诉。;马朱姆达尔,鲁帕克;帕布,维纳亚克S。
4
2017
raSAT:多项式约束的SMT求解器。 Zbl 1377.68140
董武宣;康,去凡;小川,瑞穗
2017
预测运行时强制。 Zbl 1370.68207
斯里尼瓦斯皮尼塞蒂;普罗泰萨,维奥雷;特里帕基斯,斯塔夫罗斯;杰伦,蒂埃里;法尔肯,伊莉丝;马钱德,赫维
2017
数组的基数约束(可判定性结果和应用)。 兹布1377.68125
阿尔贝蒂,F。;吉拉迪,S。;帕加尼,E。
2
2017
\(\text{Para}^2\):门限保护分布式算法中可及性的参数化路径缩减、加速和SMT。 兹布1380.68279
康诺夫,伊戈尔;拉齐奇,玛丽亚娜;维思,赫尔穆特;威德,约瑟夫
2
2017
电子考试的形式化分析与离线监控。 Zbl 1370.68205
卡西姆,阿里;法尔肯,伊莉丝;拉福卡德,帕斯卡
2
2017
结合静态和运行时验证验证面向数据和控件的属性:理论和工具。 Zbl 1370.68195
阿伦特,沃尔夫冈;奇门托,杰斯·莫里西奥;佩斯,戈登J。;施耐德,杰拉多
2
2017
验证工具基准测试的经验软件度量。 Zbl 1360.68371
尤利娅,德米亚诺娃;帕尼,托马斯;维思,赫尔穆特;祖勒格,弗洛里安
2
2017
词级验证的符号轨迹评估:理论与实现。 Zbl 1360.68582
查克拉波蒂,上提克;哈西达什维利,祖拉布;塞格,卡尔·约翰H。;加贾韦利,拉杰库马尔;哈尔丹卡尔,坦梅;查塔尼,迪内什;先生,拉凯什
2
2017
同余闭包小冲突集生成的NP完全性。 Zbl 1377.68090
费勒,安德烈亚斯;方丹,帕斯卡;古罗马,布鲁诺·沃兹伦格尔
1
2017
分离逻辑片段的组合蕴涵检查。 Zbl 1377.68073
埃尼亚,康斯坦丁;伦加尔,昂德内伊;希吉雷努,米哈埃拉;沃伊纳尔,汤姆š
1
2017
《赫尔穆特·维思纪念》特刊前言。 Zbl 1384.00074
1
2017
为安全多方计算而优化的布尔电路的编译。 Zbl 1386.68020
Büscher,尼可拉斯;弗兰兹,马丁;霍尔泽,安德烈亚斯;维思,赫尔穆特;卡岑贝瑟,斯特凡
1
2017
具有有限感知和有限信息的移动机器人避碰。 Zbl 1370.68287号
潘,粪;杨俊兴;格罗苏,拉杜;斯莫尔卡,斯科特A。;斯托勒,斯科特D。
1
2017
利用同步合成从非抢占到抢占调度。 Zbl 1360.68346
乔恩,帕沃;克拉克,埃德蒙M。;亨辛格,托马斯A。;拉德哈基什纳,阿琼;莱兹克,莱昂妮德;普曼塔,鲁普夏;塔拉赫,托尔斯滕
1
2017
Z3str2:字符串、正则表达式和长度约束的高效解算器。 Zbl 1360.68773
郑云辉;加内什,维杰;苏布拉曼尼亚,萨努;特里普,奥默;贝齐什,墨菲;杜比,朱利安;张向玉
1
2017
基于SMT的递归程序模型检查。 Zbl 1358.68072
安维什,科穆拉维利;阿丽·古芬克尔;查基,萨加尔
18
2016
基于IC3和谓词抽象的无限状态不变检查。 Zbl 1368.68245
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;搬运工,塞吉奥;托内塔,斯特凡诺
13
2016
时间规范的可伸缩离线监控。 兹布1380.68268
脸盆,大卫;卡罗尼,杰尔马诺;艾瑞斯,莎拉;哈文,马特š;克莱德克,费利克斯;壁炉架,黑子
8
2016
从LTL到确定性自动机。无红花的构图方法。 Zbl 1368.68233
埃斯帕扎,哈维尔;Křetínský,1月;希克特,所罗门
8
2016
从不变检验到随机搜索的不变推理。 Zbl 1358.68197号
沙玛,拉胡尔;艾肯,亚历克斯
5
2016
用全局时钟在分布式系统上组织LTL监视器。 Zbl 1380.68272
科伦坡,克里斯蒂安;法尔肯,伊莉丝
2016
分散LTL监控。 Zbl 1392.68229
鲍尔,安德烈亚斯;法尔肯,伊莉丝
2016
幽灵的灵魂密码。 Zbl 1358.68070
菲利特,让·克里斯托夫;冈德曼,莱昂;帕斯凯维奇,安德烈
2016
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
2016
图的高效GPU并行分解算法。 Zbl 1404.68204号
巫师,安东;卡托恩,乔斯特·皮尔特;博纳奇,德拉甘
2016
ModelPlex:验证的网络物理系统模型的运行时验证。 兹布1380.68282
米奇,斯特凡;普拉泽,安德烈
2
2016
从动态规范综合大型动态并发程序。 Zbl 1392.68143
阿蒂,保罗·C。
2
2016
线性模约束中量词消除的分层算法。 Zbl 1368.68332
约翰,阿吉思K。;查克拉波蒂,上提克
2
2016
提取和挖掘跟踪以解释并发错误。 Zbl 1380.68107
塔贝贝,密特拉;王超;魏森巴赫,乔治
1
2016
一种基于搜索的非线性实数算法。 Zbl 1358.68149
蒂瓦里,阿什什;林肯,帕特里克
1
2016
实用的可中断对话:使用多方会话类型和Python进行分布式动态验证。 Zbl 1341.68118号
德曼金,罗曼;本田,科海;胡,雷蒙德;尼科娃,鲁米亚娜;吉田信子
10
2015
合成正确的并发运行时监视器。 Zbl 1323.68373
弗朗卡兰扎,阿德里安;塞舌尔,奥尔德林
9
2015
功能抽象的区域性框架。 Zbl 1331.68050
古堡,埃里克;普托,西尔维
6
2015
用抽象规则推理生成无限状态通信协议模型。 Zbl 1322.68131号
Aarts、Fides;强森,本特;尤金,约翰;瓦德拉格,油炸食品
5
2015
通过并行性实现最小入侵的运行时验证。 Zbl 1323.68363
肖伊,伯克维希;Bonakdarpour,Borzoo;费希迈斯特,塞巴斯蒂安
4
2015
关于递归自由Horn子句和Craig插值。 Zbl 1322.68134号
吕默,菲利普;霍杰特,侯赛因;昆卡,维克多
2015
快速反例检测的C程序中的欠逼近循环。 Zbl 1322.68054
科隆,丹尼尔;刘易斯,马特;魏森巴赫,乔治
2015
确定时间自动机的博弈方法。 Zbl 1323.68337
伯特兰,纳撒利;斯坦纳,阿梅莉;杰伦,蒂埃里;克里钦,莫兹
2015
程序修复没有遗憾。 Zbl 1322.68056
冯·埃森,克里斯蒂安;Jobstmann,芭芭拉
2
2015
扩展符号有限自动机与传感器。 Zbl 1341.68085
D’安东尼,萝莉;小牛肉,玛格斯
2
2015
线性数据结构的量化数据自动机:一个寄存器自动机模型,用于学习操作数组和列表的程序的不变量。 Zbl 1322.68121号
加格,普拉纳夫;洛丁,克里斯托夫;马杜苏丹,P。;尼尔,丹尼尔
2
2015
相互终止。 Zbl 1322.68052
艾伦博根,迪玛;卡茨,希缪尔;斯特里奇曼,奥弗
2
2015
无界模型检验中Craig插值压缩优化技术。 Zbl 1341.68117号
卡波迪,詹皮罗;洛瓦科诺,卡梅洛;文德拉米内托,丹尼洛
2
2015
利用定理证明评估匿名和保密协议。 Zbl 1331.68028号
姆哈迪,塔里克;哈桑,奥斯曼;塔哈尔,索菲涅
1
2015
多线程程序的回归验证(带锁扩展和动态线程创建)。 Zbl 1331.68048
查基,萨加尔;阿丽·古芬克尔;斯特里奇曼,奥弗
1
2015
用聚集监测时间一阶属性。 Zbl 1323.68362
脸盆,大卫;克莱德克,费利克斯;马里诺维奇,斯德詹;Zălinescu,尤根
1
2015
一阶运行时验证的来龙去脉。 Zbl 1341.68116
鲍尔,安德烈亚斯;Küster,简·克里斯托夫;吉尔,维格利奇
1
2015
基于混合自动机的矩形混合系统CEGAR。 Zbl 1341.68109
帕维斯特拉普拉巴卡尔;Duggirala,Parasara Sridhar市;密特拉,萨扬;维斯瓦纳坦,马赫什
1
2015
实际策略迭代。策略迭代在静态分析中的实际应用:二次案例。 Zbl 1341.68031
鲁克斯,皮埃尔;卡罗奇,皮埃尔·洛伊奇
1
2015
用抽象冲突驱动子句学习判定浮点逻辑。 Zbl 1317.68110
布莱恩,马丁;D’席尔瓦,维杰;格里吉奥,阿尔伯托;哈勒,利奥波德;科隆,丹尼尔
10
2014
压缩和插值的分辨率证明变换。 Zbl 1317.68123
罗里尼,西蒙富尔维奥;布鲁托梅索,罗伯托;莎莉吉娜,娜塔莎;齐托维奇,阿里阿克西
7
2014
采样切换系统的有限控制不变量。 Zbl 1303.93121号
弗里堡,L。;库恩,美国。;苏拉特,R。
6
2014
基于自动机的符号串分析漏洞检测。 Zbl 1291.68272
于,方;阿尔卡拉夫,穆阿瑟;布尔坦,特夫菲克;伊巴拉,奥斯卡·H。
6
2014
一种扩展的惰性抽象与插值程序与数组。 Zbl 1317.68107
阿尔贝蒂,弗朗西斯科;布鲁托梅索,罗伯托;吉尔迪,西尔维奥;拉妮丝,西尔维奥;莎莉吉娜,娜塔莎
5
2014
预算有界模型检查下推系统。 Zbl 1317.68106
阿卜杜拉,帕罗什·阿齐兹;阿蒂格,Mohamed Faouzi;雷辛,奥特曼;史坦曼,贾里
4
2014
重新访问了定时属性的运行时强制。 Zbl 1314.68102
斯里尼瓦斯皮尼塞蒂;法尔肯,伊莉丝;杰伦,蒂埃里;马钱德,赫维;罗莱特,安托万;恩圭娜·蒂莫,奥马尔
4
2014
嵌入式实时系统的运行时验证。 Zbl 1317.68122号
莱因巴赫,托马斯;Függer,马提亚斯;布劳尔,约格
2
2014
通过依赖序列消除量词。 Zbl 1311.03061
戈德伯格,尤金;马诺里奥斯,帕纳吉奥蒂斯
2
2014
单调服务编排的QoS感知管理。 兹布1291.68280
本维尼斯特,艾伯特;贾德,克劳德;卡特普尔,阿杰;罗萨里奥,西德尼;塞维森,约翰A。
2
2014
交替近似双相似性的模态表征。 Zbl 1300.93114
张金金;朱兆辉
1
2014
最小自适应判别序列的难易性和不可接近性。 兹布1317.68125
图尔克,乌拉兹岑吉兹;耶宁,休斯纽
1
2014
混合系统不变量的无量词编码。 Zbl 1317.68111
亚历山德罗·西马蒂;搬运工,塞吉奥;托内塔,斯特凡诺
1
2014
数值不变量通过凸松弛和最大策略迭代。 Zbl 1291.68256
加利察,托马斯·马丁;塞德尔,赫尔穆特
1
2014
…还有242份文件
全部的 前5名

被2282位作者引用

22 查特吉,克莉什南杜
18 科宁,丹尼尔
17 Kwiatkowska,Marta Z。
17 拉森,金·古德斯兰德
17 齐默尔曼,马丁格。
15 奥娜库普费尔曼
15 马基,尼古拉斯
15 梅斯盖尔·瓜伊塔,何塞
15 拉斯金,让·弗朗索瓦
14 阿卜杜拉,帕罗什·阿齐兹
14 布耶,帕特里夏
13 法尔肯,伊莉丝
13 勒盖,阿克塞尔
13 诺曼,格钦
13 瓦迪,莫希·雅科夫
12 弗朗卡兰扎,阿德里安
12 穆拉诺,阿尼埃洛
11 安德烈,爱蒂安
11 格鲁伯格,奥娜
11 莱姆,迪迪埃
10 醋酸,卢卡
10 盆地,大卫A。
10 拜尔斯多夫,奥拉夫
10 你好,罗德里克
10 芬克尔,阿兰
9 拜尔,克里斯特尔
9 巴雷特,克拉克W。
9 Bérard,Béatrice
9 亚历山德罗·西马蒂
9 吕默,菲利普
9 莎莉吉娜,娜塔莎
8 保罗巴尔丹
8 比尔,阿明
8 Bonakdarpour,Borzoo
8 多恩,劳伦特
8 伊利诺伊州费伦伯格
8 弗里堡,劳伦特
8 哈达德,谢尔盖
8 亨辛格,托马斯A。
8 安娜,英格尔夫斯多蒂尔
8 卡托恩,乔斯特·皮尔特
8 佩利德,多伦A。
8 斯特里奇曼,奥弗
8 范德波尔,简·科尼利斯
8 威廉,蒂姆A.C。
7 贝尼什,尼古拉
7 伯特兰,纳撒利
7 波泽利,劳拉
7 布里姆,卢博什
7 乔克勒,哈娜
7 德罗斯特,曼弗雷德
7 Jobstmann,芭芭拉
7 国王,安迪
7 克莱德克,费利克斯
7 Křetínský,1月
7 兰格,马丁
7 马钱德,赫维
7 Olveczky,Peter Csaba
7 普努埃利,阿米尔
7 兰多尔,米凯尔
7 雷诺兹,安德鲁
7 鲁克斯,奥利弗H。
7 塞德尔,赫尔穆特
7 克里希南,苏布拉马尼
7 Tentrup,利安德
7 蒂内利,塞萨尔
7 托内塔,斯特凡诺
7 韦内特,亚历山大
7 魏森巴赫,乔治
6 阿蒂格,Mohamed Faouzi
6 本萨勒姆,萨德克
6 博利格,比特
6 唐纳森,阿拉斯泰尔F。
6 加斯汀,保罗
6 格里吉奥,阿尔伯托
6 古普塔,奥尔蒂
6 哈尔,斯特凡
6 海勒,玛丽安·J·H。
6 杰伦,蒂埃里
6 强森,本特
6 霍门科,维克托
6 库特尼,麦基
6 Kulkarni,Sandeep S。
6 拉托雷,萨尔瓦托
6 拉福琼,圣潘
6 李永明
6 马朱姆达尔,鲁帕克
6 马特斯库,拉杜
6 尼尔,丹尼尔
6 普拉泽,安德烈
6 罗şu,格里戈
6 塞萨尔桑切斯
6 肖汉,莎伦
6 斯普罗斯顿,杰里米
6 斯尔巴,吉
6 特里帕基斯,斯塔夫罗斯
6 沃伊纳尔,汤姆š
6 瓦鲁基维茨,伊戈尔
6 Wijs,安东J。
6 温特施泰格,克里斯托夫M。
…还有2182位作者
全部的 前5名

被108种期刊引用

178 系统设计中的形式化方法
129 理论计算机科学
69 信息与计算
56 计算的形式化方面
44 自动推理杂志
41 信息学报
30 计算机科学中的逻辑方法
26 程序设计中的逻辑和代数方法杂志
21 自动
20 计算机与系统科学杂志
18 信息处理信函
18 离散事件动态系统
16 计算机程序设计学
16 逻辑与代数程序设计杂志
13 国际计算机科学基础杂志
13 非线性分析。混合动力系统
11 人工智能
9 编程与计算机软件
9 数学与人工智能年鉴
7 实时系统
7 计算机基础理论
6 MSCS公司。计算机科学中的数学结构
6 分布式计算
6 限制条件
6 工程数学问题
6 雷罗。理论信息学与应用
6 应用逻辑杂志
5 计算系统理论
5 应用数学杂志
5 计算逻辑学报
4 计算机科学与技术杂志
4 算法
4 国际近似推理杂志
4 高阶与符号计算
4 计算机语言、系统与结构
4 算法
离散应用数学
模糊集与系统
系统和控制字母
符号计算杂志
符号逻辑公报
ACM杂志
逻辑程序设计理论与实践
可满足性,布尔建模与计算杂志
2 国际控制杂志
2 国际通用系统杂志
2 信息科学
2 逻辑研究
2 国际并行程序设计杂志
2 并行与分布式计算杂志
2 逻辑、语言与信息杂志
2 国际计算机与系统科学杂志
2 函数程序设计杂志
2 人工智能研究杂志
2 欧洲控制杂志
2 软计算
2 西比尔斯基(SibirskieÈlektronnye Matematicheskie Izvestiya)
2 计算机科学中的数学
2 科学中国。信息科学
2 计算机科学前沿
2 计算机科学评论
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 中国的科学。E系列
1 组合优化期刊
1 应用数学与决策科学杂志
1 自然与社会的离散动力学
1 计算与数学杂志
1 系统科学与复杂性杂志
1 实验算法杂志
1 国际量子信息杂志
1 离散优化
1 中国的科学。F系列
1 斯特克洛夫数学学院学报
…还有8本杂志

按年份列出的引文