default search action
Yijia Chen
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j27]Yuhui Huang
, Shangbo Zhou
Ref-MEF: Reference-Guided Flexible Gated Image Reconstruction Network for Multi-Exposure Image Fusion. Entropy 26(2): 139 (2024) - [j26]Yijia Chen, Jörg Flum:
Forbidden induced subgraphs and the łOś-Tarski Theorem. J. Symb. Log. 89(2): 516-548 (2024) - [j25]Yijia Chen, Lionel Parreaux:
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures. Proc. ACM Program. Lang. 8(ICFP): 249-283 (2024) - [j24]Yijia Chen
Attention Network With Fractional-Ordered Mixed Geometric Features for Hyperspectral Image Classification. IEEE Trans. Geosci. Remote. Sens. 62: 1-15 (2024) - [j23]Yuan Zhang
Dynamical Modeling and Qualitative Analysis of a Delayed Model for CD8 T Cells in Response to Viral Antigens. IEEE Trans. Neural Networks Learn. Syst. 35(5): 7138-7149 (2024) - [c44]Yijia Chen, Pinghua Chen, Xiangxin Zhou, Yingtie Lei, Ziyang Zhou, Mingxian Li:
Implicit Multi-Spectral Transformer: An Lightweight and Effective Visible to Infrared Image Translation Model. IJCNN 2024: 1-8 - [i25]Yijia Chen, Pinghua Chen, Xiangxin Zhou, Yingtie Lei, Ziyang Zhou, Mingxian Li:
Implicit Multi-Spectral Transformer: An Lightweight and Effective Visible to Infrared Image Translation Model. CoRR abs/2404.07072 (2024) - [i24]Fan Zhao, Yijia Chen, Dianhan Xi, Yongying Liu, Jiaqi Wang, Shigeru Tabeta, Katsunori Mizuno:
Monitoring of Hermit Crabs Using drone-captured imagery and Deep Learning based Super-Resolution Reconstruction and Improved YOLOv8. CoRR abs/2408.03559 (2024) - [i23]Fan Zhao, Yongying Liu, Jiaqi Wang, Yijia Chen, Dianhan Xi, Xinlei Shao, Shigeru Tabeta, Katsunori Mizuno:
Underwater litter monitoring using consumer-grade aerial-aquatic speedy scanner (AASS) and deep learning based super-resolution reconstruction and detection network. CoRR abs/2408.03564 (2024) - [i22]Yijia Chen, Lionel Parreaux:
The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures. CoRR abs/2410.02232 (2024) - 2023
- [j22]Yijia Chen
Curvature-Based Machine Vision Method for Measuring the Dimension of Ball Screws. IEEE Access 11: 126803-126813 (2023) - [j21]Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang:
Preface for the special issue of Theoretical Computer Science in honor of the 60th birthday of Yuxi Fu. Theor. Comput. Sci. 945: 113720 (2023) - [c43]Yijia Chen, Yiwen Chen, Shanling Nie, Hai Yang:
PMMVar: Leveraging Multi-level Protein Structures for Enhanced Coding Variant Pathogenicity Prediction. BIBM 2023: 269-274 - [c42]Yijia Chen
Optimization Model for Vegetable Pricing in the Chinese Market Based on Gaussian Process Regression and Simulated Annealing Algorithm. ICAICE 2023: 182-186 - [i21]Yijia Chen, Yi Feng, Bundit Laekhanukit, Yanlin Liu:
Simple Combinatorial Construction of the ko(1)-Lower Bound for Approximating the Parameterized k-Clique. CoRR abs/2304.07516 (2023) - 2022
- [j20]Yijia Chen, Jörg Flum, Moritz Müller:
A Surprising Relationship Between Descriptive Complexity and Proof Complexity. Bull. EATCS 138 (2022) - [c41]Yijia Chen, Jianjun Ma, Miao Zhu, Ningyi Dai:
A DC-DC converter with input full active bridge and output semi active bridge for bipolar LVDC systems. IAS 2022: 1-6 - [c40]Jack He
Non-Hodgkin Lymphoma CAR T Cells: Enhancement on Synnotch Signaling, GLUT1 expression, and PGC1a expression brings Potential Clinical Advancement in Therapy. ISAIMS 2022: 97-105 - [c39]Yijia Chen
On Algorithms Based on Finitely Many Homomorphism Counts. MFCS 2022: 32:1-32:15 - [e2]Zhiping Cai
Theoretical Computer Science - 40th National Conference, NCTCS 2022, Changchun, China, July 29-31, 2022, Revised Selected Papers. Communications in Computer and Information Science 1693, Springer 2022, ISBN 978-981-19-8151-7 [contents] - [i20]Tianqu Kang, Anh-Dung Dinh, Binghong Wang, Tianyuan Du, Yijia Chen, Kevin Chau:
Optimization of a Real-Time Wavelet-Based Algorithm for Improving Speech Intelligibility. CoRR abs/2202.02545 (2022) - [i19]Yijia Chen, Moritz Müller, Keita Yokoyama:
A parameterized halting problem, Δ0 truth and the MRDP theorem. CoRR abs/2211.06121 (2022) - 2021
- [j19]Huayue Chen
A Hyperspectral Image Classification Method Using Multifeature Vectors and Optimized KELM. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 14: 2781-2795 (2021) - [c38]Keegan Kang
Improving Hashing Algorithms for Similarity Search \textitvia MLE and the Control Variates Trick. ACML 2021: 814-829 - [c37]Yijia Chen, Jörg Flum:
Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. LICS 2021: 1-13 - [i18]Yijia Chen, Jörg Flum, Mingjun Liu, Zhiyang Xun:
On Queries Determined by a Constant Number of Homomorphism Counts. CoRR abs/2111.13269 (2021) - 2020
- [c36]Yijia Chen, Jörg Flum:
Parameterized Parallel Computing and First-Order Logic. Fields of Logic and Computation III 2020: 57-78 - [c35]Junhua Liu, Lionell Loh, Ernest Ng, Yijia Chen, Kristin L. Wood, Kwan Hui Lim:
Self-Evolving Adaptive Learning for Personalized Education. CSCW Companion 2020: 317-321 - [c34]Yijia Chen
FO-Definability of Shrub-Depth. CSL 2020: 15:1-15:16 - [i17]Yijia Chen, Jörg Flum:
Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. CoRR abs/2008.00420 (2020)
2010 – 2019
- 2019
- [j18]Yijia Chen, Jörg Flum:
Some lower bounds in parameterized AC0. Inf. Comput. 267: 116-134 (2019) - [j17]Yijia Chen, Michael Elberfeld, Moritz Müller:
The parameterized space complexity of model-checking bounded variable first-order logic. Log. Methods Comput. Sci. 15(3) (2019) - [j16]Yijia Chen, Bingkai Lin
The Constant Inapproximability of the Parameterized Dominating Set Problem. SIAM J. Comput. 48(2): 513-533 (2019) - [c33]Jan Böker
The Complexity of Homomorphism Indistinguishability. MFCS 2019: 54:1-54:13 - [e1]Yijia Chen, Xiaotie Deng, Mei Lu:
Frontiers in Algorithmics - 13th International Workshop, FAW 2019, Sanya, China, April 29 - May 3, 2019, Proceedings. Lecture Notes in Computer Science 11458, Springer 2019, ISBN 978-3-030-18125-3 [contents] - 2018
- [c32]Yijia Chen, Abdallah Saffidine, Christoph Schwering:
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. IJCAI 2018: 1774-1780 - [c31]Yijia Chen, Jörg Flum:
Tree-depth, quantifier elimination, and quantifier rank. LICS 2018: 225-234 - [c30]Yijia Chen, Moritz Müller, Keita Yokoyama
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. LICS 2018: 235-244 - [i16]Yijia Chen, Abdallah Saffidine, Christoph Schwering:
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. CoRR abs/1805.02912 (2018) - 2017
- [j15]Bingkai Lin
The parameterized complexity of k-edge induced subgraphs. Inf. Comput. 252: 138-160 (2017) - [c29]Yijia Chen, Jörg Flum, Xuangui Huang:
Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. CSL 2017: 19:1-19:16 - [c28]Yijia Chen, Martin Grohe, Bingkai Lin
The Hardness of Embedding Grids and Walls. WG 2017: 180-192 - [i15]Yijia Chen, Michael Elberfeld, Moritz Müller:
The parameterized space complexity of model-checking bounded variable first-order logic. CoRR abs/1703.01860 (2017) - [i14]Yijia Chen, Martin Grohe, Bingkai Lin:
The Hardness of Embedding Grids and Walls. CoRR abs/1703.06423 (2017) - [i13]Yijia Chen, Jörg Flum, Xuangui Huang:
Slicewise definability in first-order logic with bounded quantifier rank. CoRR abs/1704.03167 (2017) - [i12]Yijia Chen, Rodney G. Downey, Jörg Flum:
Logic and Computational Complexity (NII Shonan Meeting 2017-13). NII Shonan Meet. Rep. 2017 (2017) - 2016
- [c27]Yijia Chen, Bingkai Lin:
The Constant Inapproximability of the Parameterized Dominating Set Problem. FOCS 2016: 505-514 - [c26]Yijia Chen, Jörg Flum:
Some Lower Bounds in Parameterized AC^0. MFCS 2016: 27:1-27:14 - [i11]Yijia Chen, Jörg Flum:
Some lower bounds in parameterized AC0. CoRR abs/1606.08014 (2016) - 2015
- [c25]Yijia Chen, Jörg Flum:
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture. Fields of Logic and Computation II 2015: 87-108 - [i10]Yijia Chen, Bingkai Lin:
The Constant Inapproximability of the Parameterized Dominating Set Problem. CoRR abs/1511.00075 (2015) - 2014
- [j14]Yijia Chen, Jörg Flum:
On Optimal Inverters. Bull. Symb. Log. 20(1): 1-23 (2014) - [j13]Yijia Chen, Jörg Flum, Moritz Müller:
Hard Instances of Algorithms and Proof Systems. ACM Trans. Comput. Theory 6(2): 7:1-7:25 (2014) - [c24]Yijia Chen, Moritz Müller:
Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem. MFCS (1) 2014: 183-195 - 2013
- [j12]Yijia Chen, Jörg Flum, Moritz Müller:
Consistency, optimality, and incompleteness. Ann. Pure Appl. Log. 164(12): 1224-1235 (2013) - [i9]Yijia Chen, Jörg Flum:
On Limitations of the Ehrenfeucht-Fraisse-method in Descriptive Complexity. Electron. Colloquium Comput. Complex. TR13 (2013) - 2012
- [j11]Yijia Chen, Jörg Flum:
From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem. J. ACM 59(4): 17:1-17:34 (2012) - [c23]Yijia Chen, Jörg Flum:
A Parameterized Halting Problem. The Multivariate Algorithmic Revolution and Beyond 2012: 364-397 - [c22]Yijia Chen, Jörg Flum, Moritz Müller:
Hard Instances of Algorithms and Proof Systems. CiE 2012: 118-128 - [c21]Bingkai Lin, Yijia Chen:
The Parameterized Complexity of k-Edge Induced Subgraphs. ICALP (1) 2012: 641-652 - [c20]Yijia Chen, Kord Eickmeyer
The Exponential Time Hypothesis and the Parameterized Clique Problem. IPEC 2012: 13-24 - [c19]Yijia Chen, Jörg Flum:
On the Ordered Conjecture. LICS 2012: 225-234 - 2011
- [j10]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) - [j9]Yijia Chen, Jörg Flum, Moritz Müller:
Lower Bounds for Kernelizations and Other Preprocessing Procedures. Theory Comput. Syst. 48(4): 803-839 (2011) - [c18]Yijia Chen, Jörg Flum, Moritz Müller:
Consistency and Optimality. CiE 2011: 61-70 - [c17]Yijia Chen, Jörg Flum:
Listings and Logics. LICS 2011: 165-174 - [i8]Bingkai Lin, Yijia Chen:
The parameterized complexity of k-edge induced subgraphs. CoRR abs/1105.0477 (2011) - [i7]Yijia Chen, Jörg Flum:
Listings and logics. Electron. Colloquium Comput. Complex. TR11 (2011) - [i6]Yijia Chen, Jörg Flum, Moritz Müller:
Hard instances of algorithms and proof systems. Electron. Colloquium Comput. Complex. TR11 (2011) - 2010
- [j8]Yijia Chen, Jörg Flum:
On the complexity of Gödel's proof predicate. J. Symb. Log. 75(1): 239-254 (2010) - [c16]Yijia Chen, Jörg Flum:
A Logic for PTIME and a Parameterized Halting Problem. Fields of Logic and Computation 2010: 251-276 - [c15]Yijia Chen, Jörg Flum:
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. CSL 2010: 200-214 - [c14]Yijia Chen, Jörg Flum:
On p-Optimal Proof Systems and Logics for PTIME. ICALP (2) 2010: 321-332 - [i5]Yijia Chen, Jörg Flum:
On optimal proof systems and logics for PTIME. Electron. Colloquium Comput. Complex. TR10 (2010)
2000 – 2009
- 2009
- [j7]Yijia Chen, Jörg Flum:
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. J. Log. Comput. 19(1): 89-122 (2009) - [c13]Yijia Chen, Jörg Flum, Moritz Müller:
Lower Bounds for Kernelizations and Other Preprocessing Procedures. CiE 2009: 118-128 - [c12]Yijia Chen, Jörg Flum:
A Logic for PTIME and a Parameterized Halting Problem. LICS 2009: 397-406 - 2008
- [j6]Yijia Chen, Jörg Flum:
The parameterized complexity of maximality and minimality problems. Ann. Pure Appl. Log. 151(1): 22-61 (2008) - [c11]Yijia Chen, Marc Thurley, Mark Weyer:
Understanding the Complexity of Induced Subgraph Isomorphisms. ICALP (1) 2008: 587-596 - [i4]Yijia Chen, Jörg Flum:
A logic for PTIME and a parameterized halting problem. Electron. Colloquium Comput. Complex. TR08 (2008) - 2007
- [j5]Yijia Chen, Jörg Flum, Martin Grohe
An analysis of the W*-hierarchy. J. Symb. Log. 72(2): 513-534 (2007) - [j4]Yijia Chen, Martin Grohe
An Isomorphism Between Subexponential and Parameterized Complexity Theory. SIAM J. Comput. 37(4): 1228-1258 (2007) - [c10]Yijia Chen, Jörg Flum:
On Parameterized Path and Chordless Path Problems. CCC 2007: 250-263 - [c9]Yijia Chen, Jörg Flum:
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. CSL 2007: 389-404 - [i3]Yijia Chen, Jörg Flum, Moritz Müller:
Lower Bounds for Kernelizations. Electron. Colloquium Comput. Complex. TR07 (2007) - [i2]Yijia Chen, Martin Grohe, Magdalena Grüber:
On Parameterized Approximability. Electron. Colloquium Comput. Complex. TR07 (2007) - 2006
- [j3]Yijia Chen, Jörg Flum:
On miniaturized problems in parameterized complexity theory. Theor. Comput. Sci. 351(3): 314-336 (2006) - [c8]Yijia Chen, Martin Grohe
An Isomorphism between Subexponential and Parameterized Complexity Theory. CCC 2006: 314-330 - [c7]Yijia Chen, Jörg Flum:
The Parameterized Complexity of Maximality and Minimality Problems. IWPEC 2006: 25-37 - [c6]Yijia Chen, Martin Grohe, Magdalena Grüber:
On Parameterized Approximability. IWPEC 2006: 109-120 - [i1]Yijia Chen, Martin Grohe:
An Isomorphism between Subexponential and Parameterized Complexity Theory. Electron. Colloquium Comput. Complex. TR06 (2006) - 2005
- [j2]Yijia Chen, Jörg Flum, Martin Grohe
Machine-based methods in parameterized complexity theory. Theor. Comput. Sci. 339(2-3): 167-199 (2005) - 2004
- [b1]Yijia Chen:
Model-checking problems, machines and parameterized complexity. University of Freiburg, Freiburg im Breisgau, Germany, 2004, pp. 1-111 - [c5]Yijia Chen, Jörg Flum:
On Miniaturized Problems in Parameterized Complexity Theory. IWPEC 2004: 108-120 - 2003
- [c4]Yijia Chen, Jörg Flum, Martin Grohe:
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. CCC 2003: 13-29 - [c3]Yijia Chen, Jörg Flum:
Machine Characterization of the Classes of the W-Hierarchy. CSL 2003: 114-127 - 2001
- [c2]Yijia Chen, Enshao Shen:
Capture Complexity by Partition. CSL 2001: 84-98 - 2000
- [j1]Enshao Shen, Yijia Chen:
The Downward Transfer of Elementary Satisfiability of Partition Logics. Math. Log. Q. 46(4): 477-487 (2000)
1990 – 1999
- 1997
- [c1]Yongqiang Sun, Kai Lin, Yijia Chen:
Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language . APDC 1997: 390-397
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-21 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: