|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yijia Chen, Jörg Flum |
Listings and logics.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Hard instances of algorithms and proof systems. |
Electronic Colloquium on Computational Complexity (ECCC) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller |
Strong isomorphism reductions in complexity theory. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bingkai Lin, Yijia Chen |
The parameterized complexity of k-edge induced subgraphs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Lower Bounds for Kernelizations and Other Preprocessing Procedures. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Listings and Logics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Consistency and Optimality. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On optimal proof systems and logics for PTIME. |
Electronic Colloquium on Computational Complexity (ECCC) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On the complexity of Gödel's proof predicate. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On p-Optimal Proof Systems and Logics for PTIME. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
A Logic for PTIME and a Parameterized Halting Problem. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
A Logic for PTIME and a Parameterized Halting Problem. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Lower Bounds for Kernelizations and Other Preprocessing Procedures. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
kernelization, preprocessing, Parameterized complexity |
| 1 | Yijia Chen, Jörg Flum |
A logic for PTIME and a parameterized halting problem. |
Electronic Colloquium on Computational Complexity (ECCC) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
The parameterized complexity of maximality and minimality problems. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Marc Thurley, Mark Weyer |
Understanding the Complexity of Induced Subgraph Isomorphisms. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Martin Grohe, Magdalena Grüber |
On Parameterized Approximability. |
Electronic Colloquium on Computational Complexity (ECCC) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Lower Bounds for Kernelizations. |
Electronic Colloquium on Computational Complexity (ECCC) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Martin Grohe |
An analysis of the W*-hierarchy. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Martin Grohe |
An Isomorphism Between Subexponential and Parameterized Complexity Theory. |
SIAM J. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On Parameterized Path and Chordless Path Problems. |
IEEE Conference on Computational Complexity |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Martin Grohe |
An Isomorphism between Subexponential and Parameterized Complexity Theory |
Electronic Colloquium on Computational Complexity (ECCC) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On miniaturized problems in parameterized complexity theory. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
The Parameterized Complexity of Maximality and Minimality Problems. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Martin Grohe, Magdalena Grüber |
On Parameterized Approximability. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Martin Grohe |
An Isomorphism between Subexponential and Parameterized Complexity Theory. |
IEEE Conference on Computational Complexity |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Martin Grohe |
Machine-based methods in parameterized complexity theory. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen |
Model-checking problems, machines and parameterized complexity. |
|
2004 |
RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On Miniaturized Problems in Parameterized Complexity Theory. |
IWPEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Machine Characterization of the Classes of the W-Hierarchy. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Martin Grohe |
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. |
IEEE Conference on Computational Complexity |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Enshao Shen |
Capture Complexity by Partition. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enshao Shen, Yijia Chen |
The Downward Transfer of Elementary Satisfiability of Partition Logics. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongqiang Sun, Kai Lin, Yijia Chen |
Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language . |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")