Yijia Chen

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 44

Top Venues

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Yuan Zhang, Yijia Chen, Jinde Cao, Haihong Liu, Zhouhong Li
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) (2024)
Yijia Chen, Shangbo Zhou, Yuhui Huang
Attention Network With Fractional-Ordered Mixed Geometric Features for Hyperspectral Image Classification. IEEE Trans. Geosci. Remote. Sens. 62 (2024)
Yijia Chen, Jörg Flum
Forbidden induced subgraphs and the łOś-Tarski Theorem. J. Symb. Log. 89 (2) (2024)
Yuhui Huang, Shangbo Zhou, Yufen Xu, Yijia Chen, Kai Cao
Ref-MEF: Reference-Guided Flexible Gated Image Reconstruction Network for Multi-Exposure Image Fusion. Entropy 26 (2) (2024)
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 (2024)
Yijia Chen, Jiang Kai, Shiyi Xiong, Bowei Fan
Optimization Model for Vegetable Pricing in the Chinese Market Based on Gaussian Process Regression and Simulated Annealing Algorithm. ICAICE (2023)
Yijia Chen, Yiwen Chen, Shanling Nie, Hai Yang
PMMVar: Leveraging Multi-level Protein Structures for Enhanced Coding Variant Pathogenicity Prediction. BIBM (2023)
Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang
birthday of Yuxi Fu. Theor. Comput. Sci. 945 (2023)
Yijia Chen, Yi Feng, Bundit Laekhanukit, Yanlin Liu
-Lower Bound for Approximating the Parameterized k-Clique. CoRR (2023)
Yijia Chen, Yao Yao, Hao Yang, Yue Wu, Kunpeng Zhang, Xiaoming Pan
Curvature-Based Machine Vision Method for Measuring the Dimension of Ball Screws. IEEE Access 11 (2023)
Yijia Chen, Moritz Müller, Keita Yokoyama
truth and the MRDP theorem. CoRR (2022)
Jack He, Yijia Chen, Zhi Feng Etan Kiang, Lyndon Juntang Yang
Non-Hodgkin Lymphoma CAR T Cells: Enhancement on Synnotch Signaling, GLUT1 expression, and PGC1a expression brings Potential Clinical Advancement in Therapy. ISAIMS (2022)
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 (2022)
Yijia Chen, Jörg Flum, Moritz Müller
A Surprising Relationship Between Descriptive Complexity and Proof Complexity. Bull. EATCS 138 (2022)
Yijia Chen, Jörg Flum, Mingjun Liu, Zhiyang Xun
On Algorithms Based on Finitely Many Homomorphism Counts. MFCS (2022)
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)
Yijia Chen, Jörg Flum, Mingjun Liu, Zhiyang Xun
On Queries Determined by a Constant Number of Homomorphism Counts. CoRR (2021)
Yijia Chen, Jörg Flum
Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. LICS (2021)
Keegan Kang, Sergey Kushnarev, Wong Wei Pin, Rameshwar Pratap, Haikal Yeo, Yijia Chen
Improving Hashing Algorithms for Similarity Search \textitvia MLE and the Control Variates Trick. ACML (2021)
Huayue Chen, Fang Miao, Yijia Chen, Yijun Xiong, Tao Chen
A Hyperspectral Image Classification Method Using Multifeature Vectors and Optimized KELM. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 14 (2021)
Yijia Chen, Jörg Flum
Parameterized Parallel Computing and First-Order Logic. Fields of Logic and Computation III (2020)
Yijia Chen, Jörg Flum
Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. CoRR (2020)
Junhua Liu, Lionell Loh, Ernest Ng, Yijia Chen, Kristin L. Wood, Kwan Hui Lim
Self-Evolving Adaptive Learning for Personalized Education. CSCW Companion (2020)
Yijia Chen, Jörg Flum
FO-Definability of Shrub-Depth. CSL (2020)
Jan Böker, Yijia Chen, Martin Grohe, Gaurav Rattan
The Complexity of Homomorphism Indistinguishability. MFCS (2019)
Yijia Chen, Jörg Flum
. Inf. Comput. 267 (2019)
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)
Yijia Chen, Bingkai Lin
The Constant Inapproximability of the Parameterized Dominating Set Problem. SIAM J. Comput. 48 (2) (2019)
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. CoRR (2018)
Yijia Chen, Jörg Flum
Tree-depth, quantifier elimination, and quantifier rank. LICS (2018)
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. IJCAI (2018)
Yijia Chen, Moritz Müller, Keita Yokoyama
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. LICS (2018)
Yijia Chen, Martin Grohe, Bingkai Lin
The Hardness of Embedding Grids and Walls. WG (2017)
Yijia Chen, Jörg Flum, Xuangui Huang
Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. CSL (2017)
Yijia Chen, Michael Elberfeld, Moritz Müller
The parameterized space complexity of model-checking bounded variable first-order logic. CoRR (2017)
Yijia Chen, Martin Grohe, Bingkai Lin
The Hardness of Embedding Grids and Walls. CoRR (2017)
Yijia Chen, Jörg Flum, Xuangui Huang
Slicewise definability in first-order logic with bounded quantifier rank. CoRR (2017)
Bingkai Lin, Yijia Chen
The parameterized complexity of k-edge induced subgraphs. Inf. Comput. 252 (2017)
Yijia Chen, Rodney G. Downey, Jörg Flum
Logic and Computational Complexity (NII Shonan Meeting 2017-13). NII Shonan Meet. Rep. 2017 (2017)
Yijia Chen, Jörg Flum
. CoRR (2016)
Yijia Chen, Bingkai Lin
The Constant Inapproximability of the Parameterized Dominating Set Problem. FOCS (2016)
Yijia Chen, Jörg Flum
Some Lower Bounds in Parameterized AC^0. MFCS (2016)
Yijia Chen, Bingkai Lin
The Constant Inapproximability of the Parameterized Dominating Set Problem. CoRR (2015)
Yijia Chen, Jörg Flum
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture. Fields of Logic and Computation II (2015)
Yijia Chen, Jörg Flum, Moritz Müller
Hard Instances of Algorithms and Proof Systems. ACM Trans. Comput. Theory 6 (2) (2014)
Yijia Chen, Jörg Flum
On Optimal Inverters. Bull. Symb. Log. 20 (1) (2014)
Yijia Chen, Moritz Müller
Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem. MFCS (1) (2014)
Yijia Chen, Jörg Flum
On Limitations of the Ehrenfeucht-Fraisse-method in Descriptive Complexity. Electron. Colloquium Comput. Complex. 20 (2013)
Yijia Chen, Jörg Flum, Moritz Müller
Consistency, optimality, and incompleteness. Ann. Pure Appl. Log. 164 (12) (2013)
Yijia Chen, Jörg Flum
On the Ordered Conjecture. LICS (2012)
Bingkai Lin, Yijia Chen
The Parameterized Complexity of k-Edge Induced Subgraphs. ICALP (1) (2012)
Yijia Chen, Jörg Flum, Moritz Müller
Hard Instances of Algorithms and Proof Systems. CiE (2012)
Yijia Chen, Jörg Flum
A Parameterized Halting Problem. The Multivariate Algorithmic Revolution and Beyond (2012)
Yijia Chen, Jörg Flum
From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem. J. ACM 59 (4) (2012)
Yijia Chen, Kord Eickmeyer, Jörg Flum
The Exponential Time Hypothesis and the Parameterized Clique Problem. IPEC (2012)
Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller
Strong isomorphism reductions in complexity theory. J. Symb. Log. 76 (4) (2011)
Yijia Chen, Jörg Flum
Listings and Logics. LICS (2011)
Bingkai Lin, Yijia Chen
The parameterized complexity of k-edge induced subgraphs CoRR (2011)
Yijia Chen, Jörg Flum, Moritz Müller
Hard instances of algorithms and proof systems. Electron. Colloquium Comput. Complex. 18 (2011)
Yijia Chen, Jörg Flum, Moritz Müller
Lower Bounds for Kernelizations and Other Preprocessing Procedures. Theory Comput. Syst. 48 (4) (2011)
Yijia Chen, Jörg Flum, Moritz Müller
Consistency and Optimality. CiE (2011)
Yijia Chen, Jörg Flum
Listings and logics. Electron. Colloquium Comput. Complex. 18 (2011)
Yijia Chen, Jörg Flum
On optimal proof systems and logics for PTIME. Electron. Colloquium Comput. Complex. 17 (2010)
Yijia Chen, Jörg Flum
A Logic for PTIME and a Parameterized Halting Problem. Fields of Logic and Computation (2010)
Yijia Chen, Jörg Flum
-Optimal Proof Systems and Logics for PTIME. ICALP (2) (2010)
Yijia Chen, Jörg Flum
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. CSL (2010)
Yijia Chen, Jörg Flum
On the complexity of Gödel's proof predicate. J. Symb. Log. 75 (1) (2010)
Yijia Chen, Jörg Flum
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. J. Log. Comput. 19 (1) (2009)
Yijia Chen, Jörg Flum
A Logic for PTIME and a Parameterized Halting Problem. LICS (2009)
Yijia Chen, Jörg Flum, Moritz Müller
Lower Bounds for Kernelizations and Other Preprocessing Procedures. CiE (2009)
Yijia Chen, Jörg Flum
A logic for PTIME and a parameterized halting problem. Electron. Colloquium Comput. Complex. 15 (083) (2008)
Yijia Chen, Marc Thurley, Mark Weyer
Understanding the Complexity of Induced Subgraph Isomorphisms. ICALP (1) (2008)
Yijia Chen, Jörg Flum
The parameterized complexity of maximality and minimality problems. Ann. Pure Appl. Log. 151 (1) (2008)
Yijia Chen, Jörg Flum
On Parameterized Path and Chordless Path Problems. Computational Complexity Conference (2007)
Yijia Chen, Martin Grohe, Magdalena Grüber
On Parameterized Approximability. Electron. Colloquium Comput. Complex. 14 (106) (2007)
Yijia Chen, Jörg Flum, Martin Grohe
-hierarchy. J. Symb. Log. 72 (2) (2007)
Yijia Chen, Martin Grohe
An Isomorphism Between Subexponential and Parameterized Complexity Theory. SIAM J. Comput. 37 (4) (2007)
Yijia Chen, Jörg Flum
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. CSL (2007)
Yijia Chen, Jörg Flum, Moritz Müller
Lower Bounds for Kernelizations. Electron. Colloquium Comput. Complex. 14 (137) (2007)
Yijia Chen, Martin Grohe
An Isomorphism between Subexponential and Parameterized Complexity Theory. Computational Complexity Conference (2006)
Yijia Chen, Martin Grohe, Magdalena Grüber
On Parameterized Approximability. IWPEC (2006)
Yijia Chen, Martin Grohe
An Isomorphism between Subexponential and Parameterized Complexity Theory Electron. Colloquium Comput. Complex. (011) (2006)
Yijia Chen, Jörg Flum
On miniaturized problems in parameterized complexity theory. Theor. Comput. Sci. 351 (3) (2006)
Yijia Chen, Jörg Flum
The Parameterized Complexity of Maximality and Minimality Problems. IWPEC (2006)
Yijia Chen, Jörg Flum, Martin Grohe
Machine-based methods in parameterized complexity theory. Theor. Comput. Sci. 339 (2-3) (2005)
Yijia Chen, Jörg Flum
On Miniaturized Problems in Parameterized Complexity Theory. IWPEC (2004)
Yijia Chen, Jörg Flum, Martin Grohe
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. Computational Complexity Conference (2003)
Yijia Chen, Jörg Flum
Machine Characterization of the Classes of the W-Hierarchy. CSL (2003)
Yijia Chen, Enshao Shen
Capture Complexity by Partition. CSL (2001)
Enshao Shen, Yijia Chen
The Downward Transfer of Elementary Satisfiability of Partition Logics. Math. Log. Q. 46 (4) (2000)
Yongqiang Sun, Kai Lin, Yijia Chen
Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language . APDC (1997)

Yijia Chen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yijia Chen