×

兹马思-数学第一资源

计算的形式化方面

简称: 正式Asp。计算机。
出版商: 斯普林格,伦敦;英国计算机协会,伦敦
ISSN编号: 0934-5043;1433-299X/东
在线: http://link.springer.com/journal/volumesAndIssues/165
评论: 索引封面到封面
编制索引的文档: 856种出版物(自1989年起)
索引的引用: 619种出版物参考文献21463篇。
全部的 前5名

最新版本

33,第4-5期(2021年)
33,第3期(2021年)
33,第2期(2021年)
33,1号(2021年)
32,第4-6期(2020年)
32,第2-3期(2020年)
32,第1期(2020年)
31,第6期(2019年)
31,第5期(2019年)
31,第4期(2019年)
31,第3期(2019年)
31,第2期(2019年)
31,第1期(2019年)
30,第6期(2018年)
30,第5期(2018年)
30,第3-4期(2018年)
30,第2期(2018年)
30,第1期(2018年)
29,第6期(2017年)
29,第5期(2017年)
29,第4期(2017年)
29,第3期(2017年)
29,第2期(2017年)
29,2017年第1期
28,第6期(2016年)
28,第5期(2016年)
28,第4期(2016年)
28,第3期(2016年)
28,第2期(2016年)
28,第1期(2016年)
27,第5-6期(2015年)
27,2015年第4期
27,第3期(2015年)
27,第2期(2015年)
27,第1期(2015年)
26,2014年第6期
262014年第5号
26,2014年第4期
26,第3期(2014年)
26,第2期(2014年)
26,第1期(2014年)
25,第6期(2013年)
25,第5期(2013年)
25,2013年第4期
25,第3期(2013年)
25,第2期(2013年)
25,2013年第1期
24,第4-6期(2012年)
24,第3期(2012年)
24,第2期(2012年)
24,第1期(2012年)
23,2011年第6期
23,第5期(2011年)
23,2011年第4期
23,第3期(2011年)
23,第2期(2011年)
23,第1期(2011年)
22,2010年第6期
22,2010年第5期
22,第3-4期(2010年)
22,2010年第2期
22,2010年第1期
21,2009年第6期
21,2009年第5期
21,2009年第4期
21,2009年第3期
21,第1-2期(2009年)
20,2008年第6期
20,第4-5期(2008年)
20,2008年第3期
20,2008年第2期
19,第4期(2007年)
19,第3期(2007年)
19,第2期(2007年)
19,第1期(2007年)
18,第4期(2006年)
18,第3期(2006年)
18,第2期(2006年)
18,第1期(2006年)
17,2005年第4期
17,第3期(2005年)
17,第2期(2005年)
17,2005年第1期
16,第4号(2004年)
16,第3期(2004年)
16,第2期(2004年)
16,第1期(2004年)
15,第4期(2003年)
15,第2-3期(2003年)
15,第1期(2003年)
14,第4期(2002年)
14,第3期(2002年)
14,第2期(2002年)
14,第1期(2002年)
13,第6期(2002年)
13,第3-5号(2002年)
13,第2期(2002年)
13,2001年第1期
12,第6号(2000年)
12,第5期(2000年)
…还有58卷
全部的 前5名

作者

19 伍德考克,詹姆斯·C·P。
18 安娜,卡瓦尔康蒂
15 海瑟林,维姆H。
14 德里克,约翰
12 海斯,伊恩J。
12 史密斯,格雷姆
11 回来,拉尔夫·约翰
9 博伊滕,伊尔克A。
9 琼斯,克里夫B。
7 伯格斯特拉,Jan A。
7 东,劲松
7 何继峰
7 刘志明
7 摩根,卡罗尔C。
7 里维斯,史蒂夫
7 罗斯科,安德鲁·威廉
7 桑帕约,奥古斯托C.A。
7 你好,威姆
6 班纳,理查德
6 鲍恩,乔纳森P。
6 科尔文,罗伯特J。
6 轩尼诗,马修·C·B。
6 汉森,马丁·C。
6 伊帕特,佛罗伦萨
6 施耐德,史蒂夫A。
5 贝顿,乔斯·C·M。
5 博格,伊贡
5 菲奇,科林J。
5 格罗特,简·弗里索
5 Kwiatkowska,Marta Z。
5 迈鲍姆,托马斯·斯蒂芬·爱德华
5 奥利维拉,马塞尔
5 佩奇,理查德F。
5 庞俊
5 谢尔霍恩,格哈德
5 特雷哈尼,海伦
5 朱惠标
4 鲍曼,霍华德
4 波扎诺,马可
4 布鲁克,菲利普J。
4 多戈尔,布里杰什
4 菲亚迪罗,何塞·路易斯
4 黄,泰国儿子
4 霍尔科姆,迈克
4 卡托恩,乔斯特·皮尔特
4 科宁,丹尼尔
4 莱诺,K.鲁斯坦M。
4 McIver,Annabelle K。
4 梅尼克,拉里萨A。
4 诺曼,格钦
4 奥尔德罗,恩斯特-吕迪格
4 欠你的,奥拉夫
4 皮姆,大卫J。
4 塔哈尔,索菲涅
4 太棒了,克里斯
4 冬天,克尔斯滕
4 詹乃俊
艾瑟尼格,伯恩哈德K。
美国,皮埃尔
阿普特,拉法
伯德,理查德S。
安,布兰福德
博纳特,理查德
布林克,克里斯
兄弟,曼弗雷德
切奇,玛莎
亚历山德罗·西马蒂
柯林斯,马修
寇松,保罗
戴维斯,吉姆
德波尔,弗兰克·S。
德文,埃里克P。
多尔蒂,西蒙
马丁,弗兰兹
弗拉皮耶,马克
加巴乔姆
加德纳,保罗H.B。
妮西,斯蒂芬妮娅
戈麦斯,鲁道夫
哈勒斯泰德,斯特凡
汉森,迈克尔·赖克哈特
哈曼,马克
哈桑,奥斯曼
Hierons,罗伯特·马克
因弗拉尔迪,保拉
吉峰,他
强森,本特
朱利安,雅克
金,史蒂夫F。
库特尼,麦基
朗,弗里德里克
拉森,彼得·戈姆
拉特拉,迭戈
莱文斯,加里·T。
鲁舍尔,迈克尔
李宣东
卢克,韦恩
曼玛,阿米尔
马辛克,米奇
梅斯盖尔·瓜伊塔,何塞
…还有1274位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

