×

兹马思-数学第一资源

逻辑与代数程序设计杂志

简称: J、 日志。阿尔及利亚。程序。
出版商: 爱思唯尔科学公司(北荷兰),纽约
ISSN编号: 1567-8326号
在线: http://www.sciencedirect.com/science/journal/15678326
前任: 逻辑程序设计杂志
继承人: 程序设计中的逻辑和代数方法杂志
评论: 不再编入索引
编制索引的文档: 356种出版物(2001年至2014年)
索引的引用: 325种出版物参考文献11208篇。
全部的 前5名

最新版本

83,第1期(2014年)
82,第8期(2013年)
82,第5-7期(2013年)
82,第3-4期(2013年)
82,第2期(2013年)
82,2013年第1期
81,第7-8期(2012年)
81,第6期(2012年)
81,第5期(2012年)
81,第4期(2012年)
81,第3期(2012年)
81,第2期(2012年)
81,第1期(2012年)
80,第8期(2011年)
80,2011年第7期
80,2011年第6期
80,第3-5期(2011年)
80,第2期(2011年)
80,第1期(2011年)
79,2010年第8期
79,2010年第7期
79,2010年第6期
79,第3-5期(2010年)
79,2010年第2期
79,2010年第1期
78,第8号(2009年)
78,2009年第7期
78,2009年第6期
78,2009年第5期
78,2009年第4期
78,2009年第3期
78,第2期(2009年)
78,2008年第1期
77,第1-2期(2008年)
76,2008年第2期
76,2008年第1期
75,2008年第2期
75,2008年第1期
74,2008年第2期
74,第1期(2007年)
73,第1-2期(2007年)
72,第2期(2007年)
72,第1期(2007年)
71,第2期(2007年)
71,第1期(2007年)
70,第2期(2007年)
70,第1期(2007年)
69,第1-2期(2006年)
68,第1-2期(2006年)
67,第1-2期(2006年)
66,第2期(2006年)
66,第1期(2006年)
652005年第2期
65,2005年第1期
64,第2期(2005年)
64,2005年第1期
63,第2期(2005年)
63,2005年第1期
62,第2期(2005年)
62,2005年第1期
60-61岁(2004年)
59,第1-2期(2004年)
58,第1-2期(2004年)
57,第1-2期(2003年)
56,第1-2期(2003年)
55,第1-2期(2003年)
54,第1-2期(2003年)
52-53年(2002年)
51,第2期(2002年)
51,第1期(2002年)
49,第1-2期(2001年)
48,第1-2期(2001年)
47,第2期(2001年)
47,2001年第1期
全部的 前5名

作者

7 醋酸,卢卡
7 伯格默尔,鲁道夫
7 莫勒,伯恩哈德
6 伯格斯特拉,Jan A。
6 约翰森,艾纳·布洛赫
6 拉森,金·古德斯兰德
6 米德尔堡,科尼利斯A。
6 斯特芬,马丁
5 贝顿,乔斯·C·M。
5 格罗特,简·弗里索
5 玛蒂奥利特,纳西索
5 梅斯盖尔·瓜伊塔,何塞
5 努内斯,曼努埃尔A。
5 欠你的,奥拉夫
5 施耐德,杰拉多
5 瓦莱罗,瓦伦丁
4 布雷维蒂,马里奥
4 迪亚兹,格雷戈里奥
4 古特曼,沃尔特
4 霍夫纳,彼得
4 庞塞,阿尔班
4 雷尼尔,米歇尔·阿德里安
4 施密特,冈瑟
4 斯特拉斯,乔治
班纳,理查德
布罗基,安东尼奥
坎布罗内罗,玛丽娅·埃米利娅
乔巴努,加布里埃尔
丹尼奇,塞巴斯蒂安
福克金,威廉·扬
福奈特,塞德里克
妮西,斯蒂芬妮娅
Hierons,罗伯特·马克
安娜,英格尔夫斯多蒂尔
杰斯克,捷克
卡尔,沃尔夫拉姆
卡马雷丁,费尔鲁兹。
拉特拉,迭戈
劳伦斯,迈克尔R。
李,因苏普
勒盖,阿克塞尔
马西娅,赫密尼基尔达
马辛克,米奇
梅拉约,梅赛德斯G。
佩斯,戈登J。
帕洛米诺,米格尔
Pérez Jiménez,马里奥J。
罗德里格斯,伊斯梅尔
罗达,雅各布斯E。
索科尔斯基,奥列格
乌斯塔鲁,塔莫
阿尔伯托威尔德乔
温特,迈克尔
扎瓦塔罗,詹路易吉
祖克,杰弗瑞一世。
2 阿格里戈罗埃伊,奥纳
2 贝斯克,英格
2 比洛娃,娜塔莉亚
2 布兰克,詹斯
2 布洛,罗尔
2 布塞米,玛丽亚·格拉齐亚
2 布西,娜迪亚
2 卡佐拉,迭戈
2 科斯塔,何塞·费利克斯
2 卡特罗,费尔南多
2 Cuijpers,Pieter J.L。
2 德波尔,弗兰克·S。
2 德拉哈耶,贝诺ît
2 德夏奈,朱尔斯
2 多夫兰,约翰
2 德拉格尼,尼古拉
2 段振华
2 ç植,佐坦
2 费伦伯格
2 弗朗卡兰扎,阿德里安
2 格雷比,伊莫
2 格雷拉,赫莉亚
2 汉森,迈克尔·赖克哈特
2 哈曼,北卡罗来纳州。
2 哈夫雷恩,马格纳
2 亨莱恩,弗里茨
2 轩尼诗,马修·C·B。
2 赫尔施科夫,丹尼尔
2 雅各布斯,巴特
2 杰格,格哈德
2 卡托恩,乔斯特·皮尔特
2 库特尼,麦基
2 昆兹,汉斯·彼得·A。
2 亚辛·拉赫纳奇
2 Lämmel,拉尔夫
2 拉莫,Yngve
2 白克,马丁
2 曼卡,文森佐
2 马丁内斯德阿莫尔,米格尔·安格尔
2 McIver,Annabelle K。
2 蒙塔纳里,乌戈·G。
2 莫萨科夫斯基,蒂尔
2 纳瓦罗,玛丽莎
2 尼尔森,弗莱明
2 欧莱雅,费尔南多
…还有510个作者

