编辑配置文件（在新选项卡中打开） 迈克尔·波普莱顿 合著者距离 作者ID： poppleton.michael公司 发布日期： 迈克尔·波普莱顿;波普尔顿，M。 编入索引的文档： 8出版物自1999年以来 合著者： 3位合著者具有7联合出版物 74位合作作者 合著者 1 单作者的 7 理查德·巴纳赫 4 捷斯劳·杰斯克 三 苏珊·斯蒂芬尼 系列 1 计算机程序设计科学 1 计算的形式方面 1 计算机基础理论 1 逻辑与代数程序设计杂志 领域 8 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用42中的次18文件 引用人▼ 年份▼ 裁员的工程和理论基础。 Zbl 1119.68348号 巴纳赫，R。;波普尔顿，M。;杰斯克，C。;斯蒂芬尼，S。 17 2007 紧缩的组成机制。 Zbl 1137.68037号 巴纳赫，R。;杰斯克，C。;波普尔顿，M。 9 2008 缩紧钱包：有限序列号和塔式模式。 Zbl 1120.68406号 理查德·巴纳赫;迈克尔·波普莱顿;捷斯劳·杰斯克;苏珊·斯蒂芬尼 9 2005 收紧钱包：余额查询陷入困境，并进行了概括和（1，1）前瞻性改进。 Zbl 1118.68436号 理查德·巴纳赫;捷斯劳·杰斯克;波普尔顿，迈克尔;苏珊·斯蒂芬尼 三 2007 收缩和穿孔模拟。 Zbl 0963.68135号 巴纳赫，R。;波普尔顿，M。 2 1999 Event-B模型的组成。 Zbl 1156.68360号 迈克尔·波普莱顿 2 2008 紧缩的组成机制。 Zbl 1137.68037号 巴纳赫，R。;杰斯克，C。;波普尔顿，M。 9 2008 Event-B模型的组成。 Zbl 1156.68360号 迈克尔·波普莱顿 2 2008 紧缩的工程和理论基础。 Zbl 1119.68348号 巴纳赫，R。;波普尔顿，M。;杰斯克，C。;斯蒂芬尼，S。 17 2007 收紧钱包：余额查询陷入困境，并进行了概括和（1，1）前瞻性改进。 Zbl 1118.68436号 理查德·巴纳赫;捷斯劳·杰斯克;迈克尔·波普莱顿;苏珊·斯蒂芬尼 三 2007 缩紧钱包：有限序列号和塔式模式。 Zbl 1120.68406号 理查德·巴纳赫;迈克尔·波普莱顿;捷斯劳·杰斯克;苏珊·斯蒂芬尼 9 2005 收缩和穿孔模拟。 Zbl 0963.68135号 巴纳赫，R。;波普尔顿，M。 2 1999 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 9 理查德·巴纳赫 4 捷斯劳·杰斯克 2 马可·波扎诺 1 Nazareno M.阿吉雷。 1 努诺州阿马利奥 1 米拉·阿彻（Myla M.Archer）。 1 巴勃罗·卡斯特罗。 1 拉米罗·德马西 1 玛丽·法雷尔 1 付，郑 1 康斯坦斯·海特迈尔。 1 黄润磊 1 杰基、乔纳森 1 拉尔夫·杰弗兹。 1 Viv M.肯登。 1 伊丽莎白·伦纳德。 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 罗莎玛丽·莫纳汉 1 迈克尔·波普莱顿 1 詹姆斯·F·鲍尔（James F.Power）。 1 托马斯·鲁罗斯 1 格哈德·谢尔霍恩 1 施耐德（Steve A.Schneider）。 1 格雷姆·史密斯 1 苏文 1 海伦·特里哈恩 1 玛格斯·维纳斯 1 海克，韦尔海姆 1 朱慧彪 全部的 前5名7篇连载文章中引用 6 计算的形式方面 4 逻辑与代数程序设计杂志 2 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 1 中国计算机科学前沿 在4个字段中引用 17 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 系统论；控制（93至XX） 按年份列出的引文