×

兹马思-数学第一资源

程序设计中的逻辑和代数方法杂志

简称: J。日志。阿尔及利亚。方法程序。
出版商: 阿姆斯特丹爱思唯尔
ISSN编号: 2352-2208号
在线: http://www.sciencedirect.com/science/journal/23522208
前任: 逻辑与代数程序设计杂志
评论: 索引封面到封面
编制索引的文档: 384种出版物(自2014年起)
索引的引用: 356种出版物参考文献13676篇。
全部的 前5名

作者

11 伯格默尔,鲁道夫
9 梅斯盖尔·瓜伊塔,何塞
9 莫勒,伯恩哈德
8 温特,迈克尔
7 霍夫纳,彼得
7 维埃拉,雨果·托雷斯
6 古特曼,沃尔特
6 欠你的,奥拉夫
6 蒂兹,弗朗西斯科
6 吉田信子
5 醋酸,卢卡
5 巴托莱蒂,马西莫
5 福泽、仁石
5 安娜,英格尔夫斯多蒂尔
5 Lanese,Ivan
5 席尔瓦,亚历山德拉
5 斯特拉斯,乔治
4 巴贝内拉,佛朗哥
4 布雷维蒂,马里奥
4 科拉迪尼,安德里亚
4 杜兰,弗朗西斯科
4 圣地亚哥埃斯科巴
4 亨利奥,卢多维奇
4 约翰森,克里斯蒂安
4 卡尔,沃尔夫拉姆
4 拉森,金·古德斯兰德
4 斯特芬,马丁
4 斯托尔茨,沃尔克
4 泰比克,莫里斯H。
我知道,西蒙
卡斯特拉尼,伊利亚
德利古罗,乌戈
Dezani Ciancaglini,马里安哥拉
弗朗卡兰扎,阿德里安
哈勒,菲利普
约翰森,艾纳·布洛赫
Kawahara,Yasuo
骑士,索菲亚
Kosiol,延斯
小羊,琳
Llana,路易斯
艾尔伯托,拉富恩特
洛豪,麦芽
卢卡努,多雷尔
穆贾,毛里齐奥
西田,直木
奥利维拉,何塞·努诺
欧莱雅,费尔南多
潘托维奇,约万卡
双关语,kai。
安托尼奥,拉瓦拉
拉苏,弗拉德
萨马蒂诺,马特奥
斯卡拉斯,阿尔切斯特
施耐德,杰拉多
斯法基斯,约瑟夫
席尔瓦,约瑟普
斯尔巴,吉
泰泽,加布里埃尔
萨尔瓦多塔马里特
托斯托,埃米利奥
乌斯塔鲁,塔莫
维达尔,格尔曼
2 阿奇利奥斯,安东尼
2 艾伯特,艾薇拉
2 阿普特,玛里亚
2 阿鲁索艾,安德烈
2 芭比·索罗斯
2 伯纳多,马可
2 深色的,保罗
2 卡巴莱罗,拉斐尔E。
2 卡马乔,卡洛斯J。
2 乔巴努,加布里埃尔
2 当,韩兴
2 德拉,胡安
2 德夏奈,朱尔斯
2 多伯卡特,恩斯特·埃里希
2 多克特,卡斯帕
2 安托万,埃尔霍卡耶姆
2 法布雷加斯,伊格纳西奥
2 法尔肯,伊莉丝
2 法拉利,吉安·路易吉
2 费瓦里,劳尔
2 傅明权
2 加杜奇,法比奥
2 Garavel,休伯特
2 吉尔赞,西尔维亚
2 吉亚奇诺,埃琳娜
2 吉斯,霍尔格
2 妮西,斯蒂芬妮娅
2 格雷戈里奥·罗德里格斯,卡洛斯
2 格拉,埃丝特
2 霍恩,罗斯
2 贾伯,穆罕默德。
2 杰克逊,马塞尔G。
2 吉普森,彼得
2 König,芭芭拉
2 克里夫林,尼古拉K。
2 勒盖,阿克塞尔
2 莱恩哈特,迈克尔
…还有610位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

