We stand with Ukraine  

Yuguo He

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Pebble Games over Ordered Structural Abstractions.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Yuguo He
CoRR, 2015

2014
On the strictness of the quantifier structure hierarchy in first-order logic.
[BibTeX]
[DOI]
Yuguo He
Log. Methods Comput. Sci., 2014

2011
Hierarchies in first-order logic and parameterized complexity.
[BibTeX]
[DOI]
Yuguo He
PhD thesis, 2011

2010
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures.
[BibTeX]
[DOI]
Yuguo He
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009
Parameterized Complexity Classes under Logical Reductions.
[BibTeX]
[DOI]
Anuj Dawar
,
Yuguo He
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

2006
An Efficient Attribute Reduction Algorithm.
[BibTeX]
[DOI]
Yuguo He
Proceedings of the Intelligent Data Engineering and Automated Learning, 2006

2005
Quantum Search in Structured Database.
[BibTeX]
[DOI]
Yuguo He
,
Jigui Sun
Proceedings of the Advances in Natural Computation, First International Conference, 2005


  Loading...