507出版物有被引用2357时间1775份文件 引用人
关于时间和可靠性的推理逻辑。 Zbl 0820.68113
汉森,汉斯;强森,本特
132
1994
一种新的带变量绑定的抽象语法方法。 Zbl 1001.68083
加贝,默多克J。;皮特,安德鲁M。
106
2002
实时过程代数。 Zbl 0719.68020
贝顿,J.C.M。;伯格斯特拉,J.A。
51
1991
制度形态。 Zbl 1001.68019号
戈根,约瑟夫;罗şu,格里戈
45
2002
归纳家庭。 Zbl 0808.03044
戴比杰,彼得
32
1994
的UTP语义马戏团. Zbl 1165.68048
奥利维拉,马塞尔;安娜,卡瓦尔康蒂;伍德考克,吉姆
29
2009
将等效性作为互模拟等效性进行测试。 Zbl 0797.68058
克里夫兰,兰斯;马修,轩尼诗
25
1993
马戏团的改进策略。 Zbl 1093.68555
安娜,卡瓦尔康蒂;桑帕约,奥古斯托;伍德考克,吉姆
23
2003
持续时间演算:逻辑基础。 Zbl 0887.68101
汉森,迈克尔R。;周朝臣
22
1997
局部过程理论。 Zbl 0806.68070
布多尔,G。;卡斯特拉尼,I。;轩尼诗,M。;基恩,A。
22
1994
区间计算的正确性和最优性的形式方面。 Zbl 1104.65045
圣地亚哥,里贾万·H·努内斯;贝德雷加尔,Benjamín R.Callejas;阿西利,贝内迪托·梅洛
21
2006
代数变奏曲:一元性和方程理论的概括性。 Zbl 1004.18005号
罗宾逊,埃德蒙
21
2002
时间逻辑中的安全性、活跃性和公平性。 Zbl 0820.68077
普拉萨德·西斯特拉。
20
1994
具有概率、优先级和时间的过程。 Zbl 0820.68072
太棒了,克里斯
20
1994
关系并发优化。 Zbl 1093.68061
德里克,约翰;博伊滕,伊尔克
18
2003
资源和过程的微积分和逻辑。 Zbl 1111.68086
嗯,大卫;太棒了,克里斯
17
2006
离散时间过程代数。 Zbl 0849.68033
贝顿,J.C.M。;伯格斯特拉,J.A。
17
1996
面向精化的CSP概率。 Zbl 0862.68050
摩根,卡罗尔;安娜贝尔·麦克维尔;塞德尔,凯伦;桑德斯,J.W。
17
1996
工作流网络的可靠性:分类、可判定性和分析。 Zbl 1225.68129号
范德阿尔斯特,W.M.P。;范熙,K.M。;霍夫斯泰德,A.H.M。;西多罗瓦,N。;韦贝克,H.M.W。;沃霍夫,M。;韦恩,麻省理工学院。
17
2011
上下文归纳:行为抽象和代数实现的证明原则。 Zbl 0739.68060
亨尼克,罗尔夫
16
1991
判定二相似性是P-完全的。 Zbl 0758.68033
巴尔卡扎尔,何塞;加巴罗,约金;桑莎,米克洛斯
16
1992
用于数据优化的单一完整规则。 Zbl 0774.68081
加德纳,P.H.B。;摩根,卡罗尔
16
1993
温斯克尔(几乎)是对的:走向机械化的语义学教科书。 Zbl 0910.68138
尼普科,托比亚斯
15
1998
几乎尽快语义:从定时模型到定时实现。 Zbl 1101.68670
德沃夫,马丁;多恩,劳伦特;拉斯金,让·弗朗索瓦
15
2005
用于通信顺序进程的单例故障语义。 Zbl 1110.68067
博尔顿,克里斯蒂;戴维斯,吉姆
15
2006
霍尔逻辑和辅助变量。 Zbl 0978.03026
克莱曼,托马斯
14
1999
探索概率互模拟。一。 Zbl 1259.68153
轩尼诗,马修
14
2012
捕获避免替换作为一个名义代数。 Zbl 1152.68025
加贝,默多克J。;美国宇航局马蒂森
13
2008
用于实时系统规范和验证的过程代数框架。 Zbl 1214.68224
谢里夫,阿德南;安娜,卡瓦尔康蒂;吉峰,他;桑帕约,奥古斯托
13
2010
代数规范和程序开发的基本概念。 Zbl 0887.68070
桑内拉,唐纳德;塔勒基,安德烈
13
1997
嵌套数据类型的通用折叠。 Zbl 0937.68027
伯德,理查德;帕特森,罗斯
13
1999
从统一逻辑中消除替代公理。 Zbl 0715.68059
桑德斯,贝弗利A。
13
1991
事件公平性和非交错并发性。 Zbl 0696.68092
Kwiatkowska,Marta Z。
13
1989
一种验证系统,用于与传递值的过程进行通信。 Zbl 0736.68057
轩尼诗,M。
12
1991
顺序面向对象程序的规范和验证挑战。 Zbl 1121.68074
莱文斯,加里·T。;莱诺,K.鲁斯坦M。;米勒,彼得
12
2007
通信B机器的CSP定理。 Zbl 1103.68599
施耐德,史蒂夫;特雷哈尼,海伦
12
2005
使用接口规范的有限状态系统的组合最小化。 Zbl 0860.68067
格拉夫,苏珊娜;斯特芬,伯纳德;吕特根,杰拉尔德
12
1996
验证共享变量并发程序的依赖保证方法。 Zbl 0874.68202
徐启文;de Roever,威廉·保罗;何继峰
12
1997
基于组合失效的基本loto语义模型。 Zbl 0838.68076
瓦尔马里,安蒂;蒂纳里,马尔蒂
12
1995
消息传递过程代数的证明系统。 Zbl 0857.68040
轩尼诗,M。;林,H。
12
1996
并行面向对象语言设计中的问题。 Zbl 0694.68012
美国,皮埃尔
12
1989
使用CCS自动分析互斥算法。 零担0696.68039
沃克,D.J。
12
1989
自己动手类型理论。 Zbl 0697.68020
后台,罗兰;基肖姆,保罗;马尔科姆,格兰特;萨曼,埃里克
12
1989
作为并发系统模块化理论的时间单元规范。 Zbl 0746.68031
Fiadeiro,J。;麦鲍姆,T。
11
1992
ASM求精方法。 Zbl 1093.68601
博格,伊贡
11
2003
结石模型膜中的相互刺激。 Zbl 1152.68035
巴布提,罗伯托;Maggiolo Schettini,安德里亚;米兰佐,保罗;Troina,安吉洛
11
2008
属性定向增量不变生成。 Zbl 1149.68402
布拉德利,亚伦R。;吗哪,佐哈尔
11
2008
使用SPIN模型检查器自动验证UML状态图的行为子集。 Zbl 0966.68124
拉特拉,迭戈;马吉克,伊斯特万;马辛克,米奇
11
1999
地方的静态视图。 Zbl 0806.68069
醋酸,卢卡
11
1994
准形态。 Zbl 0754.68086
米尔滕斯,兰伯特
10
1992
规范格:规范方法论的应用。 Zbl 0782.68077
布德里加,诺雷丁;埃鲁米,法蒂;米莉,阿里
10
1992
不一定闭凸多面体及其双重描述方法。 Zbl 1101.68674号
巴格纳,罗伯托;希尔,帕特里夏·M。;扎法内拉,埃尼亚
10
2005
用于策略交错的线程代数。 Zbl 1131.68067
伯格斯特拉,J.A。;加州米德尔堡。
10
2007
过程模拟和改进。 Zbl 0696.68099
吉峰,他
10
1989
ZRC–一种用于\(Z\)的精化演算。 Zbl 0934.68062
安娜,卡瓦尔康蒂;伍德考克,吉姆
9
1998
用于系统设计和分析的参数概率转换系统。 Zbl 1111.68084
拉诺特,拉格罗;Maggiolo Schettini,安德里亚;Troina,安吉洛
9
2007
互操作组件的响应能力。 Zbl 1061.68107
里德,J.N。;辛克莱尔,J.E。;罗斯科,A.W。
9
2004
具有交错语义的图变换单元。 Zbl 0966.68114
克洛夫斯基,汉斯-Jörg;库斯克,萨宾
9
1999
反应系统的叠加精细化。 Zbl 0852.68008
回来,R.J.R。;塞瑞,K。
9
1996
一个线性规划代数。 Zbl 1259.68135
奥利维拉,乔森。
9
2012
统一编程理论中的天使不确定性。 Zbl 1105.68012
安娜,卡瓦尔康蒂;伍德考克,吉姆;邓恩,史蒂夫
8
2006
移动网络的代数验证。 Zbl 0782.68081
奥拉瓦,弗雷德里克;鹦鹉,约阿希姆
8
1992
ieee1394火线根竞争协议中截止期属性的概率模型检验。 68017.68017升
奎亚特科夫斯卡,玛尔塔;诺曼,格钦;斯普罗斯顿,杰里米
8
2002
一个小挑战:构建一个可验证的文件系统。 Zbl 1123.68336
乔希,拉吉夫;霍尔兹曼,杰拉德J。
8
2007
X机测试方法综述。 Zbl 1103.68461
波格达诺夫,K。;霍尔科姆,M。;Ipate,F。;种子,L。;瓦纳克,S。
8
2006
解释消息流图。 Zbl 0838.68075
拉金,彼得B。;Leue,Stefan
8
1995
元项目:介绍。 Zbl 0838.68014
巴林格,H。;费舍尔,M。;加贝,D。;高夫,G。;欧文斯,R。
8
1995
策略演算。-节略版。 Zbl 0857.68094
马丁,A.P。;加德纳,P.H.B。;伍德考克,J.C.P。
8
1996
TIC:计时微积分。 Zbl 0797.68059
奎玛达,胡安;德弗鲁托斯,大卫;阿兹科拉,阿图罗
8
1993
带保护的过程代数:将霍尔逻辑与过程代数相结合。 Zbl 0806.68078
格罗特,简·弗里索;庞塞,阿尔班
8
1994
CASL中的建筑规范。 Zbl 1001.68078
比多伊特,米歇尔;桑内拉,唐纳德;塔勒基,安德烈
8
2002
csp2B:结合CSP和B的实用方法。 Zbl 0969.68578
巴特勒,迈克尔
8
2000
在并发的形式化方法中平衡表现力。 Zbl 1343.68171
琼斯,克里夫B。;海斯,伊恩J。;科尔文,罗伯特J。
8
2015
程序优化工具。 Zbl 0910.68050
卡林顿,D。;海斯,我。;尼克森,R。;沃森,G。;威尔士,J。
7
1998
firewaire的乐趣:ieee1394根竞争协议形式验证方法的比较研究。 Zbl 1029.68022
斯托琳加,玛丽埃尔
7
2002
ArcAngel:一种精致的战术语言。 Zbl 1093.68565
奥利维拉,马塞尔;安娜,卡瓦尔康蒂;伍德考克,吉姆
7
2003
成分作用系统的细化。 Zbl 1093.68007
回来,R.J.R。;冯·赖特,J。
7
2003
MOF的代数语义。 Zbl 1213.68358号
博罗纳特,阿图尔;梅斯盖尔,何塞
7
2010
软件与死锁的并发验证。 Zbl 1103.68609
查基,萨加尔;克拉克,埃德蒙;哇克宁,乔;莎莉吉娜,娜塔莎;西尼亚,尼桑
7
2005
通过价值传递和分配来沟通过程。 Zbl 0784.68055
轩尼诗,M。;英格尔夫斯多蒂尔,A。
7
1993
实空间过程代数。 Zbl 0942.68607
贝顿,J.C.M。;伯格斯特拉,J.A。
7
1993
顺序合成、动作前缀和过程前缀。 Zbl 0942.68608
贝顿,J.C.M。;伯格斯特拉,J.A。
7
1994
基于Petri网综合的分布式有限自动机。 Zbl 1017.68062
巴杜埃尔,埃里克;凯劳德,贝诺;达伦道,P。
7
2002
基于tableau的CTL\(^*\)决策过程。 Zbl 1242.68302
雷诺兹,马克
7
2011
测试与准非确定性流X机器的一致性。 Zbl 1013.68104
希隆斯,R.M。;哈曼,M。
7
2000
从非确定性流X机器生成测试集。 Zbl 1013.68105
伊帕特,佛罗伦萨;霍尔科姆,迈克
7
2000
联机分析处理的线性代数方法。 Zbl 1331.68055
梅塞多,雨果·丹尼尔;奥利维拉,何塞
7
2015
从控制律图到Ada via马戏团. Zbl 1226.68028号
安娜,卡瓦尔康蒂;克莱顿,菲尔;奥哈洛兰,科林
7
2011
迪杰斯特拉,弗洛伊德和沃希尔会见克莱恩。 Zbl 1259.68243
霍夫纳,彼得;莫勒,伯恩哈德
7
2012
共享变量并行分布式程序设计的精化演算。 Zbl 1029.68034
丁格尔,J。
6
2002
论CSP求精的表现力。 Zbl 1101.68703
罗斯科,A.W。
6
2005
在\(\mu\)CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309
巴德班,巴哈雷;沃恩州福克金;格罗特,简·弗里索;庞俊;范德波尔,雅科
6
2005
完成确定性流X机器测试。 Zbl 1061.68096
伊帕特,佛罗伦萨
6
2004
通信过程规范:时态逻辑与基于拒绝的改进。 Zbl 1149.68056
洛,加文
6
2008
数据精化和单例故障精化是不等价的。 Zbl 1149.68057
里维斯,史蒂夫;史崔德,大卫
6
2008
一般演算术语的组合Petri网翻译。 Zbl 1152.68036
德维勒,雷蒙德;克劳德尔,汉娜;库特尼,麦基
6
2008
并发关系求精。二: 内部操作和输出。 Zbl 1165.68412号
博伊滕,伊尔克;德里克,约翰;谢尔霍恩,格哈德
6
2009
分布式并发系统中参数推理的自动化。 邮政编码:0829.68052
因弗拉尔迪,保拉;普里亚米,科拉多;Daniel Yankelevich,丹尼尔
6
1994
分布式算法的顺序推理原理。 Zbl 0829.68066
跺脚,F.A。;德罗弗,W.-P。
6
1994
组件代码的程序代数。 Zbl 0964.68509
伯格斯特拉,J.A。;抢劫,M.E。
6
2000
自主系统控制器综合的协同模型。 Zbl 1458.68219
弗雷泽,道格拉斯;吉亚昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;诺曼,格钦
1
2020
交互模拟和共同诱导增强:一个历史的视角。 Zbl 1427.68010号
波斯,达米安;大卫桑吉奥吉
2
2019
建筑设计模式在FACTum中的交互验证。 Zbl 1425.68273
马姆索勒,迭戈;吉迪,哈伯汤姆·卡西
1
2019
用修正和K-输出的多元delta透镜的多模型同步。 Zbl 1425.68068
迪斯金,吉诺维;科尼,哈拉尔德;劳福德,马克
1
2019
量子程序的自动验证。 Zbl 1425.68271
英,明生
1
2019
冗余结构的形式可靠性分析。 Zbl 1425.68039
波扎诺,马可;亚历山德罗·西马蒂;马塔雷,克里斯蒂安
1
2019
为提升分析寻找合适的可变性抽象。 Zbl 1425.68067
迪莫夫斯基,Aleksandar S。;布拉布兰德,克劳斯;Wąsowski和Andrzej
1
2019
从LCF到伊莎贝尔/霍尔。 Zbl 1427.68349
保尔森,劳伦斯·C。;尼普科,托比亚斯;温泽尔,马卡里厄斯
1
2019
一种用于与共享变量进行进程通信的UTP语义及其在PVS中的形式化编码。 Zbl 1398.68373
施,玲;赵永新;刘,杨;孙,君;董金松;秦胜超
4
2018
rTiMo的UTP方法。 Zbl 1425.68304
谢婉玲;向双清;朱惠标
2018
螺旋理论中运动学雅可比的形式化分析。 Zbl 1426.70008号
史志平;吴爱萱;杨秀梅;关勇;李永东;宋晓宇
1
2018
行为模型到模型转换的形式化验证技术。 688.1386升
去推杆,砂光机;巫师,安东
1
2018
用于多方对话的定时运行时监视。 Zbl 1375.68030
尼科娃,鲁米亚娜;波奇,劳拉;吉田信子
6
2017
Horn子句逻辑中解析和生产力的操作语义。 Zbl 1362.68048
傅鹏;叶卡捷琳娜Komendantskaya
6
2017
基于组件的多线程系统的并发保持和良好监控:理论、算法、实现和评估。 Zbl 1377.68042
纳扎尔普尔,侯赛因;法尔肯,伊莉丝;本萨勒姆,萨德克;波兹加,马吕斯
2017
初序排序代数中的方程公式和模式运算。 Zbl 1362.68054
梅斯盖尔,何塞;斯基里克,斯蒂芬
2017
随机混杂系统的组合建模与验证框架。 兹布1370.68220
王淑玲;詹乃俊;张丽君
2
2017
混合逻辑的Birkhoff型计算。 Zbl 1420.03037
大牛,大牛
2
2017
设计一个具有并发性的广谱语言语义模型。 Zbl 1375.68036
科尔文,罗伯特J。;海斯,伊恩J。;梅尼克,拉里萨A。
2
2017
基于弹性组件的应用程序的验证和部署方法。 Zbl 1377.68039
格雷特,穆罕默德;哈默尔,拉扎尔;曼玛,阿米尔;塔塔,萨米尔
2
2017
无线adhoc网络的建模与有效验证。 兹布1377.68028
尤瑟菲,贝纳兹;加塞米,法提米;霍斯拉维,拉姆丁
2
2017
卡菲奥比的恶劣环境。 Zbl 1358.68195
里斯科,阿德里安;绪方,和弘;高知县富通寺
1
2017
从基于路径的等价性检验器导出互模拟关系。 Zbl 1358.68067
班纳吉,库纳尔;萨卡,迪潘卡;曼达尔,奇塔兰詹
1
2017
将轨迹精化与线性化能力联系起来。 Zbl 1377.68151号
史密斯,格雷姆;冬天,克尔斯滕
1
2017
最大不完全性作为混淆能力。 Zbl 1355.68053
贾科巴齐,罗伯托;马斯特罗尼,伊莎贝拉;达拉普雷达,米拉
1
2017
关于约束处理规则合流模等价性的证明。 Zbl 1355.68050
克里斯汀森,亨宁;Kirkeby,Maja H。
1
2017
用关系机进行约束逻辑程序设计。 Zbl 1355.68035
加列戈·阿里亚斯,埃米利奥·杰斯;利普顿,詹姆斯;马里诺,朱利奥
1
2017
用割证明逻辑程序的完备性。 Zbl 1355.68033
德拉本特,Włodzimierz
1
2017
扩展有限状态机的主动学习。 Zbl 1342.68174
卡塞尔,索非亚;你好,福尔克;强森,本特;斯特芬,伯恩哈德
6
2016
从代数原理和构造工具验证。 Zbl 1342.68066
阿姆斯特朗,阿拉斯代尔;戈麦斯,维克多·B·F。;斯特拉斯,乔治
5
2016
Isabelle/HOL中矩阵梯形形式计算的形式化。 Zbl 1348.68213
阿兰塞,杰斯;迪瓦森,何塞
4
2016
广义依赖保证并发性:一个代数基础。 Zbl 1348.68035
海斯,伊恩J。
4
2016
体系结构可组合性的一般框架。 Zbl 1342.68029号
阿蒂,保罗;巴拉诺夫,爱德华德;我知道,西蒙;贾比尔,穆罕默德;斯法基斯,约瑟夫
4
2016
多方通信中的自适应和安全信息流。 Zbl 1345.68232
卡斯特拉尼,伊利亚;Dezani Ciancaglini,马里安哥拉;佩雷斯,豪尔赫A。
2016
可逆的客户机/服务器交互。 Zbl 1345.68016
巴贝内拉,佛朗哥;Dezani Ciancaglini,马里安哥拉;de’利古罗,乌戈
2016
使用组件元数据和模式严格开发基于组件的系统。 Zbl 1348.68167
奥利维拉,马塞尔V.M。;安东尼诺,P。;拉莫斯,R。;桑帕约,A。;莫塔,A。;罗斯科,A.W。
2016
多方对话中的动态角色授权。 Zbl 1345.68235
吉尔赞,西尔维亚;雅克希奇,斯维特兰娜;潘托维奇,约万卡;佩雷斯,豪尔赫A。;托雷斯维埃拉,雨果
2
2016
一种语言无关的完全程序等价性证明系统。 Zbl 1355.68051
首席执行官,特凡;卢卡努,多雷尔;拉苏,弗拉德;罗şu,格里戈
2
2016
使用CADP验证\(\mathrm{EB}^3\)规范。 Zbl 1335.68150
维克斯,迪米特里斯;朗,弗里德里克;迪玛,加泰林;马特斯库,拉杜
2
2016
用偏序降阶优化B的ProB模型检验器。 Zbl 1342.68208号
多布里科夫,伊瓦伊洛;鲁舍尔,迈克尔
2
2016
以通信为中心的系统中基于事件的运行时自适应。 Zbl 1345.68234
迪吉斯托,辛齐亚;佩雷斯,豪尔赫A。
1
2016
使用以数据为中心的动态系统对带名称的Petri网进行模型检验。 Zbl 1345.68236
蒙塔利,马可;里夫金,安德烈
1
2016
异步通信的多样性。 Zbl 1345.68022
雪佛鲁,弗洛伦特;休罗,奥丽;奎因内克,菲利普
1
2016
基于Promela嵌入式C代码和抽象的模型检查学习agent系统。 Zbl 1348.68250
基尔万,瑞安;米勒,爱丽丝;波尔,伯恩德
1
2016
计算最大弱和其他互模拟。 Zbl 1355.68190号
亚历山大鲍尔加;吉布森·罗宾逊,托马斯;罗斯科,A.W。
1
2016
一个统一的集成和组件测试方法从确定性流X机器规范。 Zbl 1335.68021
伊帕特,佛罗伦萨;德拉尼迪斯,迪米特里斯
1
2016
分析航空电子系统需求的合理性。 Zbl 1335.68131号
巴纳特,吉;鲍奇,彼得;贝尼什,尼古拉;布里姆,卢博什;伯兰,简;克拉托赫维拉,汤姆š
1
2016
基于契约的MATLAB风格矩阵程序验证。 Zbl 1338.65116
威克,约纳坦;博斯特伦,庞图斯
1
2016
概率自动机弱互模拟判定:理论与实践。 Zbl 1335.68117号
费雷尔·菲奥里蒂,路易斯·马里亚;哈希米,瓦希德;赫尔曼,霍尔格;图里尼,安德里亚
1
2016
黑白烘焙算法的正确性和并发复杂度。 Zbl 1342.68348号
海瑟林,维姆H。
1
2016
在并发的形式化方法中平衡表现力。 Zbl 1343.68171
琼斯,克里夫B。;海斯,伊恩J。;科尔文,罗伯特J。
8
2015
联机分析处理的线性代数方法。 Zbl 1331.68055
梅塞多,雨果·丹尼尔;奥利维拉,何塞
7
2015
杂交机构的改进。 Zbl 1331.68149
马德拉,亚历山德拉;马丁斯,曼纽尔A。;巴博萨,路易斯安那州。;亨尼克,罗尔夫
5
2015
web服务契约的代数理论。 Zbl 1338.68016
拉尼芙,科西莫;帕多瓦尼,卢卡
5
2015
事件驱动系统级语言的指称语义及其代数推导。 Zbl 1347.68039
朱,H。;何继峰;秦胜超;布鲁克,菲利普
4
2015
基于证据的动态特性验证方法:在信息系统领域的应用。 Zbl 1331.68142号
曼玛,阿米尔;弗拉皮耶,马克
2
2015
用MSVL公理系统验证分布式系统。 Zbl 1328.68032
马,钱;段振华;张楠;王晓兵
2
2015
循环推理的程序等价性。 Zbl 1319.68060
卢卡努,多雷尔;拉苏,弗拉德
2
2015
基于策略的具有时间和访问权限的移动性语义。 Zbl 1343.68163
乔巴努,加布里埃尔;库特尼,麦基;史帝格尔斯,杰森
2
2015
关于具有共享未来的活动对象的合成推理。 Zbl 1343.68166
丁,张晶;欠你的,奥拉夫
2
2015
模糊时态逻辑与模型的抽象与逼近。 Zbl 1331.68143
索图德,戈拉姆雷扎;阿加尔,莫瓦利
1
2015
动态下推网络模型检验。 Zbl 1332.68142号
宋、赋;图伊里,泰西尔
1
2015
用线性代数方法生成非线性回路的不变量。 Zbl 1347.68093
瑞比哈,瑞秋;维埃拉·穆拉,阿纳尔多;婚姻,最低点
1
2015
\(\mathsf{Z}\)中结构化规范的分类基础。 Zbl 1385.68023
卡斯特罗,巴勃罗F。;阿吉尔,纳扎里诺;庞波,卡洛斯L。;麦鲍姆,T.S.E。
1
2015
加速具有循环行为的时间自动机模型的最坏情况执行时间分析。 兹布1328.68108
奥马尔·巴泰尼;雷诺兹,马克;法语,蒂姆
1
2015
无线传感器网络检测特性的形式概率分析。 Zbl 1328.68037
Elleuch,玛莎;哈桑,奥斯曼;塔哈尔,索菲涅;阿比德,穆罕默德
1
2015
将随机推理集成到Event-B开发中。 Zbl 1328.68039
塔拉修克,安东;特鲁比塞纳,埃琳娜;莱比尼斯,利纳
1
2015
在FreeRTOS任务模型上使用形式推理。 Zbl 1328.68044
郑,蜀;伍德考克,吉姆;D’苏扎,迪帕克
1
2015
模型转换验证的框架。 兹布1328.68128
拉诺,凯文;克拉克,T。;Kolahdouz Rahimi,S。
1
2015
综合有界时间两相故障恢复。 Zbl 1328.68045
Bonakdarpour,Borzoo;Kulkarni,Sandeep
1
2015
分布式系统的量化抽象配置。 Zbl 1319.68023
艾伯特,艾薇拉;科雷亚斯,杰斯;普埃布拉,格尔曼;吉列尔莫·罗曼德伊斯
1
2015
一个基于组合自动机的语义和保存转换规则的属性模式测试。 Zbl 1338.68164
塔哈,萨福安;朱利安,雅克;达杜,弗里德里克;卡斯蒂略,卡鲁卡布雷拉;卡索,比拉尔
1
2015
为数字合同签订提供担保综合。 Zbl 1342.94068号
查特吉,克莉什南杜;拉曼,维什瓦纳特
2014
事件B求精的行为语义。 Zbl 1342.68211
施耐德,史蒂夫;特雷哈尼,海伦;你好,威姆
2014
从基于状态的用例模型生成测试。 Zbl 1342.68210
诺盖拉,西德尼;桑帕约,奥古斯托;莫塔,亚历山德拉
2
2014
验证特征:一个用于细粒度重用的增量证明系统。 Zbl 1342.68059
达米亚尼,费鲁乔;多夫兰,约翰;布鲁克·约翰森,艾纳;谢菲娜,谢菲娜
2
2014
对计算编排的验证。 Zbl 1342.68209
董金松;刘,杨;孙,君;张显
2
2014
预置区分序列与同步序列之间的关系。 Zbl 1342.68184
居尼,迦南;İnan,凯末尔;图尔克,乌拉兹岑吉兹;耶宁,休斯纽
2
2014
形式安全协议模型中数据编码的安全抽象。 Zbl 1322.68070
皮龙蒂,阿尔弗雷多;西斯托,里卡多
1
2014
非干扰安全的抽象:概率与可能性。 兹布1323.68212
黄,T.S。;麦基弗,又名。;梅尼克,L。;摩根,哥伦比亚特区。;斯隆,A。;苏萨托,E。
1
2014
具有共享随机双图的ieee802.11csma/CA-RTS/CTS建模。 Zbl 1342.68205
考尔德,马菲;塞维格纳尼,米歇尔
1
2014
关于目标导向的实时远程反应程序的推理。 Zbl 1342.68060
多戈尔,布里杰什;海斯,伊恩J。;罗宾逊,彼得J。
1
2014
时间预算:一种基于组件的实时嵌入式系统开发方法。 Zbl 1342.68042
迪克西特,马诺杰·G。;拉梅什,S。;达斯古塔,帕拉布
1
2014
在形式化方法中集成机密性和功能性。 Zbl 1342.68191
班克斯,迈克尔J。;雅各布,杰里米L。
1
2014
用通讯自动机分析神经生物学模型。 Zbl 1342.92024号
苏,李;戈麦斯,鲁道夫;鲍曼,霍华德
1
2014
关注非特权:内核精化中的用户程序。 Zbl 1342.68079
多姆,马提亚斯;账单,纳尔逊;克莱恩,格温
1
2014
深层元建模的形式化。 Zbl 1342.68098
罗西尼,亚历山德罗;德拉,胡安;格拉,埃丝特;Rutle,阿德里安;沃尔特,乌韦
1
2014
用事件B模型的逐步调度法导出并发程序。 Zbl 1342.68056
博斯特伦,庞图斯;德格伦,弗雷德里克;塞瑞,凯萨;瓦尔登,玛丽娜
1
2014
通过连续/离散建模接口的连续KAOS、ASM和正式控制系统设计:一个简单的列车停车应用程序。 Zbl 1342.93065
班纳,理查德;朱惠标;苏文;黄润蕾
1
2014
安全关键型Java内存模型正式化。 Zbl 1259.68029
安娜,卡瓦尔康蒂;安迪,威灵斯;伍德考克,吉姆
6
2013
统一了ProofPower-Z中的理论。 Zbl 1259.68035
奥利维拉,马塞尔;安娜,卡瓦尔康蒂;伍德考克,吉姆
6
2013
检查定时CSP中的不干扰。 Zbl 1259.68132
罗斯科,A.W。;黄健
5
2013
差分约束系统最优长度分辨反驳的改进算法。 Zbl 1259.68261
苏布拉曼尼,K。;威廉森,马修;顾小凤
5
2013
炒作:通过流的组合进行混合建模。 Zbl 1298.68191
加尔平,瓦什提;博尔托鲁西,卢卡;希尔斯顿,简
5
2013
正式指定和验证事务性内存。 Zbl 1298.68168
多尔蒂,西蒙;格罗夫斯,林赛;卢昌科,维克多;莫尔,马克
4
2013
值得信赖的adhoc网络的演算。 Zbl 1298.68041
梅罗,马西莫;西比里奥,埃莱诺拉
4
2013
两种无阻塞共享变量通信算法的说明。 Zbl 1298.68062
博纳特,理查德;哈桑阿姆贾德
2013
线性系统的霍尔逻辑。 Zbl 1298.68163
阿尔森,罗伯;马丁,乌苏拉;奥利瓦,保罗
2013
通过收缩机制生成反应系统故障树。一、 组合电路。 Zbl 1298.68050
班纳,理查德;波扎诺,马可
2013
通过收缩机制生成反应系统故障树。二。时钟和反馈电路。 Zbl 1298.68051
班纳,理查德;波扎诺,马可
2013
…还有407份文件
全部的 前5名

