×

兹马思-数学第一资源

系统设计中的形式化方法

国际期刊

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

最新版本

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年)
21,第3期(2002年)
21,第2期(2002年)
21,第1期(2002年)
20,第3期(2002年)
…还有20卷
全部的 前5名

作者

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

按年份列出的出版物

zbMATH公开赛中包含的引文

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

1998年被引用的作者

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

被105种期刊引用

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

按年份列出的引文