编辑配置文件（在新选项卡中打开） 张健 合著者距离 作者ID： 张健.8 发布日期： 张健 主页： https://lcs.ios.ac.cn/~zj个/ 外部链接： 数据库许可证 已编制索引的文档： 47出版物自1994年以来，包括1本书和2个附加arXiv预打印 2作为编辑的贡献 合著者： 43位合著者具有31份联合出版物 1535名合作作者 全部的 前5名合著者 7 单作者的 15 马，菲菲 5 葛存静 4 张汉涛 三 黄，裴 三 黄、卓 三 刘盛 三 严、军 三 朱，滨海 2 谢尔盖·贝雷格。 2 季晓辉 2 刘明浩 2 王文成 2 张文辉 2 张志强 1 白、朔 1 蔡、严 1 陈振龙Philip 1 陈国海 1 陈丽倩 1 陈振邦 1 程文超 1 窦文胜 1 傅姓 1 顾、于磊 1 黄，熊 1 Jeng、Xinge Jessie 1 贾祥雪 1 江，姚 1 Jin、Jiwei 1 雷振增 1 李超群 1 李汉雄 1 李洪南 1 李嘉祥 1 李丽安 1 李润东 1 李素建 1 李永发 1 梁斌 1 梁、元 1 刘，韩 1 刘群 1 刘，田 1 刘志杰 1 陆汝倩 1 卢，西安 1 吕一奇 1 马旭彤 1 毛伟峰 1 潘玉诗 1 钱登辉 1 邱伟新 1 任、龙 1 尚、云 1 王千祥 1 谢文平 1 熊英飞 1 徐中兴 1 宣继峰 1 颜荣杰 1 杨迪雄 1 杨利东 1 于晓东 1 曾庆国 1 张超 1 张广全 1 张鹏 1 张，清 1 赵志佳 1 周建旭 1 朱水辉 1 朱雪阳 全部的 前5名系列 三 软件杂志 2 理论计算机科学 2 计算机科学与技术杂志 2 国际计算方法杂志 1 应用力学与工程中的计算机方法 1 信息处理信件 1 核物理。B 1 《物理快报》。一个 1 Automatica公司 1 软件。实践与经验 1 自动化学报 1 自动推理杂志 1 应用数学。B系列（英文版） 1 软计算 1 非线性科学与数值模拟中的通信 1 离散和连续动力系统。B系列 1 科学中国。信息科学 1 国际结构稳定性与动力学杂志 1 Springer计算机科学简介 全部的 前5名字段 34 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 5 组合数学（05-XX） 5 量子理论（81-XX） 三 可变形固体力学（74-XX） 三 运筹学、数学编程（90-XX） 2 总体主题；集合（00-XX） 2 群论与推广（20-XX） 2 流体力学（76-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 系统论；控制（93至XX） 1 阶、格、有序代数结构（06-XX） 1 常微分方程（34-XX） 1 偏微分方程（35-XX） 1 变分法与最优控制；最优化（49-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 粒子和系统力学（70-XX） 1 光学、电磁理论（78-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用52中的次39文件 引用人▼ 年份▼ 用FALCON构造有限代数。 Zbl 0877.68103号 张健 6 1996 线性算术约束布尔组合的体积计算。 Zbl 1250.68237号 马，菲菲;刘盛;张健 5 2009 通过满意度测试研究正交高尔夫设计的存在性。 兹比尔1467.81076 黄，裴;刘明浩;葛存静;马，菲菲;张健 5 2019 使用直接蒙特卡罗方法进行体积计算。 Zbl 1206.68364号 刘盛;张健;朱，滨海 4 2007 在有限模型搜索中消除同构的强大技术。 Zbl 1222.68365号 贾祥雪;张健 4 2006 一种有效的生成基路径测试可行路径的方法。 Zbl 1186.68129号 严、军;张健 4 2008 系统描述-通过SEM生成模型。 Zbl 1412.68268号 张健;张汉涛 4 1996 关于色域模型下的一些匹配问题。 Zbl 1429.68318号 谢尔盖·贝雷格;马，菲菲;王文成;张健;朱，滨海 4 2019 使用Hajós构造生成硬图3着色实例。 Zbl 1156.68615号 刘盛;张健 三 2006 通过可满足性检验研究幂等拟群的大集的存在性。 Zbl 1511.68315号 黄，裴;马，菲菲;葛存静;张健;张汉涛 2 2018 MACE4和SEM：有限模型生成器的比较。 Zbl 1383.68083号 张汉涛;张健 2 2013 中文问答系统中的语义计算。 Zbl 1095.68708号 李素建;张健;黄，熊;白、朔;刘群 2 2002 计算机搜索威尔基身份的反例。 Zbl 1135.68562号 张健 2 2005 使用有限模型搜索工具查找正交拉丁方。 Zbl 1488.05046号 马，菲菲;张健 2 2013 计算和估计SMT（LA）约束解空间的体积。 Zbl 1398.68491号 葛存静;马，菲菲;张鹏;张健 1 2018 用同余闭包计算扩展有限模型搜索。 Zbl 1109.68643号 张健;张汉涛 1 2004 带模型检查的同步数据流图静态优化调度。 兹比尔1427.68177 朱雪阳;颜荣杰;顾玉雷;张健;张文辉;张广全 1 2015 通过满意度测试研究正交高尔夫设计的存在性。 Zbl 1467.81076号 黄，裴;刘明浩;葛存静;马，菲菲;张健 5 2019 关于色域模型下的一些匹配问题。 Zbl 1429.68318号 谢尔盖·贝雷格;马，菲菲;王文成;张健;朱，滨海 4 2019 通过可满足性检验研究幂等拟群的大集的存在性。 Zbl 1511.68315号 黄，裴;马，菲菲;葛存静;张健;张汉涛 2 2018 计算和估计SMT（LA）约束的解空间的体积。 兹比尔1398.68491 葛存静;马，菲菲;张鹏;张健 1 2018 带模型检查的同步数据流图静态优化调度。 Zbl 1427.68177号 朱雪阳;颜荣杰;顾玉雷;张健;张文辉;张广全 1 2015 MACE4和SEM：有限模型生成器的比较。 Zbl 1383.68083号 张汉涛;张健 2 2013 使用有限模型搜索工具查找正交拉丁方。 Zbl 1488.05046号 马，菲菲;张健 2 2013 线性算术约束布尔组合的体积计算。 Zbl 1250.68237号 马，菲菲;刘盛;张健 5 2009 一种有效的生成基路径测试可行路径的方法。 Zbl 1186.68129号 严、军;张健 4 2008 使用直接蒙特卡罗方法进行体积计算。 Zbl 1206.68364号 刘盛;张健;朱，滨海 4 2007 在有限模型搜索中消除同构的强大技术。 Zbl 1222.68365号 贾祥雪;张健 4 2006 使用Hajós构造生成硬图3着色实例。 Zbl 1156.68615号 刘盛;张健 三 2006 计算机搜索威尔基身份的反例。 Zbl 1135.68562号 张健 2 2005 用同余闭包计算扩展有限模型搜索。 兹比尔1109.68643 张健;张汉涛 1 2004 中文问答系统中的语义计算。 Zbl 1095.68708号 李素建;张健;黄，熊;白、朔;刘群 2 2002 用FALCON构造有限代数。 Zbl 0877.68103号 张健 6 1996 系统描述-通过SEM生成模型。 Zbl 1412.68268号 张健;张汉涛 4 1996 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 5 张健 4 曹海涛 三 葛存静 三 马，菲菲 三 沈聪 2 彼得·鲍姆加特纳 2 克里斯蒂亚，马克西米利亚诺 2 李东亮 2 萨尔瓦多卢卡斯 2 吉安弗兰科·罗西 2 张汉涛 1 古尔根·R·阿萨特里安。 1 吉尔·奥德玛 1 贝莱德·本哈莫 1 本努尔，伊米德·埃丁 1 玛丽亚·保拉（Maria Paola Bonacina） 1 本杰明·布劳恩 1 蔡敦波 1 陈刚毅 1 陈建鹏 1 德米特里五世·奇斯蒂科夫。 1 Chow，Choiwah先生 1 克雷斯波、鲁本·冈萨雷斯 1 Jesús A.De Loera。 1 汉斯·德·尼维尔 1 戴维·戴哈贝 1 雷娜·迪米特洛娃 1 Flores Peñaloza，大卫 1 帕斯卡·方丹 1 富克斯，亚历山大 1 乌尔里希·富巴赫 1 高军 1 高伟 1 艾哈迈德·希杜克。 1 顾，明 1 郭庆林 1 劳尔·古铁雷斯 1 原口，卡祖亚 1 他，费 1 何，史 1 何小舟 1 洛朗·海诺克 1 恩里克·埃雷拉维德马 1 米科拉什·亚诺塔 1 汤米·雷内·延森 1 季丽君 1 Jin、Jiwei 1 三雄卡诺 1 Khari、Manju 1 赖文峰 1 Lee，Jon（乔恩·李） 1 乌尔夫·林德斯特伦 1 卢，洪 1 吕恒毅 1 吕一奇 1 鲁帕克·马朱姆达尔 1 彼得·马尔金（Peter N.Malkin）。 1 苏珊·玛格丽斯 1 莱昂纳多·马丁内斯·桑多瓦尔 1 斯蒂芬·默兹 1 大卫·奥尔登 1 彭，京 1 卡尔·海因茨·佩内曼 1 本杰明·普朗克 1 乔纳斯·普伦特 1 雷娜特·施密特（Renate A.Schmidt）。 1 阿努奈·辛哈 1 Sofronie Stokkermans，维奥利卡 1 宋晓宇 1 萨姆·苏比 1 唐世伟 1 哈维尔·特杰尔 1 塞萨尔·蒂内利 1 童伟天 1 托特，Csaba D。 1 Urrutia Galicia，Jorge L。 1 朱莉安·维加 1 比吉特·沃格滕豪伯（Birgit Vogtenhuber） 1 王，李 1 王腾娇 1 王寅 1 布鲁诺沃尔岑洛格尔古 1 徐银峰 1 杨东青 1 张慧丽 1 张鹏 1 张强 1 周敏（Zhou，Min） 1 朱，滨海 1 邹鹏 全部的 前5名22篇连载文章中引用 4 自动推理杂志 三 组合设计杂志 2 离散数学 2 理论计算机科学 1 信息学报 1 人工智能 1 信息处理信件 1 数学生物学杂志 1 符号计算杂志 1 国际智能系统杂志 1 SIAM离散数学期刊 1 线性代数及应用 1 数学逻辑季刊（MLQ） 1 启发式杂志 1 约束条件 1 计算系统理论 1 组合优化期刊 1 应用逻辑杂志 1 离散优化 1 中国科学。F系列 1 算法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 28 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 9 组合数学（05-XX） 5 运筹学、数学编程（90-XX） 2 凸和离散几何（52至XX） 2 生物学和其他自然科学（92-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 1 常微分方程（34-XX） 按年份列出的引文