编辑配置文件(在新选项卡中打开) 张兴元 合著者距离 作者ID: 张兴元 发布日期: 张兴元;张兴元;张晓云(Zhang,X.Y.)。 更多。。。较少的 已编制索引的文档: 28出版物自1990年以来 2作为编辑的贡献 合著者: 29位合著者具有19联合出版物 868位合作作者 全部的 前5名合著者 1 单作者的 8 城市,基督教 5 吴春汉 2 胡鹏飞 2 沈洪志 2 吴奇成 2 杨垂平 2 周燕辉 1 董德坤 1 法鲁克,K。 1 杰恩·米歇尔·杰夫林 1 马克·哈曼 1 胡,林 1 姜慧 1 Hideo Kozumi 1 李涛 1 李忠国 1 林,董 1 Amélie C.S.Litman。 1 刘彤 1 米,杨 1 马尔科姆·蒙罗 1 潘洪亮 1 久岛谷崎 1 埃尔夫托特尔 1 王金双 1 王媛媛 1 王月明 1 谢锡仁 1 徐昌贵 1 徐健 1 杨华兵 1 叶彪良 1 张宁荣 1 邹丹丹 全部的 前5名系列 三 自动推理杂志 2 国际理论物理杂志 2 IEEE天线和传播汇刊 2 国际量子信息杂志 2 物理学报A:数学与理论 1 国际现代物理杂志B 1 国际多相流杂志 1 反问题 1 计算机科学与技术杂志 1 数学和计算机建模 1 计算统计学 1 统计传播。理论与方法 1 武汉大学自然科学学报 1 IEEE图像处理汇刊 1 数值数学杂志 1 同济大学学报。自然科学 1 计算机科学课堂讲稿 1 云南民族大学学报。自然科学版 全部的 前5名领域 13 计算机科学(68至XX) 7 量子理论(81-XX) 4 数值分析(65-XX) 4 光学、电磁理论(78-XX) 三 总体主题;集合(00-XX) 三 统计学(62-XX) 三 信息与通信理论、电路(94-XX) 2 偏微分方程(35-XX) 2 流体力学(76-XX) 1 数理逻辑与基础(03-XX) 1 几何图形(51至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用33中的次28文件 引用人▼ 年份▼ 带有非马尔科夫水库的量子奥托热机。 Zbl 1305.81117号 张晓云(Zhang,X.Y.)。;黄X.L。;Yi,X.X。 11 2014 Isabelle/HOL中的机械化图灵机和可计算性理论。 Zbl 1317.68237号 徐健;张兴元;城市,基督教 10 2013 基于正则表达式的Myhill-Nerode定理的形式化(proof pearl)。 Zbl 1342.68306号 吴春汉;张兴元;城市,基督教 10 2011 基于正则表达式的Myhill-Nerode定理的形式化。 Zbl 1314.68179号 吴春汉;张兴元;城市,基督教 6 2014 Navier-Stokes方程的混合球谐广义拉盖尔谱方法。 Zbl 1426.76516号 张,X.-Y。 三 2013 Coq中形式化的一般递归程序的最弱前提条件。 Zbl 1013.68202号 张兴元;马尔科姆·蒙罗;马克·哈曼;胡,林 2 2002 优先级继承协议被证明是正确的。 Zbl 1360.68772号 张兴元;城市,基督教;吴春汉 2 2012 位置调制克尔型非线性耦合光机系统中的光子阻塞。 Zbl 1386.81160号 张,X.Y。;周,Y.H。;郭永清。;Yi,X.X。 2 2018 用马尔可夫链蒙特卡罗方法对伽马随机前沿模型进行贝叶斯和非贝叶斯分析。 Zbl 1091.62013年 Hideo Kozumi;张兴元 1 2005 与Isabelle/HOL进行生动推理。 Zbl 1252.68198号 王金双;杨华兵;张兴元 1 2009 通过两个水库的干扰增强非马尔科夫性。 Zbl 1331.81081号 张晓云(Zhang,X.Y.)。;黄X.L。;Yi,X.X。 1 2015 腔系统中具有二阶非线性的双光子阻塞。 Zbl 1486.81184号 吴奇成;张兴元;王月明;刘彤;周燕辉;沈洪志;杨翠萍 1 2022 腔系统中具有二阶非线性的双光子阻塞。 Zbl 1486.81184号 吴奇成;张兴元;王月明;刘彤;周燕辉;沈洪志;杨翠萍 1 2022 位置调制克尔型非线性耦合光机系统中的光子阻塞。 Zbl 1386.81160号 张晓云(Zhang,X.Y.)。;周,Y.H。;郭永清。;Yi,X.X。 2 2018 通过两个水库的干扰增强非马尔科夫性。 Zbl 1331.81081号 张晓云(Zhang,X.Y.)。;黄X.L。;Yi,X.X。 1 2015 带有非马尔科夫水库的量子奥托热机。 Zbl 1305.81117号 张晓云(Zhang,X.Y.)。;黄X.L。;Yi,X.X。 11 2014 基于正则表达式的Myhill-Nerode定理的形式化。 Zbl 1314.68179号 吴春汉;张兴元;城市,基督教 6 2014 Isabelle/HOL中的机械化图灵机和可计算性理论。 兹比尔1317.68237 徐健;张兴元;城市,基督教 10 2013 Navier-Stokes方程的混合球谐广义拉盖尔谱方法。 Zbl 1426.76516号 张,X.-Y。 三 2013 优先级继承协议被证明是正确的。 Zbl 1360.68772号 张兴元;城市,基督教;吴春汉 2 2012 基于正则表达式的Myhill-Nerode定理的形式化(proof pearl)。 Zbl 1342.68306号 吴春汉;张兴元;城市,基督教 10 2011 与Isabelle/HOL进行生动推理。 兹比尔1252.68198 王金双;杨华兵;张兴元 1 2009 用马尔可夫链蒙特卡罗方法对伽马随机前沿模型进行贝叶斯和非贝叶斯分析。 Zbl 1091.62013年 Hideo Kozumi;张兴元 1 2005 Coq中形式化的一般递归程序的最弱前提条件。 Zbl 1013.68202号 张兴元;马尔科姆·蒙罗;马克·哈曼;胡,林 2 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名36位作者引用 4 格特·斯莫尔卡 三 扬尼克·福斯特 三 城市,基督教 三 吴春汉 三 张兴元 2 穆罕默德·阿卜杜勒·阿齐兹 2 安德烈亚·阿斯佩蒂 2 克里斯蒂安·多兹卡尔 2 查尔斯·格雷顿 2 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 2 迈克尔·诺里什 2 克里斯蒂安·斯特纳格尔 2 乔治·斯特鲁斯 2 德克兰·汤普森 2 Martin P.沃德。 2 侯赛因·泽丹 1 阿拉斯代尔·阿姆斯特朗 1 阿希法斯,C.H.穆罕默德 1 乔纳斯·拜耳 1 伯纳多·博尔巴·德·安德拉德 1 克里斯蒂安·卡鲁德。 1 阿尔贝托·齐法格利翁 1 可口、蒂埃里 1 马可·戴维 1 西蒙福斯特 1 T·M·马诺什。 1 托比亚斯·尼普科 1 阿比克的朋友 1 劳伦斯·查尔斯·保尔森 1 威尔默·里奇奥蒂 1 迪尔克·施莱彻 1 文森特·塞尔斯 1 杰拉尔多·苏扎。 1 股票,Benedikt 1 Ramesh Babu Thayyullathil公司 1 德米特里·特雷特尔 全部的 前5名8篇连载文章中引用 7 自动推理杂志 1 国际理论物理杂志 1 理论计算机科学 1 计算机程序设计科学 1 计算的形式方面 1 计算统计学 1 函数编程杂志 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 25 计算机科学(68至XX) 10 数理逻辑与基础(03-XX) 2 统计学(62-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 按年份列出的引文