被2340位作者引用

29 安娜,卡瓦尔康蒂
26 伯格斯特拉,Jan A。
23 伍德考克,詹姆斯·C·P。
17 海瑟林,维姆H。
17 Kwiatkowska,Marta Z。
16 米德尔堡,科尼利斯A。
15 加贝,默多克·詹姆斯
14 卡托恩,乔斯特·皮尔特
14 莫萨科夫斯基,蒂尔
13 拜尔,克里斯特尔
12 德里克,约翰
12 海斯,伊恩J。
12 轩尼诗,马修·C·B。
12 古德斯坦,拉斯兰
12 梅斯盖尔·瓜伊塔,何塞
12 权力,约翰
12 谢尔霍恩,格哈德
12 泽达,弗兰克
11 迪亚科内斯库,Răzvan
11 勒盖,阿克塞尔
11 罗斯科,安德鲁·威廉
11 罗şu,格里戈
10 科尔文,罗伯特J。
10 戴比杰,彼得
10 格罗特,简·弗里索
10 塔勒基,安德烈
10 蒂尼,西蒙妮
10 Tzevelekos,尼科斯
9 贝顿,乔斯·C·M。
9 弗拉维奥,科拉迪尼
9 吉本斯,杰里米
9 刘志明
9 马德拉,亚历山德拉
9 蒙塔纳里,乌戈·G。
9 诺曼,格钦
9 庞塞,阿尔班
8 醋酸,卢卡
8 班纳,理查德
8 伯纳多,马可
8 邦奇,菲利波
8 博格,伊贡
8 德拉哈耶,贝诺ît
8 Dezani Ciancaglini,马里安哥拉
8 古特曼,沃尔特
8 何继峰
8 亨尼克,罗尔夫
8 赫尔曼,霍尔格
8 安娜,英格尔夫斯多蒂尔
8 佛罗伦萨语
8 Murawski和Andrzej S。
8 皮特,安德鲁M。
8 Rutten,一月J.M.M。
8 桑内拉,唐纳德T。
8 施耐德,史蒂夫A。
8 你好,威姆
7 巴博萨,鲁伊斯·苏亚雷斯
7 最好的,艾克
7 比多伊特,米歇尔
7 博伊滕,伊尔克A。
7 邦桑格,马塞罗·玛丽亚
7 查特吉,克莉什南杜
7 切尼,詹姆斯
7 加尼,尼尔
7 盖列夫,迪米塔P。
7 Hierons,罗伯特·马克
7 奥娜库普费尔曼
7 马特斯,拉尔夫
7 奥利维拉,何塞·努诺
7 皮姆,大卫J。
7 罗根巴赫,马库斯
7 大卫桑吉奥吉
7 史密斯,格雷姆
7 瓦德拉格,熔块W。
7 沃格勒,沃尔特
7 詹乃俊
7 朱惠标
6 回来,拉尔夫·约翰
6 巴布提,罗伯托
6 贝德雷加尔,Benjamín Callejas
6 德波尔,弗兰克·S。
6 德文,埃里克P。
6 德加诺,皮尔波洛
6 邓玉欣
6 埃斯帕扎,哈维尔
6 福克金,威廉·扬
6 弗雷特,沃伊特ěch
6 福斯特,西蒙
6 黄,泰国儿子
6 霍尔,C.A.R.托尼
6 库斯克,萨宾
6 朗,弗里德里克
6 拉诺特,拉格罗
6 吕特根,杰拉尔德
6 米兰佐,保罗
6 庞俊
6 佩利德,多伦A。
6 普里亚米,科拉多
6 雷瑟,蕾娜塔·哈克斯·桑德
6 雷诺兹,马克·亚历山大
6 桑帕约,奥古斯托C.A。
…还有2240多个作者
全部的 前5名

