×

计算机程序设计学

简称: 科学。计算机。程序。
出版商: 爱思唯尔科学公司(北荷兰),阿姆斯特丹
ISSN编号: 0167-6423号
在线: http://www.sciencedirect.com/science/journal/01676423
评论: 不再编入索引
编制索引的文档: 998份出版物(1981年至2014年)
索引的引用: 197种出版物参考文献8058篇。
全部的 前5名

最新版本

84(2014年)
80,A部分(2014)
78,第7期(2013年)
78,第5期(2013年)
78,2013年第4期
78,第3期(2013年)
78,第2期(2013年)
78,第1期(2012年)
77,2012年第12期
77,第10-11号(2012年)
77,第9期(2012年)
77,第7-8期(2012年)
77,第6期(2012年)
77,第5期(2012年)
77,第4期(2012年)
77,第3期(2012年)
77,第2期(2012年)
76,第12期(2011年)
762011年第11期
76,第10期(2011年)
762011年第9期
76,第8期(2011年)
76,2011年第7期
76,2011年第6期
76,第5期(2011年)
76,2011年第4期
76,第3期(2011年)
76,第2期(2011年)
76,第1期(2011年)
75,2010年第12期
75,2010年第11期
75,2010年第10期
75,2010年第9期
75,2010年第8期
75,2010年第7期
75,2010年第6期
75,2010年第5期
75,2010年第4期
75,2010年第3期
75,第1-2期(2010年)
74,第11-12号(2009年)
74,2009年第10号
74,2009年第9期
74,第8号(2009年)
74,2009年第7期
74,第5-6期(2009年)
74,2009年第4期
74,2009年第3期
74,第1-2期(2008年)
73,第2-3期(2008年)
73,2008年第1期
72,2008年第3期
72,第1-2期(2008年)
71,2008年第3期
71,2008年第2期
71,2008年第1期
70,第2-3期(2008年)
70,2008年第1期
69,第1-3期(2007年)
68,第3期(2007年)
68,第2期(2007年)
68,第1期(2007年)
67,第2-3期(2007年)
67,第1期(2007年)
66,第3期(2007年)
66,第2期(2007年)
66,第1期(2007年)
65,第3期(2007年)
65,第2期(2007年)
65,第1期(2007年)
64,第3期(2007年)
64,第2期(2007年)
64,第1期(2007年)
63,第3期(2006年)
63,第2期(2006年)
63,第1期(2006年)
62,第3期(2006年)
62,第2期(2006年)
62,第1期(2006年)
61,第3期(2006年)
61,第2期(2006年)
61,第1期(2006年)
60,第3期(2006年)
60,第2期(2006年)
60,第1期(2006年)
59,第3期(2006年)
59,第1-2期(2006年)
58,第3期(2005年)
58,第1-2期(2005年)
57,第3期(2005年)
57,第2期(2005年)
57,2005年第1期
56,第3期(2005年)
56,第1-2期(2005年)
55,第1-3期(2005年)
54,第2-3期(2005年)
53,第3期(2004年)
53,第2期(2004年)
52,第1-3期(2004年)
51,第3期(2004年)
...还有94卷
全部的 前5名

作者

10 阿尔巴布,法哈德
8 兄弟,曼弗雷德
8 Canal,卡洛斯
8 西尔贾尼,马扬
7 安娜,卡瓦尔康蒂
7 吉本斯,杰里米
7 海瑟林,维姆H。
7 伦高,克里斯蒂安
7 莫勒,伯恩哈德
7 维罗利,米尔科
6 后台,罗兰C。
6 伯德,理查德S。
6 博伊滕,伊尔克A。
6 德夏奈,朱尔斯
6 卡尔德瓦伊,安妮
6 米莉,阿里
6 皮门特尔,埃内斯托
6 蕾丝·尼尔森,汉恩
6 弗霍夫,克里斯
5 布罗基,安东尼奥
5 德里克,约翰
5 格里斯,大卫
5 海斯,伊恩J。
5 赫丁,哥雷尔
5 雅克,让-玛丽
5 约翰斯顿,阿德里安
5 尼尔森,弗莱明
5 赫尔穆特A.帕奇。
5 桑帕约,奥古斯托C.A。
5 沃森,布鲁斯·威廉
5 伍德考克,詹姆斯·C·P。
4 拜尔,克里斯特尔
4 伯格默尔,鲁道夫
4 贝蒂尼,洛伦佐
4 伯吉斯,马克
4 钟,劳伦斯M.L。
4 克拉克,戴夫
4 丹维,奥利弗
4 菲亚迪罗,何塞·路易斯
4 弗拉皮耶,马克
4 因弗拉尔迪,保拉
4 杰瑞,约翰
4 库特夫,伊万
4 莫勒,沃德·道格拉斯
4 莫里斯,约瑟夫M。
4 权力,詹姆斯F。
4 格温萨拉因
4 施密特,大卫A。
4 斯科特,伊丽莎白A。
4 塞瑞,凯萨
4 唐特,艾瑞克
4 维泰克,简
4 威海,黑克
4 维辛,马丁
4 扎瓦塔罗,詹路易吉
回来,拉尔夫·约翰
巴布提,罗伯托
邦桑格,马塞罗·玛丽亚
布里姆,卢博什
卡莱特,雅克
库珀,肯德拉
科迪,詹姆斯R。
柯蒂斯,莎伦A。
戴丽蓉
该死,沃纳
德尼古拉,洛克
达根,多米尼克
杜兰,弗朗西斯科
埃伯根,乔·C。
尤格斯特,帕特里克·斯。
费伊斯,Loe M.G。
费尔南德斯,让-克劳德
财务,让·皮埃尔
弗拉纳根,科马克
弗拉德,帕斯卡
弗朗西兹,尼西姆
弗雷塔斯,利奥
加里多,何塞·路易斯
贾科巴齐,罗伯托
吉格里奇,罗伯特
戈拉,丹妮尔
格罗特,简·弗里索
古塔格,约翰五世。
汉金,克里斯L。
海纳,埃里克·C·R。
辛兹,拉尔夫
弗里德里克朱奥
卡托恩,乔斯特·皮尔特
劳尔,茱莉亚L。
莱文斯,加里·T。
刘艳红安妮
吗哪,佐哈尔
马丁,阿兰J。
孟,孙
摩根,卡罗尔C。
诺盖拉,曼纽尔
帕斯伯格,詹斯
佩珀,彼得
普利斯,罗萨里奥
拉马林根,加内桑
...还有1518位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

