每年的科研成果
每年的科研成果
指纹图谱
深入其中 Yuguo He 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
-
Pebble games over ordered structural abstractions
He, Y., 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Jager, G., Steila, S. & Gopal, T. V. (编辑). Springer Verlag, 页码 319-332 14 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 10185 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
On the strictness of the quantifier structure hierarchy in first-order logic
He, Y., 12 11月 2014, 在: Logical Methods in Computer Science. 10, 4科研成果: 期刊稿件 › 文章 › 同行评审
开放访问 -
On the strictness of the first-order quantifier structure hierarchy over finite structures
He, Y., 2010, Proceedings - 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. Institute of Electrical and Electronics Engineers Inc., 页码 170-178 9 页码 5570868. (Proceedings - Symposium on Logic in Computer Science).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
Parameterized complexity classes under logical reductions
Dawar, A. & He, Y., 2009, Mathematical Foundations of Computer Science 2009 - 34th International Symposium, MFCS 2009, Proceedings. 页码 258-269 12 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 5734 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
开放访问2 引用 （Scopus） -
An efficient attribute reduction algorithm
He, Y., 2006, Intelligent Data Engineering and Automated Learning, IDEAL 2006 - 7th International Conference, Proceedings. Springer Verlag, 页码 859-868 10 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 4224 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
1 引用 （Scopus）