编辑配置文件(在新选项卡中打开) 伯恩哈德·莫勒 合著者距离 作者ID: 莫勒·伯恩哈特 发布日期: 伯恩哈德·莫勒;伯恩哈德·穆勒;莫勒,B。;Möller,Bernhard B。;B.穆勒。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 83出版物自1981年以来,包括2本书 12作为编辑的贡献 合著者: 55位合著者具有77联合出版物 826位合作作者 全部的 前5名合著者 17 单作者的 18 乔治·斯特鲁斯 13 彼得·霍夫纳 11 朱尔斯·德沙奈斯 9 C.A.R.Tony Hoare 7 Dang,Han-Hing(韩红) 5 鲁道夫·伯格哈默 5 罗兰·格里克 5 马丁·威尔辛 4 沃尔特·多什 4 赫尔穆特·帕奇。 4 帕特里克·鲁克斯 三 曼弗雷德·布罗伊 三 沃尔特·古特曼 三 O'Hearn,Peter W。 三 彼得·佩珀 三 马丁·拉斯林 三 伊恩·卫尔曼 三 安德烈亚斯·泽伦德 2 斯文·阿佩尔 2 弗里德里希·路德维希·鲍尔 2 Boiten,Eerke A。 2 海林,简 2 阿里·穆罕默德·贾瓦 2 克里斯蒂安·卡斯特纳 2 Lengauer,基督徒 2 卡尔·梅恩克 2 米歇尔·辛佐夫 2 安德烈·塔莱基 2 费卢兹·切尔 2 范·斯塔登(Stephan van Staden) 2 朱慧彪 1 唐·S·巴托里。 1 托马斯·布伦 1 Gilles Dowek 1 呃,托尔斯滕 1 马库斯·恩德斯 1 杰西卡·埃特尔 1 鲁珀特·格纳茨 1 阿纳斯塔西亚·格里南科 1 阿克巴侯赛因 1 多米尼克·科普 1 Krieg-Brückner,伯尔尼 1 阿尔弗雷德·劳特 1 勒克曼,M。 1 T·马特兹纳。 1 马丁·埃里克·米勒 1 托比亚斯·尼普科 1 Rasmus Lerchedahl彼得森 1 克劳斯·萨梅尔森 1 史蒂夫·舒曼 1 金·索林 1 拉尔夫·斯坦布吕根 1 朱尔斯·维拉德 1 温特,迈克尔 1 Wössner,H。 全部的 前5名系列 8 计算机程序设计科学 8 程序设计中的逻辑和代数方法杂志 7 逻辑与代数程序设计杂志 7 计算机科学课堂讲稿 2 信息学报 2 信息科学 2 理论计算机科学 1 计算力学 1 计算的形式方面 1 IEEE软件工程汇刊 1 高阶和符号计算 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 全部的 前5名领域 88 计算机科学(68至XX) 31 数学逻辑和基础(03-XX) 11 一般性和全局性主题;集合(00-XX) 5 有序,格,有序代数结构(06-XX) 5 一般代数系统(08-XX) 4 结合环与代数(16-XX) 2 组合数学(05-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 系统论;控制(93至XX) 1 历史和传记(01-XX) 1 动力系统和遍历理论(37至XX) 1 可变形固体力学(74-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 72出版物有被引用530次255个文档 引用人▼ 年份▼ 带域的Kleene代数。 Zbl 1367.68205号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 73 2006 并发Kleene代数及其基础。 Zbl 1278.68176号 你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 47 2011 模态算子的代数和部分正确性。 Zbl 1086.68082号 伯恩哈德·莫勒;乔治·斯特鲁斯 31 2006 使用α级优化进行模糊结构分析。 Zbl 1009.74053号 莫勒,B。;西格拉芙。;啤酒,M。 28 2000 并发Kleene代数。 兹比尔1254.68172 C.A.R.Tony Hoare;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 27 2009 克莱恩变得懒惰了。 Zbl 1109.68060号 伯恩哈德·莫勒 19 2007 刻画Kleene代数中的确定性。 Zbl 1004.68105号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 15 2001 代数分离逻辑。 Zbl 1260.03060号 丹·H·H。;Höfner,P。;莫勒,B。 14 2011 量子数和时序逻辑。 Zbl 1235.03051号 伯恩哈德·莫勒;彼得·霍夫纳;乔治·斯特鲁斯 13 2006 终止的代数概念。 Zbl 1214.68185号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 13 2011 可达高阶代数的代数规范。 Zbl 0659.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 13 1988 关于并发进程的局部性和交换律。 Zbl 1343.68170号 C.A.R.霍尔。;阿克巴侯赛因;伯恩哈德·莫勒;O'Hearn,Peter W。;Rasmus Lerchedahl彼得森;乔治·斯特鲁斯 12 2011 懒惰的克莱恩代数。 Zbl 1106.68065号 伯恩哈德·莫勒 12 2004 水处理是无线局域网. Zbl 1185.68227号 伯恩哈德·莫勒;乔治·斯特鲁斯 11 2006 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 11 1981 模态Kleene代数中的终止。 Zbl 1088.68619号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 11 2004 混合系统的代数。 Zbl 1161.68032号 彼得·霍夫纳;伯恩哈德·莫勒 9 2009 指向指针代数。 Zbl 0780.68090号 伯恩哈德·莫勒 8 1993 正式程序开发。IFIP TC2/WG 2.1最新报告。 Zbl 0825.00043号 8 1993 并发Kleene代数的基础。 Zbl 1267.68154号 C.A.R.霍尔。;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 8 2009 迪克斯特拉、弗洛伊德和沃沙尔将会见克莱恩。 Zbl 1259.68243号 彼得·霍夫纳;伯恩哈德·莫勒 8 2012 数据库首选项的代数演算。 Zbl 1358.68087号 伯恩哈德·莫勒;帕特里克·鲁克斯;马库斯·恩德斯 7 2012 关于无限对象的代数规范——代数类型的有序和连续模型。 Zbl 0563.68030号 伯恩哈德·莫勒 7 1985 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;伯恩哈德·莫勒;彼得·佩珀;马丁·威尔辛 7 1986 正规设计代数。 Zbl 1184.68179号 沃尔特·古特曼;伯恩哈德·莫勒 7 2010 欧米茄代数、恶魔精化代数和命令。 Zbl 1134.68409号 彼得·霍夫纳;伯恩哈德·莫勒;金·索林 7 2006 克莱恩在一个模态恶魔星下。 Zbl 1086.68080号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 7 2006 线性代数的关系式法则和结构。 Zbl 1434.15016号 朱尔斯·德沙奈斯;阿纳斯塔西亚·格里南科;伯恩哈德·莫勒 7 2014 并发Kleene代数的发展。 Zbl 1344.68148号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩 7 2014 UTP的线性代数。 Zbl 1235.68057号 伯恩哈德·莫勒 6 2006 并发Kleene代数的发展。 Zbl 1344.68149号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 6 2016 基于特征的程序自动综合的代数基础。 Zbl 1209.68129号 斯文·阿佩尔;克里斯蒂安·伦戈尔;伯恩哈德·莫勒;Kästner,基督徒 6 2010 克莱恩在一个恶魔般的星球下。 Zbl 0983.68039号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 5 2000 走向混合系统的代数。 Zbl 1185.68431号 彼得·霍夫纳;伯恩哈德·莫勒 4 2006 使用非循环列表和循环列表进行计算。 Zbl 0943.68038号 伯恩哈德·莫勒 4 1999 并发和局部推理的反向交换。 Zbl 1358.68063号 Dang,Han-Hing(韩红);伯恩哈德·莫勒 4 2012 等价、互模拟和控制的半环方法。 Zbl 1267.68142号 罗兰·格里克;伯恩哈德·莫勒;米歇尔·辛佐夫 4 2009 关系的最小自反点。 Zbl 1081.06001号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 4 2005 数据库首选项代数。 Zbl 1329.68094号 伯恩哈德·莫勒;帕特里克·鲁克斯 4 2015 具有内置域构造的代数规范。 Zbl 0645.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 4 1988 传递分离逻辑。 兹比尔1330.03070 Dang,Han-Hing(韩红);伯恩哈德·莫勒 三 2012 分层复杂偏好的代数。 Zbl 1330.68057号 伯恩哈德·莫勒;帕特里克·鲁克斯 三 2012 分层图遍历和哈密顿路径问题——一种代数方法。 Zbl 0907.05052号 托马斯·布伦;伯恩哈德·莫勒;马丁·拉斯林 三 1998 使用互模拟商进行模型细化。 Zbl 1308.68040号 罗兰·格里克;伯恩哈德·莫勒;米歇尔·辛佐夫 三 2011 特征和特征组合的代数。 Zbl 1170.68424号 斯文·阿佩尔;克里斯蒂安·伦戈尔;伯恩哈德·莫勒;克里斯蒂安·卡斯特纳 三 2008 模态Kleene代数和部分正确性。 Zbl 1108.68403号 伯恩哈德·莫勒;乔治·斯特鲁斯 三 2004 探索CKA的接口模型。 Zbl 1432.68314号 伯恩哈德·莫勒;你好,托尼 三 2015 Unendliche Objekte und Geflechte公司。 Zbl 0565.68012号 伯恩哈德·莫勒 三 1982 关于域的代数规格说明。 Zbl 0584.68038号 伯恩哈德·莫勒;沃尔特·多什 三 1985 通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号 弗里德里希·路德维希·鲍尔;伯恩哈德·莫勒;赫尔穆特·帕奇;彼得·佩珀 三 1989 关于程序正确性和错误性的代数。 Zbl 07670527号 伯恩哈德·莫勒;彼得·奥赫恩;你好,托尼 三 2021 根据规范构建程序。IFIP TC2/WG 2.1工作会议记录,美国加利福尼亚州太平洋格罗夫,1991年5月13日至16日。 Zbl 0744.68025号 2 1991 图形算法的更短路径。 Zbl 0813.68144号 伯恩哈德·莫勒;马丁·拉斯林 2 1994 高阶代数、逻辑和术语重写。1993年9月23日至24日,荷兰阿姆斯特丹,1993年HOA第一届国际研讨会。精选论文。 兹比尔0825.00070 2 1994 模态设计代数。 Zbl 1186.68112号 沃尔特·古特曼;伯恩哈德·莫勒 2 2006 懒惰半环邻域和一些应用。 Zbl 1134.68408号 彼得·霍夫纳;伯恩哈德·莫勒 2 2006 探索模态世界。 Zbl 1434.03146号 Dang,Han-Hing(韩红);罗兰·格里克;伯恩哈德·莫勒;帕特里克·鲁克斯;安德烈亚斯·泽伦德 2 2014 并发程序执行的离散几何模型。 Zbl 1483.68086号 伯恩哈德·莫勒;你好,托尼;马丁·米勒。;乔治·斯特鲁斯 2 2017 Kleene模块。 Zbl 1088.03052号 呃,托尔斯滕;伯恩哈德·莫勒;乔治·斯特鲁斯 2 2004 计算机科学中的关系和克莱恩代数。2009年11月1日至5日在卡塔尔多哈举行的第11届计算机科学关系方法国际会议(RelMiCS 2009)和第6届Kleene代数应用国际会议(AKA 2009)。诉讼程序。 Zbl 1177.68003号 1 2009 直到规则的代数推导及其在计时器验证中的应用。 Zbl 1518.68205号 杰西卡·埃特尔;罗兰·格里克;伯恩哈德·莫勒 1 2018 面向特征编程的着色代数基础。 Zbl 1364.68137号 彼得·霍夫纳;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2012 高阶代数、逻辑和术语重写。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。 Zbl 0851.00044号 1 1996 修复Zeno间隙。 Zbl 1227.68079号 彼得·霍夫纳;伯恩哈德·莫勒 1 2011 模态代数和Petri网。 Zbl 1410.68249号 Dang,Han-Hing(韩红);伯恩哈德·莫勒 1 2015 模态半环中的知识和游戏。 Zbl 1139.03048号 伯恩哈德·莫勒 1 2008 扩展传递分离逻辑。 Zbl 1330.03071号 Dang,Han-Hing(韩红);Möller,Bernhard B。 1 2015 结构化文档代数正在运行。 Zbl 1454.68023号 唐·巴托里;彼得·霍夫纳;多米尼克·科普;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2015 非结合Kleene代数和时间逻辑。 Zbl 1486.68099号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 1 2017 计算机科学中的关系和克莱恩代数方法。2003年5月12日至17日,德国巴德·马伦特,第七届计算机科学关系方法国际研讨会(RelMiCS 7)和第二届克莱恩代数应用国际研讨会。修订了选定的论文。 Zbl 1051.68002号 1 2004 代数邻域逻辑。 Zbl 1142.03036号 彼得·霍夫纳;伯恩哈德·莫勒 1 2008 模糊模态代数。 Zbl 1405.03086号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 1 2014 关于程序正确性和错误性的代数。 Zbl 07670527号 伯恩哈德·莫勒;O&rsquo的;彼得·赫恩;你好,托尼 三 2021 直到规则的代数推导及其在计时器验证中的应用。 Zbl 1518.68205号 杰西卡·埃特尔;罗兰·格里克;伯恩哈德·莫勒 1 2018 并发程序执行的离散几何模型。 Zbl 1483.68086号 伯恩哈德·莫勒;你好,托尼;马丁·米勒。;乔治·斯特鲁斯 2 2017 非关联Kleene代数和时序逻辑。 Zbl 1486.68099号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 1 2017 并发Kleene代数的发展。 Zbl 1344.68149号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 6 2016 数据库首选项代数。 Zbl 1329.68094号 伯恩哈德·莫勒;帕特里克·鲁克斯 4 2015 探索CKA的接口模型。 Zbl 1432.68314号 伯恩哈德·莫勒;你好,托尼 三 2015 模态代数和Petri网。 Zbl 1410.68249号 Dang,Han-Hing(韩红);伯恩哈德·莫勒 1 2015 扩展传递分离逻辑。 Zbl 1330.03071号 Dang,Han-Hing(韩红);Möller,Bernhard B。 1 2015 结构化文档代数正在运行。 Zbl 1454.68023号 唐·巴托里;彼得·霍夫纳;多米尼克·科普;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2015 线性代数的关系式法则和结构。 Zbl 1434.15016号 朱尔斯·德沙奈斯;阿纳斯塔西亚·格里南科;伯恩哈德·莫勒 7 2014 并发Kleene代数的发展。 Zbl 1344.68148号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;O&rsquo的;彼得·赫恩 7 2014 探索模态世界。 Zbl 1434.03146号 Dang,Han-Hing(韩红);罗兰·格里克;伯恩哈德·莫勒;公鸡,帕特里克;安德烈亚斯·泽伦德 2 2014 模糊模态代数。 Zbl 1405.03086号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 1 2014 迪克斯特拉、弗洛伊德和沃沙尔将会见克莱恩。 Zbl 1259.68243号 彼得·霍夫纳;伯恩哈德·莫勒 8 2012 数据库首选项的代数演算。 Zbl 1358.68087号 伯恩哈德·莫勒;公鸡,帕特里克;马库斯·恩德斯 7 2012 并发和局部推理的反向交换。 Zbl 1358.68063号 Dang,Han-Hing(韩红);伯恩哈德·莫勒 4 2012 传递分离逻辑。 Zbl 1330.03070号 Dang,Han-Hing(韩红);伯恩哈德·莫勒 三 2012 分层复杂偏好的代数。 Zbl 1330.68057号 伯恩哈德·莫勒;帕特里克·鲁克斯 三 2012 面向特征编程的着色代数基础。 Zbl 1364.68137号 彼得·霍夫纳;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2012 并发Kleene代数及其基础。 Zbl 1278.68176号 你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 47 2011 代数分离逻辑。 Zbl 1260.03060号 丹·H·H。;Höfner,P。;莫勒,B。 14 2011 终止的代数概念。 Zbl 1214.68185号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 13 2011 关于并发进程的局部性和交换律。 Zbl 1343.68170号 C.A.R.霍尔。;阿克巴侯赛因;伯恩哈德·莫勒;O&rsquo的;彼得·霍恩(Peter W.Hearn)。;Rasmus Lerchedahl彼得森;乔治·斯特鲁斯 12 2011 使用互模拟商进行模型细化。 Zbl 1308.68040号 罗兰·格里克;伯恩哈德·莫勒;米歇尔·辛佐夫 三 2011 修复Zeno间隙。 Zbl 1227.68079号 彼得·霍夫纳;伯恩哈德·莫勒 1 2011 正规设计代数。 Zbl 1184.68179号 沃尔特·古特曼;伯恩哈德·莫勒 7 2010 基于特征的程序自动综合的代数基础。 Zbl 1209.68129号 斯文·阿佩尔;克里斯蒂安·伦戈尔;伯恩哈德·莫勒;克里斯蒂安·卡斯特纳 6 2010 并发Kleene代数。 兹比尔1254.68172 C.A.R.Tony Hoare;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 27 2009 混合系统的代数。 Zbl 1161.68032号 彼得·霍夫纳;伯恩哈德·莫勒 9 2009 并发Kleene代数的基础。 Zbl 1267.68154号 C.A.R.霍尔。;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 8 2009 等价、互模拟和控制的半环方法。 Zbl 1267.68142号 罗兰·格里克;伯恩哈德·莫勒;米歇尔·辛佐夫 4 2009 计算机科学中的关系和Kleene代数。2009年11月1日至5日在卡塔尔多哈举行的第11届计算机科学关系方法国际会议(RelMiCS 2009)和第6届Kleene代数应用国际会议(AKA 2009)。诉讼程序。 Zbl 1177.68003号 1 2009 特征和特征组合的代数。 Zbl 1170.68424号 斯文·阿佩尔;克里斯蒂安·伦戈尔;伯恩哈德·莫勒;Kästner,基督徒 三 2008 模态半环中的知识和游戏。 Zbl 1139.03048号 伯恩哈德·莫勒 1 2008 代数邻域逻辑。 Zbl 1142.03036号 彼得·霍夫纳;伯恩哈德·莫勒 1 2008 克莱恩变得懒惰了。 Zbl 1109.68060号 伯恩哈德·莫勒 19 2007 带域的Kleene代数。 Zbl 1367.68205号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 73 2006 模态算子代数和部分正确性。 Zbl 1086.68082号 伯恩哈德·莫勒;乔治·斯特鲁斯 31 2006 量子数和时序逻辑。 Zbl 1235.03051号 伯恩哈德·莫勒;彼得·霍夫纳;乔治·斯特鲁斯 13 2006 水处理是无线局域网. Zbl 1185.68227号 伯恩哈德·莫勒;乔治·斯特鲁斯 11 2006 欧米茄代数、恶魔精化代数和命令。 Zbl 1134.68409号 彼得·霍夫纳;伯恩哈德·莫勒;金·索林 7 2006 克莱恩在一个模态恶魔星下。 Zbl 1086.68080号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 7 2006 UTP的线性代数。 Zbl 1235.68057号 伯恩哈德·莫勒 6 2006 走向混合系统的代数。 Zbl 1185.68431号 彼得·霍夫纳;伯恩哈德·莫勒 4 2006 模态设计代数。 Zbl 1186.68112号 沃尔特·古特曼;伯恩哈德·莫勒 2 2006 懒惰半环邻域和一些应用。 Zbl 1134.68408号 彼得·霍夫纳;伯恩哈德·莫勒 2 2006 关系的最小自反点。 Zbl 1081.06001号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 4 2005 懒惰的克莱恩代数。 Zbl 1106.68065号 伯恩哈德·莫勒 12 2004 模态Kleene代数中的终止。 Zbl 1088.68619号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 11 2004 模态Kleene代数和部分正确性。 Zbl 1108.68403号 伯恩哈德·莫勒;乔治·斯特鲁斯 三 2004 Kleene模块。 Zbl 1088.03052号 呃,托尔斯滕;伯恩哈德·莫勒;乔治·斯特鲁斯 2 2004 计算机科学中的关系和克莱恩代数方法。2003年5月12日至17日,德国巴德·马伦特,第七届计算机科学关系方法国际研讨会(RelMiCS 7)和第二届克莱恩代数应用国际研讨会。修订了选定的论文。 兹比尔1051.68002 1 2004 刻画Kleene代数中的确定性。 Zbl 1004.68105号 朱尔斯·德沙奈斯;伯恩哈德·莫勒 15 2001 使用α级优化进行模糊结构分析。 Zbl 1009.74053号 莫勒,B。;西格拉芙。;啤酒,M。 28 2000 克莱恩在一个恶魔般的星球下。 Zbl 0983.68039号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 5 2000 使用非循环列表和循环列表进行计算。 Zbl 0943.68038号 伯恩哈德·莫勒 4 1999 分层图遍历和哈密顿路径问题——一种代数方法。 Zbl 0907.05052号 托马斯·布伦;伯恩哈德·莫勒;马丁·拉斯林 三 1998 高阶代数、逻辑和术语重写。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。 Zbl 0851.00044号 1 1996 图形算法的更短路径。 Zbl 0813.68144号 伯恩哈德·莫勒;马丁·拉斯林 2 1994 高阶代数、逻辑和术语重写。1993年9月23日至24日,荷兰阿姆斯特丹,1993年HOA第一届国际研讨会。精选论文。 Zbl 0825.00070 2 1994 指向指针代数。 Zbl 0780.68090号 伯恩哈德·莫勒 8 1993 正式程序开发。IFIP TC2/WG 2.1最新报告。 Zbl 0825.00043号 8 1993 根据规范构建程序。1991年5月13日至16日,美国加利福尼亚州太平洋格罗夫,IFIP TC2/WG 2.1工作会议记录。 Zbl 0744.68025号 2 1991 通过转换构建正式的程序——计算机辅助、直观引导的编程。 Zbl 0664.68017号 弗里德里希·路德维希·鲍尔;伯恩哈德·莫勒;赫尔穆特·帕奇;彼得·佩珀 三 1989 可达高阶代数的代数规范。 Zbl 0659.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 13 1988 具有内置域构造的代数规范。 Zbl 0645.68027号 伯恩哈德·莫勒;安德烈·塔莱基;马丁·威尔辛 4 1988 代数实现保持程序正确性。 Zbl 0597.68021号 曼弗雷德·布罗伊;伯恩哈德·莫勒;彼得·佩珀;马丁·威尔辛 7 1986 关于无限对象的代数规范——代数类型的有序和连续模型。 Zbl 0563.68030号 伯恩哈德·莫勒 7 1985 关于域的代数规范。 Zbl 0584.68038号 伯恩哈德·莫勒;沃尔特·多什 三 1985 Unendliche Objekte und Geflechte公司。 Zbl 0565.68012号 伯恩哈德·莫勒 三 1982 用广谱语言编程:示例集。 Zbl 0469.68003号 F.L.鲍尔。;布罗伊,M。;多施,W。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 11 1981 所有引用出版物 前5名被引用出版物 全部的 前5名227位作者引用 36 伯恩哈德·莫勒 34 乔治·斯特鲁斯 15 沃尔特·古特曼 14 彼得·霍夫纳 13 朱尔斯·德沙奈斯 12 C.A.R.Tony Hoare 10 蒂莫西·斯托克斯(Timothy E.Stokes)。 9 伊恩·海耶斯。 7 马塞尔·杰克逊。 6 鲁道夫·伯格哈默 6 罗伯特·J·科尔文。 6 西蒙·福斯特 6 罗兰·格里克 6 托比亚斯·卡佩 6 Annabelle K.McIver。 6 拉里萨·梅尼基。 6 亚历山德拉·席尔瓦 6 金·索林 6 范·斯塔登(Stephan van Staden) 6 法比奥·扎纳西 5 保罗·布鲁内特 5 Dang,Han-Hing(韩红) 5 乌里·法伦贝格 5 Hitoshi Furusawa 5 克里斯蒂安·约翰森 5 沃尔夫拉姆·卡尔 5 卡尔·梅恩克 5 何塞·努诺·奥利维拉 5 Damien Pous 5 帕特里克·鲁克斯 5 朱里安·罗特 5 詹姆斯·C·P·伍德科克。 5 朱慧彪 4 巴博萨、路易斯·索亚雷斯 4 布里杰什·多戈尔 4 罗尔夫·亨尼克 4 罗宾·赫希 4 塔希里·拉贝哈加。 4 马丁·威尔辛 三 曼弗雷德·布罗伊 三 卡梅隆·卡克 三 安娜·卡瓦尔坎蒂 三 让·卢·德·卡鲁费尔 三 彼得·吉普森 三 里达·凯德里 三 巴斯·卢提克 三 米库拉斯,萨博尔斯 三 O'Hearn,Peter W。 三 唐纳德·桑内拉。 三 工资制造者,贾纳 三 安德烈亚斯·泽伦德 三 泽达,弗兰克 三 Krzysztof,Zimiañski 2 卡勒姆·班尼斯特 2 詹姆斯·克兰奇 2 西蒙·多尔蒂 2 西蒙·多尔蒂 2 阿米娜·杜马内 2 哈特穆特·埃里格 2 塞巴斯蒂安·费舍尔 2 莱安德罗·戈麦斯(Leandro G.Gomes)。 2 维克多·戈麦斯。 2 埃里克·古堡 2 安妮·伊丽莎白·哈克斯豪森 2 阿克巴侯赛因 2 德克斯特·C·科赞。 2 罗伯特·洛伦茨。 2 亚历山大·马德拉 2 菲利普·马尔博斯 2 卡罗尔·C·摩根。 2 戴维·诺曼(David A.Naumann)。 2 Rasmus Lerchedahl彼得森 2 罗宾·皮埃德鲁 2 大卫·J·派姆。 2 马里奥·罗德里格斯-阿塔莱霍 2 伊戈尔·塞德拉尔 2 L.Jason,Steggles 2 安德烈·塔莱基 2 费卢兹·切尔 2 伊恩·卫尔曼 2 谢万玲 2 叶康峰 1 安倍晋三 1 卡马尔·阿布尔·霍恩 1 穆罕默德·阿拉巴德 1 阿兰·马蒂厄 1 斯文·阿佩尔 1 阿拉斯代尔·阿姆斯特朗 1 埃吉迪奥·阿斯泰西亚诺 1 玛丽亚·卡米拉·巴里奥尼。 1 唐·S·巴托里。 1 弗里德里希·路德维希·鲍尔 1 米歇尔·比多特 1 Lars Birkedal公司 1 保罗·博姆 1 马塞洛·玛丽亚·邦桑格 1 乔纳森·鲍文(Jonathan P.Bowen)。 1 瓦斯科·布拉特卡 1 菲利普·布鲁克。 1 拉斐尔·卡巴列罗(Rafael E.Caballero)。 ……还有127位作者 全部的 前5名29篇连载文章中引用 33 程序设计中的逻辑和代数方法杂志 25 理论计算机科学 23 逻辑与代数程序设计杂志 12 计算的形式方面 8 计算机科学中的逻辑方法 7 信息学报 5 信息科学 4 计算机程序设计科学 4 信息与计算 4 MSCS公司。计算机科学中的数学结构 4 ACM计算逻辑事务 三 信息处理信件 三 半群论坛 三 国际代数与计算杂志 2 代数通讯 2 代数普遍性 2 高阶和符号计算 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 Studia Logica公司 1 合成 1 应用非经典逻辑杂志 1 函数编程杂志 1 软计算 1 泛逻辑 1 离散和连续动力系统。S系列 1 Modelirovanie i Analiz信息系统 全部的 前5名16个领域引用 232 计算机科学(68至XX) 76 数学逻辑和基础(03-XX) 23 有序,格,有序代数结构(06-XX) 15 一般代数系统(08-XX) 13 结合环与代数(16-XX) 12 范畴理论;同调代数(18-XX) 10 群论与推广(20-XX) 8 组合数学(05-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 2 历史和传记(01-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文