编辑配置文件(在新选项卡中打开) 侯哲 合著者距离 作者ID: 侯哲 发布日期: Hóu,Zhé;侯哲 已编制索引的文档: 17出版物自2009年起,包括1本书 1作为编辑的贡献 合著者: 22合著者具有14联合出版物 397联合作者 全部的 前5名合著者 1 单作者的 9 阿文·费南托(Alwen Fernanto Tiu) 6 拉杰夫·普拉巴卡尔·戈尔 三 董金松 三 刘,杨 三 大卫·萨南 2 新娘,哈德里安 2 蔡成浩 2 拉纳德·A·克鲁斯顿。 1 史蒂夫·贝金特 1 巴尔雷拉,E.C。 1 吉莉安·多比 1 Saber Nasr Elaydi 1 维杰·加内什 1 和,Koh Chuen 1 金、海 1 李,斯科特·尤金 1 拉斐尔·路易斯 1 布伦丹·马奥尼(Brendan P.Mahony)。 1 吉姆·麦卡锡 1 石庆凡 1 Shigeno、Maiko 1 孙静 1 劳拉·斯威勒(Laura P.Swiler)。 1 谢福勇 1 杨晓霞 1 袁凯 1 张福源 1 赵永旺 全部的 前5名系列 1 欧洲物理学杂志 1 网络 1 伊朗数学学会公报 1 自动推理杂志 1 计算的形式方面 1 逻辑与计算杂志 1 差分方程与应用杂志 1 ACM计算逻辑汇刊 1 计算机科学课堂讲稿 1 SIAM/ASA不确定性量化杂志 1 计算机科学课文 全部的 前5名领域 13 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 动力系统和遍历理论(37至XX) 1 差分方程和函数方程(39至XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 1 地球物理学(86-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用19中的次10文件 引用人▼ 年份▼ 用所有连接词对分离逻辑中的断言进行自动定理证明。 Zbl 1465.03053号 Hóu,Zhé;拉杰夫·戈尔;Tiu,Alwen先生 6 2015 通过标记序列对命题抽象分离逻辑进行证明搜索。 Zbl 1284.68402号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈雷;Tiu,Alwen先生 5 2014 BBI的标记序列演算:证明理论和证明搜索。 Zbl 1401.03098号 Hóu,Zhé;Tiu,Alwen先生;拉杰夫·戈尔 三 2013 使用替代物对社区土地模型进行贝叶斯校准。 Zbl 1323.86032号 雷,J。;侯,Z。;Huang,M。;Sargsyan,K。;斯威勒,L。 2 2015 一阶抽象分离逻辑的完备性。 Zbl 1485.03077号 Hóu,Zhé;Tiu,Alwen先生 2 2016 容错八卦中最小呼叫数的新界限。 Zbl 1192.68039号 侯哲;Shigeno、Maiko 1 2009 抽象分离逻辑的模块化标记序列计算。 Zbl 1407.03046号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 1 2018 CSimpl:用于验证并发程序的基于可靠保证的框架。 Zbl 1452.68053号 大卫·萨南;赵永旺;侯哲;张富源;Tiu,Alwen先生;刘,杨 1 2017 抽象分离逻辑的模块化标记序列计算。 Zbl 1407.03046号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 1 2018 CSimpl:用于验证并发程序的基于可靠保证的框架。 Zbl 1452.68053号 大卫·萨南;赵永旺;侯哲;张福源;Tiu,Alwen先生;刘,杨 1 2017 一阶抽象分离逻辑的完备性。 Zbl 1485.03077号 Hóu,Zhé;Tiu,Alwen先生 2 2016 用所有连接词对分离逻辑中的断言进行自动定理证明。 Zbl 1465.03053号 Hóu,Zhé;拉杰夫·戈尔;Tiu,Alwen先生 6 2015 使用替代物对社区土地模型进行贝叶斯校准。 Zbl 1323.86032号 雷,J。;侯,Z。;Huang,M。;Sargsyan,K。;斯威勒,L。 2 2015 通过标记序列对命题抽象分离逻辑进行证明搜索。 Zbl 1284.68402号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈雷;Tiu,Alwen先生 5 2014 BBI的标记序列演算:证明理论和证明搜索。 Zbl 1401.03098号 Hóu,Zhé;Tiu,Alwen先生;拉杰夫·戈尔 三 2013 容错八卦中最小呼叫数的新界限。 Zbl 1192.68039号 侯哲;Shigeno、Maiko 1 2009 所有引用出版物 前5名被引用出版物 全部的 前5名15位作者引用 4 Stéphane P.德姆里。 三 侯哲 三 阿文·费南托(Alwen Fernanto Tiu) 2 Deters,摩根 1 陈、陶璐 1 Aleksandr Sergeevich,Gerasimov 1 拉杰夫·普拉巴卡尔·戈尔 1 顾新才 1 托鲁·哈苏努马 1 刘,杨 1 艾蒂安·洛兹 1 阿莱西奥·曼苏蒂 1 广岛长垣 1 大卫·萨南 1 吴志林 4篇连载文章中引用 1 代数与逻辑 1 应用非经典逻辑杂志 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 在3个字段中引用 9 数学逻辑和基础(03-XX) 8 计算机科学(68至XX) 1 组合数学(05-XX) 按年份列出的引文