编辑配置文件（在新选项卡中打开） 霍华德·巴林格 合著者距离 作者ID： 霍华德律师 发布日期： 霍华德·巴林格;H.巴林格。 已编制索引的文档： 36出版物自1979年以来，包括1本书 4作为编辑的贡献 合著者： 42位合著者具有35联合出版物 732合著作者 全部的 前5名合著者 4 单作者的 10 Dov M.加巴伊。 6 Graham高夫 5 迈克尔·费希尔 5 David E.Rydeheard。 4 克劳斯·哈维隆德 4 约翰·伍兹 三 科妮莉亚·英格斯。 三 维瑟，威廉 2 谢尔盖·阿特莫夫 2 阿图尔·达维拉·加塞斯。 2 安东尼·亨特 2 鲁德·柯伊伯 2 兰姆，路易斯·C。 2 Mearns，我。 2 布莱恩·莫纳汉 2 理查德·欧文斯 2 科琳娜·s·佩斯勒诺。 2 阿米尔·普努利 2 塞·库什克 1 西里尔·阿尔托 1 贝纳姆·巴尼克巴尔 1 约阿希姆·巴兰 1 布罗，德里克 1 曼努埃拉·布乔里亚努（Manuela L.Bujorianu）。 1 马里乌斯·布约里亚努。 1 P.C.卡彭。 1 杰米森·科布雷。 1 克莱尔·狄克逊 1 伊利耶斯·法尔科内 1 各位，多纳尔 1 米哈埃拉·盖奥古·博巴鲁 1 迪米特拉·吉安娜科波卢 1 伊恩·马丁·霍德金森 1 萨尔夫拉兹·库希德 1 托马斯·朗肖 1 洛瑞，迈克 1 彼得·麦克布莱恩 1 马丁·佩姆 1 贾尔斯·里格尔 1 马克·亚历山大·雷诺兹 1 格里高·罗什乌 1 华盛顿，里奇 全部的 前5名系列 三 《计算机杂志》。A部分/B部分 2 系统设计中的形式化方法 2 计算机科学讲义 2 致敬 1 信息学报 1 软件。实践与经验 1 理论计算机科学 1 计算的形式方面 1 逻辑与计算杂志 1 IGPL杂志 1 IGPL逻辑期刊 1 应用逻辑系列 领域 36 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 2 系统论；控制（93至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用246中的次215文件 引用人▼ 年份▼ 在程序证明中覆盖不确定性的逻辑。 Zbl 0534.68024号 H.巴林格。;Cheng，J.H。;C.B.琼斯。 40 1984 支持和攻击网络的时间动态：从论证到生态。初步结果。 Zbl 1098.68122号 霍华德·巴林格;Dov Gabbay公司;约翰·伍兹 33 2005 基于规则的运行时验证。 Zbl 1202.68243号 霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;塞·库什克 27 2004 学习分而治之：应用（L^*）算法自动进行假设保证推理。 Zbl 1147.68053号 科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢;波巴鲁、米哈埃拉·盖奥古奥;杰米森·科布雷。;霍华德·巴林格 18 2008 量化事件自动机：面向表现力强、效率高的运行时监控器。 Zbl 1372.68154号 霍华德·巴林格;伊利耶斯·法尔科内;克劳斯·哈维隆德;贾尔斯·里格尔;大卫·赖德海尔 18 2012 运行时监控的规则系统：从EAGLE到RULER。 Zbl 1203.68093号 霍华德·巴林格;大卫·赖德海尔;克劳斯·哈维隆德 13 2010 结合测试用例生成和运行时验证。 Zbl 1080.68062号 西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞，迈克;科琳娜·帕萨雷努;格里高·罗什乌;塞·库什克;维瑟，威廉;华盛顿，里奇 12 2005 类CSP语言的合成时间方法。 兹伯利0594.68018 霍华德·巴林格;鲁德·柯伊伯;阿米尔·普努利 9 1986 MetateM：引言。 Zbl 0838.68014号 H.巴林格。;M·费希尔。;D.加巴伊。;戈夫（G.Gough）。;R.欧文斯。 8 1995 时序逻辑框架中并发系统的分层开发。 Zbl 0565.68017号 霍华德·巴林格;鲁德·柯伊伯 7 1985 时间上下的方式。 Zbl 0653.68117号 H.巴林格。 6 1987 实际CTL*模型检查：是否应扩展SPIN？ Zbl 1059.68591号 维瑟，威廉;霍华德·巴林格 6 2000 可执行时态逻辑中的元推理。 Zbl 0825.68584号 霍华德·巴林格;迈克尔·费希尔;Dov Gabbay公司;安东尼·亨特 5 1991 规范中的时序逻辑。1987年4月8日至10日，英国阿尔特林查姆。诉讼程序。 Zbl 0718.68002号 5 1989 并行程序验证技术综述。 Zbl 0566.68002号 霍华德·巴林格 5 1985 时序逻辑在并发系统的组合规范中的使用。 Zbl 0683.68011号 霍华德·巴林格 5 1987 时序逻辑在并发系统的组合规范中的使用。 Zbl 0662.03017号 霍华德·巴林格 4 1987 时间逻辑的进展。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。 Zbl 0931.00025 4 2000 我们会给他们看的！为纪念多夫·加巴伊60岁生日而写的论文。第1卷。 Zbl 1202.03006号 三 2005 网络模式：一份探索性文件。 Zbl 1269.03024号 霍华德·巴林格;Dov Gabbay公司;约翰·伍兹 三 2008 共享内存体系结构上的CTL模型检查。 Zbl 1102.68504号 科妮莉亚·英格斯。;霍华德·巴林格 三 2006 概率多智能体网络物理系统以用户为中心控制的形式化框架。 Zbl 1250.68264号 马吕斯·布乔里亚努。;曼努埃拉·布乔里亚努（Manuela L.Bujorianu）。;霍华德·巴林格 2 2009 模态和时间论证网络。 Zbl 1288.68205号 霍华德·巴林格;Dov M.加巴伊。 2 2010 一种基于图形的时态逻辑解析方法。 Zbl 0949.03505号 狄克逊，C。;费舍尔，M。;H.巴林格。 2 1994 我们会给他们看的！为纪念多夫·加巴伊60岁生日而写的论文。第2卷。 Zbl 1202.03007号 1 2005 Ada任务的公理和证明规则。 Zbl 0491.68011号 H.巴林格。;我.梅恩斯。 1 1982 SPIN中的内存高效状态存储。 兹伯利0880.68090 维瑟，威廉;霍华德·巴林格 1 1997 反应性和语法：探索。 Zbl 1486.68084号 霍华德·巴林格;大卫·赖德海尔;Dov Gabbay公司 1 2014 共享内存体系结构上的CTL模型检查。 Zbl 1272.68259号 科妮莉亚·英格斯。;霍华德·巴林格 1 2005 在共享内存体系结构上进行模型检查的有效状态探索。 Zbl 1270.68377号 科妮莉亚·英格斯。;霍华德·巴林格 1 2002 反应性和语法：探索。 Zbl 1486.68084号 霍华德·巴林格;大卫·赖德海尔;Dov Gabbay公司 1 2014 量化事件自动机：面向表现力强、效率高的运行时监控器。 Zbl 1372.68154号 霍华德·巴林格;伊利耶斯·法尔科内;克劳斯·哈维隆德;贾尔斯·里格尔;大卫·赖德海尔 18 2012 运行时监控的规则系统：从EAGLE到RULER。 Zbl 1203.68093号 霍华德·巴林格;大卫·赖德海尔;克劳斯·哈维隆德 13 2010 模态和时间论证网络。 Zbl 1288.68205号 霍华德·巴林格;Dov M.加巴伊。 2 2010 概率多智能体网络物理系统以用户为中心控制的形式化框架。 Zbl 1250.68264号 马吕斯·布乔里亚努。;曼努埃拉·布乔里亚努（Manuela L.Bujorianu）。;霍华德·巴林格 2 2009 学习分而治之：应用（L^*）算法自动进行假设保证推理。 Zbl 1147.68053号 科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢;波巴鲁、米哈埃拉·盖奥古奥;杰米森·科布雷。;霍华德·巴林格 18 2008 网络模式：一份探索性文件。 Zbl 1269.03024号 霍华德·巴林格;Dov Gabbay公司;伍兹，约翰 三 2008 共享内存体系结构上的CTL模型检查。 Zbl 1102.68504号 科妮莉亚·英格斯。;霍华德·巴林格 三 2006 支持和攻击网络的时间动态：从论证到生态。初步结果。 Zbl 1098.68122号 霍华德·巴林格;Dov Gabbay公司;伍兹，约翰 33 2005 结合测试用例生成和运行时验证。 Zbl 1080.68062号 西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞，迈克;科琳娜·帕萨雷努;格里高·罗什乌;塞·库什克;维瑟，威廉;华盛顿，里奇 12 2005 我们会给他们看的！为纪念多夫·加巴伊60岁生日而写的论文。第1卷。 Zbl 1202.03006号 三 2005 我们会给他们看的！为纪念多夫·加巴伊60岁生日而写的论文。第2卷。 Zbl 1202.03007号 1 2005 共享内存体系结构上的CTL模型检查。 Zbl 1272.68259号 英格斯，科妮莉亚·P。;霍华德·巴林格 1 2005 基于规则的运行时验证。 Zbl 1202.68243号 霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;塞·库什克 27 2004 共享内存体系结构上模型检查的有效状态探索。 Zbl 1270.68377号 科妮莉亚·英格斯。;霍华德·巴林格 1 2002 实际CTL*模型检查：是否应扩展SPIN？ Zbl 1059.68591号 维瑟，威廉;霍华德·巴林格 6 2000 时间逻辑的进展。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。 Zbl 0931.00025 4 2000 SPIN中的内存高效状态存储。 Zbl 0880.68090号 维瑟，威廉;霍华德·巴林格 1 1997 MetateM：引言。 Zbl 0838.68014号 H.巴林格。;M·费希尔。;D.加巴伊。;戈夫（G.Gough）。;R.欧文斯。 8 1995 一种基于图形的时态逻辑解析方法。 Zbl 0949.03505号 狄克逊，C。;M·费希尔。;H.巴林格。 2 1994 可执行时态逻辑中的元推理。 Zbl 0825.68584号 霍华德·巴林格;迈克尔·费希尔;Dov Gabbay公司;安东尼·亨特 5 1991 规范中的时序逻辑。1987年4月8日至10日，英国阿尔特林查姆。诉讼程序。 Zbl 0718.68002号 5 1989 时间上下的方式。 Zbl 0653.68117号 H.巴林格。 6 1987 时序逻辑在并发系统的组合规范中的使用。 Zbl 0683.68011号 霍华德·巴林格 5 1987 时序逻辑在并发系统的组合规范中的使用。 Zbl 0662.03017号 霍华德·巴林格 4 1987 类CSP语言的合成时间方法。 Zbl 0594.68018号 霍华德·巴林格;鲁德·柯伊伯;阿米尔·普努利 9 1986 时序逻辑框架中并发系统的分层开发。 Zbl 0565.68017号 霍华德·巴林格;鲁德·柯伊伯 7 1985 并行程序验证技术综述。 兹伯利0566.68002 霍华德·巴林格 5 1985 在程序证明中覆盖不确定性的逻辑。 Zbl 0534.68024号 H.巴林格。;Cheng，J.H。;C.B.琼斯。 40 1984 Ada任务的公理和证明规则。 Zbl 0491.68011号 H.巴林格。;我.梅恩斯。 1 1982 所有引用出版物 前5名被引用出版物 全部的 前5名被348位作者引用 22 Dov M.加巴伊。 8 阿德里安·弗兰卡兰扎 7 奥尔纳·格伦伯格 5 卢卡·埃特罗 5 Anna Ingólfsdóttir 5 科琳娜·s·佩斯勒诺。 4 阿诺·阿夫隆 4 霍华德·巴林格 4 David A.Basin。 4 圭多·波埃拉 4 伊利耶斯·法尔科内 4 哈达尔·弗兰克尔 4 克劳斯·哈维隆德 4 安东尼·亨特 4 托马斯·斯蒂芬·爱德华·迈鲍姆 4 莎莱·申瓦尔德 4 范德托雷，Leendert W.N。 三 Jan A.Bergstra。 三 曹恩洪 三 迈克尔·德克蒂亚。 三 亚历山大·雅科夫列维奇·迪科夫斯基 三 迈克尔·费希尔 三 达纳·菲斯曼 三 Cliff B.琼斯。 三 苏希拉·卡奇 三 费利克斯·克莱特克 三 奥尔纳·库普弗曼 三 Marie-Christine，Lagasquie-Schiex 三 科内利斯·A·米德尔堡。 三 格里高·罗什乌 三 沙龙·肖姆 三 Štěpnička，Martin 三 Mars K·瓦利耶夫。 三 塞雷娜·维拉塔 2 卡拉姆Abd Elkader 2 迈克尔·亚伯拉罕 2 安东尼斯·阿奇利奥斯 2 彼得罗·巴罗尼 2 曼弗雷德·布罗伊 2 伊恩·卡萨尔 2 巴勃罗·卡斯特罗。 2 费德里科·塞鲁蒂 2 米罗斯拉夫·乔迪尔 2 科伦坡，基督徒 2 吉姆·戴维斯 2 阿图尔·达维拉·加塞斯。 2 克莱尔·狄克逊 2 段振华 2 JoséLuiz Fiadeiro 2 伯恩德·芬克贝纳 2 安东尼奥·加维兰斯·弗兰科 2 法特梅·加塞米 2 马西米利亚诺·贾科明 2 霍尔格·吉斯 2 吉奥瓦尼·吉达 2 西尔万·霍尔 2 本特·琼森 2 拉丁·科斯拉维 2 比塔·科尼科夫斯卡 2 安东尼·库塞拉 2 维克托·五·库利亚明。 2 克利斯朵夫·拉布吕切 2 阿莱西奥·洛穆西奥 2 弗朗西斯科·卢西奥·卡拉斯科 2 塞尔吉奥·马塞利诺 2 拉杜·马特埃斯库 2 玛丽亚，马克西莫娃 2 多米尼克·梅里 2 Owe、Olaf 2 戈登·佩斯。 2 Doron A.Peled。 2 尼尔·皮特曼 2 阿米尔·普努利 2 阿尔班·蓬塞 2 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 2 塞萨尔·桑切斯 2 乌里·希尔德 2 杰拉尔多·施奈德 2 施耐德（Steve A.Schneider）。 2 施奈德，斯文 2 Tsay，Yih-Kuen先生 2 范德波尔，扬·科内利斯 2 莫西·亚亚科夫·瓦尔迪 2 迈克尔·J·伍尔德里奇。 2 尤根·兹利内斯库 2 詹乃军 1 罗莎·阿巴斯 1 阿兰，阿基 1 沃尔夫冈·阿伦特 1 艾特·阿穆尔，亚明 1 保罗·S·C·阿伦卡尔。 1 Elvio Gilberto Amparore公司 1 埃利·阿纳斯塔西亚迪 1 大卫·安科纳 1 达纳州安格鲁因 1 西里尔·阿尔托 1 马提亚斯·巴兹 1 谢尔盖·五·巴本尼舍夫。 1 雷娜·巴赫西 1 安德烈亚斯·鲍尔 …还有248位作者 全部的 前5名39篇连载文章中引用 17 系统设计中的形式化方法 15 理论计算机科学 15 计算的形式方面 11 数学与人工智能年鉴 10 信息处理信件 9 Studia Logica公司 8 信息学报 8 信息与计算 8 国际近似推理杂志 5 自动推理杂志 4 人工智能 4 计算机与系统科学杂志 4 编程和计算机软件 4 应用非经典逻辑杂志 4 应用逻辑杂志 4 程序设计中的逻辑和代数方法杂志 三 符号逻辑杂志 三 MSCS公司。计算机科学中的数学结构 三 泛逻辑 2 数学和计算机建模 2 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 1 模糊集与系统 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 系统和控制信件 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 国际计算机科学基础杂志 1 逻辑、语言与信息杂志 1 函数编程杂志 1 数学Opuscula Mathematica 1 计算系统理论 1 美国医学会杂志 1 逻辑程序设计理论与实践 1 非线性分析。混合动力系统 1 符号逻辑述评 1 计算机科学评论 1 西伯利亚联邦大学学报。数学和物理 全部的 前5名在12个字段中引用 190 计算机科学（68至XX） 93 数学逻辑和基础（03-XX） 5 运筹学、数学规划（90-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 系统论；控制（93至XX） 三 生物学和其他自然科学（92-XX） 2 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37-XX） 1 算子理论（47-XX） 1 变异微积分和最优控制；最优化（49至XX） 1 概率论与随机过程（60-XX） 1 流体力学（76-XX） 按年份列出的引文