按年份列出的出版物

zbMATH公开赛中包含的引文

260出版物有1513年被引用时间1175份文件 引用人
操作语义学的结构方法。 邮编:1082.68062
普洛金,戈登D。
145
2004
结构操作语义学的起源。 Zbl 1072.68063
普洛金,戈登D。
47
2004
运行时验证的简要说明。 Zbl 1192.68433
白克,马丁;夏尔哈特,克里斯蒂安
37
2009
逆向代数过程计算。 Zbl 1123.68065
菲利普斯,伊恩;乌利多斯基,艾瑞克
31
2007
自动验证安全协议的选定等效项。 Zbl 1135.68007
布兰切特,布鲁诺;阿巴迪,马丁;福奈特,塞德里克
30
2008
模块化结构操作语义。 Zbl 1072.68061
莫斯,彼得D。
27
2004
并发Kleene代数及其基础。 兹布1278.68176
霍尔,托尼;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
27
2011
基于构造器的观察逻辑。 邮编:1088.68112
比多伊特,米歇尔;亨尼克,罗尔夫
25
2006
序列码的程序代数。 Zbl 1008.68079
伯格斯特拉,J.A。;抢劫,M.E。
24
2002
二十年重写逻辑。 Zbl 1267.03043
梅斯盖尔,何塞
24
2012
时间自动机的线性参数模型检验。 Zbl 1008.68069
休恩,托马斯;罗米金,朱迪;斯托琳加,玛丽埃尔;瓦德拉格,油炸食品
23
2002
折叠变型变窄与最佳变型终止。 Zbl 1291.68217
圣地亚哥埃斯科巴;萨塞,拉尔夫;梅斯盖尔,何塞
22
2012
混合过程代数。 Zbl 1090.68071
库杰珀斯,P.J.L。;雷尼尔,文学硕士。
21
2005
K语义框架概述。 Zbl 1214.68188
罗şu,格里戈;Şerbănuţă,特里安·弗洛林
20
2010
连续随机逻辑刻画了连续时间Markov过程的互模拟。 Zbl 1053.68065
乔塞·德萨内斯;帕南加登,普拉卡什
19
2003
混合Chi的句法和一致等式语义。 Zbl 1088.68111
van Beek,D.A。;伙计,K.L。;雷尼尔,文学硕士。;鲁达,J.E。;希弗勒斯,R.R.H。
16
2006
负前提在过渡系统规范中的意义。二。 Zbl 1072.68075
范格拉贝克,R.J。
15
2004
KRAKATOA工具,用于认证JML中注释的JAVA/JAVACARD程序。 Zbl 1073.68678
C.马凯。;保林·莫林。;德克萨斯州乌尔班。
15
2004
组合程序和状态机。 Zbl 1008.68068
伯格斯特拉,Jan A。;庞塞,阿尔班
14
2002
条件有序重写理论的Church-Rosser和连贯性。 Zbl 1272.03139号
杜兰,弗朗西斯科;梅斯盖尔,何塞
14
2012
精确几何计算的最新进展。 Zbl 1080.68106
李,陈;π介子,S。;是的,C.K。
13
2005
异步计算的等价层次。 Zbl 1066.68088
福奈特,塞德里克;冈瑟,乔治
13
2005
Maude中的可执行结构操作语义。 邮编:1088.68095
阿尔伯托威尔德乔;玛蒂奥利特,纳西索
12
2006
泰勒模型和浮点运算:在COSY中证明了算术运算的有效性。 Zbl 1080.68519
Revol,N。;马基诺,K。;伯兹,M。
12
2005
开发图-结构化规范的验证管理。 邮编:1088.68114
莫萨科夫斯基,蒂尔;Autexier,谢尔盖;赫特,迪特
11
2006
生物环境的路径分析。 Zbl 1147.92002号
皮勒加德,亨里克;尼尔森,弗莱明;尼尔森,汉娜·里斯
11
2008
度量代数上的可计算全函数,通用代数规范和动力系统。 Zbl 1085.68094
塔克,J.V。;扎克,J.I。
11
2005
转换系统规范中的变量绑定运算符。 Zbl 0970.68117
加州米德尔堡。
11
2001
概率过程的代数理论。 Zbl 1048.68057
努涅斯,曼努埃尔
11
2003
加权过渡系统的定量分析。 Zbl 1204.68137
瑟恩,克劳斯;伊利诺伊州费伦伯格;拉森,金G。
11
2010
时态逻辑的自由序列系统。 Zbl 1151.03009号
布吕恩勒,凯;兰格,马丁
10
2008
任意拟度量空间的双重完备。 Zbl 1211.54039号
昆兹,汉斯·彼得·A。;基伍,查利马基托
10
2008
可表示公理域。 Zbl 1207.68207
赫希,罗宾;米库拉斯,萨波尔茨
10
2011
基于带约束弧Petri网的\(\pi\)-演算的分布式语义。 Zbl 1169.68031
布西,娜迪亚;戈里里,罗伯托
10
2009
分布式系统的可观察行为:并发对象的组件推理。 Zbl 1247.68184
丁,张晶;多夫兰,约翰;约翰森,艾纳·布洛赫;欠你的,奥拉夫
10
2012
确定性条件项重写系统的操作终止性的刻画与证明。 Zbl 1206.68163
舍恩哈默,费利克斯;格雷姆利克,伯恩哈德
10
2010
余代数模态逻辑的有限模型构造。 Zbl 1127.03014
施罗德,卢茨
9
2007
用一个选择变量比较析取模态转换系统。 Zbl 1151.68035
费希尔,H。;施密特H。
9
2008
带终止的GSO公理化。 Zbl 1072.68058
贝顿,J.C.M。;德文克,E.P。
9
2004
索引归纳递归。 Zbl 1080.68014
戴比杰,彼得;塞泽尔,安东
9
2006
代数分离逻辑。 Zbl 1260.03060
当,H.-H。;霍夫纳,P。;莫勒,B。
9
2011
膜计算简介。 Zbl 1208.68127号
Păun,盖尔赫
9
2010
带优先保护的CCS。 Zbl 1134.68042
菲利普斯,伊恩
8
2008
概率与不确定性过程的代数理论。 Zbl 1054.68091
卡佐拉,迭戈;卡特罗,费尔南多;瓦莱罗,瓦伦丁;佩拉约,费尔南多L。;帕多,J.乔斯
8
2003
Miller-Rabin概率素性检验的验证。 Zbl 1048.68051
赫德,乔
8
2003
准备预购:代数和一般证明。 Zbl 1187.68309
德弗鲁托斯·埃斯克里格,大卫;罗德里格斯,卡洛斯·格雷戈里奥;帕洛米诺,米格尔
8
2009
概率定时共享变量语言的运算语义和代数语义的连接。 Zbl 1243.68208号
朱惠标;杨,范;何继峰;鲍恩,乔纳森P。;桑德斯,杰夫W。;秦胜超
8
2012
紧缩的组成机制。 Zbl 1137.68037
巴纳赫,R。;杰斯克,C。;波普尔顿,M。
7
2008
框架天妇罗的操作语义。 Zbl 1170.68006
杨晓晓;段振华
7
2008
基于pi演算的WS-BPEL语义。 Zbl 1178.68367
卢奇,罗伯托;马扎拉,曼努埃尔
7
2007
焦点和收敛过程算子:协议验证的证明策略。 Zbl 1015.68175
格罗特,简·弗里索;春天里,一月
7
2001
带有pre-JML推理条件的Java程序。 Zbl 1073.68024
雅各布斯,巴特
7
2004
具有约束项的操作保守性的另一种形式。 Zbl 1048.68056
加州米德尔堡。
7
2003
连接演算中的继承。 Zbl 1035.03011
福奈特,塞德里克;拉尼芙,科西莫;马兰吉特,卢克;雷米,迪迪埃
7
2003
并行pCRL中的线性化。 Zbl 0988.68121
格罗特,J.F。;庞塞,A。;尤森科,Y.S。
7
2001
基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214
陆琦;麦德森,迈克尔;米拉塔,马丁;拉文,瑟伦;伊利诺伊州费伦伯格;拉森,金G。
7
2012
混合系统的代数。 Zbl 1161.68032
霍夫纳,彼得;莫勒,伯恩哈德
7
2009
代数模拟。 Zbl 1184.68300
梅斯盖尔,何塞;帕洛米诺,米格尔;玛蒂奥利特,纳西索
7
2010
尖峰神经P系统的合成语义。 Zbl 1208.68123号
巴布提,罗伯托;Maggiolo Schettini,安德里亚;米兰佐,保罗;蒂尼,西蒙妮
7
2010
同步Kleene代数。 Zbl 1204.68123号
普里萨卡鲁克里斯蒂安
7
2010
克莱恩在莫代尔恶魔星下。 Zbl 1086.68080
德夏奈,朱尔斯;莫勒,伯恩哈德;Tchier,Fairouz
6
2006
抽象抽象还原。 Zbl 1086.68068
斯特拉斯,乔治
6
2006
基于非互刺激的马尔科夫行为等价物。 Zbl 1121.68077
伯纳多,马可
6
2007
\(\mathcal{HOTL}\):假设和观察检验逻辑。 Zbl 1131.68064
罗德里格斯,伊斯梅尔;梅拉约,梅赛德斯G。;努涅斯,曼努埃尔
6
2008
无穷远\(\mu\)的正则完全性。 Zbl 1156.68013
杰格,格哈德;克雷茨,马蒂斯;斯图尔特,托马斯
6
2008
分布式系统契约监控。 Zbl 1283.68243
弗朗卡兰扎,阿德里安;高西,安德鲁;佩斯,戈登J。
6
2013
行为遗传。 Zbl 0974.68137
巴斯滕,吐温;范德阿尔斯特,Wil M.P。
6
2001
移动系统的抽象解释。 Zbl 1066.68087
费雷特,杰罗姆
6
2005
你的模型检查准时吗?时间模态逻辑模型检验的复杂性。 Zbl 1008.68030
醋酸,卢卡;弗朗索瓦,弗朗索瓦
6
2002
向双代数语义添加递归构造。 Zbl 1072.68059
克林,巴特克
6
2004
从Galois connections编程。 Zbl 1257.68057
穆新成;奥利维拉,何塞·努诺
6
2012
使用概率Kleene代数pKA进行协议验证。 Zbl 1148.68034
麦基弗,又名。;冈萨里亚,C。;科恩,E。;摩根,哥伦比亚特区。
6
2008
使用模型检查从P系统生成测试。 Zbl 1208.68146
伊帕特,佛罗伦萨;乔治,玛丽安;左卡鲁,拉鲁卡
6
2010
懒惰行为亚型。 Zbl 1204.68072
多夫兰,约翰;约翰森,艾纳·布洛赫;欠你的,奥拉夫;斯特芬,马丁
6
2010
异步实时并发对象的可调度性。 Zbl 1188.68085
贾古里,穆罕默德·马赫迪;德波尔,弗兰克·S。;乔西亚,汤姆;西尔贾尼,马扬
6
2009
面向对象语言的行为接口描述,带有未来和承诺。 Zbl 1187.68130号
Ábrahám,埃里卡;格雷比,伊莫;格吕纳,安德烈亚斯;斯特芬,马丁
6
2009
不动点的关系代数计算及其应用。 Zbl 1086.68095
伯格默尔,鲁道夫
5
2006
Kleene模和线性语言。 邮编:1086.68075
Leiß,汉斯
5
2006
偏爱。一: 嵌入关系代数。 Zbl 1086.68093
施密特,冈瑟
5
2006
混合过程的线性化。 Zbl 1088.68137
范登布兰德,P.C.W。;雷尼尔,文学硕士。;库杰珀斯,P.J.L。
5
2006
CoCASL中的代数余代数规范。 邮编:1088.68115
莫萨科夫斯基,蒂尔;施罗德,卢茨;罗根巴赫,马库斯;雷切尔,霍斯特
5
2006
观测容错理论。 Zbl 1123.68080
弗朗卡兰扎,阿德里安;轩尼诗,马修
5
2007
具有递归程序的命题动态逻辑。 Zbl 1123.03017
洛丁,克里斯托夫;卢茨,卡斯滕;塞尔,奥利弗
5
2007
链接数据结构中可到达模式的一种逻辑。 Zbl 1121.03040
约什,格雷塔;拉比诺维奇,亚历山大;萨吉夫,穆利;梅耶,安托万;艾哈迈德·布瓦贾尼
5
2007
使用类型系统进行程序和验证优化。 Zbl 1151.68008
Saabas,安藤;乌斯塔鲁,塔莫
5
2008
从过程代数的角度看面向服务的计算。 Zbl 1178.68072
布雷维蒂,马里奥;扎瓦塔罗,詹路易吉
5
2007
安全pi演算和无干扰。 Zbl 1067.68096
马修,轩尼诗
5
2005
过程验证的顺序计算:任意GSO的Hennessy-Milner逻辑。 Zbl 1072.68070
辛普森,亚历克斯
5
2004
基于有序SOS格式和根渴望互模拟的离散相对时间过程语言。 Zbl 1072.68074
乌利多斯基,艾瑞克;元绍基
5
2004
大型结构化马尔可夫链模型检验。 Zbl 1048.68053
巴克霍尔茨,彼得;卡托恩,乔斯特·皮尔特;肯珀,彼得;泰珀,卡斯滕
5
2003
接触、闭包、拓扑以及行和列类型关系的链接。 Zbl 1231.03058
施密特,冈瑟;伯格默尔,鲁道夫
5
2011
CSP模型的复兴、停滞和层次结构。 Zbl 1171.68025
罗斯科,A.W。
5
2009
\(\mathcal{MOQA}\);挖掘组合静态平均案例分析的潜力。 Zbl 1192.68975
舍勒肯斯,医学博士。
5
2010
过程代数和Petri网中的时间移动性。 Zbl 1230.68154
乔巴努,加布里埃尔;库特尼,麦基
5
2011
概率系统的三值抽象。 兹布1277.68219
卡托恩,乔斯特·皮尔特;克林,丹尼尔;白克,马丁;沃尔夫,维娜
5
2012
具有权重区间的模态转换系统。 Zbl 1243.68215
朱尔,行;拉森,金G。;斯尔巴,吉
5
2012
关系半群:无限类型之间有限关系的抽象关系代数接口。 Zbl 1139.18005
卡尔,沃尔夫拉姆
5
2008
正则树语言等式理论的公理化。 Zbl 1184.68315
爱西,Z。
5
2010
膜系统的逆向计算。 Zbl 1208.68121号
阿格里戈罗埃伊,奥纳;乔巴努,加布里埃尔
5
2010
使用时间自动机验证和验证web服务编排。 Zbl 1207.68082
Cambronero,M.Emilia公司;迪亚斯,格雷戈里奥;瓦莱罗,瓦伦丁;马丁内斯,恩里克
5
2011
分布式系统契约监控。 Zbl 1283.68243
弗朗卡兰扎,阿德里安;高西,安德鲁;佩斯,戈登J。
6
2013
自由归纳半代数。 Zbl 1286.68332
爱西,Z。;库奇,W。
2013
利用关系代数和RelView计算和可视化Banks的优势关系集。 Zbl 1278.91049号
伯格默尔,鲁道夫
2013
作为定时动态条件响应图的跨组织工作流契约。 Zbl 1283.68245
希尔德布兰特,托马斯;Mukkamala,Raghava Rao;斯拉特人,提斯;萨尼蒂,弗朗西斯科
2
2013
web浏览器中JavaScript安全策略及其实施机制研究。 Zbl 1283.68063
娜塔莉亚,娜塔莉亚
2
2013
具有无限活性需求的过程。 Zbl 06236057
格雷拉,赫莉亚;科斯塔,何塞·费利克斯
1
2013
用受控自然语言编写的规范性文本的冲突分析框架。 Zbl 1283.68333
安吉洛夫,克拉西米尔;卡米勒里,约翰J。;施耐德,杰拉多
1
2013
具有名称匹配和会话类型的pi演算的算法类型检查。 兹布1283.68127
吉安蒂,马可
1
2013
安全web服务编排的会话类型。 Zbl 1283.68065
米乔克斯,乔纳森;纳吉,以利;亚历山德罗·范泰奇
1
2013
基于重写的XML存储库修复策略。 Zbl 1283.68130号
阿普特,玛里亚;巴利斯,黛米斯;法拉希,莫雷诺;弗雷奇纳,旧金山;罗梅罗,丹尼尔
1
2013
二十年重写逻辑。 Zbl 1267.03043
梅斯盖尔,何塞
24
2012
折叠变型变窄与最佳变型终止。 Zbl 1291.68217
圣地亚哥埃斯科巴;萨塞,拉尔夫;梅斯盖尔,何塞
22
2012
条件有序重写理论的Church-Rosser和连贯性。 Zbl 1272.03139号
杜兰,弗朗西斯科;梅斯盖尔,何塞
14
2012
分布式系统的可观察行为:并发对象的组件推理。 Zbl 1247.68184
丁,张晶;多夫兰,约翰;约翰森,艾纳·布洛赫;欠你的,奥拉夫
10
2012
概率定时共享变量语言的运算语义和代数语义的连接。 Zbl 1243.68208号
朱惠标;杨,范;何继峰;鲍恩,乔纳森P。;桑德斯,杰夫W。;秦胜超
8
2012
基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214
陆琦;麦德森,迈克尔;米拉塔,马丁;拉文,瑟伦;伊利诺伊州费伦伯格;拉森,金G。
7
2012
从Galois connections编程。 Zbl 1257.68057
穆新成;奥利维拉,何塞·努诺
6
2012
概率系统的三值抽象。 兹布1277.68219
卡托恩,乔斯特·皮尔特;克林,丹尼尔;白克,马丁;沃尔夫,维娜
5
2012
具有权重区间的模态转换系统。 Zbl 1243.68215
朱尔,行;拉森,金G。;斯尔巴,吉
5
2012
复杂合同的动态道义逻辑。 Zbl 1258.03024
普里萨卡鲁克里斯蒂安;施耐德,杰拉多
4
2012
按主题改写逻辑书目:1990-2011。 Zbl 1262.03052
玛蒂奥利特,纳西索;米格尔,帕洛米诺;阿尔伯托威尔德乔
2012
重写逻辑规范的声明性调试。 兹布1279.68220
里斯科,阿德里安;阿尔伯托威尔德乔;玛蒂奥利特,纳西索;卡巴莱罗,拉斐尔
2012
区间Markov链的一致性与精化。 Zbl 1247.68195
德拉哈耶,贝诺ît;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;Wąsowski和Andrzej
2012
MDE中约束规范和转换的形式化方法。 Zbl 1246.68098
Rutle,阿德里安;罗西尼,亚历山德罗;拉莫,Yngve;沃尔特,乌韦
2012
左欧米茄代数和正则方程。 兹布1279.68242
斯特拉斯,乔治
2
2012
重写产生式规则集的语义。 兹布1279.68188
卡特尔曼,迈克尔;凯勒,肖恩;梅斯盖尔,何塞
2
2012
计算psi计算的强、弱互模拟。 兹布1277.68192
约翰森,马格努斯;维克托,比恩;鹦鹉,约阿希姆
2
2012
锁处理的行为效果系统的死锁检查。 Zbl 1246.68097
双关语,kai。;斯特芬,马丁;斯托尔茨,沃尔克
2
2012
内模控制的静态分析。 兹布1243.68220
斯克里普纽克,纳塔利亚;尼尔森,弗莱明;皮勒加德,亨里克
2
2012
棋盘独立与控制问题的关系代数建模与求解。 Zbl 1280.68301
伯格默尔,鲁道夫
1
2012
偏爱。二: 构造关系代数。 Zbl 1255.03056
施密特,冈瑟
1
2012
补偿正确性分析。 Zbl 1246.68100
瓦兹,Cátia;费雷拉,卡拉
1
2012
主动目标的终止检测。 Zbl 1243.68221
德波尔,弗兰克·S。;格雷比,伊莫;斯特芬,马丁
1
2012
安全适配器的合成。 Zbl 1236.68062
马汀,J.A。;马丁内利,F。;皮门特尔,E。
1
2012
并发Kleene代数及其基础。 兹布1278.68176
霍尔,托尼;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
27
2011
可表示域代数的公理化。 Zbl 1207.68207
赫希,罗宾;米库拉斯,萨波尔茨
10
2011
代数分离逻辑。 Zbl 1260.03060
当,H.-H。;霍夫纳,P。;莫勒,B。
9
2011
接触、闭包、拓扑以及行和列类型关系的链接。 Zbl 1231.03058
施密特,冈瑟;伯格默尔,鲁道夫
5
2011
过程与时间Petri网中的过程移动性。 Zbl 1230.68154
乔巴努,加布里埃尔;库特尼,麦基
5
2011
使用时间自动机验证和验证web服务编排。 Zbl 1207.68082
Cambronero,M.Emilia公司;迪亚斯,格雷戈里奥;瓦莱罗,瓦伦丁;马丁内斯,恩里克
5
2011
服务组合中的QoS协商。 Zbl 1207.68220号
布塞米,玛丽亚·格拉齐亚;蒙塔纳里,乌戈
4
2011
一般正确性的固定点。 Zbl 1216.68073
古特曼,沃尔特
2011
拼贴:黏合结构的关系代数推理。 Zbl 1216.68137
卡尔,沃尔夫拉姆
2011
安全适应合同。 Zbl 1213.68615
马汀,J.A。;皮门特尔,E。
2
2011
基于契约的适应性方法。 Zbl 1213.68208
施罗德,安德烈亚斯;鲍尔,塞巴斯蒂安S。;维辛,马丁
2
2011
为具有优先级的系统构建分布式控制器。 Zbl 1217.68057
本哈菲德,伊梅内;格拉夫,苏珊娜;昆顿,索菲
2
2011
通过上下文相关行为的结构操作语义。 Zbl 1223.68026
科尔文,罗伯特J。;海斯,伊恩J。
2
2011
法律文本中的语篇检索。 Zbl 1213.68668
罗索,保罗;圣地亚哥科雷亚;戴维德,巴斯卡迪
1
2011
一类线性、自由、近似自由的程序模式子模式强等价的可判定性。 Zbl 1209.68136
丹尼奇,塞巴斯蒂安;海隆斯,罗伯特M。;劳伦斯,迈克尔R。
1
2011
移动环境的分散图形实现。 Zbl 1207.68224
加杜奇,法比奥;蒙瑞尔,贾科玛瓦伦蒂娜
1
2011
简单的功能工程通过简洁的默认缩减。 Zbl 1231.68106
巴纳赫,R。;杰斯克,C。
1
2011
发言许可:访问控制和一致性的逻辑。 Zbl 1207.68115号
迪内什,尼基;乔希,阿拉文;李,因苏普;索科尔斯基,奥列格
1
2011
K语义框架概述。 Zbl 1214.68188
罗şu,格里戈;Şerbănuţă,特里安·弗洛林
20
2010
加权过渡系统的定量分析。 Zbl 1204.68137
瑟恩,克劳斯;伊利诺伊州费伦伯格;拉森,金G。
11
2010
确定性条件项重写系统的操作终止性的刻画与证明。 Zbl 1206.68163
舍恩哈默,费利克斯;格雷姆利克,伯恩哈德
10
2010
膜计算简介。 Zbl 1208.68127号
Păun,盖尔赫
9
2010
代数模拟。 Zbl 1184.68300
梅斯盖尔,何塞;帕洛米诺,米格尔;玛蒂奥利特,纳西索
7
2010
尖峰神经P系统的合成语义。 Zbl 1208.68123号
巴布提,罗伯托;Maggiolo Schettini,安德里亚;米兰佐,保罗;蒂尼,西蒙妮
7
2010
同步Kleene代数。 Zbl 1204.68123号
普里萨卡鲁克里斯蒂安
7
2010
使用模型检查从P系统生成测试。 Zbl 1208.68146
伊帕特,佛罗伦萨;乔治,玛丽安;左卡鲁,拉鲁卡
6
2010
懒惰行为亚型。 Zbl 1204.68072
多夫兰,约翰;约翰森,艾纳·布洛赫;欠你的,奥拉夫;斯特芬,马丁
6
2010
\(\mathcal{MOQA}\);挖掘组合静态平均案例分析的潜力。 Zbl 1192.68975
舍勒肯斯,医学博士。
5
2010
正则树语言等式理论的公理化。 Zbl 1184.68315
爱西,Z。
5
2010
膜系统的逆向计算。 Zbl 1208.68121号
阿格里戈罗埃伊,奥纳;乔巴努,加布里埃尔
5
2010
普通设计代数。 Zbl 1184.68179
古特曼,沃尔特;莫勒,伯恩哈德
4
2010
P系统和拜占庭协议。 Zbl 1208.68116
迪宁,迈克尔J。;金,云卜;尼古拉斯库,拉杜
4
2010
实周期函数的代谢逼近。 Zbl 1208.68126号
曼卡,文森佐;马切蒂,卢卡
4
2010
MDE中版本控制的复制-修改-合并方法的正式化。 Zbl 1204.68075
罗西尼,亚历山德罗;Rutle,阿德里安;拉莫,Yngve;沃尔特,乌韦
4
2010
关于\(k\)-分区的Wadge可约性。 Zbl 1186.03066号
塞利万诺夫,维克托L。
2010
代数规范中的准布尔编码和条件句。 Zbl 1187.68322
迪亚科内斯库,Răzvan
2010
更强大的成分可以节省开支。 Zbl 1209.68131号
巴纳赫,R。;杰斯克,C。
2010
关于公平测试和服务可替换性的一致性。 Zbl 1208.68087
穆伊,阿扬·J。;斯塔尔,克里斯蒂安;沃霍夫,马克
2010
膜系统的基于规则和基于对象的事件结构。 Zbl 1208.68122号
阿格里戈罗埃伊,奥纳;乔巴努,加布里埃尔
2010
利用GPUs对基于P系统的SAT有效解进行了仿真。 Zbl 1208.68124
塞西莉亚,何塞。;加西亚,何塞。;格雷罗,杜松子酒。;马丁内斯德阿莫尔,米格尔A。;伊格纳齐奥,赫塔奇普;Pérez Jiménez,马里奥J。
2010
概率混合自动机自动分析的工程约束求解器。 Zbl 1205.68252
马丁,弗兰兹;泰格,蒂诺;埃格斯,安德烈亚斯
2010
非终结的代数概念:幂等半环中的Ω和散度。 Zbl 1205.68111
霍夫纳,彼得;斯特拉斯,乔治
2010
具有控制核的P系统:概念。 零担1208.68125
希拉,卡米莉亚;Şerbănuţă,特里安·弗洛林;Ştefănescu,格奥尔赫
2
2010
基于P语言的组织P系统模拟器。 Zbl 1209.68260
马丁内斯德阿莫尔,米格尔A。;Pérez Hurtado,伊格纳西奥;Pérez Jiménez,马里奥J。;利斯科-努涅斯,阿古斯丁
2
2010
紧急和延迟合同监控,用于按价值调用和按名称调用评估。 Zbl 1204.68071
德根,马库斯;蒂曼,彼得;威尔,斯特凡
2
2010
功能动作的命令式抽象。 Zbl 1205.68115
古特曼,沃尔特
2
2010
投影的连续性和Lipschitz常数。 Zbl 1185.41024
布里奇斯,道格拉斯S。
1
2010
相似性、拓扑和一致性。 Zbl 1181.54031号
赫克曼,莱因霍尔德
1
2010
再论FPTIME和NC的隐式特征。 Zbl 1192.68299
尼格尔,卡尔·海因茨;神童亨宁
1
2010
问题、解决方案和完成。 Zbl 1184.03059
舒斯特,彼得
1
2010
证明单子。 Zbl 1208.68144
基什内尔,弗洛伦特;塞萨尔穆尼奥斯
1
2010
高阶并行计算中的终止。 Zbl 1205.68241
德曼金,罗曼;赫尔施科夫,丹尼尔;大卫桑吉奥吉
1
2010
特殊大学排课问题的关系代数规范与求解。 Zbl 1198.90168
伯格默尔,鲁道夫;基登,布里塔
1
2010
寓言中的基数函数。 Zbl 1207.18004号
Kawahara,Yasuo;温特,迈克尔
1
2010
运行时验证的简要说明。 Zbl 1192.68433
白克,马丁;夏尔哈特,克里斯蒂安
37
2009
基于带约束弧Petri网的\(\pi\)-演算的分布式语义。 Zbl 1169.68031
布西,娜迪亚;戈里里,罗伯托
10
2009
准备预购:代数和一般证明。 Zbl 1187.68309
德弗鲁托斯·埃斯克里格,大卫;罗德里格斯,卡洛斯·格雷戈里奥;帕洛米诺,米格尔
8
2009
混合系统的代数。 Zbl 1161.68032
霍夫纳,彼得;莫勒,伯恩哈德
7
2009
异步实时并发对象的可调度性。 Zbl 1188.68085
穆罕默德,马赫贾赫德;德波尔,弗兰克·S。;乔西亚,汤姆;西尔贾尼,马扬
6
2009
面向对象语言的行为接口描述,带有未来和承诺。 Zbl 1187.68130号
Ábrahám,埃里卡;格雷比,伊莫;格吕纳,安德烈亚斯;斯特芬,马丁
6
2009
CSP模型的复兴、停滞和层次结构。 Zbl 1171.68025
罗斯科,A.W。
5
2009
具有本地和全局活性要求的流程。 Zbl 1169.68032
格雷拉,赫莉亚;科斯塔,何塞·费利克斯
2009
可证明正确的运行时监视。 Zbl 1192.68116
艾琳,阿克图;妈的,妈的;古洛夫,迪莲
2009
设计和分析web服务编排的Petri网方法。 Zbl 1188.68205
瓦莱罗,瓦伦丁;Cambronero,M.Emilia公司;迪亚斯,格雷戈里奥;马西娅,赫密尼基尔达
2009
网络感知协调语言中功能的动态管理。 Zbl 1183.68041
戈拉,丹妮尔;普利斯,罗萨里奥
2009
PLTL的tableaux和sequents的双重系统。 Zbl 1183.68596
Gaintzarain,何塞;赫莫,蒙特塞拉特;卢西奥,帕基;纳瓦罗,玛丽莎;欧莱雅,费尔南多
2009
…还有160多份文件
全部的 前5名