576出版物有被引用2900时间2377份文件 引用人
状态图:复杂系统的可视化形式。 Zbl 0637.68010
哈雷尔,大卫
143
1987
利用分支时间时序逻辑合成同步骨架。 Zbl 0514.68032
爱默生·E·艾伦;克拉克,埃德蒙M。
71
1982
Esterel同步编程语言:设计、语义、实现。 Zbl 0772.68013
贝瑞,杰拉德;冈瑟,乔治
69
1992
模型检查的方式:分支时间逻辑回击。 Zbl 0615.68019
爱默生·E·艾伦;雷,金朗
44
1987
逐步求精和程序演算的理论基础。 Zbl 0624.68017
莫里斯,约瑟夫M。
39
1987
找到重复的元素。 Zbl 0497.68041
米斯拉,J。;格里斯,大卫
37
1982
将单子推广为箭头。 Zbl 0954.68034
休斯,约翰
37
2000
用多项式解释终止重写系统及其实现。 Zbl 0625.68036
本·谢里法,阿勒姆;莱斯坎,皮埃尔
36
1987
基于约束自动机的Reo组件连接器建模。 Zbl 1105.68058
拜尔,克里斯特尔;西尔贾尼,马扬;阿尔巴布,法哈德;拉滕,一月
36
2006
保护命令语言的概率模型。 Zbl 0877.68014
吉峰,他;塞德尔,K。;麦克维尔,A。
31
1997
走向精化代数。 Zbl 1091.68030
冯·赖特,J。
30
2004
范畴抽象机器。 Zbl 0634.68078
库西诺,G。;库林,P.-L。;莫尼,M。
27
1987
使用抽象解释(和Ciao系统预处理器)集成程序调试、验证和优化。 Zbl 1076.68540
赫密尼基尔多,曼努埃尔诉。;普埃布拉,格尔曼;布埃诺,弗朗西斯科;洛佩兹·加西亚,佩德罗
27
2005
一种有效的互模拟等价算法的实现。 Zbl 0711.68058
费尔南德斯,让-克劳德
25
1990
关于公平性的证明规则和转换。 Zbl 0512.68014
阿普特,克雷兹托夫。;奥尔德罗,E.-R。
25
1983
将分布式程序分解成通信封闭层。 Zbl 0514.68033
艾尔拉德,Tzilla;弗朗西兹,尼西姆
24
1982
行为和抽象规范。 Zbl 0853.68130
比多伊特,米歇尔;亨尼克,罗尔夫;维辛,马丁
23
1995
动态检测可能不变量的Daikon系统。 Zbl 1161.68390
恩斯特,迈克尔D。;帕金斯,杰夫H。;郭,菲利普J。;麦卡蒙,斯蒂芬;帕切科,卡洛斯;Tschantz,马修·S。;小陈
22
2007
框架时序逻辑程序设计。 Zbl 1131.68036
段振华;杨晓晓;库特尼,麦基
22
2008
高阶函数的严格性分析。 Zbl 0603.68013
伯恩,杰弗里L。;汉金,克里斯;阿布拉姆斯基,参孙
21
1986
快速、长寿命重命名的免等待算法。 Zbl 0838.68050
莫尔,马克;安德森,詹姆斯H。
21
1995
并发程序不变性和活性性质的充分证明原则。 Zbl 0542.68014
吗哪,佐哈尔;普努埃利,阿米尔
20
1984
数据结构和程序转换。 Zbl 0712.68014
马尔科姆,格兰特
20
1990
通过分离逻辑中用户定义的谓词自动验证形状、尺寸和行李属性。 Zbl 1243.68148
金伟恩;大卫,克里斯蒂娜;阮惠海;秦胜超
19
2012
加权下推系统及其在过程间数据流分析中的应用。 邮编:1088.68040
重复,托马斯;施万,斯蒂芬;杰哈,萨默什;麦尔斯基,大卫
19
2005
移动adhoc网络的过程演算。 Zbl 1192.68451
安努州辛格;罗摩克里希南,C.R。;斯莫尔卡,斯科特A。
18
2010
域半环的内部公理。 Zbl 1211.68242
德夏奈,朱尔斯;斯特拉斯,乔治
18
2011
基于组件的建模的组合。 Zbl 1075.68016
葛斯勒,格雷戈;斯法基斯,约瑟夫
17
2005
gamma模型及其编程规则。 Zbl 0715.68054
班特,让·皮埃尔;丹尼尔,勒梅泰耶
17
1990
安全信息流的语义方法。 Zbl 0954.68052
乔希,拉吉夫;莱诺,K.鲁斯坦M。
17
2000
功率域结构。 Zbl 0769.08005
赫克曼,莱因霍尔德
16
1991
收缩计算的推导。 Zbl 0709.68020
卡尔德瓦伊,安妮;雷姆,马丁
16
1990
对规则无交互\(\mu\)-演算的有效的动态模型检查。 Zbl 1026.68098
马特斯库,拉杜;希吉雷努,米哈埃拉
16
2003
接头着色。一: 同步和上下文依赖。 Zbl 1121.68015
克拉克,戴夫;科斯塔,大卫;阿尔巴布,法哈德
16
2007
使用网络展开进行模型检查。 Zbl 0834.68087
埃斯帕扎,哈维尔
15
1994
克莱恩变得懒惰了。 Zbl 1109.68060
莫勒,伯恩哈德
15
2007
编程语言的表达能力。 Zbl 0745.68033
费莱森,马提亚斯
14
1991
析取抽象解释的最佳域。 Zbl 0942.68020
贾科巴齐,罗伯托;兰扎托,弗朗西斯科
14
1998
通信过程完全正确性的演算。 Zbl 0485.68025
霍尔,哥伦比亚特区。
14
1981
Coq中随机算法的证明。 Zbl 1178.68667
奥德宝,菲利普;保林·莫林,克里斯汀
14
2009
紧缩的工程和理论基础。 Zbl 1119.68348
巴纳赫,R。;波普尔顿,M。;杰斯克,C。;斯泰普尼。
14
2007
用抽象解释自动生成有界次数多项式不变量。 Zbl 1171.68555
罗德里格斯·卡博内尔,E。;卡普尔,D。
13
2007
例外的功能理论。 Zbl 0699.68022
斯皮维,迈克
13
1990
动态类型:语法和证明理论。 Zbl 0809.68083
亨莱恩,弗里茨
13
1994
事件和关系的同步程序设计:信号语言及其语义。 Zbl 0745.68031
本维尼斯特,艾伯特;保罗,勒格尔尼奇;杰克莫特,基督教徒
12
1991
在自动生成的编译器中增加模块化和语言独立性。 Zbl 0565.68011
甘津格,哈拉尔德
12
1983
抽象行为类型:组件及其组合的基础模型。 Zbl 1075.68014
阿尔巴布,法哈德
12
2005
并行算法的逐步求精。 Zbl 0705.68057
回来,R.J.R。;塞瑞,K。
12
1990
影子知道:顺序程序中的细化和安全性。 Zbl 1178.68166
摩根,卡罗尔
12
2009
凸多面体的精确加宽算子。 Zbl 1088.68173
巴格纳,罗伯托;希尔,帕特里夏·M。;利玛窦,埃莉萨;扎法内拉,埃尼亚
12
2005
具有全局变量和抽象数据类型的递归方程的自动投影。 Zbl 0745.68073
邦多夫,安德斯;丹维,奥利弗
11
1991
重写的高阶实现。 Zbl 0551.68076
保尔森,劳伦斯
11
1983
八面体抽象域。 Zbl 1171.68540
克拉里斯奥,罗伯特;科塔德拉,乔迪
11
2007
模型检查过程与数据。 Zbl 1082.68067
格罗特,J.F。;T.A.C.Willemse。
11
2005
替换:使用单子和变换的形式化方法案例研究。 Zbl 0830.68025
贝莱加德,弗朗索瓦;钩子,詹姆斯
11
1994
介绍基于集合约束的程序分析。 Zbl 0940.68031
艾肯,亚历山大
11
1999
两类用于依赖分析的布尔函数。 Zbl 0942.68018
阿姆斯特朗,塔妮娅;金,万豪酒店;沙赫特,彼得;桑德加德,哈拉尔德
11
1998
数据表示的行为正确性。 Zbl 0699.68031
肖特,奥利弗
11
1990
用于基于约束逻辑语言的数据流分析的约束系统层次结构。 Zbl 0891.68056
巴格纳,罗伯托
11
1998
Smoothsort,现场分拣的另一种选择。 Zbl 0486.68050
迪杰斯特拉,埃德斯格尔W。
11
1982
回到直接风格。 Zbl 0808.68051
丹维,奥利弗
11
1994
转换设计与实现一个新的有效的解决方案准备模拟问题。 Zbl 0832.68050
布鲁姆,吟游诗人;佩奇,罗伯特
11
1995
次线性多关键字模式匹配算法的分类。 Zbl 0858.68026
沃森,B.W。;茨瓦恩,G。
11
1996
普通电话系统的自动组合马尔可夫链生成。 Zbl 0941.68649
赫尔曼,霍尔格;卡托恩,乔斯特·皮尔特
10
2000
JML的设计是如何兼顾运行时断言检查和形式验证的。 Zbl 1075.68009
莱文斯,加里·T。;钱,约恩西克;克利夫顿,柯蒂斯;鲁比,克莱德;好吧,大卫·R。
10
2005
规范和编程的图形转换。 Zbl 0933.68022
安德里斯,马克;恩格斯,格雷戈;哈贝尔,安妮格雷特;霍夫曼,伯托德;克洛夫斯基,汉斯-Jörg;库斯克,萨宾;丰满,德特勒夫;舒尔,安迪;泰泽,加布里埃尔
10
1999
用图形证明。 Zbl 0852.68070
柯蒂斯,莎伦;洛,加文
10
1996
WS-BPEL中控制流的形式语义与分析。 Zbl 1122.68073
欧阳春;Verbeek,埃里克;范德阿尔斯特,Wil M.P。;布鲁特尔,斯蒂芬;大仲马,马龙;泰尔·霍夫斯泰德,亚瑟·H·M。
10
2007
程序结构综合的合理性。 Zbl 0514.68019
薄荷糖,G。;泰古,E。
10
1982
关于开发循环不变量和循环的标准策略的注记。 Zbl 0516.68008
格里斯,大卫
10
1982
对序列数据进行动态规划的一门学科。 Zbl 1067.90157号
吉格里奇,罗伯特;迈耶,卡斯滕;斯蒂芬,彼得
10
2004
关于落叶松共享语言的报道。 Zbl 0581.68007
古塔格,J.V。;霍宁,J.J。
9
1986
逻辑程序设计的抽象域组合:开放产品和泛型模式构造。 Zbl 0957.68023
科特斯,阿戈斯蒂诺;勒沙利尔,波都因;范亨特莱克,帕斯卡
9
2000
广谱语言编程:一系列例子。 Zbl 0469.68003
鲍尔,F.L。;布罗伊,M。;多施,W。;格纳茨,R。;Krieg Brückner,B。;劳特,A。;卢克曼,M。;马特纳,T。;莫勒,B。;帕奇,H。;胡椒粉,P。;萨梅尔森,K。;斯坦布根,R。;维辛,M。;Wössner,H。
9
1981
一种用于抽象系统属性分析的基于状态/事件的模型检查方法。 Zbl 1213.68392
泰比克,莫里斯H。;亚历山德罗·范泰奇;妮西,斯蒂芬妮娅;马赞提,佛朗哥
9
2011
形状的语义。 Zbl 0853.68119
杰伊,C.巴里
9
1995
用多重关系模拟天使和恶魔的不确定性。 Zbl 1106.68023
马丁,C.E。;柯蒂斯,南卡罗来纳州。;莱维茨基,我。
9
2007
PiDuce—一个试验web服务技术的项目。 Zbl 1194.68077
卡皮内蒂,萨缪尔;拉尼芙,科西莫;帕多瓦尼,卢卡
8
2009
并发编程的一种方法:非正式的演示。 Zbl 0491.68005
伦高,克里斯蒂安;海纳,埃里克·C·R。
8
1982
非确定性数据流程序:如何避免合并异常。 Zbl 0632.68016
兄弟,曼弗雷德
8
1988
分层对象结构的模不变量。 Zbl 1100.68539
米勒,彼得;波茨许·赫夫特;莱文斯,加里·T。
8
2006
自顶向下的设计和通信过程的代数。 浙宝0606.68021
伯格斯特拉,J.A。;塔克,J.V。
8
1985
程序反转:不止好玩! Zbl 0715.68055
陈伟;尤丁,简·提伊门
8
1990
不断变化的计算。 Zbl 0891.68039
古普塔,V。;贾加迪桑,R。;萨拉斯瓦特,弗吉尼亚州。
8
1998
基于超图变换的图编辑器生成器的概念与实现。 Zbl 1002.68735
米纳斯,马克
8
2002
统一算法的演绎综合。 Zbl 0472.68054
吗哪,佐哈尔;沃尔丁格,理查德
8
1981
目标导向的需求获取。 Zbl 0792.68024
亲爱的,安妮;范兰斯韦德,阿克塞尔;菲卡斯,斯蒂芬
8
1993
计算路径算法。 邮政编码:0818.68117
后台,罗兰C。;范登艾因德,J.P.H.W。;范加斯特伦,A.J.M。
8
1994
谓词变换器的代数结构。 Zbl 0807.18003
加德纳,保罗H.B。;马丁,克莱尔E。;德摩尔,奥吉
8
1994
完整序言的数学定义。 邮政编码:0832.68022
博格,伊贡;Rosenzweig,院长
8
1995
模代数。 Zbl 1116.68047
杜兰,弗朗西斯科;梅斯盖尔,何塞
8
2007
通过逻辑关系和伽罗瓦联系,免费提供抽象解释的安全性。 Zbl 1091.68069
后备箱,凯文;后台,罗兰
8
2004
异步对象组合验证系统。 Zbl 1264.68050
阿伦特,沃尔夫冈;迪拉,马克西米利安
8
2012
代数实现保持了程序的正确性。 Zbl 0597.68021
兄弟,曼弗雷德;莫勒,伯恩哈德;佩珀,彼得;维辛,马丁
7
1986
JastAdd系统模块化可扩展编译器构造。 Zbl 1147.68437
埃克曼,托比约恩;赫丁,哥雷尔
7
2007
一种信息流分析逻辑,用于简单命令式程序的前向切片。 Zbl 1171.68538号
安托夫特,托本;班纳吉,阿尼迪亚
7
2007
计算机指令理论。 Zbl 1103.68054
莫勒,沃德·道格拉斯
7
2006
面向对象程序设计的代数推理。 Zbl 1091.68027
波巴,保罗;桑帕约,奥古斯托;安娜,卡瓦尔康蒂;马尔西奥·科内里奥
7
2004
移动环境的抽象解释。 Zbl 1047.68080
尼尔森,弗莱明;汉森,雷德霍夫;尼尔森,汉娜·里斯
7
2003
统一风格的假设承诺规范的组成。 Zbl 0830.68082
科莱特,皮埃尔
7
1994
无拷贝消息的异常处理。 兹布1283.68208
雅克希奇,斯维特兰娜;帕多瓦尼,卢卡
2014
按值调用方案中的线性相关类型。 Zbl 1283.68117号
达拉戈,乌戈;佩蒂,芭芭拉
2014
任务大纲:可挂接分离的模块化搜索。 兹布1283.68318
施里杰弗斯,汤姆;德蒙,巴特;特里斯卡,马库斯;德苏特,贝诺伊特
2
2014
随机Reo连接器端到端QoS的合成模型。 Zbl 1412.68065
月亮,年轻的乔;席尔瓦,亚历山德拉;克劳斯,克里斯蒂安;阿尔巴布,法哈德
1
2014
拱肩:分布式跨越展开器。 Zbl 1279.68026
多利夫,什洛米;尼尔察哈尔
6
2013
类Java语言的柔性动态特征替换。 Zbl 1284.68101号
贝蒂尼,洛伦佐;卡佩奇,萨拉;达米亚尼,费鲁乔
2
2013
具有请求-响应操作的行为契约。 Zbl 1264.68117
阿契亚,露西亚;博雷尔,米歇尔;扎瓦塔罗,詹路易吉
2
2013
在B和Event-B开发环境中集成SMT解决方案。 Zbl 1264.68056
德哈贝,大卫
2
2013
使用自合成对侧信道对抗措施进行形式化验证。 Zbl 1284.68158
阿尔梅达,J.巴塞拉;巴博萨,曼纽尔;平托,豪尔赫S。;维埃拉,巴巴拉
1
2013
在类似Java的设置中结合traits与box和ownership类型。 Zbl 1264.68046
贝蒂尼,洛伦佐;达米亚尼,费鲁乔;盖尔曼,凯瑟琳;朔伊夫,一月
1
2013
通过精化动画验证形式化模型。 Zbl 1264.68057
哈勒斯泰德,斯特凡;鲁舍尔,迈克尔;普雷奇,丹尼尔
1
2013
理性的建模批评家:将失败的证明转化为建模指导。 Zbl 1264.68058
爱尔兰,安德鲁;格罗夫,古德蒙德;利亚诺,玛丽亚·特蕾莎;巴特勒,迈克尔
1
2013
证明安全性和发现缺陷的双重分析。 Zbl 1264.68065
波皮亚,科尼略;金伟恩
1
2013
通过分离逻辑中用户定义的谓词自动验证形状、尺寸和行李属性。 Zbl 1243.68148
金伟恩;大卫,克里斯蒂娜;阮惠海;秦胜超
19
2012
异步对象组合验证系统。 Zbl 1264.68050
阿伦特,沃尔夫冈;迪拉,马克西米利安
8
2012
对LTL不可满足和不可实现核心的概念。 Zbl 1242.68075
舒帕,维克多
6
2012
UTP理论家族的机械推理。 Zbl 1243.68270
泽达,弗兰克;安娜,卡瓦尔康蒂
6
2012
基于定时组件设计的模式事件时钟规范。 Zbl 1264.68053
伯特兰,纳撒利;勒盖,阿克塞尔;平奇纳特,索菲;Raclet,让·巴普蒂斯特
5
2012
使用实时maude验证分层托勒密二世离散事件模型。 Zbl 1264.68051
贝,京敏;厄尔维茨基,彼得·克萨巴;冯,托马斯·惠宁;李,爱德华A。;特里帕基斯,斯塔夫罗斯
5
2012
用逻辑方法验证图文法。 Zbl 1243.68211
达科斯塔,西蒙娜·安德烈;里贝罗,莱拉
4
2012
用正式的安全证明来证明程序集:以BBS为例。 Zbl 1243.68146
阿弗尔德,雷纳尔德;诺瓦克,大卫;山田,清石
4
2012
大离散状态空间线性混合自动机的精确全符号验证。 Zbl 1243.68212
该死,沃纳;迪尔克斯,亨宁;迪什,斯特凡;哈格曼,威廉;皮戈尔什,弗洛里安;斯科尔,克里斯托夫;沃德曼,乌韦;沃茨,鲍里斯
4
2012
用于\(n\)-协议兼容性检查的通用框架。 Zbl 1245.68028
杜兰,弗朗西斯科;乌德尔尼,梅里姆;格温萨拉因
2012
决定论和幂等性的规则格式。 Zbl 1243.68205
醋酸,卢卡;伯吉斯森,阿纳尔;安娜,英戈尔夫斯多蒂;穆萨维,穆萨维;雷尼尔,米歇尔A。
2012
上下文相关组件连接器的模型。 Zbl 1243.68147
邦桑格,马塞洛;克拉克,戴夫;席尔瓦,亚历山德拉
2012
CSP轨迹精化中的SAT求解。 Zbl 1243.68216
帕利卡列娃,赫里斯蒂娜;哇克宁,乔;罗斯科,A.W。
2012
保持属性的方面。 Zbl 1243.68143
德约克,小傻瓜;多恩斯,雷米;弗拉德,帕斯卡
2
2012
利用step语义对异步系统进行有效的有界模型检查。 Zbl 1243.68213
杜布罗文,乔里;Junttila,汤米;Heljanko,Keijo
2
2012
面向精化的状态流程图模型。 Zbl 1243.68152号
宫泽,阿尔瓦罗;安娜,卡瓦尔康蒂
2
2012
等时系统的组成设计。 Zbl 1250.68094
塔尔平,让·皮埃尔;哦,朱利安;戈蒂埃,蒂埃里;贝斯纳德,洛伊奇;保罗,勒格尔尼奇
2
2012
演化自适应系统的形式化建模。 Zbl 1264.68131号
卡普尔,纳吉斯;赛义德,贾利利;塔尔科特,卡罗琳;西尔贾尼,马扬;穆萨维,穆萨维
2
2012
基于SAT的定时元件连接器验证。 兹布1279.68212
肯珀,斯蒂芬妮
1
2012
连接器设计:建模、优化和测试用例生成。 Zbl 1242.68070
孟,孙;阿尔巴布,法哈德;艾瑟尼格,伯恩哈德K。;Aştefănoaei,Lăcrămioara;德波尔,弗兰克·S。;拉滕,一月
1
2012
随机故障下的网络移动:复杂性分析。 Zbl 1242.68031
克莱恩,多米尼克;拉德马赫,弗兰克G。;托马斯,沃尔夫冈
1
2012
通过(模型)等式传播结合决策过程。 Zbl 1243.68150
德奥利维拉,迭戈卡米尼亚B。;德哈贝,大卫;方丹,帕斯卡
1
2012
面向服务交互的形式化模型。 Zbl 1243.68138
菲亚迪罗,何塞;洛佩斯,安托尼亚;阿伯鲁,乔昂
1
2012
可证明正确的冲突预防带算法。 Zbl 1243.68153
安东尼,纳卡维茨;塞萨尔穆尼奥斯;道克,吉尔
1
2012
动态并行模型检查算法是验证弱LTL特性的最佳算法。 Zbl 1264.68052
巴纳特,吉;布里姆,卢博什;罗奇凯,彼得
1
2012
行为适应下的系统结构重构。 Zbl 1264.68047
Canal,卡洛斯;卡马拉,哈维尔;格温萨拉因
1
2012
域半环的内部公理。 Zbl 1211.68242
德夏奈,朱尔斯;斯特拉斯,乔治
18
2011
一种用于抽象系统属性分析的基于状态/事件的模型检查方法。 Zbl 1213.68392
泰比克,莫里斯H。;亚历山德罗·范泰奇;妮西,斯蒂芬妮娅;马赞提,佛朗哥
9
2011
使用高级替换系统对Reo中的动态重构进行建模。 Zbl 1211.68052
克劳斯,克里斯蒂安;紫岩,马拉喀;拉佐维克,亚历山大;阿尔巴布,法哈德
7
2011
用函子和单子的多阶段编程:消除泛型代码的抽象开销。 Zbl 1215.68059
卡莱特,雅克;基塞尔约夫,奥列格
5
2011
关于欧几里德算法和初等数论。 Zbl 1246.11187号
后台,罗兰;费雷拉,若昂。
4
2011
内涵型理论中嵌套数据类型的映射融合。 Zbl 1210.68048
马特斯,拉尔夫
4
2011
使用CSP和规范命令的行为树语义。 Zbl 1220.68050
科尔文,罗伯特J。;海斯,伊恩J。
4
2011
一种用于细化状态丰富的并发规范的策略语言。 Zbl 1218.68101
奥利维拉,马塞尔;泽达,弗兰克;安娜,卡瓦尔康蒂
2011
基于惰性行为子类型的多继承增量推理。 Zbl 1221.68058
多夫兰,约翰;约翰森,艾纳·布洛赫;欠你的,奥拉夫;斯特芬,马丁
2011
工作流建模的属性规范。 Zbl 1216.68165
王,彼得·Y·H。;吉本斯,杰里米
2011
simpA:一种在Java上编程并发应用程序的面向代理的方法。 Zbl 1211.68055
利奇,亚历山德罗;维罗利,米尔科;朱利奥,皮安卡斯泰利
2
2011
反射式程序生成器的一种类型系统。 Zbl 1215.68062
卢特罗斯,克里斯托夫;德拉海姆,德克;韦伯,杰拉尔德
2
2011
对枫树的部分评价。 Zbl 1215.68277
卡莱特,雅克;库塞拉,迈克尔
2
2011
程序分析中的XML图。 Zbl 1215.68079
默勒,安德斯;施瓦茨巴赫,迈克尔
2
2011
用SafeGen生成静态安全程序。 Zbl 1215.68054
黄珊珊;佐克,大卫;斯马拉格达基斯,雅尼斯
2
2011
公平ASM精化的完备性。 Zbl 1217.68065
谢尔霍恩,格哈德
2
2011
语境、精炼和决定论。 Zbl 1219.68091
里维斯,史蒂夫;史崔德,大卫
2
2011
BPMN的形式化及其应用。 Zbl 1213.68212
王,彼得·Y·H。;吉本斯,杰里米
2
2011
基于场景交互规范的Reo电路综合。 Zbl 1237.68064
孟,孙;阿尔巴布,法哈德;拜尔,克里斯特尔
2
2011
由对象组成的委托。 Zbl 1217.68047
贝蒂尼,洛伦佐;波诺,薇薇安娜;韦内里,贝蒂
2
2011
比较三种配位模式:Reo、ARC和PBRD。 Zbl 1211.68056
塔尔科特,卡罗琳;西尔贾尼,马扬;任尚平
1
2011
mpi2.0的形式化规范:一个实用并发编程API的实例研究。 Zbl 1209.68111
李国栋;帕默,罗伯特;迪莉丝,迈克尔;戈帕拉克里希南,甘尼什;柯比,罗伯特M。
1
2011
无死锁和饥饿的可重入读者作者:一个模型检验与定理证明相结合的案例研究。 Zbl 1213.68193
范加斯特,伯纳德;伦辛克,伦纳德;斯密瑟斯,Sjaak;范伊克伦,马尔科
1
2011
静态分析在微控制器二进制编码中的应用。 Zbl 1213.68390
施利希,巴斯蒂安;布劳尔,约格;科瓦莱夫斯基,斯特凡
1
2011
闪存高效LTL模型检查。 Zbl 1213.68372
埃德坎普,S。;苏莱斯基,D。;巴纳特,J。;布里姆,L。;什米切克,P。
1
2011
通用拓扑库。 Zbl 1211.68130
海因茨,勒内;施瓦哈,菲利普
1
2011
结构无关程序的转换及其对XPath查询和策略函数的应用。 Zbl 1215.68066
库尼亚,阿尔基诺;维瑟,约斯特
1
2011
多重继承的元建模语义。 Zbl 1215.68060
杜库诺,罗兰;普里瓦特,琼
1
2011
\(\@\)非空类型字节码验证算法的形式化和实现。 Zbl 1215.68069
男,克里斯;皮尔斯,大卫J。;波塔宁,亚历克斯;戴姆尼科夫,康斯坦丁
1
2011
基于约束满足的渠道协调。 Zbl 1220.68049
克拉克,戴夫;普罗恩萨,何塞;拉佐维克,亚历山大;阿尔巴布,法哈德
1
2011
一致地改变系统接口:CSP\(\|\)B的一种新的细化策略。 Zbl 1221.68062
施耐德,史蒂夫;特雷哈尼,海伦
1
2011
基于组件交互自动机的状态/事件LTL的偏序约简。 Zbl 1220.68048
北卡罗来纳州贝内什。;布里姆,L。;布赫诺娃,B。;乔纳,我。;索科尔,J。;瓦埃科娃,P。
1
2011
移动adhoc网络的过程演算。 Zbl 1192.68451
安努州辛格;罗摩克里希南,C.R。;斯莫尔卡,斯科特A。
18
2010
五边形:一个弱关系抽象域,用于有效验证数组访问。 Zbl 1197.68035
洛佐,弗朗西斯科;Fähndrich,曼努埃尔
7
2010
基于特征的程序自动综合的代数基础。 Zbl 1209.68129号
阿佩尔,斯文;伦高,克里斯蒂安;莫勒,伯恩哈德;Kästner,基督徒
6
2010
从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126
德尼古拉,洛克;戈拉,丹妮尔;汉森,雷德霍夫;尼尔森,弗莱明;尼尔森,汉娜·里斯;普罗斯特,克里斯蒂安W。;普利斯,罗萨里奥
5
2010
分块范式下关系模拟的不完全性。 Zbl 1209.68306
博伊滕,伊尔克;德里克,约翰
5
2010
基于Actor的切片技术对Rebeca模型进行有效的约简。 Zbl 1214.68223
哈米德萨布里;西尔贾尼,马扬
2010
次线性右向左扫描关键词模式匹配算法的新分类。 Zbl 1209.68170
克莱奥普斯,洛克;沃森,布鲁斯W。;兹瓦恩,杰拉德
2010
运行时概念的动态算法选择。 Zbl 1197.68036
皮尔克鲍尔,彼得;家长,肖恩;马库斯,马特;斯特鲁斯特鲁普,比亚恩
2
2010
C++开放式多方法的设计与评价。 Zbl 1211.68054
皮尔克鲍尔,彼得;索罗德基,尤里;斯特鲁斯特鲁普,比亚恩
2
2010
分布式方面的作用域策略。 Zbl 1209.68113
唐特,艾瑞克;法布里,约翰;多恩斯,雷米;诺伊,雅克;苏霍尔特,马里奥
2
2010
上下文无关语法的歧义分析。 Zbl 1189.68068
布拉布兰德,克劳斯;吉格里奇,罗伯特;默勒,安德斯
2
2010
交互组件协调的一致性概念。 Zbl 1200.68072
拉莫斯,罗德里戈;桑帕约,奥古斯托;莫塔,亚历山德拉
1
2010
使用GenVoca为分布式系统构建基于体系结构的生成器的经验。 Zbl 1196.68026
龙,钟宏;拉杰斯瓦兰,布拉加斯;湿婆,Sathyanarayanan;锡瓦巴拉辛加姆,利宾
1
2010
基于事件的编排。 Zbl 1209.68032
Ciancia,Vincenzo;法拉利,吉安鲁吉;Gunaciale,罗伯托;散步,丹妮尔
1
2010
基于组件仿真的替代性管理服务质量和组合问题。 Zbl 1214.68097
你好,皮埃尔·西里尔;奥尔加库什纳连科;沃伊诺,杰罗姆
1
2010
为非LR(1)文法生成最小LR(1)解析器表的ier(1)算法。 Zbl 1209.68286
丹尼,乔伊。;马洛伊,布莱恩A。
1
2010
简单段交换和不可计算函数的性质。 Zbl 1209.68141
莫勒,沃德·道格拉斯
1
2010
整合强制与分型和多重分派。 Zbl 1197.68033
哈利特,J.J。;卢昌科,维克多;柳,苏英;斯蒂尔,盖伊·L·琼。
1
2010
用代数组合子构造语言处理器。 Zbl 1211.68049
飞盘,尼古拉;金梅尔,加林;韦弗,菲利普;亚历山大,佩里
1
2010
使用JastAdd属性语法实现modelica编译器。 Zbl 1187.68139
奥凯森,约翰;埃克曼,托比约恩;赫丁,哥雷尔
1
2010
一个实验性的歧义检测工具。 Zbl 1187.68282号
施密兹,西尔文
1
2010
元计算的非解析模式的理论与实践。 Zbl 1191.68173
Rinderknecht,基督徒;沃兰斯基,尼克
1
2010
声音重构。 Zbl 1191.68168
马尔西奥·科内里奥;安娜,卡瓦尔康蒂;桑帕约,奥古斯托
1
2010
结合动态切片和静态切片分析汇编程序。 Zbl 1191.68174
沃德,马丁;泽丹,侯赛因
1
2010
Coq中随机算法的证明。 Zbl 1178.68667
奥德宝,菲利普;保林·莫林,克里斯汀
14
2009
影子知道:顺序程序中的细化和安全性。 Zbl 1178.68166
摩根,卡罗尔
12
2009
PiDuce—一个试验web服务技术的项目。 Zbl 1194.68077
卡皮内蒂,萨缪尔;拉尼芙,科西莫;帕多瓦尼,卢卡
8
2009
工作中的拒绝国籍。 Zbl 1192.68115
丹维,奥利弗;米利金,凯文
7
2009
协调状态图语义。 Zbl 1171.68021
艾舒斯,里克
7
2009
...还有476份文件
全部的 前5名

