BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Croatia
1 × Czech Republic
1 × Iceland
1 × Switzerland
1 × USA
1 × United Kingdom
2 × France
Collaborated with:
J.Flum B.Lin E.Shen M.Thurley M.Weyer X.Huang
Talks about:
logic (4) parameter (3) complex (3) subgraph (2) slicewis (2) problem (2) system (2) ptime (2) proof (2) order (2)

Person: Yijia Chen

DBLP DBLP: Chen:Yijia

Contributed to:

ICALP (1) 20122012
LICS 20122012
LICS 20112011
CSL 20102010
ICALP (2) 20102010
LICS 20092009
ICALP (1) 20082008
CSL 20072007
CSL 20032003
CSL 20012001
CSL 20172017
CSL 20202020

Wrote 12 papers:

ICALP-v1-2012-LinC #complexity
The Parameterized Complexity of k-Edge Induced Subgraphs (BL, YC), pp. 641–652.
LICS-2012-ChenF #on the #order
On the Ordered Conjecture (YC, JF), pp. 225–234.
LICS-2011-ChenF #logic
Listings and Logics (YC, JF), pp. 165–174.
CSL-2010-ChenF #on the #problem #proving #slicing
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT (YC, JF), pp. 200–214.
ICALP-v2-2010-ChenF #logic #on the #proving
On p-Optimal Proof Systems and Logics for PTIME (YC, JF), pp. 321–332.
LICS-2009-ChenF #logic #problem
A Logic for PTIME and a Parameterized Halting Problem (YC, JF), pp. 397–406.
ICALP-A-2008-ChenTW #complexity #comprehension #morphism
Understanding the Complexity of Induced Subgraph Isomorphisms (YC, MT, MW), pp. 587–596.
CSL-2007-ChenF #parametricity
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping (YC, JF), pp. 389–404.
Machine Characterization of the Classes of the W-Hierarchy (YC, JF), pp. 114–127.
CSL-2001-ChenS #complexity
Capture Complexity by Partition (YC, ES), pp. 84–98.
CSL-2017-ChenFH #bound #first-order #logic #quantifier #rank #slicing
Slicewise Definability in First-Order Logic with Bounded Quantifier Rank (YC, JF, XH), p. 16.
FO-Definability of Shrub-Depth (YC, JF), p. 16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.