编辑配置文件(在新选项卡中打开) 鲁道夫·伯哈默 合著者距离 作者ID: 柏哈默·鲁道夫 发布日期: 鲁道夫·伯哈默;R.伯哈默。 主页: http://www.rpe.informatik.uni-kiel.de/team/prov.-dr.-rudolf-berghammer网址:http://www.rpe.informatik.uni-kiel.de/team/prov.-dr.-rudolf-berghammer 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 108出版物自1982年以来,包括6本书 7作为编辑的贡献 合著者: 45位合著者具有91联合出版物 697合作作者 全部的 前5名合著者 24 单作者的 15 冈瑟·施密特 13 温特,迈克尔 10 哈里·斯瓦特(Harrie C.M.de Swart)。 10 阿格涅斯卡·鲁西诺夫斯卡 7 冯·卡格尔(von Karger),伯加德(Burghard) 6 Stucke,Insa公司 6 汉斯·齐勒 5 托尔斯滕·霍夫曼 5 彼得·霍夫纳 5 伯恩哈德·莫勒 4 沃尔特·古特曼 4 布列塔·凯登 4 弗兰克·诺伊曼 三 塞巴斯蒂安·费舍尔 三 亚历山大·弗伦克 三 海宁·施诺尔 三 乔治·斯特鲁斯 2 斯特凡·博卢斯 2 尼基塔·达尼连科 2 赫伯特·埃勒 2 阿里·穆罕默德·贾瓦 2 亚辛·拉赫内奇 2 巴巴拉·利奥尼乌克 2 米兰,乌尔夫 1 罗尼·本克 1 斯特芬·伯姆 1 伯恩德·布拉埃尔 1 帕特里克·埃克隆德。 1 比尔吉特·埃尔布尔 1 托拜厄斯·弗里德里希 1 Hitoshi Furusawa 1 米歇尔·格拉比什 1 托马斯·格里茨纳。 1 彼得·肯普夫 1 米贾·库尔琴斯基 1 马库斯·穆勒·奥尔姆 1 谢尔盖·波利亚科夫斯基 1 弗洛里安·路透社 1 马克·鲁本斯 1 乌尔夫·R·施梅尔。 1 雷娜特·施密特(Renate A.Schmidt)。 1 彼得·施奈德 1 托马斯·斯特拉林 1 詹·威勒姆,范德瑞特 1 安德烈亚斯·沃尔夫 全部的 前5名系列 11 程序设计中的逻辑和代数方法杂志 8 欧洲运筹学杂志 7 逻辑与代数程序设计杂志 4 理论计算机科学 4 计算机程序设计科学 4 计算机科学课堂讲稿 三 信息学报 三 计算机基础理论 2 离散数学 2 信息处理信件 2 信息科学 1 控制论学报 1 应用数学与计算 1 Monatsheft für Mathematik 1 IGPL逻辑杂志 1 通用计算机科学杂志 1 斯普林格·勒布赫 全部的 前5名领域 97 计算机科学(68至XX) 44 数学逻辑和基础(03-XX) 19 博弈论、经济学、金融和其他社会和行为科学(91-XX) 11 组合数学(05-XX) 9 一般性和全局性主题;集合(00-XX) 9 有序,格,有序代数结构(06-XX) 7 运筹学、数学规划(90-XX) 6 一般拓扑结构(54至XX) 4 一般代数系统(08-XX) 2 历史和传记(01-XX) 2 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 84出版物有被引用393次159文件 引用人▼ 年份▼ RelView——一个基于OBDD的关系计算机代数系统。 Zbl 1144.68384号 鲁道夫·伯哈默;弗兰克·诺伊曼 33 2005 确定性和非确定性程序的关系代数语义。 Zbl 0596.68019号 R.伯哈默。;H.齐勒。 32 1986 使用二进制决策图实现关系代数。 Zbl 1027.68036号 鲁道夫·伯哈默;巴巴拉·利奥尼乌克;米兰,乌尔夫 19 2002 对称商和域结构。 Zbl 0689.68095号 鲁道夫·伯哈默;冈瑟·施密特;汉斯·齐勒 16 1989 函数程序的关系语义。 Zbl 0884.68077号 鲁道夫·伯哈默;冯·卡格尔(von Karger),伯加德(Burghard) 11 1997 将关系代数和RELVIEW应用于联盟形成。 Zbl 1171.91312号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 11 2007 关于使用二进制决策图解决简单游戏中的问题。 Zbl 1253.91014号 鲁道夫·伯哈默;斯特凡·博卢斯 9 2012 使用关系代数和RelView计算锦标赛解决方案。 Zbl 1292.91060号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 8 2013 关于自动化程序构建和验证。 Zbl 1286.68068号 鲁道夫·伯哈默;乔治·斯特鲁斯 8 2010 将关系代数和RelView应用于社交网络中的度量。 Zbl 1173.91446号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 8 2010 自动验证关系while-programs。 Zbl 1405.68070号 鲁道夫·伯哈默;彼得·霍夫纳;Stucke,Insa公司 8 2014 应用关系代数和RelView解决阶和格上的问题。 Zbl 1144.68053号 鲁道夫·伯哈默 8 2008 使用应用程序嵌入映射和拆分。 Zbl 1209.68332号 鲁道夫·伯哈默;温特,迈克尔 7 2010 关系规范。 兹伯利0791.68104 鲁道夫·伯哈默;冈瑟·施密特 7 1993 生成树算法的关系代数推导。 Zbl 0905.68020号 鲁道夫·伯哈默;冯·卡格尔(von Karger),伯加德(Burghard);安德烈亚斯·沃尔夫 7 1998 RelView和Rath–两种处理关系的系统。 Zbl 1203.68319号 鲁道夫·伯哈默;冈瑟·施密特;温特,迈克尔 7 2003 简单游戏的关系代数方法。 Zbl 1207.90064号 鲁道夫·伯哈默;斯特凡·博卢斯;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 7 2011 基于工具的关系顶点着色程序验证。 Zbl 1471.68054号 鲁道夫·伯哈默;彼得·霍夫纳;Stucke,Insa公司 7 2015 用关系代数精确计算最小反馈顶点集。 Zbl 1110.68093号 鲁道夫·伯哈默;亚历山大·弗伦克 7 2006 关系深度是应用程序的首次搜索。 Zbl 1004.68125号 鲁道夫·伯哈默;托尔斯滕·霍夫曼 6 2001 联系人、闭包、拓扑以及行和列类型关系的链接。 Zbl 1231.03058号 冈瑟·施密特;鲁道夫·伯哈默 6 2011 不动点的关系代数计算及其应用。 Zbl 1086.68095号 鲁道夫·伯哈默 6 2006 有限拓扑空间和Alexandroff空间维数的序和图理论研究。 Zbl 1454.54024号 鲁道夫·伯哈默;温特,迈克尔 6 2019 鲁棒正确性的关系代数模型。 Zbl 0871.68125号 托马斯·格里茨纳。;鲁道夫·伯哈默 5 1996 通过重建Richardson定理的证明,导出用于计算内核的关系程序。 Zbl 0957.68029号 鲁道夫·伯哈默;托尔斯滕·霍夫曼 5 2000 结合关系演算和Dijkstra-Gries方法来派生关系程序。 Zbl 0943.68032号 鲁道夫·伯哈默 5 1999 布尔逻辑问题的关系方法。 Zbl 1185.03090号 鲁道夫·伯哈默;米兰,乌尔夫 5 2006 结合关系代数和数据精化,开发基于矩形的自反传递闭包函数程序。 兹比尔1329.68062 鲁道夫·伯哈默;塞巴斯蒂安·费舍尔 5 2015 关系的基数和关系近似算法。 Zbl 1351.68152号 鲁道夫·伯哈默;彼得·霍夫纳;Stucke,Insa公司 5 2016 联盟形成的跨学科方法。 Zbl 1159.91311号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 5 2009 订单、格以及与应用程序的关系。第二次修订和更正版。(Ordnungen,动词和关系mit Anwendungen) Zbl 1254.06001号 鲁道夫·伯哈默 4 2012 棋盘独立性和控制问题的关系代数建模和求解。 Zbl 1280.68301号 鲁道夫·伯哈默 4 2012 使用关系代数和RelView计算和可视化银行控制关系集。 Zbl 1278.91049号 鲁道夫·伯哈默 4 2013 关系代数和程序逻辑。 Zbl 0749.03016号 鲁道夫·伯哈默;彼得·肯普夫;冈瑟·施密特;托马斯·斯特拉林 4 1991 使用辅助变量的近似算法的形式化开发和验证。 Zbl 1099.68585号 鲁道夫·伯哈默;马库斯·穆勒·奥尔姆 4 2004 联盟组建的社交软件。 Zbl 1177.91118号 阿格涅斯卡·鲁西诺夫斯卡;鲁道夫·伯哈默;帕特里克·埃克隆德;詹·威勒姆,范德瑞特;马克·鲁本斯;哈里·德·斯瓦特 4 2006 用关系代数求解有限拓扑上的计算任务重新查看工具。 Zbl 1362.68297号 鲁道夫·伯哈默;温特,迈克尔 4 2017 Warshall算法的功能性、基于后继列表的版本及其应用程序。 Zbl 1329.68303号 鲁道夫·伯哈默 4 2011 列向可扩展向量表达式和集合集的关系计算。 兹比尔1432.68594 鲁道夫·伯哈默 4 2015 基于工具的有限拓扑空间闭内相关关系研究。 Zbl 1486.54003号 鲁道夫·伯哈默 4 2017 用约束函数逻辑语言实现关系规范。 兹比尔1279.68036 鲁道夫·伯哈默;塞巴斯蒂安·费舍尔 三 2007 基于集合的多目标优化、指标和恶化循环的收敛性。 Zbl 1254.90202号 鲁道夫·伯哈默;托拜厄斯·弗里德里希;弗兰克·诺伊曼 三 2012 使用关系代数和RelView计算社会选择。 Zbl 1267.91032号 哈里·德·斯瓦特;鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡 三 2009 使用关系代数和RelView计算和可视化闭包对象。 Zbl 1260.68477号 鲁道夫·伯哈默;伯恩德·布拉埃尔 三 2009 订单、格以及与应用程序的关系。(Ordnungen,动词和关系mit Anwendungen) Zbl 1146.06001号 鲁道夫·伯哈默 三 2008 偏好建模中的关系度量和集成。 Zbl 1140.68495号 冈瑟·施密特;鲁道夫·伯哈默 三 2008 应用程序关系的基础。 Zbl 1403.03132号 鲁道夫·伯哈默;尼基塔·达尼连科;彼得·霍夫纳;Stucke,Insa公司 三 2016 用代数方法研究和计算两分法。 Zbl 1471.08001号 鲁道夫·伯哈默;Stucke,Insa公司;温特,迈克尔 三 2015 计算有向双色图中的核。 Zbl 1336.68206号 冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯哈默 三 1997 用芽描述语义域。 Zbl 0612.68016号 冈瑟·施密特;鲁道夫·伯哈默;汉斯·齐勒 2 1987 有向图的几种可达性算法的发展。 Zbl 0664.68018号 鲁道夫·伯哈默;赫伯特·埃勒;汉斯·齐勒 2 1988 用芽来描述语义域。 Zbl 0681.68100号 冈瑟·施密特;鲁道夫·伯哈默;汉斯·齐勒 2 1989 关系代数规范与特殊大学时间表问题的求解。 兹比尔1198.90168 鲁道夫·伯哈默;布列塔·凯登 2 2010 来自关系规范的算法。 Zbl 0884.68080号 鲁道夫·伯哈默;冯·卡格尔(von Karger),伯加德(Burghard) 2 1997 具有绝对近似因子(frac{3}{2})的装箱线性近似算法。 Zbl 1056.68167号 鲁道夫·伯哈默;弗洛里安·路透社 2 2003 RELVIEW系统。 Zbl 0800.68963号 鲁道夫·伯哈默;冈瑟·施密特 2 1991 时序逻辑的关系模型。 Zbl 0906.03030号 冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯哈默 2 1998 利用关系代数和RelView解决阶和格上的算法问题。 Zbl 1141.68671号 鲁道夫·伯哈默 2 2006 闭包,多重关系的性质和闭包性质。 Zbl 1471.03087号 鲁道夫·伯哈默;沃尔特·古特曼 2 2015 多重关系和谓词变换的关系代数方法。 Zbl 1432.68069号 鲁道夫·伯哈默;沃尔特·古特曼 2 2015 路径的关系特征。 Zbl 1462.05198号 鲁道夫·伯哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 2 2020 关系和概念格的分解。 Zbl 1312.06003号 鲁道夫·伯哈默;温特,迈克尔 1 2013 代码生成的代数规范。 Zbl 0673.68047号 鲁道夫·伯哈默;赫伯特·埃勒;汉斯·齐勒 1 1988 计算强连通图的传递约简的关系程序。 Zbl 1027.68644号 鲁道夫·伯哈默;托尔斯滕·霍夫曼 1 2002 REL VIEW系统的应用。 Zbl 0944.68165号 R.本克。;R.伯哈默。;霍夫曼,T。;B.利奥尼乌克。;施耐德,P。 1 1999 在弱二阶逻辑中形式化Dijkstra的谓词变换wp。 兹伯利0873.68033 鲁道夫·伯哈默;比尔吉特·埃尔布尔;乌尔夫施梅尔 1 1995 关系代数和RelView应用于赞成投票。 Zbl 1405.68456号 鲁道夫·伯哈默;尼基塔·达尼连科;海宁·施诺尔 1 2014 计算机科学中的关系和克莱恩代数。2009年11月1日至5日在卡塔尔多哈举行的第11届计算机科学关系方法国际会议(RelMiCS 2009)和第6届Kleene代数应用国际会议(AKA 2009)。诉讼程序。 Zbl 1177.68003号 1 2009 最弱前提条件的纯语法形式化的合理性。 Zbl 0962.68101号 鲁道夫·伯哈默 1 2000 简单的基于矩形的函数程序,用于计算自反传递闭包。 Zbl 1330.68044号 鲁道夫·伯哈默;塞巴斯蒂安·费舍尔 1 2012 离散排序关系。 Zbl 0499.06005 R.伯哈默。;施密特,G。 1 1983 计算机科学中的关系和克莱恩代数方法。2003年5月12日至17日,德国巴德·马伦特,第七届计算机科学关系方法国际研讨会(RelMiCS 7)和第二届克莱恩代数应用国际研讨会。修订了选定的论文。 Zbl 1051.68002号 1 2004 计算机科学中的图论概念。1991年6月17日至19日,第17届国际研讨会,91年工作组,德国菲施巴乔。诉讼程序。 Zbl 0759.00014号 1 1992 零维有限拓扑空间关于覆盖维的算法计数。 Zbl 1508.54015号 鲁道夫·伯哈默;斯特芬·伯姆;温特,迈克尔 1 2021 使用RelView对关系进行代数可视化。 Zbl 1141.68672号 鲁道夫·伯哈默;冈瑟·施密特 1 2007 社交网络:声望、中心地位和影响力(特邀论文)。 Zbl 1329.91117号 阿格涅斯卡·鲁西诺夫斯卡;鲁道夫·伯哈默;哈里·德·斯瓦特;米歇尔·格拉比什 1 2011 使用计算简单游戏重新查看. Zbl 1232.68187号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 1 2011 Condorcet投票的控制:复杂性和关系代数方法。 Zbl 1346.91069号 鲁道夫·伯哈默;Henning施诺尔 1 2015 关系代数、RelView和复数投票。 Zbl 1416.68212号 鲁道夫·伯哈默 1 2014 通过关系代数建模和开发计算最小扩展集。 兹比尔1434.91032 鲁道夫·伯哈默 1 2014 计算机科学数学。基本概念、结构及其应用。第三次扩展和更新版本。(Mathematik für die Informatik.Grundlegende Begriffe,Strukturen und ihre Anwendung) Zbl 1456.68002号 鲁道夫·伯哈默 1 2019 关系集的关系计算。 Zbl 07670511号 鲁道夫·伯哈默 1 2021 关系具有核的充分标准的实验研究。 Zbl 07670512号 鲁道夫·伯哈默;米贾·库尔琴斯基 1 2021 通过整数规划解决投票系统中的硬控制问题。 Zbl 1346.91075号 波利亚科夫斯基,S。;R.伯哈默。;F.诺依曼。 1 2016 零维有限拓扑空间关于覆盖维的算法计数。 Zbl 1508.54015号 鲁道夫·伯哈默;斯特芬·伯姆;温特,迈克尔 1 2021 关系集的关系计算。 Zbl 07670511号 鲁道夫·伯哈默 1 2021 关系具有核的充分标准的实验研究。 Zbl 07670512号 鲁道夫·伯哈默;米贾·库尔琴斯基 1 2021 路径的关系特征。 Zbl 1462.05198号 鲁道夫·伯哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 2 2020 有限拓扑空间和Alexandroff空间维数的序和图理论研究。 Zbl 1454.54024号 鲁道夫·伯哈默;温特,迈克尔 6 2019 计算机科学数学。基本概念、结构及其应用。第三次扩展和更新版本。(Mathematik für die Informatik.Grundlegende Begriffe,Strukturen und ihre Anwendung) Zbl 1456.68002号 鲁道夫·伯哈默 1 2019 用关系代数求解有限拓扑上的计算任务重新查看工具。 Zbl 1362.68297号 鲁道夫·伯哈默;温特,迈克尔 4 2017 基于工具的有限拓扑空间闭内相关关系研究。 Zbl 1486.54003号 鲁道夫·伯哈默 4 2017 关系的基数和关系近似算法。 Zbl 1351.68152号 鲁道夫·伯哈默;彼得·霍夫纳;Stucke,Insa公司 5 2016 应用程序关系的基础。 兹比尔1403.03132 鲁道夫·伯哈默;尼基塔·达尼连科;彼得·霍夫纳;Stucke,Insa公司 三 2016 通过整数规划解决投票系统中的硬控制问题。 Zbl 1346.91075号 波利亚科夫斯基,S。;R.伯哈默。;F.诺依曼。 1 2016 关系顶点着色程序的基于工具的验证。 兹比尔1471.68054 鲁道夫·伯哈默;彼得·霍夫纳;Stucke,Insa公司 7 2015 结合关系代数和数据求精,开发基于矩形的自反传递闭包函数程序。 Zbl 1329.68062号 鲁道夫·伯哈默;塞巴斯蒂安·费舍尔 5 2015 列向可扩展向量表达式和集合集的关系计算。 Zbl 1432.68594号 鲁道夫·伯哈默 4 2015 用代数方法研究和计算两分法。 Zbl 1471.08001号 鲁道夫·伯哈默;Stucke,Insa公司;温特,迈克尔 三 2015 闭包,多重关系的性质和闭包性质。 Zbl 1471.03087号 鲁道夫·伯哈默;沃尔特·古特曼 2 2015 多重关系和谓词变换的关系代数方法。 Zbl 1432.68069号 鲁道夫·伯哈默;沃尔特·古特曼 2 2015 Condorcet投票的控制:复杂性和关系代数方法。 Zbl 1346.91069号 鲁道夫·伯哈默;海宁·施诺尔 1 2015 自动验证关系while-programs。 Zbl 1405.68070号 鲁道夫·伯哈默;彼得·霍夫纳;Stucke,Insa公司 8 2014 关系代数和RelView应用于批准投票。 Zbl 1405.68456号 鲁道夫·伯哈默;尼基塔·达尼连科;海宁·施诺尔 1 2014 关系代数、RelView和复数投票。 Zbl 1416.68212号 鲁道夫·伯哈默 1 2014 通过关系代数建模和开发计算最小扩展集。 Zbl 1434.91032号 鲁道夫·伯哈默 1 2014 使用关系代数和RelView计算锦标赛解决方案。 Zbl 1292.91060号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 8 2013 使用关系代数和RelView计算和可视化银行控制关系集。 Zbl 1278.91049号 鲁道夫·伯哈默 4 2013 关系和概念格的分解。 Zbl 1312.06003号 鲁道夫·伯哈默;冬天,迈克尔 1 2013 关于使用二进制决策图解决简单游戏中的问题。 Zbl 1253.91014号 鲁道夫·伯哈默;斯特凡·博卢斯 9 2012 阶、格以及与应用程序的关系。第2次修订和修正版。(Ordnungen,动词和关系mit Anwendungen) Zbl 1254.06001号 鲁道夫·伯哈默 4 2012 棋盘独立性和控制问题的关系代数建模和求解。 Zbl 1280.68301号 鲁道夫·伯哈默 4 2012 基于集合的多目标优化、指标和恶化循环的收敛性。 Zbl 1254.90202号 鲁道夫·伯哈默;托拜厄斯·弗里德里希;弗兰克·诺伊曼 三 2012 简单的基于矩形的函数程序,用于计算自反传递闭包。 Zbl 1330.68044号 鲁道夫·伯哈默;塞巴斯蒂安·费舍尔 1 2012 简单游戏的关系代数方法。 Zbl 1207.90064号 鲁道夫·伯哈默;斯特凡·博卢斯;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 7 2011 联系人、闭包、拓扑以及行和列类型关系的链接。 Zbl 1231.03058号 冈瑟·施密特;鲁道夫·伯哈默 6 2011 Warshall算法的功能性、基于后继列表的版本及其应用程序。 Zbl 1329.68303号 鲁道夫·伯哈默 4 2011 社交网络:声望、中心地位和影响力(特邀论文)。 Zbl 1329.91117号 阿格涅斯卡·鲁西诺夫斯卡;鲁道夫·伯哈默;哈里·德·斯瓦特;米歇尔·格拉比什 1 2011 使用计算简单游戏重新查看. Zbl 1232.68187号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 1 2011 关于自动化程序构建和验证。 Zbl 1286.68068号 鲁道夫·伯哈默;乔治·斯特鲁斯 8 2010 将关系代数和RelView应用于社交网络中的度量。 Zbl 1173.91446号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 8 2010 在应用程序中嵌入映射和拆分。 兹比尔1209.68332 鲁道夫·伯哈默;温特,迈克尔 7 2010 特殊大学时间表问题的关系代数规范和解决方案。 兹比尔1198.90168 鲁道夫·伯哈默;布列塔·凯登 2 2010 形成联盟的跨学科方法。 Zbl 1159.91311号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 5 2009 使用关系代数和RelView计算社会选择。 Zbl 1267.91032号 哈里·德·斯瓦特;鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡 三 2009 使用关系代数和RelView计算和可视化闭包对象。 Zbl 1260.68477号 鲁道夫·伯哈默;伯恩德·布拉埃尔 三 2009 计算机科学中的关系和克莱恩代数。2009年11月1日至5日在卡塔尔多哈举行的第11届计算机科学关系方法国际会议(RelMiCS 2009)和第6届Kleene代数应用国际会议(AKA 2009)。诉讼程序。 Zbl 1177.68003号 1 2009 应用关系代数和RelView解决阶和格上的问题。 Zbl 1144.68053号 鲁道夫·伯哈默 8 2008 订单、格以及与应用程序的关系。(Ordnungen,动词和关系mit Anwendungen) Zbl 1146.06001号 鲁道夫·伯哈默 三 2008 偏好建模中的关系度量和集成。 Zbl 1140.68495号 冈瑟·施密特;鲁道夫·伯哈默 三 2008 将关系代数和RELVIEW应用于联盟形成。 Zbl 1171.91312号 鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 11 2007 在约束函数逻辑语言中实现关系规范。 Zbl 1279.68036号 鲁道夫·伯哈默;塞巴斯蒂安·费舍尔 三 2007 使用RelView对关系进行代数可视化。 Zbl 1141.68672号 鲁道夫·伯哈默;冈瑟·施密特 1 2007 用关系代数精确计算最小反馈顶点集。 Zbl 1110.68093号 鲁道夫·伯哈默;亚历山大·弗伦克 7 2006 不动点的关系代数计算及其应用。 Zbl 1086.68095号 鲁道夫·伯哈默 6 2006 布尔逻辑问题的关系方法。 Zbl 1185.03090号 鲁道夫·伯哈默;米兰,乌尔夫 5 2006 用于联盟组建的社交软件。 兹比尔1177.91118 阿格涅斯卡·鲁西诺夫斯卡;鲁道夫·伯哈默;帕特里克·埃克隆德;詹·威勒姆,范德瑞特;马克·鲁本斯;哈里·德·斯瓦特 4 2006 利用关系代数和RelView解决阶和格上的算法问题。 Zbl 1141.68671号 鲁道夫·伯哈默 2 2006 RelView–基于OBDD的关系计算机代数系统。 Zbl 1144.68384号 鲁道夫·伯哈默;弗兰克·诺伊曼 33 2005 使用辅助变量的近似算法的形式化开发和验证。 Zbl 1099.68585号 鲁道夫·伯哈默;马库斯·穆勒·奥尔姆 4 2004 计算机科学中的关系和克莱恩代数方法。2003年5月12日至17日,德国巴德·马伦特,第七届计算机科学关系方法国际研讨会(RelMiCS 7)和第二届克莱恩代数应用国际研讨会。修订了选定的论文。 Zbl 1051.68002号 1 2004 RelView和Rath–两种处理关系的系统。 Zbl 1203.68319号 鲁道夫·伯哈默;冈瑟·施密特;温特,迈克尔 7 2003 具有绝对近似因子(frac{3}{2})的装箱线性近似算法。 Zbl 1056.68167号 鲁道夫·伯哈默;弗洛里安·路透社 2 2003 使用二进制决策图实现关系代数。 Zbl 1027.68036号 鲁道夫·伯哈默;巴巴拉·利奥尼乌克;米兰,乌尔夫 19 2002 计算强连通图的传递约简的关系程序。 Zbl 1027.68644号 鲁道夫·伯哈默;托尔斯滕·霍夫曼 1 2002 关系深度是应用程序的首次搜索。 Zbl 1004.68125号 鲁道夫·伯哈默;托尔斯滕·霍夫曼 6 2001 通过重建Richardson定理的证明,导出用于计算内核的关系程序。 Zbl 0957.68029号 鲁道夫·伯哈默;托尔斯滕·霍夫曼 5 2000 最弱前提条件的纯语法形式化的合理性。 兹比尔0962.68101 鲁道夫·伯哈默 1 2000 结合关系演算和Dijkstra-Gries方法来派生关系程序。 Zbl 0943.68032号 鲁道夫·伯哈默 5 1999 REL VIEW系统的应用。 Zbl 0944.68165号 Behnke,R。;R.伯哈默。;霍夫曼,T。;B.利奥尼乌克。;施耐德,P。 1 1999 生成树算法的关系代数推导。 Zbl 0905.68020号 鲁道夫·伯哈默;冯·卡格尔(von Karger),伯加德(Burghard);安德烈亚斯·沃尔夫 7 1998 时序逻辑的关系模型。 Zbl 0906.03030号 冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯哈默 2 1998 函数程序的关系语义。 Zbl 0884.68077号 鲁道夫·伯哈默;冯·卡格尔(von Karger),伯加德(Burghard) 11 1997 计算有向双色图中的核。 Zbl 1336.68206号 冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯哈默 三 1997 来自关系规范的算法。 Zbl 0884.68080号 鲁道夫·伯哈默;冯·卡格尔(von Karger),伯加德(Burghard) 2 1997 鲁棒正确性的关系代数模型。 Zbl 0871.68125号 托马斯·格里茨纳。;鲁道夫·伯哈默 5 1996 在弱二阶逻辑中形式化Dijkstra的谓词变换wp。 Zbl 0873.68033号 鲁道夫·伯哈默;比尔吉特·埃尔布尔;乌尔夫施梅尔 1 1995 相关规范。 Zbl 0791.68104号 鲁道夫·伯哈默;冈瑟·施密特 7 1993 计算机科学中的图论概念。1991年6月17日至19日,第17届国际研讨会,91年工作组,德国菲施巴乔。诉讼程序。 Zbl 0759.00014号 1 1992 关系代数和程序逻辑。 Zbl 0749.03016号 鲁道夫·伯哈默;彼得·肯普夫;冈瑟·施密特;托马斯·斯特拉林 4 1991 RELVIEW系统。 Zbl 0800.68963号 鲁道夫·伯哈默;冈瑟·施密特 2 1991 对称商和域结构。 Zbl 0689.68095号 鲁道夫·伯哈默;冈瑟·施密特;汉斯·齐雷尔 16 1989 用芽来描述语义域。 Zbl 0681.68100号 冈瑟·施密特;鲁道夫·伯哈默;汉斯·齐勒 2 1989 有向图的几种可达性算法的发展。 Zbl 0664.68018号 鲁道夫·伯哈默;赫伯特·埃勒;汉斯·齐勒 2 1988 代码生成的代数规范。 Zbl 0673.68047号 鲁道夫·伯哈默;赫伯特·埃勒;汉斯·齐勒 1 1988 用芽描述语义域。 Zbl 0612.68016号 冈瑟·施密特;鲁道夫·伯哈默;汉斯·齐勒 2 1987 确定性和非确定性程序的关系代数语义。 Zbl 0596.68019号 R.伯哈默。;H.齐勒。 32 1986 离散排序关系。 Zbl 0499.06005 R.伯哈默。;施密特,G。 1 1983 所有引用出版物 前5名被引用出版物 全部的 前5名172位作者引用 45 鲁道夫·伯哈默 20 沃尔特·古特曼 11 温特,迈克尔 9 朱尔斯·德沙奈斯 5 哈里·斯瓦特(Harrie C.M.de Swart)。 5 彼得·霍夫纳 5 沃尔夫拉姆·卡尔 5 布列塔·凯登 5 伯恩哈德·莫勒 5 阿格涅斯卡·鲁西诺夫斯卡 5 冈瑟·施密特 5 Stucke,Insa公司 5 费卢兹·切尔 4 乔治·斯特鲁斯 三 塞巴斯蒂安·费舍尔 三 Hitoshi Furusawa 三 阿里·米莉 三 弗兰克·诺伊曼 三 Jochen Staudacher 三 汉斯·齐勒 2 斯特凡·博卢斯 2 伯恩德·布拉埃尔 2 尼基塔·达尼连科 2 Jean-Lou de Carufel 2 罗宾·Eßmann 2 简·菲利普 2 Dimitrios N.乔治奥。 2 罗兰·格里克 2 托马斯·格里茨纳。 2 罗宾·赫希 2 阿里·穆罕默德·贾瓦 2 Stef Maria Mathias Joosten 2 川原康夫 2 肥胖症,Athanasios C。 2 泽维尔·莫利内罗 2 托比亚斯·尼普科夫 2 何塞·努诺,奥利维拉 2 法比安·里克尔梅 2 西蒙·罗比拉德 2 海宁·施诺尔 2 福蒂尼·塞雷蒂 2 塞尔娜·伊格莱西亚斯(Serna Iglesias)、玛丽亚·何塞(Maria José) 2 伊莎贝拉·斯塔克 2 Andranik S.Tangian。 2 北海市津马加里 2 伯恩哈德·冯·斯坦格尔 1 马修·阿兰 1 阿尔弗雷兹,German H。 1 毛里西奥·阿尔弗雷兹 1 哈伊纳尔·安德雷卡 1 阿拉斯代尔·阿姆斯特朗 1 弗朗西斯·阿坦波雷 1 罗兰·贝克豪斯(Roland C.Backhouse)。 1 阿弥陀佛·班纳吉 1 西尔万·贝埃尔 1 纳迪尔·贝尔基特 1 本·穆罕默德·斯格海尔,萨拉赫 1 Michael A.Benedikt。 1 最好的,艾克 1 Eerke A.Boiten。 1 斯特芬·伯姆 1 努里丁·布德里加A。 1 马克·鲍伦 1 保罗·布鲁内特 1 哈立德·比萨耶斯 1 乔迪·卡斯特罗 1 陈瑜 1 陈志忠 1 简·克里斯蒂安森 1 马克西米利亚诺·克里斯蒂亚 1 斯特凡·德姆里。 1 约翰·德里克 1 弗洛里安·迪德里奇 1 Ernst-Erich Doberkat 1 沃尔特·多什 1 奥斯曼·埃奇 1 罗伯·埃格洛特 1 大卫·费尔南德斯·阿莫罗斯 1 马丁·范策尔 1 马克·弗拉皮耶 1 马塞洛·法比昂·弗里亚斯 1 亚历山大·弗伦克 1 加尔达洛,Wided 1 戈戈拉,佩德罗·阿图罗 1 蒂莫西·格里芬。 1 郭炯 1 瓦西里·古塞夫 1 哈努斯,迈克尔 1 靖国服都 1 杰森·T·赫德蒂尼米。 1 斯蒂芬·特拉维斯(Stephen Travis)·赫德特涅米(Hedetniemi) 1 鲁本·赫拉迪奥 1 C.A.R.Tony Hoare 1 斯塔夫罗斯·D·伊利亚迪斯。 1 马塞尔·杰克逊。 1 尼古拉斯·R·詹宁斯。 1 本杰明·卢西恩·卡明斯基 1 Joost-Pieter卡托恩 1 穆罕默德·哈立德 1 迪伦·基林贝克 …还有72位作者 全部的 前5名在38篇连载文章中被引用 24 程序设计中的逻辑和代数方法杂志 16 理论计算机科学 15 逻辑与代数程序设计杂志 13 欧洲运筹学杂志 4 信息学报 4 信息科学 2 信息处理信件 2 理论与决策 2 纯逻辑与应用逻辑年鉴 2 计算系统理论 2 游戏 1 人工智能 1 离散数学 1 代数普遍性 1 应用数学与计算 1 符号逻辑杂志 1 斯洛伐克数学 1 Monatsheft für Mathematik 1 Studia Logica公司 1 拓扑及其应用 1 数学社会科学 1 社会选择与福利 1 订单 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 国际近似推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 组合优化期刊 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 应用数学杂志 1 代数及其应用杂志 1 计算机科学中的逻辑方法 1 离散和连续动力系统。S系列 1 运营研究与决策 1 公理 全部的 前5名在15个字段中引用 119 计算机科学(68至XX) 56 数学逻辑和基础(03-XX) 25 博弈论、经济学、金融和其他社会和行为科学(91-XX) 18 组合数学(05-XX) 15 有序,格,有序代数结构(06-XX) 15 运筹学、数学规划(90-XX) 10 一般拓扑结构(54至XX) 8 范畴理论;同调代数(18-XX) 4 一般代数系统(08-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 2 结合环与代数(16-XX) 1 历史和传记(01-XX) 1 群论与推广(20-XX) 1 凸和离散几何(52至XX) 1 数学教育(97-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.