被1578位作者引用

26 梅斯盖尔·瓜伊塔,何塞
25 醋酸,卢卡
23 伯格斯特拉,Jan A。
22 安娜,英格尔夫斯多蒂尔
20 拉森,金·古德斯兰德
18 雷尼尔,米歇尔·阿德里安
17 米德尔堡,科尼利斯A。
17 斯特拉斯,乔治
16 罗şu,格里戈
13 伯格默尔,鲁道夫
13 古特曼,沃尔特
13 蒙塔纳里,乌戈·G。
12 福克金,威廉·扬
12 欠你的,奥拉夫
12 乌利多斯基,艾瑞克
12 范格拉贝克,罗伯特·扬
11 阿普特,玛里亚
11 圣地亚哥埃斯科巴
11 伊利诺伊州费伦伯格
10 迪亚科内斯库,Răzvan
10 弗朗卡兰扎,阿德里安
10 海斯,伊恩J。
10 霍夫纳,彼得
10 约翰森,艾纳·布洛赫
10 莫勒,伯恩哈德
10 Şerbănuţă,特里安·弗洛林
9 安德烈,爱蒂安
9 格雷戈里奥·罗德里格斯,卡洛斯
9 格罗特,简·弗里索
9 亨尼克,罗尔夫
9 Hierons,罗伯特·马克
9 勒盖,阿克塞尔
9 卢卡努,多雷尔
9 菲利普斯,法律。
9 庞塞,阿尔班
9 蒂尼,西蒙妮
9 吉田信子
9 朱惠标
8 班纳,理查德
8 巴布提,罗伯托
8 科尔文,罗伯特J。
8 德弗鲁托斯·埃斯克里格,大卫
8 法尔肯,伊莉丝
8 巴斯州卢蒂克
8 马德拉,亚历山德拉
8 米兰佐,保罗
8 莫萨科夫斯基,蒂尔
8 尼尔森,弗莱明
8 蒂兹,弗朗西斯科
8 祖克,杰弗瑞一世。
7 贝顿,乔斯·C·M。
7 拜尔,克里斯特尔
7 邦奇,菲利波
7 乔巴努,加布里埃尔
7 杜兰,弗朗西斯科
7 高知县富通寺
7 霍尔,C.A.R.托尼
7 卡托恩,乔斯特·皮尔特
7 克林,巴特克
7 列维,弗朗西斯卡
7 马丁斯,曼努埃尔·安东尼奥
7 McIver,Annabelle K。
7 梅齐纳,克劳迪奥·安塔雷斯
7 努内斯,曼努埃尔A。
7 帕丁森,迪丁森
7 拉苏,弗拉德
7 施罗德,卢茨
7 斯特芬,马丁
7 塔克,约翰五世。
6 巴利斯,黛米斯
6 巴博萨,鲁伊斯·苏亚雷斯
6 博德,恰拉
6 布耶,帕特里夏
6 布鲁尼,罗伯托
6 基米尼,马特奥
6 德劳恩,圣潘妮
6 Dezani Ciancaglini,马里安哥拉
6 段振华
6 加杜奇,法比奥
6 戈里,罗伯塔
6 克莱默,史蒂夫
6 Maggiolo Schettini,安德里亚
6 玛蒂奥利特,纳西索
6 潘托维奇,约万卡
6 蕾丝·尼尔森,汉恩
6 罗德里格斯,伊斯梅尔
6 塔尔科特,卡罗琳L。
6 范德波尔,简·科尼利斯
6 沃格勒,沃尔特
5 伯纳多,马可
5 贝斯克,英格
5 布罗多,琳达
5 卡斯特拉尼,伊利亚
5 Cuijpers,Pieter J.L。
5 当,韩兴
5 丹尼奇,塞巴斯蒂安
5 德波尔,弗兰克·S。
5 德尼古拉,洛克
5 邓玉欣
5 多夫兰,约翰
…还有1478位作者
全部的 前5名

