Research output per year
Research output per year
Search results
-
2017
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. (eds.). Springer Verlag, p. 319-332 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10185 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2010
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., p. 170-178 9 p. 5570868. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2009
Parameterized complexity classes under logical reductions
Dawar, A. & He, Y., 2009, Mathematical Foundations of Computer Science 2009 - 34th International Symposium, MFCS 2009, Proceedings. p. 258-269 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5734 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access2 Citations (Scopus) -
2006
An efficient attribute reduction algorithm
He, Y., 2006, Intelligent Data Engineering and Automated Learning, IDEAL 2006 - 7th International Conference, Proceedings. Springer Verlag, p. 859-868 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4224 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus)