编辑配置文件(在新选项卡中打开) Hoang,泰国儿子 合著者距离 作者ID: 黄泰森 发布日期: Hoang,泰国儿子;Hoang,T.S.公司。 编入索引的文档: 13出版物自2003年起 1名编辑贡献 合著者: 19位合著者具有13联合出版物 263位合作作者 全部的 前5名合著者 1 单作者的 5 卡罗尔·C·摩根。 4 Annabelle K.McIver。 三 Jean-Raymond Abrial先生 三 肯·罗宾逊 2 David A.Basin。 2 靳振东 2 Hironobu Kuruma 2 施耐德(Steve A.Schneider)。 2 海伦·特里哈恩 1 达纳·Dghaym 1 斯特凡·哈勒斯特德 1 拉里萨·梅尼基。 1 亚历山大·拉施克 1 克劳斯·赖奇尔 1 安东尼·斯隆(Anthony M.Sloane)。 1 斯努克,科林 1 斯努克,詹姆斯 1 苏萨托,E。 1 大卫·M·威廉姆斯。 系列 4 计算的形式方面 1 计算机程序设计科学 1 计算机科学课堂讲稿 领域 14 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用13中的次12文件 引用人▼ 年份▼ Event-B中的定性概率建模。 Zbl 1213.68205号 斯特凡·哈勒斯特德;Hoang,泰国儿子 三 2007 概率机器的概率不变量。 兹比尔1028.68547 Hoang,泰国儿子;靳振东;肯·罗宾逊;安娜贝拉·麦克维尔;卡罗尔·摩根 三 2003 抽象状态机、合金、B、TLA、VDM和Z。第六届国际会议,2018年ABZ,英国南安普顿,2018年6月5-8日。诉讼程序。 Zbl 1387.68015号 2 2018 储罐监测:pAMN案例研究。 Zbl 1103.68636号 史蒂夫·施耐德;Hoang,泰国儿子;罗宾逊,肯;海伦·特里哈恩 1 2006 在Event-B中开发拓扑发现。 Zbl 1192.68829号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 在Event-B中开发拓扑发现。 Zbl 1211.68028号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 无干扰安全的抽象:概率与可能性。 兹比尔1323.68212 Hoang,T.S.公司。;A.K.McIver。;梅尼克,L。;C.C.摩根。;A.斯隆。;苏萨托,E。 1 2014 在Event-B细化中使用线性时序逻辑的基础。 Zbl 1348.68039号 Hoang,泰国儿子;史蒂夫·施耐德;海伦·特里哈恩;大卫·M·威廉姆斯。 1 2016 抽象状态机、合金、B、TLA、VDM和Z。第六届国际会议,2018年ABZ,英国南安普顿,2018年6月5-8日。诉讼程序。 Zbl 1387.68015号 2 2018 在Event-B细化中使用线性时序逻辑的基础。 Zbl 1348.68039号 Hoang,泰国儿子;史蒂夫·施耐德;海伦·特里哈恩;大卫·M·威廉姆斯。 1 2016 无干扰安全的抽象:概率与可能性。 Zbl 1323.68212号 Hoang,T.S.公司。;A.K.McIver。;梅尼克,L。;C.C.摩根。;A.斯隆。;Susatyo,E。 1 2014 在Event-B中开发拓扑发现。 Zbl 1192.68829号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 在Event-B中开发拓扑发现。 Zbl 1211.68028号 Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 1 2009 Event-B中的定性概率建模。 兹比尔1213.68205 斯特凡·哈勒斯特德;Hoang,泰国儿子 三 2007 储罐监测:pAMN案例研究。 Zbl 1103.68636号 史蒂夫·施耐德;Hoang,泰国儿子;肯·罗宾逊;海伦·特里哈恩 1 2006 概率机器的概率不变量。 Zbl 1028.68547号 Hoang,泰国儿子;Jin,振东;肯·罗宾逊;安娜贝拉·麦克维尔;卡罗尔·摩根 三 2003 所有引用出版物 前5名被引用出版物 全部的 前5名23位作者引用 三 斯特凡·哈勒斯特德 三 Hoang,泰国儿子 1 Jean-Raymond Abrial先生 1 David A.Basin。 1 马克西米利亚诺·克里斯蒂亚 1 亚历山大·埃吉德 1 西恩·盖斯勒 1 安妮·伊丽莎白·哈克斯豪森 1 赫德,乔 1 Hironobu Kuruma 1 莱比尼斯·利纳斯 1 Michael Leuschel先生 1 阿蒂夫·马斯科尔 1 Annabelle K.McIver。 1 卡罗尔·C·摩根。 1 乌卡丘库·恩杜克武 1 肯·罗宾逊 1 吉安弗兰科·罗西 1 施耐德(Steve A.Schneider)。 1 斯托克,塞巴斯蒂安 1 安东·塔拉修克 1 海伦·特里哈恩 1 Elena A.Troubitsyna。 5篇连载文章中引用 5 计算的形式方面 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 理论计算机科学 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 12 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文