被119种期刊引用

279 理论计算机科学
261 计算的形式化方面
89 信息与计算
62 逻辑与代数程序设计杂志
60 程序设计中的逻辑和代数方法杂志
54 信息学报
46 信息处理信函
41 系统设计中的形式化方法
39 自动推理杂志
36 计算机程序设计学
28 MSCS公司。计算机科学中的数学结构
22 函数程序设计杂志
21 计算机科学中的逻辑方法
18 纯逻辑与应用逻辑年鉴
17 计算机与系统科学杂志
15 信息科学
14 数学与人工智能年鉴
13 逻辑程序设计理论与实践
12 分布式计算
11 计算逻辑学报
10 应用逻辑杂志
9 人工智能
9 符号计算杂志
8 模糊集与系统
8 符号逻辑杂志
8 国际计算机科学基础杂志
8 应用非经典逻辑杂志
7 计算机科学与技术杂志
7 泛逻辑
6 计算系统理论
6 高阶与符号计算
5 国际近似推理杂志
5 国际计算机数学杂志
5 计算机科学前沿
4 离散应用数学
4 哲学逻辑杂志
4 纯粹与应用代数杂志
4 编程与计算机软件
4 逻辑研究
4 实时系统
4 离散事件动态系统
4 工程数学问题
4 雷罗。理论信息学与应用
4 计算机基础理论
4 计算机科学中的数学
逻辑、语言与信息杂志
计算与应用数学
ACM杂志
应用数学杂志
2 国际通用系统杂志
2 计算
2 模拟中的数学与计算机
2 合成语
2 机器学习
2 杰泰。实验与理论人工智能杂志
2 符号逻辑公报
2 软计算
2 组合优化期刊
2 计算与数学杂志
2 系统科学与复杂性杂志
2 ādhanā
2 自然计算
2 计算机语言、系统与结构
2 符号逻辑述评
2 中国计算机科学前沿
2 计算机科学评论
1 倒排索引综述
1 计算机与数学及其应用
1 国际控制杂志
1 数学生物学通报
1 数学信使
1 应用数学与计算
1 自动
1 最优化理论与应用杂志
1 圣母院形式逻辑杂志
1 巴勒莫的Circolo Matemático di Palermo。二级联赛
1 西伯利亚数学杂志
1 新一代计算
1 算法
1 国际智能系统杂志
1 数学与计算机建模
1 计算几何
1 国际代数与计算杂志
1 雷罗。信息技术应用
1 数理逻辑档案
1 数学家英达加。新系列
1 工程、通信和计算中的应用代数
1 计算与决策科学基础
1 国际计算机与系统科学杂志
1 应用范畴结构
1 数学科学杂志(纽约)
1 数理逻辑季刊
1
1 人工智能研究杂志
1 复杂性
1 拓朴
1 群论杂志
1 国际应用数学与计算机科学杂志
1 电子商务研究
1 离散算法杂志
…还有19本杂志

按年份列出的引文