Yuguo He

According to our database, Yuguo He authored at least 8 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2017

Pebble Games over Ordered Structural Abstractions.

Yuguo He

Proceedings of the Theory and Applications of Models of Computation, 2017

2015

k variables are needed to define k-Clique in first-order logic.

Yuguo He

CoRR, 2015

2014

On the strictness of the quantifier structure hierarchy in first-order logic.

Yuguo He

Log. Methods Comput. Sci., 2014

2011

Hierarchies in first-order logic and parameterized complexity.

Yuguo He

PhD thesis, 2011

2010

On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures.

Yuguo He

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Parameterized Complexity Classes under Logical Reductions.

Anuj Dawar, Yuguo He

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

2006

An Efficient Attribute Reduction Algorithm.

Yuguo He

Proceedings of the Intelligent Data Engineering and Automated Learning, 2006

2005

Quantum Search in Structured Database.

Yuguo He, Jigui Sun

Proceedings of the Advances in Natural Computation, First International Conference, 2005