被3549位作者引用

23 海瑟林,维姆H。
19 段振华
19 赫密尼基尔多,曼努埃尔诉。
19 莫勒,伯恩哈德
19 斯特拉斯,乔治
17 安娜,卡瓦尔康蒂
16 霍夫纳,彼得
16 梅斯盖尔·瓜伊塔,何塞
15 伯格斯特拉,Jan A。
14 亨尼克,罗尔夫
13 阿尔巴布,法哈德
12 海斯,伊恩J。
12 摩根,卡罗尔C。
11 德尼古拉,洛克
11 德夏奈,朱尔斯
11 古特曼,沃尔特
11 奥娜库普费尔曼
11 田聪
11 张楠
10 丹维,奥利弗
10 吉本斯,杰里米
10 卡托恩,乔斯特·皮尔特
10 米德尔堡,科尼利斯A。
10 诺曼,大卫A。
10 尼尔森,弗莱明
10 奥尔德罗,恩斯特-吕迪格
10 普努埃利,阿米尔
10 塔尔科特,卡罗琳L。
9 拜尔,克里斯特尔
9 我知道,西蒙
9 科尔文,罗伯特J。
9 兰扎托,弗朗西斯科
9 桑内拉,唐纳德T。
9 Schmidt Schauß,曼弗雷德
9 范格拉贝克,罗伯特·扬
9 伍德考克,詹姆斯·C·P。
9 扎法内拉,埃尼亚
9 泽达,弗兰克
9 朱惠标
8 亚伯,安德烈亚斯M。
8 回来,拉尔夫·约翰
8 班纳,理查德
8 伯格默尔,鲁道夫
8 克拉克,戴夫
8 德里克,约翰
8 杜兰,弗朗西斯科
8 弗朗西兹,尼西姆
8 贾科巴齐,罗伯托
8 何继峰
8 赫尔曼,霍尔格
8 McIver,Annabelle K。
8 米莉,阿里
8 莫拉莱斯,何塞·弗朗西斯科
8 欠你的,奥拉夫
8 斯特芬,马丁
8 塔勒基,安德烈
8 威廉,蒂姆A.C。
8 维辛,马丁
7 后台,罗兰C。
7 贝顿,乔斯·C·M。
7 巴博萨,鲁伊斯·苏亚雷斯
7 比多伊特,米歇尔
7 兄弟,曼弗雷德
7 卡罗,曼纽尔
7 金伟恩
7 科特斯,阿戈斯蒂诺
7 达米亚尼,费鲁乔
7 德波尔,弗兰克·S。
7 格罗特,简·弗里索
7 哈雷尔,大卫
7 霍尔,C.A.R.托尼
7 约翰森,艾纳·布洛赫
7 卡普尔,迪帕克
7 国王,安迪
7 勒盖,阿克塞尔
7 刘志明
7 洛佩兹·加西亚,佩德罗
7 萨贝尔,大卫
7 桑帕约,奥古斯托C.A。
7 斯法基斯,约瑟夫
7 乌斯塔鲁,塔莫
7 沃伊纳尔,汤姆š
6 艾伯特,艾薇拉
6 阿蒂,保罗·C。
6 巴格纳,罗伯托
6 博伊滕,伊尔克A。
6 科拉迪尼,安德里亚
6 吉格里奇,罗伯特
6 戈拉,丹妮尔
6 亨辛格,托马斯A。
6 强森,本特
6 Lanese,Ivan
6 伦高,克里斯蒂安
6 列维,弗朗西斯卡
6 玛蒂奥利特,纳西索
6 马丁斯,曼努埃尔·安东尼奥
6 马斯特罗尼,伊莎贝拉
6 马特斯,拉尔夫
6 梅尼克,拉里萨A。
6 梅罗,马西莫
...还有3449位作者
全部的 前5名

被163种期刊引用

347 理论计算机科学
176 计算的形式化方面
111 信息与计算
108 计算机程序设计学
84 函数程序设计杂志
83 信息学报
75 逻辑与代数程序设计杂志
69 程序设计中的逻辑和代数方法杂志
65 信息处理信函
60 系统设计中的形式化方法
46 自动推理杂志
44 分布式计算
42 MSCS公司。计算机科学中的数学结构
31 高阶与符号计算
26 逻辑程序设计理论与实践
22 符号计算杂志
22 计算机科学中的逻辑方法
21 计算机与系统科学杂志
20 国际计算机科学基础杂志
19 计算机语言、系统与结构
17 信息科学
15 实时系统
12 离散事件动态系统
11 人工智能
10 新一代计算
10 计算系统理论
9 国际并行程序设计杂志
9 并行与分布式计算杂志
9 国际计算机数学杂志
8 计算机科学与技术杂志
8 雷罗。理论信息学与应用
8 计算逻辑学报
7 拓扑学及其应用
7 纯逻辑与应用逻辑年鉴
7 算法
7 工程、通信和计算中的应用代数
7 应用逻辑杂志
6 自动
6 编程与计算机软件
6 逻辑研究
6 并行算法及其应用
5 计算
5 雷罗。信息技术应用
5 控制论与系统分析
5 逻辑、语言与信息杂志
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 图表
2 埃及数学学会杂志
2 符号逻辑公报
2 可靠计算
2 动力系统的数学和计算机建模
2 国际应用数学与计算机科学杂志
2 机器学习研究杂志
2 自然计算
2 离散算法杂志
2 对称性
2 理论生物学杂志
1 计算机物理通信
1 国际通用系统杂志
1 国际系统科学杂志
1 工程数学杂志
1 数学生物学杂志
1 剑桥哲学学会数学进展杂志
...还有63种期刊

按年份列出的引文