158出版物有被引用349时间291份文件 引用人
使用代数效果和处理程序编程。 1306804.ZB25
鲍尔,安德烈;普雷特纳,马蒂亚
16
2015
关于由不可约集定义的拓扑。 Zbl 1308.54019号
赵东生;呵呵,翁健
15
2015
条件重写中的范式与范式理论。 Zbl 1356.68124
卢卡斯,萨尔瓦多;梅斯盖尔,何塞
8
2016
事件结构中的可逆性和不对称冲突。 Zbl 1330.68213
菲利普斯,伊恩;乌利多斯基,艾瑞克
7
2015
基于可逆会话的pi演算。 Zbl 1337.68075
蒂兹,弗朗西斯科;吉田信子
7
2015
从概率单子到交换效应。 Zbl 1382.68073
雅各布斯,巴特
6
2018
线性代数的关系型定律和结构。 Zbl 1434.15016号
德夏奈,朱尔斯;阿纳斯塔西娅,格林科;莫勒,伯恩哈德
6
2014
函数依赖的“霍尔逻辑”的关系代数方法。 Zbl 1434.68144
奥利维拉,乔森。
6
2014
对不可靠通信的鲁棒性的质量计算。 Zbl 1337.68041
尼尔森,汉娜·里斯;尼尔森,弗莱明;维戈,罗伯托
6
2015
具有不可观测运动的余代数的行为等价性。 Zbl 1330.68195
布伦戈斯,托马斯;米库兰,马里诺;佩雷索蒂,马可
5
2015
证明条件项重写系统终止性质的依赖对。 Zbl 1353.68155
卢卡斯,萨尔瓦多;梅斯盖尔,何塞
5
2017
基于元组的语言中的因果一致回滚。 Zbl 1362.68213
吉亚奇诺,埃琳娜;Lanese,Ivan;梅齐纳,克劳迪奥·安塔雷斯;蒂兹,弗朗西斯科
5
2017
结合关系代数和数据求精,开发基于矩形的自反传递闭包函数程序。 Zbl 1329.68062
伯格默尔,鲁道夫;费舍尔,塞巴斯蒂安
5
2015
马尔科夫过程代数中微分聚集的统一框架。 Zbl 1319.68151
柴可夫斯基,麦克斯;特里巴斯通,米尔科
4
2015
具有测试的幺半群和可能不停止程序的代数。 Zbl 1319.68085
杰克逊,马塞尔;斯托克斯,蒂姆
4
2015
产品族中可变性的建模和分析:具有可变性约束的模态转换系统的模型检验。 Zbl 1351.68170号
泰比克,莫里斯H。;亚历山德罗·范泰奇;妮西,斯蒂芬妮娅;马赞提,佛朗哥
4
2016
合同作为事件结构的游戏。 Zbl 1352.68174
巴托莱蒂,马西莫;提兹亚纳西莫利;米歇尔皮娜,G。;罗伯托尼诺
4
2016
基于度量的马尔可夫链近似极小化。 Zbl 1400.68098
巴奇,乔瓦尼;巴奇,乔治;拉森,金G。;马尔代尔,拉杜
4
2018
可变可满足性的元级算法。 Zbl 1430.68423
斯基里克,斯蒂芬;梅斯盖尔,何塞
4
2018
信仰、知识、谎言和其他话语在代数中的空间和挤压。 Zbl 1353.68203
古兹曼,米歇尔;哈尔,斯特凡;鲈鱼,萨利姆;鲁达,卡米洛;瓦伦西亚,弗兰克D。
4
2017
关于生成多值动态逻辑的练习。 Zbl 1355.03023
马德拉,亚历山德拉;内维斯,雷纳托;马丁斯,曼纽尔A。
4
2016
双直觉模态逻辑:基础与自动化。 Zbl 1359.03018号
斯特尔,约翰G。;施密特,雷诺A。;雷德黑德,大卫
4
2016
并行Kleene代数的发展。 Zbl 1344.68149
霍尔,托尼;范斯塔登,斯蒂芬;莫勒,伯恩哈德;斯特拉斯,乔治;朱惠标
4
2016
语言定义是重写理论。 兹布1356.68125
拉苏,弗拉德;卢卡努,多雷尔;Şerbănuţă,特里安·弗洛林;阿鲁索艾,安德烈;Ştefănescu,安德烈;罗şu,格里戈
4
2016
Orc的可执行重写逻辑语义及Orc程序的形式化分析。 Zbl 1329.68169
阿尔图尔基,穆萨布A。;梅斯盖尔,何塞
4
2015
将行为类型与安全性分析相结合。 Zbl 1330.68045
巴托莱蒂,马西莫;卡斯特拉尼,伊利亚;丹尼·卢,皮埃尔·马洛;Dezani Ciancaglini,马里安哥拉;吉尔赞,西尔维亚;潘托维奇,约万卡;佩雷斯,豪尔赫A。;蒂曼,彼得;托尼尼奥,伯纳多;维埃拉,雨果·托雷斯
2015
有限草地的结构。 Zbl 1319.68145
贝斯克,英格;罗登堡,皮特;塞文斯特,阿珍
2015
关系的基数和关系近似算法。 Zbl 1351.68152号
伯格默尔,鲁道夫;霍夫纳,彼得;斯图克,英莎
2016
二郎可逆性理论。 Zbl 1400.68046
Lanese,Ivan;西田,直木;阿德里安,帕拉契;维达尔,格尔曼
2018
面向契约系统的可验证抽象。 Zbl 1353.68194
巴托莱蒂,马西莫;穆贾,毛里齐奥;斯卡拉斯,阿尔切斯特;祖尼诺,罗伯托
2017
重写模SMT与开放系统分析。 Zbl 1353.68156
罗查,卡米洛;梅斯盖尔,何塞;塞萨尔穆尼奥斯
2017
作为计算效果的连续性。 Zbl 1355.68059
内维斯,雷纳托;巴博萨,路易斯。;霍夫曼,德克;马丁斯,曼纽尔A。
2016
连接逆范畴和可逆递归。 Zbl 1359.68045
卡阿尔斯加德,罗宾;伯克·阿克塞尔森,霍尔格;格吕克,罗伯特
2017
SOS规范的一些不可判定的性质。 Zbl 1359.68196
克林,巴特克;Nachyła,比塔
2017
用关系代数和重新查看工具。 Zbl 1362.68297
伯格默尔,鲁道夫;温特,迈克尔
2017
关系提升,一项调查。 Zbl 1344.68167
库兹,亚历山大;维莱比尔
2016
关系格:从数据库到泛代数。 Zbl 1372.68081
利塔克,塔德乌斯;米库拉斯,萨波尔茨;海得斯,简
2016
树自动机完成的终止准则。 Zbl 1356.68132
杰奈特,托马斯
2016
Tarski-Kleene层次结构中的编程和数学自动化。 兹布1434.68637
阿姆斯特朗,阿拉斯代尔;斯特拉斯,乔治;韦伯,特贾克
2014
马尔可夫过程的最大熵。 兹布1371.68175
比昂迪,法布里齐奥;勒盖,阿克塞尔;尼尔森,博弗里斯;Wąsowski和Andrzej
2014
并行分离逻辑与并发Kleene代数的关系。 Zbl 1330.03072
奥赫恩,彼得W。;彼得森,拉斯穆斯L。;维拉德,朱尔斯;侯赛因,阿克巴
2015
关于\(\mathcal{M})-粘着转换系统中冲突的本质和初始性。 Zbl 1435.68131号
阿兹,吉尔赫墨格罗肖;科拉迪尼,安德里亚;里贝罗,莱拉
2019
具有预序的\(\pi\)-微积分的行为理论。 Zbl 1330.68205
赫尔施科夫,丹尼尔;马迪奥特,让-玛丽;Xian,Xu
2
2015
Petri网中因果关系的余代数语义。 68ZB 196升
布鲁尼,罗伯托;蒙塔纳里,乌戈;萨马蒂诺,马特奥
2
2015
热带半域多维优化问题的完全代数解。 Zbl 1412.90143
克里夫林,尼古拉
2
2018
多党会议类型,超越二元性。 Zbl 1395.68199
斯卡拉斯,阿尔切斯特;吉田信子
2
2018
软并发约束规划的观测和行为等价性。 Zbl 1373.68176
加杜奇,法比奥;桑蒂尼,弗朗西斯科;皮诺,路易斯F。;瓦伦西亚,弗兰克D。
2
2017
全集成模糊逻辑语言的阈值语义框架。 Zbl 1372.68053
Julián-Iranzo,帕斯卡;莫雷诺,杜松子酒;佩纳巴德,詹姆
2
2017
实域上部分函数的计算模型。 Zbl 1320.68079
傅明权;扎克,杰弗瑞
2
2015
广义多帧任务的最优资源共享协议。 Zbl 1304.68024号
埃克伯格,庞图斯;关,南;斯蒂格,马丁;易,王
2
2015
PCF的非确定性和概率扩展的完全抽象。一: 天使的案子。 Zbl 1304.68026
古伯尔特·拉雷克,珍
2
2015
基于区间值S-蕴涵的模糊推理五重蕴涵原理。 Zbl 1400.68221
李德超;秦四建
2
2018
社交网络的标记图战略重写。 Zbl 1430.68134
费尔南德斯,玛丽贝尔;基什内尔,Hélène;皮诺,布鲁诺;瓦莱特,杰森
2
2018
马尔科夫过程代数中的约化语义。 Zbl 1430.68160
布雷维蒂,马里奥
2
2018
ST结构。 Zbl 1353.68208号
约翰森,克里斯蒂安
2
2016
协调的会话符合性。 Zbl 1353.68023
巴贝内拉,佛朗哥;范巴克尔,斯特芬;德利古罗,乌戈
2
2017
构形结构中的上下文等价性和可逆性。 Zbl 1353.68193
奥伯特,克莱门特;克里斯特斯库,约阿纳
2
2017
良基不动点的方程性质分析。 Zbl 1373.06004号
Carayol,阿诺;ç植,佐坦
2
2017
产品程序和关系程序逻辑。 Zbl 1355.68047
巴特,吉尔;克雷斯波,胡安·曼努埃尔;库兹,塞萨尔
2
2016
用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 Zbl 1375.18027号
辛兹,拉尔夫;马斯登,丹
2
2016
探索一个可能的并发值。 Zbl 1355.68043
琼斯,克里夫B。;海斯,伊恩J。
2
2016
单胞菌与不确定性的套曲。 Zbl 1355.68041
乌斯塔鲁,塔莫
2
2016
带测试和分支自动机的并发Kleene代数。 Zbl 1344.68083
吉普森,彼得;莫希尔,M。安得烈
2
2016
异步组件的行为语义。 Zbl 1407.68271
阿默尔·鲍利法,R。;亨利奥,L。;库兰基纳,O。;马德兰,E。;萨武,A。
2
2017
基于矩阵稀疏化的热带优化问题代数解及其在调度中的应用。 Zbl 1386.90174
克里夫林,尼古拉
2
2017
一些关系代数的离散对偶性。 Zbl 1434.68556
杜恩茨,伊沃;或者奥夫斯卡,埃瓦
2
2014
构建行为规范的基础。 兹布1434.68305
迪亚科内斯库,Răzvan;Ţuţu,Ionuţ
2
2014
随机有效函数的代数性质。 Zbl 1434.68336
多伯卡特,恩斯特·埃里希
2
2014
一个健全和完整的推理系统,用于共享未来的异步通信。 Zbl 1371.68190号
丁,张晶;欠你的,奥拉夫
2
2014
面向模型转换的柔性重用:基于图变换的形式化方法。 Zbl 1371.68055
德拉,胡安;格拉,埃丝特
2
2014
无限执行懒惰和严格的计算。 兹布1329.68112
古特曼,沃尔特
2
2015
Coq中Kleene代数项等价性的判定。 Zbl 1329.68232
莫雷拉,内尔玛;佩雷拉,大卫;西芒梅洛·德索萨
2
2015
对称Heyting关系代数及其在超图中的应用。 Zbl 1330.03094
斯特尔,约翰G。
2
2015
链接数据使用者的最小类型推断。 Zbl 1329.68085
乔巴努,加布里埃尔;霍恩,罗斯;萨松,弗拉基米罗
2
2015
用知识系统进行推理的逻辑代数工具。 Zbl 1400.68210
阿隆索·吉姆内斯,乔萨。;阿兰达·科拉尔,冈萨洛A。;博雷戈-迪亚兹,乔奎因;费尔南德斯·勒布朗,M。抹大拉拿;何塞·伊达尔戈·多布拉多,M。
2
2018
公理化有限状态行为的无穷概率弱二相似性。 Zbl 1408.68101号
菲舍尔,尼克;范格拉贝克,罗伯
2
2019
图转换系统中冲突和依赖的粒度:二维方法。 Zbl 1417.68078
小羊,琳;出生,克里斯托弗;Kosiol,延斯;斯特鲁伯,丹尼尔;加布里埃尔,泰泽
2
2019
PBPO图变换方法。 Zbl 1417.68075
科拉迪尼,安德里亚;杜瓦尔,多米尼克;埃查赫德,拉希德;普罗斯特,弗里德里克;里贝罗,莱拉
2
2019
行为规范理论的线性时间分支时间谱。 Zbl 1433.68214
伊利诺伊州费伦伯格;勒盖,阿克塞尔
2
2020
并发加权逻辑。 Zbl 1330.68210
拉森,金G。;马尔代尔,拉杜;薛冰天
1
2015
推断正则语言和\(\omega\)-语言。 Zbl 1394.68211
菲斯曼,达娜
1
2018
一种用于分布式和面向对象系统的保密语言。 Zbl 1395.68198
托克塔姆拉梅扎尼法尔哈尼;欠你的,奥拉夫;托卡斯,舒坤
1
2018
算法调试通用化。 Zbl 1395.68094
英莎,大卫;席尔瓦,约瑟普
1
2018
通过运行时断言检查和跟踪切片调试Maude程序。 Zbl 1348.68027
阿普特,玛里亚;巴利斯,黛米斯;弗雷奇纳,旧金山;萨皮尼亚,茱莉亚
1
2016
探索名义元胞自动机。 兹布1378.68115
博洛涅西,托马索;Ciancia,Vincenzo
1
2017
每个显式域都有一个CSP表达式-计算机科学中的元逻辑。 Zbl 1382.68050
比约纳,吃饭
1
2018
虚拟时间环境:嵌套虚拟化的演算。 Zbl 1381.68205
约翰森,艾纳·布洛赫;斯特芬,马丁;Stumpf,Johanna Beate
1
2018
术语重写中的可逆计算。 Zbl 1381.68107号
西田,直木;帕拉西奥斯,阿德里安;维达尔,格尔曼
1
2018
可变性编码:从编译时到加载时的可变性。 Zbl 1346.68057
冯莱茵,亚历山大;图姆,托马斯;谢弗,印第安纳州;利比格,约格;阿佩尔,斯文
1
2016
面向方面产品族代数的编织过程。 Zbl 1346.68068
张庆雷;赫德利,里达
1
2016
软件产品线的成本相关接口。 Zbl 1346.68059
卡马乔,卡洛斯;Llana,路易斯;努涅斯,阿尔伯托
1
2016
联系两个基于自动机的编排和编排模型。 Zbl 1352.68125号
巴兹尔,D。;德加诺,P。;法拉利,G。1.1。;托斯托,E。
1
2016
在定时面向对象模型中集成部署架构和资源消耗。 Zbl 1304.68029号
约翰森,艾纳·布洛赫;拉特,鲁道夫;Tapia Tarifa,S。莉兹
1
2015
半可计算实数集的刻画。 Zbl 1307.68028号
谢,波;傅明权;扎克,杰弗瑞
1
2015
Best by simulations:用于比较可重构架构在工作负载和截止日期上的效率的框架。 Zbl 1400.68043
普拉萨德,桑吉瓦
1
2018
一种并发对象协议的类型检查算法。 Zbl 1400.68141
帕多瓦尼,卢卡
1
2018
基于地图的抽象领域需求驱动的过程间分析。 Zbl 1400.68054
阿皮尼斯,卡尔默;维尼,瓦尔莫;沃伊达尼,维萨尔
1
2018
赋予和原子:使用隔离、委托和分组的并发编程。 Zbl 1400.68053
卡斯特格林,埃利亚斯;沃林,乔尔;瑞格斯塔,托比亚斯
1
2018
\(\mathsf{ioco}\underline{\mathsf{s}}\)一致性关系的公理语义。 Zbl 1400.68133
格雷戈里奥·罗德里格斯,卡洛斯;Llana,路易斯;马丁内斯,拉斐尔
1
2018
社交网络成瘾的混合自动机模型。 Zbl 1418.91431
纳斯蒂,露西亚;米兰佐,保罗
1
2018
行为规范理论的线性时间分支时间谱。 Zbl 1433.68214
伊利诺伊州费伦伯格;勒盖,阿克塞尔
2
2020
图的层次结构中的知识表示与更新。 Zbl 1441.68245
哈默,罗斯;奥舒科,尤金尼亚
1
2020
广义图模式匹配的混合搜索计划生成。 Zbl 1451.68198
巴科夫斯基,马提亚斯;吉斯,霍尔格
1
2020
构造模型转换规则的最优约束保持应用条件。 Zbl 1451.68140
内布拉斯纳萨尔;Kosiol,延斯;阿伦特,托尔斯滕;泰泽,加布里埃尔
1
2020
从全局编排到可验证的高效分布式实现。 兹布1452.68125
贾比尔,穆罕默德;法尔肯,伊莉丝;阿蒂,保罗;哈利勒,艾尔·阿巴斯;哈拉尔,雷恩;安托万,埃尔霍卡耶姆
1
2020
关于\(\mathcal{M})-粘着转换系统中冲突的本质和初始性。 Zbl 1435.68131号
阿兹,吉尔赫墨格罗肖;科拉迪尼,安德里亚;里贝罗,莱拉
2019
公理化有限状态行为的无穷概率弱二相似性。 Zbl 1408.68101号
菲舍尔,尼克;范格拉贝克,罗伯
2
2019
二维系统中的粒度转换方法:图与二维系统中的冲突。 Zbl 1417.68078
小羊,琳;出生,克里斯托弗;Kosiol,延斯;斯特鲁伯,丹尼尔;泰泽,加布里埃尔
2
2019
PBPO图变换方法。 Zbl 1417.68075
科拉迪尼,安德里亚;杜瓦尔,多米尼克;埃查赫德,拉希德;普罗斯特,弗里德里克;里贝罗,莱拉
2
2019
编排交互的会话类型和子类型。 Zbl 1433.68232
巴贝内拉,佛朗哥;de’利古罗,乌戈
1
2019
天使和恶魔组成的领域和范围。 Zbl 1417.68033
杰克逊,马塞尔;米库拉斯,萨波尔茨
1
2019
活动对象交互范式的评价。 Zbl 1417.68023
卡拉米,法赞;欠你的,奥拉夫;托克塔姆拉梅扎尼法尔哈尼
1
2019
保持公平:对等与合成。 Zbl 1431.68077
梅尼克,斯蒂芬;普瑞恩,托比亚斯
1
2019
可逆事件结构的范畴表示。 Zbl 1427.68196
格拉弗森,伊娃;菲利普斯,伊恩;吉田信子
1
2019
同步多方会议的精确子类型。 Zbl 1423.68306
吉尔赞,西尔维亚;雅克希奇,斯维特兰娜;潘托维奇,约万卡;斯卡拉斯,阿尔切斯特;吉田信子
1
2019
HOL-Light中功能变异的形式化。 Zbl 1423.68427
张静芝;王国辉;史志平;关勇;李永东
1
2019
基于LSTM的博弈模型潜在语义分析。 Zbl 1423.68086
吉卡,丹·R。;阿亚海亚,库洛德
1
2019
基于群体规模的社交网络创建的逻辑研究。 Zbl 1425.91379
史密茨,索尼娅;费尔南多R。
1
2019
多级耦合模型转换,精确和可重用的模型行为定义。 Zbl 1423.68105
麦卡斯,费尔南多;沃尔特,乌韦;Rutle,阿德里安;杜兰,弗朗西斯科;罗德里格斯·埃切弗里亚,罗伯托
1
2019
为浮动授权建模的微积分。 Zbl 1431.68080
普罗基奇,伊万;潘托维奇,约万卡;维埃拉,雨果·托雷斯
1
2019
内省作为关系模型中的一种行为。 Zbl 1435.03035
瓦里菲尔;费尔南多R。
1
2019
用于验证多功能分布式系统的模块化框架。 Zbl 1435.68191
雪佛鲁,弗洛伦特;休罗,奥丽;奎因内克,菲利普
1
2019
鞍座的可实现性。 Zbl 1435.68213
Gunaciale,罗伯托;托斯托,埃米利奥
1
2019
文本对齐的SPMD程序的指称语义。 Zbl 1435.68058
达布罗斯基,弗里德里克
1
2019
连接有限状态机通信的开放系统。 Zbl 1435.68211
巴贝内拉,佛朗哥;de’利古罗,乌戈;亨尼克,罗尔夫
1
2019
BSP算法的公理化和特征化。 Zbl 1435.68187
马奎尔,尤安;加瓦,弗里德里克
1
2019
确保分布式系统的活跃性:开放性问题。 Zbl 1435.68216
范格拉贝克,罗伯
1
2019
反应系统中通过图冲浪实现的图变换。 Zbl 1435.68135
克洛夫斯基,汉斯-Jörg;罗森伯格,格尔茨戈尔茨
1
2019
核心:通过SAT/SMT解算器计算核心图的工具。 Zbl 1435.68174
König,芭芭拉;内德科恩,马克西姆;诺特,丹尼斯
1
2019
从分布式协调到场微积分和聚合计算。 Zbl 1435.68049
维罗利,米尔科;比尔,雅各布;达米亚尼,费鲁乔;奥德里托,乔治;卡萨迪,罗伯托;皮亚尼,丹尼洛
1
2019
从概率单子到交换效应。 Zbl 1382.68073
雅各布斯,巴特
6
2018
基于度量的马尔可夫链近似极小化。 Zbl 1400.68098
巴奇,乔瓦尼;巴奇,乔治;拉森,金G。;马尔代尔,拉杜
4
2018
可变可满足性的元级算法。 Zbl 1430.68423
斯基里克,斯蒂芬;梅斯盖尔,何塞
4
2018
二郎可逆性理论。 Zbl 1400.68046
Lanese,Ivan;西田,直木;帕拉西奥斯,阿德里安;维达尔,格尔曼
2018
热带半域多维优化问题的完全代数解。 Zbl 1412.90143
克里夫林,尼古拉
2
2018
多党会议类型,超越二元性。 Zbl 1395.68199
斯卡拉斯,阿尔切斯特;吉田信子
2
2018
基于区间值S-蕴涵的模糊推理五重蕴涵原理。 Zbl 1400.68221
李德超;斯健,斯健
2
2018
社交网络的标记图战略重写。 Zbl 1430.68134
费尔南德斯,玛丽贝尔;基什内尔,Hélène;皮诺,布鲁诺;瓦莱特,杰森
2
2018
马尔科夫过程代数中的约化语义。 Zbl 1430.68160
布雷维蒂,马里奥
2
2018
用知识系统进行推理的逻辑代数工具。 Zbl 1400.68210
阿隆索·吉姆内斯,乔萨。;阿兰达·科拉尔,冈萨洛A。;博雷戈-迪亚兹,乔奎因;费尔南德斯·勒布朗,M。抹大拉拿;何塞·伊达尔戈·多布拉多,M。
2
2018
推断正则语言和\(\omega\)-语言。 Zbl 1394.68211
菲斯曼,达娜
1
2018
一种用于分布式和面向对象系统的保密语言。 Zbl 1395.68198
托克塔姆拉梅扎尼法尔哈尼;欠你的,奥拉夫;托卡斯,舒坤
1
2018
算法调试通用化。 Zbl 1395.68094
英莎,大卫;席尔瓦,约瑟普
1
2018
每个显式域都有一个CSP表达式-计算机科学中的元逻辑。 Zbl 1382.68050
比约纳,吃饭
1
2018
虚拟时间环境:嵌套虚拟化的演算。 Zbl 1381.68205
约翰森,艾纳·布洛赫;斯特芬,马丁;Stumpf,Johanna Beate
1
2018
术语重写中的可逆计算。 Zbl 1381.68107号
西田,直木;帕拉西奥斯,阿德里安;维达尔,格尔曼
1
2018
Best by simulations:用于比较可重构架构在工作负载和截止日期上的效率的框架。 Zbl 1400.68043
普拉萨德,桑吉瓦
1
2018
一种并发对象协议的类型检查算法。 Zbl 1400.68141
帕多瓦尼,卢卡
1
2018
基于地图的抽象领域需求驱动的过程间分析。 Zbl 1400.68054
阿皮尼斯,卡尔默;维尼,瓦尔莫;沃伊达尼,维萨尔
1
2018
赋予和原子:使用隔离、委托和分组的并发编程。 Zbl 1400.68053
卡斯特格林,埃利亚斯;沃林,乔尔;瑞格斯塔,托比亚斯
1
2018
\(\mathsf{ioco}\underline{\mathsf{s}}\)一致性关系的公理语义。 Zbl 1400.68133
格雷戈里奥·罗德里格斯,卡洛斯;Llana,路易斯;马丁内斯,拉斐尔
1
2018
社交网络成瘾的混合自动机模型。 Zbl 1418.91431
纳斯蒂,露西亚;米兰佐,保罗
1
2018
有限状态机的验证:分布式方法。 Zbl 1430.68152号
戈里里,罗伯托
1
2018
逻辑程序设计:松散和饱和。 Zbl 1400.68049
叶卡捷琳娜Komendantskaya;约翰,权力
1
2018
并发Erlang程序的声明性调试。 Zbl 1400.68052
卡巴莱罗,拉斐尔;马丁·马丁,恩里克;里斯科,阿德里安;萨尔瓦多塔马里特
1
2018
无锁并发二项堆。 Zbl 1400.68063
洛,加文
1
2018
概率定时图变换系统。 Zbl 1400.68058
玛西莫娃,玛丽亚;吉斯,霍尔格;克劳斯,克里斯蒂安
1
2018
用Stone关系代数验证最小生成树算法。 Zbl 1401.68247
古特曼,沃尔特
1
2018
证明条件项重写系统终止性质的依赖对。 Zbl 1353.68155
卢卡斯,萨尔瓦多;梅斯盖尔,何塞
5
2017
基于元组的语言中的因果一致回滚。 Zbl 1362.68213
吉亚奇诺,埃琳娜;Lanese,Ivan;梅齐纳,克劳迪奥·安塔雷斯;蒂兹,弗朗西斯科
5
2017
信仰、知识、谎言和其他话语在代数中的空间和挤压。 Zbl 1353.68203
古兹曼,米歇尔;哈尔,斯特凡;鲈鱼,萨利姆;鲁达,卡米洛;瓦伦西亚,弗兰克D。
4
2017
面向契约系统的可验证抽象。 Zbl 1353.68194
巴托莱蒂,马西莫;穆贾,毛里齐奥;斯卡拉斯,阿尔切斯特;祖尼诺,罗伯托
2017
重写模SMT与开放系统分析。 Zbl 1353.68156
罗查,卡米洛;梅斯盖尔,何塞;塞萨尔穆尼奥斯
2017
连接逆范畴和可逆递归。 Zbl 1359.68045
卡阿尔斯加德,罗宾;伯克·阿克塞尔森,霍尔格;格吕克,罗伯特
2017
SOS规范的一些不可判定的性质。 Zbl 1359.68196
克林,巴特克;Nachyła,比塔
2017
用关系代数和重新查看工具。 Zbl 1362.68297
伯格默尔,鲁道夫;温特,迈克尔
2017
软并发约束规划的观测和行为等价性。 Zbl 1373.68176
加杜奇,法比奥;桑蒂尼,弗朗西斯科;皮诺,路易斯F。;瓦伦西亚,弗兰克D。
2
2017
全集成模糊逻辑语言的阈值语义框架。 Zbl 1372.68053
Julián-Iranzo,帕斯卡;莫雷诺,杜松子酒;佩纳巴德,詹姆
2
2017
协调的会话符合性。 Zbl 1353.68023
巴巴拉;范巴克尔,斯特芬;de’利古罗,乌戈
2
2017
构形结构中的上下文等价性和可逆性。 Zbl 1353.68193
奥伯特,克莱门特;克里斯蒂亚娜,克里斯蒂亚娜
2
2017
良基不动点的方程性质分析。 Zbl 1373.06004号
Carayol,阿诺;ç植,佐坦
2
2017
异步组件的行为语义。 Zbl 1407.68271
阿默尔·鲍利法,R。;亨利奥,L。;库兰基纳,O。;马德兰,E。;萨武,A。
2
2017
基于矩阵稀疏化的热带优化问题代数解及其在调度中的应用。 Zbl 1386.90174
克里夫林,尼古拉
2
2017
探索名义元胞自动机。 兹布1378.68115
博洛涅西,托马索;Ciancia,Vincenzo
1
2017
结合与征服:联系BIP和Reo。 Zbl 1353.68201号
多克特,卡斯帕;琼曼,宋实;阿尔巴布,法哈德;我知道,西蒙
1
2017
领域特定语言与行为的融合。 Zbl 1353.68028号
杜兰,弗朗西斯科;莫雷诺·德尔加多,安东尼奥;欧莱雅,费尔南多;斯查勒,斯特芬
1
2017
基于归一化Minkowski距离的区间值模糊推理三I算法的鲁棒性。 Zbl 1431.03042
罗敏霞;刘,贝
1
2017
\(\lambda\)-可定义性的冲突帐户。 Zbl 1403.03020
杰伊,巴里;维加拉,何塞
1
2017
内容相关的信息流控制。 Zbl 1359.68050
尼尔森,汉娜·里斯;尼尔森,弗莱明
1
2017
密码协议中建立等价属性的符号方法综述。 Zbl 1359.68023
德劳恩,圣潘妮;希希,卢卡
1
2017
从命令式到基于规则的图形程序。 Zbl 1362.68032
丰满,德特勒夫
1
2017
基于标志的大步语义。 Zbl 1362.68160号
巴赫·鲍尔森,卡斯帕;莫斯,彼得D。
1
2017
智能会话的数据驱动自适应。 Zbl 1371.68188
波诺,薇薇安娜;科波,马里奥;Dezani Ciancaglini,马里安哥拉;韦内里,贝蒂
1
2017
条件重写中的范式与范式理论。 Zbl 1356.68124
卢卡斯,萨尔瓦多;梅斯盖尔,何塞
8
2016
产品族中可变性的建模和分析:具有可变性约束的模态转换系统的模型检验。 Zbl 1351.68170号
比克,米斯。;亚历山德罗·范泰奇;妮西,斯蒂芬妮娅;马赞提,佛朗哥
4
2016
合同作为事件结构的游戏。 Zbl 1352.68174
巴托莱蒂,马西莫;提兹亚纳西莫利;米歇尔皮娜,G。;祖尼诺,罗伯托
4
2016
关于生成多值动态逻辑的练习。 Zbl 1355.03023
马德拉,亚历山德拉;内维斯,雷纳托;马丁斯,曼纽尔A。
4
2016
双直觉模态逻辑:基础与自动化。 Zbl 1359.03018号
斯特尔,约翰G。;施密特,雷诺A。;雷德黑德,大卫
4
2016
并行Kleene代数的发展。 Zbl 1344.68149
霍尔,托尼;范斯塔登,斯蒂芬;莫勒,伯恩哈德;斯特拉斯,乔治;朱惠标
4
2016
语言定义是重写理论。 兹布1356.68125
拉苏,弗拉德;卢卡努,多雷尔;Şerbănuţă,特里安·弗洛林;阿鲁索艾,安德烈;Ştefănescu,安德烈;罗şu,格里戈
4
2016
关系的基数和关系近似算法。 Zbl 1351.68152号
伯格默尔,鲁道夫;霍夫纳,彼得;斯图克,英莎
2016
作为计算效果的连续性。 Zbl 1355.68059
内维斯,雷纳托;巴博萨,路易斯。;霍夫曼,德克;马丁斯,曼纽尔A。
2016
关系提升,一项调查。 Zbl 1344.68167
库兹,亚历山大;维莱比尔
2016
关系格:从数据库到泛代数。 Zbl 1372.68081
利塔克,塔德乌斯;米库拉斯,萨波尔茨;海得斯,简
2016
树自动机完成的终止准则。 Zbl 1356.68132
杰奈特,托马斯
2016
ST结构。 Zbl 1353.68208号
约翰森,克里斯蒂安
2
2016
产品程序和关系程序逻辑。 Zbl 1355.68047
巴特,吉尔;克雷斯波,胡安·曼努埃尔;库兹,塞萨尔
2
2016
用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 Zbl 1375.18027号
辛兹,拉尔夫;马斯登,丹
2
2016
可能的价值:探索并发性的概念。 Zbl 1355.68043
琼斯,克里夫B。;伊恩,海斯。
2
2016
单胞菌与不确定性的套曲。 Zbl 1355.68041
乌斯塔鲁,塔莫
2
2016
…还有58份文件
全部的 前5名

