Yijia Chen

	2011
37		Yijia Chen, Jörg Flum, Moritz Müller: Consistency and Optimality. CiE 2011: 61-70
36		Yijia Chen, Jörg Flum: Listings and Logics. LICS 2011: 165-174
35		Bingkai Lin, Yijia Chen: The parameterized complexity of k-edge induced subgraphs CoRR abs/1105.0477: (2011)
34		Yijia Chen, Jörg Flum: Listings and logics. Electronic Colloquium on Computational Complexity (ECCC) 18: 20 (2011)
33		Yijia Chen, Jörg Flum, Moritz Müller: Hard instances of algorithms and proof systems. Electronic Colloquium on Computational Complexity (ECCC) 18: 85 (2011)
32		Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller: Strong isomorphism reductions in complexity theory. J. Symb. Log. 76(4): 1381-1402 (2011)
31		Yijia Chen, Jörg Flum, Moritz Müller: Lower Bounds for Kernelizations and Other Preprocessing Procedures. Theory Comput. Syst. 48(4): 803-839 (2011)
	2010
30		Yijia Chen, Jörg Flum: On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. CSL 2010: 200-214
29		Yijia Chen, Jörg Flum: A Logic for PTIME and a Parameterized Halting Problem. Fields of Logic and Computation 2010: 251-276
28		Yijia Chen, Jörg Flum: On p-Optimal Proof Systems and Logics for PTIME. ICALP (2) 2010: 321-332
27		Yijia Chen, Jörg Flum: On optimal proof systems and logics for PTIME. Electronic Colloquium on Computational Complexity (ECCC) 17: 8 (2010)
26		Yijia Chen, Jörg Flum: On the complexity of Gödel's proof predicate. J. Symb. Log. 75(1): 239-254 (2010)
	2009
25		Yijia Chen, Jörg Flum, Moritz Müller: Lower Bounds for Kernelizations and Other Preprocessing Procedures. CiE 2009: 118-128
24		Yijia Chen, Jörg Flum: A Logic for PTIME and a Parameterized Halting Problem. LICS 2009: 397-406
23		Yijia Chen, Jörg Flum: Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. J. Log. Comput. 19(1): 89-122 (2009)
	2008
22		Yijia Chen, Marc Thurley, Mark Weyer: Understanding the Complexity of Induced Subgraph Isomorphisms. ICALP (1) 2008: 587-596
21		Yijia Chen, Jörg Flum: The parameterized complexity of maximality and minimality problems. Ann. Pure Appl. Logic 151(1): 22-61 (2008)
20		Yijia Chen, Jörg Flum: A logic for PTIME and a parameterized halting problem. Electronic Colloquium on Computational Complexity (ECCC) 15(083): (2008)
	2007
19		Yijia Chen, Jörg Flum: Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. CSL 2007: 389-404
18		Yijia Chen, Jörg Flum: On Parameterized Path and Chordless Path Problems. IEEE Conference on Computational Complexity 2007: 250-263
17		Yijia Chen, Martin Grohe, Magdalena Grüber: On Parameterized Approximability. Electronic Colloquium on Computational Complexity (ECCC) 14(106): (2007)
16		Yijia Chen, Jörg Flum, Moritz Müller: Lower Bounds for Kernelizations. Electronic Colloquium on Computational Complexity (ECCC) 14(137): (2007)
15		Yijia Chen, Jörg Flum, Martin Grohe: An analysis of the W*-hierarchy. J. Symb. Log. 72(2): 513-534 (2007)
14		Yijia Chen, Martin Grohe: An Isomorphism Between Subexponential and Parameterized Complexity Theory. SIAM J. Comput. 37(4): 1228-1258 (2007)
	2006
13		Yijia Chen, Martin Grohe: An Isomorphism between Subexponential and Parameterized Complexity Theory. IEEE Conference on Computational Complexity 2006: 314-330
12		Yijia Chen, Martin Grohe, Magdalena Grüber: On Parameterized Approximability. IWPEC 2006: 109-120
11		Yijia Chen, Jörg Flum: The Parameterized Complexity of Maximality and Minimality Problems. IWPEC 2006: 25-37
10		Yijia Chen, Martin Grohe: An Isomorphism between Subexponential and Parameterized Complexity Theory Electronic Colloquium on Computational Complexity (ECCC)(011): (2006)
9		Yijia Chen, Jörg Flum: On miniaturized problems in parameterized complexity theory. Theor. Comput. Sci. 351(3): 314-336 (2006)
	2005
8		Yijia Chen, Jörg Flum, Martin Grohe: Machine-based methods in parameterized complexity theory. Theor. Comput. Sci. 339(2-3): 167-199 (2005)
	2004
7		Yijia Chen, Jörg Flum: On Miniaturized Problems in Parameterized Complexity Theory. IWPEC 2004: 108-120
6		Yijia Chen: Model-checking problems, machines and parameterized complexity. University of Freiburg 2004: 1-111
	2003
5		Yijia Chen, Jörg Flum: Machine Characterization of the Classes of the W-Hierarchy. CSL 2003: 114-127
4		Yijia Chen, Jörg Flum, Martin Grohe: Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. IEEE Conference on Computational Complexity 2003: 13-29
	2001
3		Yijia Chen, Enshao Shen: Capture Complexity by Partition. CSL 2001: 84-98
	2000
2		Enshao Shen, Yijia Chen: The Downward Transfer of Elementary Satisfiability of Partition Logics. Math. Log. Q. 46(4): 477-487 (2000)
	1997
1		Yongqiang Sun, Kai Lin, Yijia Chen: Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language . APDC 1997: 390-397

Coauthor Index

1	Sam Buss	[32]
2	Jörg Flum	[4] [5] [7] [8] [9] [11] [15] [16] [18] [19] [20] [21] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37]
3	Sy-David Friedman (Sy D. Friedman)	[32]
4	Martin Grohe	[4] [8] [10] [12] [13] [14] [15] [17]
5	Magdalena Grüber	[12] [17]
6	Bingkai Lin	[35]
7	Kai Lin	[1]
8	Moritz Müller	[16] [25] [31] [32] [33] [37]
9	Enshao Shen	[2] [3]
10	Yongqiang Sun	[1]
11	Marc Thurley	[22]
12	Mark Weyer	[22]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page