被109种期刊引用

156 理论计算机科学
106 逻辑与代数程序设计杂志
102 程序设计中的逻辑和代数方法杂志
60 计算的形式化方面
49 信息与计算
42 MSCS公司。计算机科学中的数学结构
27 自动推理杂志
26 系统设计中的形式化方法
25 信息学报
21 计算机科学中的逻辑方法
15 信息处理信函
14 计算机程序设计学
11 应用逻辑杂志
10 纯逻辑与应用逻辑年鉴
10 国际计算机科学基础杂志
10 膜计算杂志
9 符号计算杂志
8 计算机与系统科学杂志
8 计算逻辑学报
7 拓扑学及其应用
7 函数程序设计杂志
5 通用代数
5 数学与人工智能年鉴
4 人工智能
4 国际近似推理杂志
4 计算几何
4 国际计算机数学杂志
4 分布式计算
4 计算系统理论
4 软计算
4 逻辑程序设计理论与实践
4 泛逻辑
模糊集与系统
欧洲运筹学杂志
符号逻辑公报
高阶与符号计算
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 计算机科学中的数学
2 非线性分析。混合动力系统
2 符号逻辑述评
2 公理
2 计算机科学评论
1 应用力学与工程中的计算机方法
1 离散应用数学
1 国际控制杂志
1 计算物理杂志
1 数学笔记
1 数学生物学通报
1 应用数学与计算
1 国际数学与数学科学杂志
1 国际工程数值方法杂志
1 组合理论杂志。A系列
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 伦敦皇家学会哲学汇刊。A系列数学、物理和工程科学
…还有9本杂志

按年份列出的引文