被508位作者引用

11 梅斯盖尔·瓜伊塔,何塞
7 Dezani Ciancaglini,马里安哥拉
7 古特曼,沃尔特
7 帕米吉亚诺,亚历山德拉
6 伯格默尔,鲁道夫
6 康拉德,威廉J。
6 卢卡斯,萨尔瓦多
6 徐晓泉
5 雅各布斯,巴特
5 拉森,金·古德斯兰德
5 尼尔森,弗莱明
5 蕾丝·尼尔森,汉恩
5 扎纳西,法比奥
5 赵东生
4 巴贝内拉,佛朗哥
4 巴托莱蒂,马西莫
4 卡斯特拉尼,伊利亚
4 杜兰,弗朗西斯科
4 古铁雷斯,劳尔
4 Lanese,Ivan
4 李庆国
4 马德拉,亚历山德拉
4 马尔代尔,拉杜
4 马丁斯,曼努埃尔·安东尼奥
4 莫勒,伯恩哈德
4 内维斯,雷纳托
4 佩雷斯,豪尔赫A。
4 普雷特纳,马蒂亚
4 斯特拉斯,乔治
4 温特,迈克尔
4 吉田信子
巴奇,乔治
巴奇,乔瓦尼
伯格斯特拉,Jan A。
巴杜里,普兰达尔
布雷维蒂,马里奥
德利古罗,乌戈
贾尼尼,保罗
霍夫纳,彼得
约翰森,克里斯蒂安
卡阿尔斯加德,罗宾
林德利,山姆
陆静
梅齐纳,克劳迪奥·安塔雷斯
欠你的,奥拉夫
惊慌失措的,盖亚特里
圣托卡纳尔,路易吉
席尔瓦,亚历山德拉
特里巴斯通,米尔科
范丁,安德烈
维达尔,格尔曼
王开云
赵斌
朱惠标
祖尼诺,罗伯托
2 醋酸,卢卡
2 阿普特,玛里亚
2 安布拉德,马克西姆
2 阿尔巴布,法哈德
2 阿鲁索艾,安德烈
2 阿特基,罗伯特
2 巴博萨,鲁伊斯·苏亚雷斯
2 贝尼维德斯,马里奥。F。
2 邦奇,菲利波
2 深色的,保罗
2 卡德利,卢卡
2 科拉迪尼,安德里亚
2 皮耶尔帕诺
2 迪亚科内斯库,Răzvan
2 迪莫夫斯基,Aleksandar S。
2 多伯卡特,恩斯特·埃里希
2 埃查赫德,拉希德
2 圣地亚哥埃斯科巴
2 法布雷加斯,伊格纳西奥
2 伊利诺伊州费伦伯格
2 费尔南德斯,玛丽贝尔
2 格吕克,罗伯特
2 格雷戈里奥·罗德里格斯,卡洛斯
2 古兹曼,米歇尔
2 亨利奥,卢多维奇
2 丹尼尔,希勒斯特伦
2 霍尔,C。A。R。托尼
2 霍恩,罗斯
2 安娜,英格尔夫斯多蒂尔
2 卡普,托比亚斯
2 基什内尔,Hélène
2 勒盖,阿克塞尔
2 巴斯州卢蒂克
2 梅塞多,雨果·丹尼尔
2 玛德琳,埃里克
2 马尔希克,吉尔卡
2 McIver,Annabelle K。
2 莫雷拉,内尔玛
2 莫雷诺,杜松子酒
2 穆贾,毛里齐奥
2 西田,直木
2 奥拉特,卡洛斯
2 奥利维拉,何塞·努诺
2 欧莱雅,费尔南多
2 帕拉西奥斯,阿德里安G。
…还有408位作者

按年份列出的引文