编辑配置文件(在新选项卡中打开) 彼得·霍夫纳 合著者距离 作者ID: 霍夫纳测厚仪 发布日期: 彼得·霍夫纳;Höfner,P。 外部链接: MGP公司 已编制索引的文档: 45出版物自2006年以来,包括1本书 6作为编辑的贡献 合著者: 45位合著者具有48联合出版物 577合著者 全部的 前5名合著者 3 单作者的 13 伯恩哈德·莫勒 12 罗伯特·詹·范·格拉贝克 9 乔治·斯特鲁斯 5 鲁道夫·伯格哈默 4 Stucke,Insa公司 3 卡勒姆·班尼斯特 3 蒂莫西·布鲁克 3 Dang,Han-Hing(韩红) 3 沃尔夫拉姆·卡尔 3 Annabelle K.McIver。 2 彼得·吉普森 2 马丁·埃里克·米勒 2 马吕斯·波特曼 2 Damien Pous 2 Tan、Wee Lum 2 安德烈亚斯·泽伦德 1 唐·S·巴托里。 1 埃米尔·布雷斯 1 帕里克·卡尔 1 尼基塔·达尼连科 1 维克托·戴瑟林 1 安斯加·芬克 1 Hitoshi Furusawa 1 蒂莫西·格里芬。 1 沃尔特·古特曼 1 伊恩·海耶斯。 1 伊塞,通崎 1 北川,Masahiro 1 格温·克莱恩 1 多米尼克·科普 1 迈克尔·马克尔 1 卡罗尔·C·摩根。 1 森田、靖国 1 中泽,志贵 1 西田、新介 1 沃恩·R·普拉特。 1 Robabeh D.Rahimi。 1 佐藤和夫 1 大辅岛内 1 金·索林 1 杰夫·萨特克利夫 1 Takui、Takeji 1 丰田、卡佐 1 朱尔·范德沃尔 1 王伟友 全部的 前5名系列 7 程序设计中的逻辑和代数方法杂志 4 逻辑与代数程序设计杂志 2 信息学报 2 计算的形式方面 2 计算机科学课堂讲稿 1 离散数学 1 理论计算机科学 1 自动推理杂志 1 分布式计算 1 数学与人工智能年鉴 全部的 前5名领域 47 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 6 总体主题;集合(00-XX) 3 组合数学(05-XX) 3 结合环与代数(16-XX) 2 历史和传记(01-XX) 2 有序,格,有序代数结构(06-XX) 2 一般代数系统(08-XX) 2 系统论;控制(93至XX) 1 动力系统和遍历理论(37至XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用217中的次127文件 引用人▼ 年份▼ Kleene代数中的自动推理。 Zbl 1184.68462号 彼得·霍夫纳;乔治·斯特鲁斯 29 2007 无线网状网络的进程代数。 Zbl 1352.68183号 安斯加·芬克;罗布·范格拉贝克;彼得·霍夫纳;安娜贝拉·麦克维尔;马里乌斯·波特曼;Tan、Wee Lum 24 2012 CCS:这不公平!公平调度程序无法在类似CCS的语言中实现,即使是在进行和某些公平假设的情况下。 Zbl 1327.68171号 罗布·范·格拉贝克。;彼得·霍夫纳 15 2015 代数分离逻辑。 Zbl 1260.03060号 丹·H·H。;Höfner,P。;莫勒,B。 14 2011 量子数和时序逻辑。 兹比尔1235.03051 伯恩哈德·莫勒;彼得·霍夫纳;乔治·斯特鲁斯 13 2006 关于自动计算关系。 Zbl 1165.68460号 彼得·霍夫纳;乔治·斯特鲁斯 13 2008 混合系统的代数。 Zbl 1161.68032号 彼得·霍夫纳;伯恩哈德·莫勒 9 2009 自动验证关系while-programs。 Zbl 1405.68070号 鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 8 2014 迪克斯特拉、弗洛伊德和沃沙尔将会见克莱恩。 Zbl 1259.68243号 彼得·霍夫纳;伯恩哈德·莫勒 8 2012 使用带信号的进程代数分析互斥。 Zbl 1483.68227号 维克托·戴瑟林;罗布·范格拉贝克;彼得·霍夫纳 8 2017 欧米茄代数、恶魔精化代数和命令。 Zbl 1134.68409号 彼得·霍夫纳;伯恩哈德·莫勒;金·索林 7 2006 对AODV路由协议进行建模和验证。 Zbl 1386.68019号 罗布·范格拉贝克;彼得·霍夫纳;马吕斯·波特曼;Tan、Wee Lum 7 2016 关系顶点着色程序的基于工具的验证。 Zbl 1471.68054号 鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 7 2015 非终结的代数概念:幂等半环中的Omega和散度。 Zbl 1205.68111号 彼得·霍夫纳;乔治·斯特鲁斯 5 2010 无线网络的定时进程代数,具有路由应用程序(扩展抽象)。 Zbl 1335.68005号 埃米尔·布雷斯;罗布·范格拉贝克;彼得·霍夫纳 5 2016 关系的基数和关系近似算法。 Zbl 1351.68152号 鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 5 2016 走向混合系统的代数。 Zbl 1185.68431号 彼得·霍夫纳;伯恩哈德·莫勒 4 2006 混合系统的代数计算。 Zbl 1237.68010号 彼得·霍夫纳 4 2009 自动验证精炼法。 Zbl 1184.68463号 彼得·霍夫纳;乔治·斯特鲁斯;杰夫·萨特克利夫 4 2009 AODV路由协议(无计时)环路自由度的机械化证明。 Zbl 1448.68051号 蒂莫西·布鲁克;罗布·范格拉贝克;彼得·霍夫纳 4 2014 应用程序关系的基础。 Zbl 1403.03132号 鲁道夫·伯格哈默;尼基塔·达尼连科;彼得·霍夫纳;Stucke,Insa公司 3 2016 懒惰半环邻域和一些应用。 Zbl 1134.68408号 彼得·霍夫纳;伯恩哈德·莫勒 2 2006 显示网络协议进程代数的组合不变性。 Zbl 1416.68153号 蒂莫西·布鲁克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2014 混合系统的自动推理——两个案例研究。 兹比尔1138.68526 彼得·霍夫纳 2 2008 将网络协议的进程代数机械化。 Zbl 1356.68182号 蒂莫西·布鲁克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2016 路径的关系特征。 Zbl 1462.05198号 鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 2 2020 走向路由表代数。 Zbl 1329.68042号 彼得·霍夫纳;安娜贝拉·麦克维尔 1 2011 修复Zeno间隙。 Zbl 1227.68079号 彼得·霍夫纳;伯恩哈德·莫勒 1 2011 半环邻域:邻域逻辑的代数嵌入和扩展。 Zbl 1277.03028号 彼得·霍夫纳 1 2007 代数邻域逻辑。 Zbl 1142.03036号 彼得·霍夫纳;伯恩哈德·莫勒 1 2008 幂等半环中的非终结性。 Zbl 1138.68461号 彼得·霍夫纳;乔治·斯特鲁斯 1 2008 计算机科学中的关系和代数方法。 Zbl 1344.68010号 1 2016 结构化文档代数正在运行。 Zbl 1454.68023号 唐·巴托里;彼得·霍夫纳;多米尼克·科普;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2015 使用基于脉冲的电子-核双共振(ENDOR)的量子计算:分子自旋量子位。 Zbl 1203.81044号 佐藤,卡佐;中泽,志木;Robabeh D.Rahimi。;西田、新介;伊塞,通崎;大辅岛内;丰田、卡佐;森田、靖国;北川,Masahiro;帕里克·卡尔;彼得·霍夫纳;Takui、Takeji 1 2009 使用分离逻辑向后和向前。 兹比尔1511.68067 卡勒姆·班尼斯特;彼得·霍夫纳;格温·克莱恩 1 2018 面向特征编程的着色代数基础。 Zbl 1364.68137号 彼得·霍夫纳;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2012 启用保持互模拟等效。 Zbl 07730635号 罗布·范格拉贝克;彼得·霍夫纳;王伟友 1 2021 启用保持互模拟等效。 Zbl 07730635号 罗布·范格拉贝克;彼得·霍夫纳;王伟友 1 2021 路径的关系特征。 Zbl 1462.05198号 鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 2 2020 前后分离逻辑。 Zbl 1511.68067号 卡勒姆·班尼斯特;彼得·霍夫纳;格温·克莱恩 1 2018 使用带信号的进程代数分析互斥。 Zbl 1483.68227号 维克托·戴瑟林;罗布·范格拉贝克;彼得·霍夫纳 8 2017 对AODV路由协议进行建模和验证。 Zbl 1386.68019号 罗布·范格拉贝克;彼得·霍夫纳;马吕斯·波特曼;Tan、Wee Lum 7 2016 无线网络的定时进程代数,具有路由应用程序(扩展抽象)。 Zbl 1335.68005号 埃米尔·布雷斯;罗布·范格拉贝克;彼得·霍夫纳 5 2016 关系的基数和关系近似算法。 Zbl 1351.68152号 鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 5 2016 应用程序关系的基础。 Zbl 1403.03132号 鲁道夫·伯格哈默;尼基塔·达尼连科;彼得·霍夫纳;Stucke,Insa公司 3 2016 将网络协议的进程代数机械化。 Zbl 1356.68182号 蒂莫西·布鲁克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2016 计算机科学中的关系和代数方法。 Zbl 1344.68010号 1 2016 CCS:这不公平!公平调度程序无法在类似CCS的语言中实现,即使是在进行和某些公平假设的情况下。 兹比尔1327.68171 罗布·范·格拉贝克。;彼得·霍夫纳 15 2015 基于工具的关系顶点着色程序验证。 Zbl 1471.68054号 鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 7 2015 结构化文档代数正在运行。 Zbl 1454.68023号 唐·巴托里;彼得·霍夫纳;多米尼克·科普;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2015 自动验证关系while-programs。 Zbl 1405.68070号 鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 8 2014 AODV路由协议的循环自由的机械化证明。 Zbl 1448.68051号 蒂莫西·布鲁克;罗布·范格拉贝克;彼得·霍夫纳 4 2014 以合成方式显示网络协议的过程代数的不变性。 Zbl 1416.68153号 蒂莫西·布鲁克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2014 无线网状网络的进程代数。 Zbl 1352.68183号 安斯加·芬克;罗布·范格拉贝克;彼得·霍夫纳;安娜贝拉·麦克维尔;马吕斯·波特曼;Tan、Wee Lum 24 2012 迪克斯特拉、弗洛伊德和沃沙尔将会见克莱恩。 Zbl 1259.68243号 彼得·霍夫纳;伯恩哈德·莫勒 8 2012 面向特征编程的着色代数基础。 兹比尔1364.68137 彼得·霍夫纳;伯恩哈德·莫勒;安德烈亚斯·泽伦德 1 2012 代数分离逻辑。 Zbl 1260.03060号 丹·H·H。;Höfner,P。;莫勒,B。 14 2011 走向路由表代数。 Zbl 1329.68042号 彼得·霍夫纳;安娜贝拉·麦克维尔 1 2011 修复Zeno间隙。 Zbl 1227.68079号 彼得·霍夫纳;伯恩哈德·莫勒 1 2011 非终结的代数概念:幂等半环中的Omega和散度。 Zbl 1205.68111号 彼得·霍夫纳;乔治·斯特鲁斯 5 2010 混合系统的代数。 Zbl 1161.68032号 彼得·霍夫纳;伯恩哈德·莫勒 9 2009 混合系统的代数计算。 Zbl 1237.68010号 彼得·霍夫纳 4 2009 自动验证精炼法。 Zbl 1184.68463号 彼得·霍夫纳;乔治·斯特鲁斯;杰夫·萨特克利夫 4 2009 使用基于脉冲的电子-核双共振(ENDOR)的量子计算:分子自旋量子位。 Zbl 1203.81044号 佐藤,卡佐;中泽,志贵;Robabeh D.Rahimi。;西田信介;伊塞,通崎;大辅岛内;丰田、卡佐;森田、靖国;北川,Masahiro;帕里克·卡尔;彼得·霍夫纳;Takui、Takeji 1 2009 关于自动计算关系。 Zbl 1165.68460号 彼得·霍夫纳;乔治·斯特鲁斯 13 2008 混合系统的自动推理——两个案例研究。 兹比尔1138.68526 彼得·霍夫纳 2 2008 代数邻域逻辑。 Zbl 1142.03036号 彼得·霍夫纳;伯恩哈德·莫勒 1 2008 幂等半环中的非终结性。 Zbl 1138.68461号 彼得·霍夫纳;乔治·斯特鲁斯 1 2008 Kleene代数中的自动推理。 Zbl 1184.68462号 彼得·霍夫纳;乔治·斯特鲁斯 29 2007 半环邻域:邻域逻辑的代数嵌入和扩展。 Zbl 1277.03028号 彼得·霍夫纳 1 2007 量子数和时序逻辑。 Zbl 1235.03051号 伯恩哈德·莫勒;彼得·霍夫纳;乔治·斯特鲁斯 13 2006 欧米茄代数、恶魔精化代数和命令。 兹比尔1134.68409 彼得·霍夫纳;伯恩哈德·莫勒;金·索林 7 2006 走向混合系统的代数。 Zbl 1185.68431号 彼得·霍夫纳;伯恩哈德·莫勒 4 2006 懒惰半环邻域和一些应用。 Zbl 1134.68408号 彼得·霍夫纳;伯恩哈德·莫勒 2 2006 所有引用出版物 前5名被引用出版物 全部的 前5名被143位作者引用 23 彼得·霍夫纳 20 伯恩哈德·莫勒 15 乔治·斯特鲁斯 15 罗伯特·詹·范·格拉贝克 11 沃尔特·古特曼 7 鲁道夫·伯格哈默 7 朱尔斯·德沙奈斯 6 金·索林 5 Dang,Han-Hing(韩红) 5 Stucke,Insa公司 3 马克·布曼 3 Jean-Lou de Carufel 3 布里杰什·多戈尔 3 西蒙·福斯特 3 罗兰·格里克 3 巴斯·卢提克 3 Tim A.C.Willemse。 2 阿拉斯代尔·阿姆斯特朗 2 安娜·卡瓦尔坎蒂 2 西蒙·多尔蒂 2 罗宾·Eßmann 2 法特梅·加塞米 2 维克多·戈麦斯。 2 伊恩·海耶斯。 2 C.A.R.Tony Hoare 2 拉诺特、拉格罗 2 Annabelle K.McIver。 2 拉里萨·梅尼基。 2 西芒,索萨甜瓜 2 马西莫·梅罗 2 内尔玛·莫雷拉 2 内维斯、雷纳托 2 托比亚斯·尼普科 2 戴维·佩雷拉(David P.Pereira)。 2 Damien Pous 2 大卫·J·派姆。 2 西蒙·罗比拉德 2 帕特里克·鲁克斯 2 杰夫·萨特克利夫 2 温特,迈克尔 2 詹姆斯·C·P·伍德科克。 2 安德烈亚斯·泽伦德 1 奥曼·波霍拉,约翰内斯 1 布莱尔·阿奇博尔德 1 克莱门·奥伯特 1 卡勒姆·班尼斯特 1 巴博萨、路易斯·索亚雷斯 1 玛丽亚·卡米拉·巴里奥尼。 1 蒂莫西·布鲁克 1 伯恩德·布拉埃尔 1 埃米尔·布雷斯 1 保罗·布鲁内 1 大卫·卡切拉 1 沙卡马克,塞尔库克 1 卡梅隆·卡克 1 伊利亚州卡斯特拉尼 1 彼得罗·森恰雷利 1 简·克里斯蒂安森 1 罗伯特·J·科尔文。 1 伊曼纽尔·科维诺 1 马克西米利亚诺·克里斯蒂亚 1 尼基塔·达尼连科 1 桑德拉·德·阿莫 1 Dezani Ciancaglini,马里亚焦拉 1 阿米娜·杜马内 1 Leonid W·德沃赞斯基。 1 维克托·戴瑟林 1 托马斯·埃尔哈德 1 乌里·法伦贝格 1 安斯加·芬克 1 塞尔吉奥·费奥·阿雷尼斯 1 塞巴斯蒂安·费舍尔 1 威廉·扬·福克金 1 埃米利奥·弗雷佐利 1 Hitoshi Furusawa 1 休伯特Garavel 1 阿兹米将军 1 保拉·詹尼尼 1 乔安娜·戈林斯卡·皮拉雷克 1 谢尔盖·冈查洛夫 1 丹尼尔·戈拉 1 埃里克·古堡 1 艾哈迈特·圭恩 1 花冈、果一郎 1 德克·霍夫曼 1 罗斯·霍恩 1 侯赛因,阿克巴 1 朱利安·雅各布 1 蒋莹 1 彼得·吉普森 1 拉丁·科斯拉维 1 吉恩·克里文 1 尼古拉·克里夫林(Nikolai K.Krivulin)。 1 盖扎·库尔斯阿尔 1 西里尔·拉贝 1 Legay、Axel 1 李晓兵 1 塔德乌兹·利塔克 1 刘军 1 伊琳娜·洛马佐娃。 …还有43位作者 全部的 前5名22篇连载文章中引用 23 程序设计中的逻辑和代数方法杂志 8 逻辑与代数程序设计杂志 7 信息学报 7 计算机科学中的逻辑方法 5 理论计算机科学 4 自动推理杂志 4 计算的形式方面 3 信息与计算 2 信息科学 2 计算机程序设计科学 1 离散数学 1 信息处理信件 1 编程和计算机软件 1 Studia Logica公司 1 欧洲运筹学杂志 1 国际计算机数学杂志 1 分布式计算 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 洛巴切夫斯基数学杂志 1 量子信息处理 1 ACM计算逻辑事务 全部的 前5名19个领域引用 118 计算机科学(68至XX) 42 数学逻辑和基础(03-XX) 9 组合数学(05-XX) 6 结合环与代数(16-XX) 5 有序,格,有序代数结构(06-XX) 4 范畴理论;同调代数(18-XX) 3 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文