逻辑与代数程序设计杂志 简短标题: J.日志。阿尔盖布。程序。 出版商: 爱思唯尔科学公司(北荷兰),纽约州纽约市 国际标准编号: 1567-8326 在线: http://www.sciencedirect.com/science/journal/15678326 前任: 逻辑程序设计杂志 继承人: 程序设计中的逻辑和代数方法杂志 评论: 期刊;不再索引 已编制索引的文档: 356出版物(2001–2014) 索引的引用: 325种出版物参考文献11208篇。 全部的 前5名最新问题 832014年第1期 822013年第8号 822013年第5-7号 82,编号3-4(2013) 822013年第2期 822013年第1期 812012年第7-8号 812012年第6号 812012年第5号 812012年第4号 812012年第3号 812012年第2期 812012年第1期 802011年第8号 802011年第7号 802011年第6号 802011年第3-5号 802011年第2期 802011年第1期 792010年第8号 792010年第7号 792010年第6号 792010年第3-5号 792010年第2期 792010年第1期 782009年第8号 78,第7号(2009年) 782009年第6号 782009年第5期 78,第4号(2009年) 782009年第3期 782009年第2期 782008年第1期 77,第1-2号(2008) 762008年第2期 762008年第1期 752008年第2期 752008年第1期 742008年第2期 742007年第1期 73,第1-2号(2007) 722007年第2期 72,第1号(2007年) 712007年第2期 712007年第1期 702007年第2期 702007年第1期 692006年第1-2号 682006年第1-2号 672006年第1-2号 662006年第2期 662006年第1期 652005年第2期 652005年第1期 642005年第2期 642005年第1期 632005年第2期 632005年第1期 622005年第2期 622005年第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) 512002年第2期 51,第1期(2002年) 492001年第1-2号 482001年第1-2号 472001年第2期 472001年第1期 全部的 前5名作者 7 卢卡·埃特罗 7 鲁道夫·伯格哈默 7 伯恩哈德·莫勒 6 Jan A.Bergstra。 6 埃纳尔·布罗赫·约翰森 6 金·古德斯特兰·拉森 6 科内利斯·A·米德尔堡。 6 马丁·斯特芬 5 Jos C.M.Baeten。 5 Jan Friso,格鲁特 5 马丁·奥列特,纳西索 5 何塞·梅塞盖尔·瓜伊塔 5 Manuel A.努内兹。 5 Owe、Olaf 5 杰拉尔多·施奈德 5 瓦莱罗,瓦伦丁 4 马里奥·布拉维蒂 4 格雷戈里奥·迪亚兹 4 沃尔特·古特曼 4 彼得·霍夫纳 4 阿尔班·蓬塞 4 米歇尔·阿德里安·雷尼尔 4 冈瑟·施密特 4 乔治·斯特鲁斯 三 理查德·巴纳赫 三 安东尼奥·布罗吉 三 玛丽亚·艾米利亚·坎布罗内罗 三 加布里埃尔·乔巴努 三 塞巴斯蒂安·达尼西奇 三 威廉·扬·福克金 三 塞德里克·Fornet 三 格内西、斯特凡尼亚 三 罗伯特·马克·海伦斯 三 Anna Ingólfsdóttir 三 捷斯劳·杰斯克 三 沃尔夫拉姆·卡尔 三 Fairouz D.卡马雷丁。 三 迭戈·拉特拉 三 迈克尔·劳伦斯。 三 李因苏普 三 Legay、Axel 三 赫梅内吉尔达·马西阿 三 梅克·马西克 三 梅雷约(Mercedes G.Merayo)。 三 戈登·佩斯。 三 米盖尔·帕洛米诺 三 佩雷斯·希门尼斯,马里奥·J。 三 伊斯梅尔·罗德里格斯 三 雅各布斯·E·罗达。 三 奥列格·索科尔斯基 三 塔尔莫乌斯塔卢 三 阿尔贝托·维尔德乔 三 温特,迈克尔 三 吉安路易吉·扎瓦塔罗 三 杰弗里·扎克。 2 奥纳州Agrigoroaiei 2 英格·贝斯克 2 娜塔莉亚·比埃洛娃 2 詹斯·布兰克 2 罗尔·布鲁 2 巴斯米,玛丽亚·格拉齐亚 2 布西,娜迪亚 2 迭戈·卡佐拉 2 JoséFélix科斯塔 2 费尔南多·库亚特罗 2 Pieter J.L.Cuijpers。 2 德波尔(Frank S。 2 贝诺·德拉哈耶 2 朱尔斯·德沙奈斯 2 约翰·多夫兰 2 尼古拉·德拉戈尼 2 段振华 2 佐尔坦·埃西克 2 乌里·法伦贝格 2 阿德里安·弗兰卡兰扎 2 伊莫·格雷布 2 赫利亚·格拉 2 Michael Reichhardt汉森 2 北卡罗来纳州哈曼。 2 马格尼·哈夫雷恩 2 弗里茨·亨利恩 2 轩尼诗,Matthew C.B。 2 丹尼尔·赫希科夫 2 巴特·雅各布斯 2 Joost-Pieter卡托恩 2 马西耶·库特尼 2 汉斯·佩特·A·Künzi。 2 亚辛·拉赫内奇 2 拉尔夫·拉梅尔 2 Yngve拉莫 2 马丁·勒克 2 文森佐·曼卡 2 马丁内斯·德尔·阿莫尔,米盖尔·安格尔 2 Annabelle K.McIver。 2 乌戈·蒙塔纳里。 2 蒂尔·莫萨科夫斯基 2 玛丽莎·纳瓦罗 2 尼尔森,弗莱明 2 费尔南多·奥雷贾斯 2 庞、军 …和513多位作者 全部的 前5名领域 334 计算机科学(68至XX) 62 数学逻辑和基础(03-XX) 23 总体主题;集合(00-XX) 11 阶、格、有序代数结构(06-XX) 8 范畴理论;同调代数(18-XX) 6 一般拓扑结构(54至XX) 6 信息与通信理论、电路(94-XX) 4 数值分析(65-XX) 三 一般代数系统(08-XX) 三 运筹学、数学规划(90-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 生物学和其他自然科学(92-XX) 2 群论与推广(20-XX) 2 偏微分方程(35-XX) 2 动力系统和遍历理论(37至XX) 2 近似值和展开值(41至XX) 1 组合数学(05-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 结合环与代数(16-XX) 1 实际功能(26年X月X日) 1 测量和集成(28-XX) 1 概率论与随机过程(60-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 272出版物有2031年被引用中的次1558文件 引用人▼ 年份▼ 操作语义的结构方法。 Zbl 1082.68062号 戈登·普洛金(Gordon D.Plotkin)。 199 2004 运行时验证的简要说明。 Zbl 1192.68433号 马丁·勒克;克里斯蒂安·夏尔哈特 65 2009 反转代数过程计算。 兹比尔1123.68065 伊恩·菲利普斯;伊雷克·乌利多夫斯基 59 2007 结构操作语义的起源。 Zbl 1072.68063号 戈登·普洛金(Gordon D.Plotkin)。 57 2004 自动验证安全协议的选定等效项。 Zbl 1135.68007号 布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 47 2008 并发Kleene代数及其基础。 Zbl 1278.68176号 霍尔,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 47 2011 折叠变体变窄和最佳变体终止。 Zbl 1291.68217号 圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 41 2012 K语义框架概述。 Zbl 1214.68188号 格里高·罗什乌;☑特拉安·弗洛林(Traian Florin) 40 2010 时间自动机的线性参数模型检验。 Zbl 1008.68069号 托马斯·匈奴;朱迪·罗米恩;玛丽·斯托琳加;Vaandrager,Frits公司 37 2002 二十年的逻辑重写。 Zbl 1267.03043号 何塞·梅塞盖尔 37 2012 模块化结构操作语义。 Zbl 1072.68061号 彼得·莫塞斯(Peter D.Mosses)。 29 2004 混合进程代数。 Zbl 1090.68071号 Cuijpers,P.J.L.公司。;Reniers,医学硕士。 28 2005 基于构造函数的观测逻辑。 Zbl 1088.68112号 米歇尔·比多特;罗尔夫·亨尼克 26 2006 连续随机逻辑描述了连续时间马尔可夫过程的互模拟。 Zbl 1053.68065号 何塞·德斯哈奈斯;帕南加登,普拉卡什 25 2003 过渡系统规范中否定前提的含义。二、。 Zbl 1072.68075号 范·格拉贝克,R.J。 25 2004 序列代码的程序代数。 Zbl 1008.68079号 J.A.伯格斯特拉。;Loots,M.E.先生。 24 2002 条件有序重写理论的Church-Rosser和相干性质。 Zbl 1272.03139号 弗朗西斯科·杜兰;何塞·梅塞盖尔 24 2012 混合Chi的语法和一致方程语义。 Zbl 1088.68111号 van Beek博士。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。 22 2006 用于认证JML中注释的JAVA/JAVACARD程序的KRAKATOA工具。 Zbl 1073.68678号 C·马奇。;Paulin-Mohring,C。;X·乌尔班。 22 2004 时序逻辑的无切割序列系统。 Zbl 1151.03009号 凯·布伦勒;马丁·兰格 16 2008 精确几何计算的最新进展。 Zbl 1080.68106号 李,陈;Pion,S。;Yap,C.K。 16 2005 泰勒模型和浮点运算:证明在COSY中对算术运算进行了验证。 Zbl 1080.68519号 雷沃,N。;K·马基诺。;M.伯茨。 16 2005 加权过渡系统的定量分析。 Zbl 1204.68137号 克劳斯·苏兰;乌里·法伦贝格;Larsen,Kim G。 16 2010 异步演算的等价层次结构。 Zbl 1066.68088号 塞德里克·Fornet;乔治·戈蒂尔 15 2005 结合程序和状态机。 Zbl 1008.68068号 Jan A.Bergstra。;阿尔班·蓬塞 14 2002 Maude中的可执行结构操作语义。 兹比尔1088.68095 阿尔贝托·维尔德乔;马丁·奥列特,纳西索 14 2006 代数分离逻辑。 Zbl 1260.03060号 丹·H·H。;Höfner,P。;莫勒,B。 14 2011 可表示域代数的公理化。 Zbl 1207.68207号 罗宾·赫希;米库拉斯(Mikulás,Szabolcs) 13 2011 将析取模态转换系统与一个选择变体进行比较。 Zbl 1151.68035号 H·费彻。;施密特,H。 13 2008 快速介绍膜计算。 Zbl 1208.68127号 佩恩,古奥热 12 2010 诱导-复发指数。 Zbl 1080.68014号 彼得·戴比杰;安东·塞泽尔 12 2006 概率过程的代数理论。 Zbl 1048.68057号 曼努埃尔·努涅斯 12 2003 BioAmbients的路径分析。 Zbl 1147.92002号 亨利克·皮利加德;尼尔森,弗莱明;尼尔森、汉内·里斯 12 2008 余代数模态逻辑的有限模型构造。 Zbl 1127.03014号 卢茨·施罗德 12 2007 转换系统规范中的变量绑定运算符。 Zbl 0970.68117号 加利福尼亚州米德尔堡。 11 2001 任意(T_0)-拟度量空间的双重完成。 Zbl 1211.54039号 汉斯·佩特·A·Künzi。;查利·马基图·基伍 11 2008 开发图-结构化规范的证明管理。 Zbl 1088.68114号 蒂尔·莫萨科夫斯基;谢尔盖·奥特西尔;迪特尔·赫特 11 2006 度量代数、通用代数规范和动力系统上的可计算总函数。 兹比尔1085.68094 J.V.塔克。;朱克,J.I。 11 2005 同步Kleene代数。 Zbl 1204.68123号 克里斯蒂安·普里卡里奥 11 2010 分布式系统的可观察行为:并发对象的组件推理。 Zbl 1247.68184号 Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 10 2012 \(\mathcal{HOTL}\):假设和观察测试逻辑。 Zbl 1131.68064号 伊斯梅尔·罗德里格斯;梅雷约(Mercedes G.Merayo)。;努涅斯,曼努埃尔 10 2008 基于带抑制剂ARCS的Petri网的\(\pi\)-演算的分布式语义。 Zbl 1169.68031号 布西,娜迪亚;罗伯托·戈里埃里 10 2009 描述并证明确定性条件项重写系统的操作终止性。 Zbl 1206.68163号 费利克斯·舍恩哈默;伯恩哈德·格拉姆利希 10 2010 使用模型检查从P系统生成测试。 Zbl 1208.68146号 佛罗伦萨伊帕特;玛丽安·盖奥吉;拉卢卡左翼 9 2010 代数模拟。 Zbl 1184.68300号 何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特,纳西索 9 2010 分布式系统合同监控。 Zbl 1283.68243号 阿德里安·弗兰卡兰扎;安德鲁·高奇;戈登·佩斯。 9 2013 你的模型检验员准时吗?时间模态逻辑模型检验的复杂性。 Zbl 1008.68030号 卢卡·埃特罗;弗朗索瓦·拉鲁西尼 9 2002 带有递归程序的命题动态逻辑。 Zbl 1123.03017号 克里斯托夫·Löding;卡斯滕·卢茨;奥利维尔·塞雷 9 2007 混合系统的代数。 Zbl 1161.68032号 彼得·霍夫纳;伯恩哈德·莫勒 9 2009 裁员的组成机制。 Zbl 1137.68037号 巴纳赫,R。;杰斯克,C。;波普尔顿,M。 9 2008 带终端的Axiomating GSOS。 Zbl 1072.68058号 巴顿,J.C.M。;德文克,E.P。 9 2004 概率定时共享变量语言的操作语义和代数语义的链接。 Zbl 1243.68208号 朱慧彪;杨,范;何继峰;乔纳森·鲍文(Jonathan P.Bowen)。;杰夫·桑德斯。;秦胜超 9 2012 MDE中版本控制的copy-modify-merge方法的形式化。 Zbl 1204.68075号 亚历山德罗·罗西尼;阿德里安·拉特尔;Yngve拉莫;乌韦·沃尔特 9 2010 脉冲神经P系统的合成语义。 Zbl 1208.68123号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;蒂妮,西蒙 8 2010 准备就绪:代数和一般证明。 Zbl 1187.68309号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米盖尔·帕洛米诺 8 2009 公理化正则树语言的等式理论。 Zbl 1184.68315号 埃西克,Z。 8 2010 移动系统的抽象解释。 Zbl 1066.68087号 杰罗姆·费雷特 8 2005 在MDE中规范和转换约束的正式方法。 Zbl 1246.68098号 阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 8 2012 带优先防护装置的CCS。 Zbl 1134.68042号 伊恩·菲利普斯 8 2008 并行pCRL中的线性化。 Zbl 0988.68121号 J.F.格罗特。;A.Ponse。;Usenko,Y.S。 8 2001 概率和不确定性过程的代数理论。 Zbl 1054.68091号 迭戈·卡佐拉;费尔南多·库亚特罗;瓦莱罗,瓦伦丁;费尔南多·佩莱奥。;J.JoséPardo 8 2003 Miller-Rabin概率素性检验的验证。 Zbl 1048.68051号 赫德,乔 8 2003 框架Tempura的操作语义。 Zbl 1170.68006号 杨晓晓;段振华 8 2008 观测容错理论。 Zbl 1123.68080号 阿德里安·弗兰卡兰扎;轩尼诗,马修 8 2007 基于非激励的马尔科夫行为等效性。 Zbl 1121.68077号 马可·贝尔纳多 8 2007 党派性。一: 嵌入关系代数。 Zbl 1086.68093号 冈瑟·施密特 8 2006 使用概率Kleene代数pKA进行协议验证。 Zbl 1148.68034号 A.K.McIver。;冈萨利亚,C。;科恩,E。;C.C.摩根。 8 2008 异步实时并发对象的可调度性。 Zbl 1188.68085号 穆罕默德·马赫迪·贾古奥里;德波尔(Frank S。;汤姆·乔西亚;马尔詹·西尔贾尼 8 2009 WS-BPEL的基于像素的语义。 Zbl 1178.68367号 罗伯托·卢奇;曼努埃尔·马扎拉 8 2007 向双代数语义添加递归构造。 Zbl 1072.68059号 巴托克·克林 8 2004 懒惰的行为子类型。 Zbl 1204.68072号 约翰·多夫兰;埃纳尔·布罗赫·约翰森;奥维,奥拉夫;马丁·斯特芬 8 2010 使用GPU模拟基于P系统的SAT高效解决方案。 Zbl 1208.68124号 何塞·M·塞西莉亚。;JoséM·加西亚。;格雷罗,吉内斯·D。;马丁内斯·德尔·阿莫尔(Miguel A.Martínez-del-Amor)。;伊格纳西奥·佩雷斯·赫塔多;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 7 2010 具有未来和承诺的面向对象语言的行为接口描述。 Zbl 1187.68130号 艾丽卡·阿尔布拉汉姆;伊莫·格雷布;安德烈亚斯·格吕纳;马丁·斯特芬 7 2009 正规设计代数。 兹比尔1184.68179 沃尔特·古特曼;伯恩哈德·莫勒 7 2010 PLTL的表和序列的双重系统。 Zbl 1183.68596号 Jose Gaintzarain;蒙特塞拉特赫尔莫;帕基·卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯 7 2009 焦点和收敛过程操作符:协议验证的证明策略。 Zbl 1015.68175号 Jan Friso,格鲁特;斯普林菲尔德,一月 7 2001 概率系统的三值抽象。 Zbl 1277.68219号 Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 7 2012 从Galois连接进行编程。 Zbl 1257.68057号 穆申成;何塞·努诺,奥利维拉 7 2012 基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214号 鲁、齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里·法伦贝格;Larsen,Kim G。 7 2012 使用时间自动机验证web服务编排。 Zbl 1207.68082号 米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦莱罗,瓦伦丁;恩里克·马丁内斯 7 2011 具有约束条件的操作保守性的替代公式。 Zbl 1048.68056号 加利福尼亚州米德尔堡。 7 2003 对大型结构化马尔可夫链进行模型检验。 兹比尔1048.68053 彼得·巴赫霍尔茨;Joost-Pieter卡托恩;彼得·坎佩尔;卡斯滕·泰珀 7 2003 连接演算中的继承。 兹伯利1035.03011 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米,迪迪埃 7 2003 克莱恩在一个模态恶魔星下。 Zbl 1086.68080号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 7 2006 抽象抽象约简。 Zbl 1086.68068号 乔治·斯特鲁斯 7 2006 无穷大\(\mu\)的规范完备性。 兹比尔1156.68013 贾格尔,格哈德;马蒂斯·克雷茨;托马斯·施图德 7 2008 过程验证的顺序计算:任意GSOS的Hennessy-Milner逻辑。 Zbl 1072.68070号 亚历克斯·辛普森 7 2004 带有JML注释的Java程序的最弱前置条件推理。 Zbl 1073.68024号 巴特·雅各布斯 7 2004 进程代数和Petri网中的时间移动性。 Zbl 1230.68154号 加布里埃尔·乔巴努;马西耶·库特尼 7 2011 膜系统中的反向计算。 Zbl 1208.68121号 奥纳州Agrigoroaiei;加布里埃尔·乔巴努 6 2010 跨组织工作流的合同作为时间动态条件响应图。 Zbl 1283.68245号 托马斯·希尔德布兰特;拉加瓦·拉奥·穆卡马拉;斯莱亚特,蒂杰斯;弗朗西斯科·扎尼蒂 6 2013 安全计算和不干涉。 Zbl 1067.68096号 轩尼诗,马修 6 2005 计算psi-calculi的强互模拟和弱互模拟。 Zbl 1277.68192号 马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 6 2012 \(\mathcal{MOQA}\);释放组合静态平均案例分析的潜力。 Zbl 1192.68975号 谢列肯斯,M.P。 6 2010 服务组合中的QoS协商。 兹比尔1207.68220 巴斯米,玛丽亚·格拉齐亚;乌戈·蒙塔纳里 6 2011 行为的继承。 Zbl 0974.68137号 吐温·巴斯滕;Wil M.P.范德阿尔斯特。 6 2001 关于使用MTBDD进行随机系统的性能分析和验证。 Zbl 1054.68018号 霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 6 2003 类型系统的程序和验证优化。 Zbl 1151.68008号 安藤萨巴斯;塔尔莫乌斯塔卢 6 2008 链接数据结构中可访问模式的逻辑。 Zbl 1121.03040号 格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·迈耶;艾哈迈德·博阿贾尼 6 2007 正则代数应用于语言问题。 Zbl 1086.68069号 罗兰·巴克豪斯 6 2006 在术语重写中转换为尾部递归。 兹比尔1283.68128 直纪西田;德国维达尔 1 2014 分布式系统合同监控。 Zbl 1283.68243号 阿德里安·弗兰卡兰扎;安德鲁·高奇;戈登·佩斯。 9 2013 跨组织工作流的合同作为时间动态条件响应图。 Zbl 1283.68245号 托马斯·希尔德布兰特;拉加瓦·拉奥·穆卡马拉;斯莱亚特,蒂杰斯;弗朗西斯科·扎尼蒂 6 2013 自由归纳半代数。 Zbl 1286.68332号 埃西克,Z。;W.Kuich。 5 2013 使用关系代数和RelView计算和可视化银行控制关系集。 Zbl 1278.91049号 鲁道夫·伯格哈默 4 2013 对web浏览器中JavaScript安全策略及其实施机制的调查。 Zbl 1283.68063号 娜塔莉亚·比埃洛娃 三 2013 用受控自然语言编写的规范性文本的冲突分析框架。 Zbl 1283.68333号 克拉西米尔·安吉洛夫;约翰·卡米莱里。;杰拉尔多·施奈德 1 2013 用于安全web服务编排的会话类型。 Zbl 1283.68065号 迈克尔,乔纳森;伊利·纳伊姆;亚历山德罗·范特奇 1 2013 使用名称匹配和会话类型检查像素的算法类型。 Zbl 1283.68127号 马尔科·朱恩蒂 1 2013 基于重写的XML存储库修复策略。 Zbl 1283.68130号 玛丽亚·阿尔普特;黛米斯·巴利斯;莫雷诺法拉斯基;弗朗西斯科·弗雷奇纳;丹尼尔·罗梅罗 1 2013 混合系统组合交换格式的语法和语义。 Zbl 1257.68101号 Nadales Agut,D.E。;van Beek博士。;罗达,J.E。 1 2013 比较自由dcpo-代数构造的方法。 Zbl 1256.68115号 英戈·巴滕菲尔德 1 2013 具有无限活性要求的过程。 Zbl 1510.68058号 赫利亚·格拉;JoséFélix科斯塔 1 2013 折叠变体变窄和最佳变体终止。 Zbl 1291.68217号 圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 41 2012 二十年的逻辑重写。 Zbl 1267.03043号 何塞·梅塞盖尔 37 2012 条件有序重写理论的Church-Rosser和相干性质。 Zbl 1272.03139号 弗朗西斯科·杜兰;何塞·梅塞盖尔 24 2012 分布式系统的可观察行为:并发对象的组件推理。 Zbl 1247.68184号 Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 10 2012 概率定时共享变量语言的操作语义和代数语义的链接。 Zbl 1243.68208号 朱慧彪;杨,范;何继峰;乔纳森·鲍文(Jonathan P.Bowen)。;杰夫·桑德斯。;秦胜超 9 2012 在MDE中规范和转换约束的正式方法。 Zbl 1246.68098号 阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 8 2012 概率系统的三值抽象。 兹比尔1277.68219 Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 7 2012 从Galois连接进行编程。 Zbl 1257.68057号 穆申成;何塞·努诺,奥利维拉 7 2012 基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214号 鲁、齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里·法伦贝格;Larsen,Kim G。 7 2012 计算psi-calculi的强互模拟和弱互模拟。 Zbl 1277.68192号 马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 6 2012 具有重量间隔的模态转换系统。 Zbl 1243.68215号 Juhl,Line公司;Larsen,Kim G。;斯尔巴,吉里耶 5 2012 复杂合同的动态道义逻辑。 Zbl 1258.03024号 克里斯蒂安·普里萨卡里奥;杰拉尔多·施奈德 5 2012 棋盘独立性和控制问题的关系代数建模和求解。 Zbl 1280.68301号 鲁道夫·伯格哈默 4 2012 按主题重写逻辑书目:1990-2011。 Zbl 1262.03052号 马丁·奥列特,纳西索;米盖尔·帕洛米诺;阿尔贝托·维尔德乔 4 2012 重写逻辑规范的声明性调试。 Zbl 1279.68220号 阿德里安·里斯科;阿尔贝托·维尔德乔;马丁·奥列特,纳西索;拉斐尔·卡巴列罗 4 2012 区间马尔可夫链的一致性和精化。 Zbl 1247.68195号 贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 4 2012 行为效应系统对锁处理进行死锁检查。 Zbl 1246.68097号 Ka I.潘。;马丁·斯特芬;沃尔克·斯托尔茨 三 2012 左欧米伽代数和正则方程。 Zbl 1279.68242号 乔治·斯特鲁斯 2 2012 重写生产规则集的语义。 Zbl 1279.68188号 迈克尔·凯特尔曼;凯勒,肖恩;何塞·梅塞盖尔 2 2012 IMC的静态分析。 Zbl 1243.68220号 纳塔莉亚·斯克里普纽克;尼尔森,弗莱明;亨利克·皮利加德 2 2012 基于程序约束模型和测试用例的自动调试。 兹比尔1246.68102 弗兰茨·沃塔瓦;米海·尼卡;尤利亚·莫拉鲁 1 2012 偏袒。二: 构造关系代数。 Zbl 1255.03056号 冈瑟·施密特 1 2012 关于补偿正确性的分析。 Zbl 1246.68100号 卡蒂亚·瓦兹;卡拉·费雷拉 1 2012 循环分析的通用概念。 兹比尔1246.68094 加尔达洛,Wided;奥尔法·姆拉伊;阿斯玛·卢希奇;吉拉尼、拉米亚·拉贝德;哈立德·比塞斯;阿里·米莉 1 2012 从形式化的控制概念中导出用于非局部跳跃的Floyd-Hoare逻辑。 Zbl 1259.03044号 克罗拉德,T。;Polonowski,E。 1 2012 活动对象的终止检测。 Zbl 1243.68221号 德波尔(Frank S。;伊莫·格雷布;马丁·斯特芬 1 2012 安全适配器的合成。 Zbl 1236.68062号 J.A.马汀。;马蒂内利,F。;皮门特尔,E。 1 2012 并发Kleene代数及其基础。 Zbl 1278.68176号 霍尔,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 47 2011 代数分离逻辑。 Zbl 1260.03060号 丹·H·H。;Höfner,P。;Möller,B。 14 2011 可表示域代数的公理化。 Zbl 1207.68207号 罗宾·赫希;米库拉斯(Mikulás,Szabolcs) 13 2011 使用时间自动机验证web服务编排。 Zbl 1207.68082号 艾米莉亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦莱罗,瓦伦丁;恩里克·马丁内斯 7 2011 进程代数和Petri网中的时间移动性。 Zbl 1230.68154号 加布里埃尔·乔巴努;马西耶·库特尼 7 2011 服务组合中的QoS协商。 Zbl 1207.68220号 巴斯米,玛丽亚·格拉齐亚;乌戈·蒙塔纳里 6 2011 联系人、闭包、拓扑以及行和列类型关系的链接。 兹比尔1231.03058 冈瑟·施密特;鲁道夫·伯格哈默 6 2011 分类:用于粘合结构的关系代数推理。 Zbl 1216.68137号 沃尔夫拉姆·卡尔 5 2011 通过上下文相关行为实现结构操作语义。 Zbl 1223.68026号 罗伯特·科尔文。;伊恩·海耶斯。 三 2011 一般正确性的固定点。 Zbl 1216.68073号 沃尔特·古特曼 三 2011 法律文本中的段落检索。 Zbl 1213.68668号 保罗·罗索;圣地亚哥科雷亚;大卫·巴斯卡迪 2 2011 安全调整合同。 Zbl 1213.68615号 J.A.马汀。;皮门特尔,E。 2 2011 基于合同的适应性方法。 Zbl 1213.68208号 安德烈亚斯·施罗德;塞巴斯蒂安·鲍尔。;马丁·威尔辛 2 2011 为具有优先级的系统构建分布式控制器。 Zbl 1217.68057号 伊梅内·本·哈菲德;苏珊娜·格拉芙;索菲·昆顿 2 2011 移动环境的分散图形实现。 Zbl 1207.68224号 法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 1 2011 发言许可:访问控制和一致性的逻辑。 Zbl 1207.68115号 尼基·迪内什;阿拉文·乔希;李因苏普;奥列格·索科尔斯基 1 2011 一类线性、自由、近自由程序模式的子模式的强等价性的判定。 Zbl 1209.68136号 塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 1 2011 通过简洁的默认精简实现简单的功能工程。 Zbl 1231.68106号 巴纳赫,R。;Jeske,C。 1 2011 K语义框架概述。 Zbl 1214.68188号 格里高·罗什乌;☑特拉安·弗洛林(Traian Florin) 40 2010 加权过渡系统的定量分析。 Zbl 1204.68137号 克劳斯·苏兰;乌里·法伦贝格;Larsen,Kim G。 16 2010 快速介绍膜计算。 Zbl 1208.68127号 佩恩,古奥热 12 2010 同步Kleene代数。 Zbl 1204.68123号 克里斯蒂安·普里萨卡里奥 11 2010 描述并证明确定性条件项重写系统的操作终止性。 Zbl 1206.68163号 费利克斯·舍恩哈默;伯恩哈德·格拉姆利希 10 2010 使用模型检查从P系统生成测试。 Zbl 1208.68146号 佛罗伦萨伊帕特;玛丽安·盖奥吉;拉卢卡左翼 9 2010 代数模拟。 Zbl 1184.68300号 何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特,纳西索 9 2010 MDE中版本控制的copy-modify-merge方法的形式化。 Zbl 1204.68075号 亚历山德罗·罗西尼;阿德里安·拉特尔;Yngve拉莫;乌韦·沃尔特 9 2010 脉冲神经P系统的合成语义。 Zbl 1208.68123号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;蒂妮,西蒙 8 2010 公理化正则树语言的等式理论。 Zbl 1184.68315号 埃西克,Z。 8 2010 懒惰的行为子类型。 Zbl 1204.68072号 约翰·多夫兰;埃纳尔·布罗赫·约翰森;奥维,奥拉夫;马丁·斯特芬 8 2010 使用GPU模拟基于P系统的SAT高效解决方案。 Zbl 1208.68124号 何塞·M·塞西莉亚。;JoséM·加西亚。;吉纳斯·D·格雷罗。;马丁内斯·德尔·阿莫尔(Miguel A.Martínez-del-Amor)。;伊格纳西奥·佩雷斯·赫塔多;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 7 2010 普通设计代数。 Zbl 1184.68179号 沃尔特·古特曼;伯恩哈德·莫勒 7 2010 膜系统中的反向计算。 Zbl 1208.68121号 奥纳州Agrigoroaiei;加布里埃尔·乔巴努 6 2010 \(\mathcal{MOQA}\);释放组合静态平均案例分析的潜力。 Zbl 1192.68975号 谢列肯斯,M.P。 6 2010 P系统和拜占庭协议。 Zbl 1208.68116号 迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库 5 2010 非终结的代数概念:幂等半环中的Omega和散度。 Zbl 1205.68111号 彼得·霍夫纳;乔治·斯特鲁斯 5 2010 关于服务可替换性的公平测试和一致性。 Zbl 1208.68087号 阿扬·J·穆伊(Arjan J.Mooij)。;克里斯蒂安·斯塔尔;马克·沃霍夫 4 2010 实际周期函数的代谢近似。 Zbl 1208.68126号 文森佐·曼卡;卢卡·马切蒂 4 2010 关于\(k\)-分区的Wadge可约性。 Zbl 1186.03066号 维克托·塞利瓦诺夫。 4 2010 概率混合自动机自动分析的工程约束求解器。 兹比尔1205.68252 马丁·范策尔;蒂诺·特伊格;安德烈亚斯·艾格斯 4 2010 更强的裁员成分。 Zbl 1209.68131号 巴纳赫,R。;Jeske,C。 三 2010 膜系统的基于规则和基于对象的事件结构。 Zbl 1208.68122号 奥纳州Agrigoroaiei;加布里埃尔·乔巴努 三 2010 基于P-Lingua的组织P系统模拟器。 Zbl 1209.68260号 马丁内斯·德尔·阿莫尔(Miguel A.Martínez-del-Amor)。;伊格纳西奥·佩雷斯·赫塔多;佩雷斯·希门尼斯,马里奥·J。;阿古斯汀·里斯科斯·努涅斯 三 2010 代数规范中的准布尔编码和条件。 Zbl 1187.68322号 拉兹万·迪亚科内斯库 三 2010 重温FPTIME和NC的隐含特征。 Zbl 1192.68299号 卡尔·海因茨·奈格尔;亨宁·旺德利希 三 2010 高阶并行计算中的终止。 Zbl 1205.68241号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 三 2010 具有控制核的P系统:概念。 Zbl 1208.68125号 卡米利亚·奇拉;☑特拉安·弗洛林(Traian Florin);tefénescu,Gheorghe 2 2010 特殊大学时间表问题的关系代数规范和解决方案。 Zbl 1198.90168号 鲁道夫·伯格哈默;布列塔·凯登 2 2010 紧急和延迟合同监控,以进行按需付费和按需付费评估。 Zbl 1204.68071号 马库斯·德根;彼得·蒂曼;斯特凡·韦尔 2 2010 功能动作的强制性抽象。 Zbl 1205.68115号 沃尔特·古特曼 2 2010 证明单子。 Zbl 1208.68144号 弗洛伦特·基什内尔;塞萨尔·穆尼奥斯 1 2010 投影的连续性和Lipschitz常数。 Zbl 1185.41024号 布里奇斯,道格拉斯S。 1 2010 相似性、拓扑和一致性。 Zbl 1181.54031号 莱因霍尔德·赫克曼 1 2010 问题、解决方案和完成情况。 Zbl 1184.03059号 彼得·舒斯特 1 2010 具有关系的布尔逻辑。 Zbl 1206.03019号 菲利普·巴尔比亚尼;廷切夫、廷科 1 2010 寓言中的基本功能。 Zbl 1207.18004号 川原康夫;温特,迈克尔 1 2010 关系字节码关联。 Zbl 1204.68070号 伦纳特·贝林格 1 2010 运行时验证的简要说明。 兹比尔1192.68433 马丁·勒克;克里斯蒂安·夏尔哈特 65 2009 基于带抑制剂ARCS的Petri网的\(\pi\)-演算的分布式语义。 Zbl 1169.68031号 布西,娜迪亚;罗伯托·戈里埃里 10 2009 混合系统的代数。 Zbl 1161.68032号 彼得·霍夫纳;伯恩哈德·莫勒 9 2009 准备就绪:代数和一般证明。 Zbl 1187.68309号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米盖尔·帕洛米诺 8 2009 …还有172个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2000位作者引用 31 何塞·梅塞盖尔·瓜伊塔 30 卢卡·埃特罗 27 乔治·斯特鲁斯 26 Anna Ingólfsdóttir 24 金·古德斯特兰·拉森 23 Jan A.Bergstra。 21 圣地亚哥埃斯科瓦尔 20 米歇尔·阿德里安·雷尼尔 19 伊雷克·乌利多夫斯基 18 玛丽亚·阿尔普特 18 乌里·法伦贝格 17 鲁道夫·伯格哈默 17 科内利斯·A·米德尔堡。 17 格里高·罗什乌 17 范格拉贝克、罗伯特·扬 16 埃蒂安·安德烈 16 沃尔特·古特曼 15 克劳迪奥·安塔雷斯·梅齐纳 15 伊恩·菲利普斯。 14 巴斯·卢提克 13 威廉·扬·福克金 13 阿德里安·弗兰卡兰扎 13 彼得·霍夫纳 13 伯恩哈德·莫勒 13 乌戈·蒙塔纳里。 13 朱莉娅·萨皮娜 12 加布里埃尔·乔巴努 12 伊万·拉内斯 12 马丁·奥列特,纳西索 12 Owe、Olaf 12 吉田信子 11 黛米斯·巴利斯 11 Joost-Pieter卡托恩 11 Legay、Axel 11 蒂妮,西蒙 11 范德波尔,扬·科内利斯 11 朱慧彪 10 Jos C.M.巴滕。 10 戴维·德·弗鲁托斯·埃斯克里格 10 斯特凡尼德劳恩 10 拉兹万·迪亚科内斯库 10 弗朗西斯科·杜兰 10 伊利耶斯·法尔科内 10 伊恩·海耶斯。 10 埃纳尔·布罗赫·约翰森 10 多雷尔·卢卡努 10 亚历山大·马德拉 10 德克·帕丁森 10 卢茨·施罗德 10 ☑特拉安·弗洛林(Traian Florin) 9 马可·贝尔纳多 9 马蒂奥·奇米尼 9 罗伯特·科尔文。 9 法比奥·加杜奇 9 卡洛斯·格雷戈里奥·罗德里格斯 9 Jan Friso,格鲁特 9 罗尔夫·亨尼克 9 罗伯特·马克·海伦斯 9 C.A.R.Tony Hoare 9 保罗·米拉佐 9 Manuel A.努内兹。 9 阿尔班·蓬塞 9 伊斯梅尔·罗德里格斯 9 马丁·斯特芬 9 卡罗琳·塔尔科特。 8 拜尔,克里斯特尔 8 理查德·巴纳赫 8 巴博萨、路易斯·索亚雷斯 8 罗伯托·巴布蒂 8 菲律宾邦奇 8 罗伯托·布鲁尼 8 马里亚纽拉州Dezani-Ciancaglini 8 高基町五指 8 弗兰西斯卡,李维 8 莱姆,迪迪埃 8 蒂尔·莫萨科夫斯基 8 尼尔森,弗莱明 8 塞萨尔·桑切斯 8 弗朗西斯科·蒂埃齐 8 杰弗里·扎克。 7 阿曼,博格丹 7 琳达·布罗多 7 段振华 7 西蒙·福斯特 7 玛丽安·盖奥吉 7 罗伯塔·戈里 7 蒙特塞拉特赫尔莫 7 佛罗伦萨伊帕特 7 巴托克·克林 7 帕基·卢西奥 7 马丁斯(Manuel António Martins) 7 Annabelle K.McIver。 7 乌韦·内斯特曼 7 Kazuhiro绪方 7 帕南加登,普拉卡什 7 约万卡·潘托维奇 7 弗拉德·鲁苏 7 约翰·V·塔克。 7 Uwe E.沃尔特。 7 詹姆斯·C·P·伍德科克。 …还有1900多名作者 全部的 前5名117种期刊被引用 166 理论计算机科学 136 程序设计中的逻辑和代数方法杂志 109 逻辑与代数程序设计杂志 61 计算的形式方面 60 信息与计算 49 MSCS公司。计算机科学中的数学结构 34 计算机科学中的逻辑方法 31 系统设计中的形式化方法 27 信息学报 27 自动推理杂志 18 膜计算杂志 17 信息处理信件 14 计算机程序设计科学 11 纯逻辑与应用逻辑年鉴 11 ACM计算逻辑事务 11 应用逻辑杂志 10 国际计算机科学基础杂志 9 拓扑及其应用 9 符号计算杂志 9 函数编程杂志 8 人工智能 8 计算机与系统科学杂志 8 逻辑程序设计理论与实践 7 代数普遍性 7 计算机基础理论 6 数学与人工智能年鉴 5 信息科学 5 Studia Logica公司 5 国际近似推理杂志 5 计算系统理论 5 软计算 4 Automatica公司 4 计算几何 4 国际计算机数学杂志 4 分布式计算 4 泛逻辑 三 计算 三 模糊集与系统 三 算法 三 欧洲运筹学杂志 三 符号逻辑公报 三 高阶与符号计算 三 自然计算 2 离散数学 2 应用数学与计算 2 计算与应用数学杂志 2 纯粹与应用代数杂志 2 编程和计算机软件 2 半群论坛 2 合成 2 应用数值数学 2 实时系统 2 离散事件动态系统 2 应用分类结构 2 应用非经典逻辑杂志 2 埃及数学学会杂志 2 工程中的数学问题 2 非线性动力学 2 组合优化期刊 2 自然与社会中的离散动力学 2 非线性科学与数值模拟中的通信 2 国际应用数学与计算机科学杂志 2 RAIRO公司。理论信息学及其应用 2 计算机语言、系统和结构 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 计算机科学中的数学 2 非线性分析。混合动力系统 2 符号逻辑述评 2 公理 2 计算机科学评论 1 应用力学与工程中的计算机方法 1 离散应用数学 1 国际控制杂志 1 计算物理杂志 1 数学分析与应用杂志 1 数学笔记 1 ACM数学软件汇刊 1 国际数学与数学科学杂志 1 组合理论杂志。系列A 1 模拟中的数学和计算机 1 圣母院形式逻辑期刊 1 SIAM计算机杂志 1 匈牙利数学学报 1 订单 1 国际并行程序设计杂志 1 数学和计算机建模 1 日本工业与应用数学杂志 1 国际计算几何与应用杂志 1 国际代数与计算杂志 1 应用智能 1 应用数学建模 1 Glasnik Matematićki公司。塞里亚III 1 数学逻辑档案 1 数学成像与视觉杂志 1 逻辑、语言与信息杂志 1 国际计算机与系统科学杂志 1 拓扑程序 1 波尔多流浪者杂志 1 数学科学杂志(纽约) 1 数学逻辑季刊(MLQ) …还有17种期刊 全部的 前5名36个领域引用 1,394 计算机科学(68至XX) 338 数学逻辑和基础(03-XX) 53 信息与通信理论、电路(94-XX) 45 范畴理论;同调代数(18-XX) 42 阶、格、有序代数结构(06-XX) 30 生物学和其他自然科学(92-XX) 27 数值分析(65-XX) 26 概率论与随机过程(60-XX) 26 系统论;控制(93至XX) 24 一般拓扑结构(54至XX) 21 博弈论、经济学、金融和其他社会和行为科学(91-XX) 18 运筹学、数学规划(90-XX) 15 一般代数系统(08-XX) 14 组合数学(05-XX) 13 历史和传记(01-XX) 11 量子理论(81-XX) 8 结合环与代数(16-XX) 7 总体主题;集合(00-XX) 6 群论与推广(20-XX) 6 常微分方程(34-XX) 5 动力系统和遍历理论(37至XX) 5 粒子和系统力学(70-XX) 4 数论(11-XX) 4 统计学(62-XX) 三 代数几何(14-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 实际功能(26年X月X日) 三 可变形固体力学(74-XX) 2 场论和多项式(12-XX) 2 交换代数(13-XX) 2 测量和集成(28-XX) 2 特殊功能(33至XX) 1 差分方程和函数方程(39至XX) 1 近似值和展开值(41至XX) 1 凸和离散几何(52至XX) 1 流体力学(76-XX) 按年份列出的引文