Yuguo He

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Probabilistic Graphical Models

Transitive Closure

Representation Language

Top Venues

Log. Methods Comput. Sci.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Yuguo He
Pebble Games over Ordered Structural Abstractions. TAMC (2017)
Yuguo He
k variables are needed to define k-Clique in first-order logic. CoRR (2015)
Yuguo He
On the strictness of the quantifier structure hierarchy in first-order logic. Log. Methods Comput. Sci. 10 (4) (2014)
Yuguo He
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures. LICS (2010)
Anuj Dawar, Yuguo He
Parameterized Complexity Classes under Logical Reductions. MFCS (2009)
Yuguo He
An Efficient Attribute Reduction Algorithm. IDEAL (2006)
Yuguo He, Jigui Sun
Quantum Search in Structured Database. ICNC (3) (2005)