编辑配置文件（在新选项卡中打开） 徐子汉 合著者距离 作者ID： hsu.tzu-han公司 发布日期： 徐子汉 已编制索引的文档： 2出版物自2008年起 合著者： 2合著者具有1联合出版物 75位合作作者 合著者 0 单作者的 1 博尔祖·博纳克达尔普尔 1 伊恩·詹姆斯·利里 1 塞萨尔·桑切斯 系列 1 《伦敦数学学会通报》 领域 1 群论与推广（20-XX） 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用7次7文件 引用人▼ 年份▼ 超属性的有界模型检查。 Zbl 1467.68086号 徐子汉;塞萨尔·桑切斯;博尔祖·博纳克达尔普尔 7 2021 Artin HNN扩展实际上嵌入到Artin组中。 Zbl 1152.20033号 徐，T。;I.J.利里。 2 2008 超属性的有界模型检查。 Zbl 1467.68086号 徐子汉;塞萨尔·桑切斯;博尔祖·博纳克达尔普尔 7 2021 Artin HNN扩展实际上嵌入到Artin组中。 Zbl 1152.20033号 徐，T。;I.J.利里。 2 2008 所有引用出版物 前5名被引用出版物 全部的 前5名20位作者引用 5 博尔祖·博纳克达尔普尔 2 艾丽卡·阿尔布拉汉姆 2 科宁，诺林 2 伯恩德·芬克贝纳 2 塞萨尔·桑切斯 1 埃齐奥·巴托西 1 鲍迈斯特，简 1 詹弗兰科·西亚多 1 雷蒙德·达塞尔特 1 莫特萨·达马纳夫珊 1 奥延德里拉·多贝 1 Mehran S·法拉。 1 哈达尔·弗兰克尔 1 克里斯托弗·哈恩 1 汤姆·霍拉克 1 徐子汉 1 Niklas O.Metzger。 1 莎莱·申瓦尔德 1 朱利安·西伯 1 埃希塔·扎曼 2篇连载文章中引用 2 信息与计算 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文