Yijia Chen

According to our database, Yijia Chen authored at least 64 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Preface for the special issue of Theoretical Computer Science in honor of the 60^th birthday of Yuxi Fu.

Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang

Theor. Comput. Sci., February, 2023

Simple Combinatorial Construction of the k^o(1)-Lower Bound for Approximating the Parameterized k-Clique.

Yijia Chen, Yi Feng, Bundit Laekhanukit, Yanlin Liu

CoRR, 2023

Curvature-Based Machine Vision Method for Measuring the Dimension of Ball Screws.

Yijia Chen, Yao Yao, Hao Yang, Yue Wu, Kunpeng Zhang, Xiaoming Pan

IEEE Access, 2023

PMMVar: Leveraging Multi-level Protein Structures for Enhanced Coding Variant Pathogenicity Prediction.

Yijia Chen, Yiwen Chen, Shanling Nie, Hai Yang

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022

A Surprising Relationship Between Descriptive Complexity and Proof Complexity.

Yijia Chen, Jörg Flum, Moritz Müller

Bull. EATCS, 2022

A parameterized halting problem, Δ₀ truth and the MRDP theorem.

Yijia Chen, Moritz Müller, Keita Yokoyama

CoRR, 2022

Optimization of a Real-Time Wavelet-Based Algorithm for Improving Speech Intelligibility.

Tianqu Kang, Anh-Dung Dinh, Binghong Wang, Tianyuan Du, Yijia Chen, Kevin Chau

CoRR, 2022

On Algorithms Based on Finitely Many Homomorphism Counts.

Yijia Chen, Jörg Flum, Mingjun Liu, Zhiyang Xun

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Non-Hodgkin Lymphoma CAR T Cells: Enhancement on Synnotch Signaling, GLUT1 expression, and PGC1a expression brings Potential Clinical Advancement in Therapy.

Jack He, Yijia Chen, Zhi Feng Etan Kiang, Lyndon Juntang Yang

Proceedings of the 3rd International Symposium on Artificial Intelligence for Medicine Sciences, 2022

A DC-DC converter with input full active bridge and output semi active bridge for bipolar LVDC systems.

Yijia Chen, Jianjun Ma, Miao Zhu, Ningyi Dai

Proceedings of the IEEE Industry Applications Society Annual Meeting, 2022

2021

A Hyperspectral Image Classification Method Using Multifeature Vectors and Optimized KELM.

Huayue Chen, Fang Miao, Yijia Chen, Yijun Xiong, Tao Chen

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021

On Queries Determined by a Constant Number of Homomorphism Counts.

Yijia Chen, Jörg Flum, Mingjun Liu, Zhiyang Xun

CoRR, 2021

Forbidden Induced Subgraphs and the Łoś-Tarski Theorem.

Yijia Chen, Jörg Flum

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Improving Hashing Algorithms for Similarity Search \textitvia MLE and the Control Variates Trick.

Keegan Kang, Sergey Kushnarev, Wong Wei Pin, Rameshwar Pratap, Haikal Yeo, Yijia Chen

Proceedings of the Asian Conference on Machine Learning, 2021

2020

FO-Definability of Shrub-Depth.

Yijia Chen, Jörg Flum

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Self-Evolving Adaptive Learning for Personalized Education.

Junhua Liu, Lionell Loh, Ernest Ng, Yijia Chen, Kristin L. Wood, Kwan Hui Lim

Proceedings of the Companion Publication of the 2020 ACM Conference on Computer Supported Cooperative Work and Social Computing, 2020

Parameterized Parallel Computing and First-Order Logic.

Yijia Chen, Jörg Flum

Proceedings of the Fields of Logic and Computation III, 2020

2019

The Constant Inapproximability of the Parameterized Dominating Set Problem.

Yijia Chen, Bingkai Lin

SIAM J. Comput., 2019

The parameterized space complexity of model-checking bounded variable first-order logic.

Yijia Chen, Michael Elberfeld, Moritz Müller

Log. Methods Comput. Sci., 2019

Some lower bounds in parameterized AC⁰.

Yijia Chen, Jörg Flum

Inf. Comput., 2019

The Complexity of Homomorphism Indistinguishability.

Jan Böker, Yijia Chen, Martin Grohe, Gaurav Rattan

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018

A parameterized halting problem, the linear time hierarchy, and the MRDP theorem.

Yijia Chen, Moritz Müller, Keita Yokoyama

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Tree-depth, quantifier elimination, and quantifier rank.

Yijia Chen, Jörg Flum

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

The Complexity of Limited Belief Reasoning - The Quantifier-Free Case.

Yijia Chen, Abdallah Saffidine, Christoph Schwering

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Logic and Computational Complexity (NII Shonan Meeting 2017-13).

Yijia Chen, Rodney G. Downey, Jörg Flum

NII Shonan Meet. Rep., 2017

The parameterized complexity of k-edge induced subgraphs.

Bingkai Lin, Yijia Chen

Inf. Comput., 2017

The Hardness of Embedding Grids and Walls.

Yijia Chen, Martin Grohe, Bingkai Lin

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2017

Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.

Yijia Chen, Jörg Flum, Xuangui Huang

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Some Lower Bounds in Parameterized AC^0.

Yijia Chen, Jörg Flum

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015

The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture.

Yijia Chen, Jörg Flum

Proceedings of the Fields of Logic and Computation II, 2015

2014

On Optimal Inverters.

Yijia Chen, Jörg Flum

Bull. Symb. Log., 2014

Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem.

Yijia Chen, Moritz Müller

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2013

On Limitations of the Ehrenfeucht-Fraisse-method in Descriptive Complexity.

Yijia Chen, Jörg Flum

Electron. Colloquium Comput. Complex., 2013

Consistency, optimality, and incompleteness.

Yijia Chen, Jörg Flum, Moritz Müller

Ann. Pure Appl. Log., 2013

2012

From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem.

Yijia Chen, Jörg Flum

J. ACM, 2012

On the Ordered Conjecture.

Yijia Chen, Jörg Flum

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

The Exponential Time Hypothesis and the Parameterized Clique Problem.

Yijia Chen, Kord Eickmeyer, Jörg Flum

Proceedings of the Parameterized and Exact Computation - 7th International Symposium, 2012

A Parameterized Halting Problem.

Yijia Chen, Jörg Flum

Proceedings of the Multivariate Algorithmic Revolution and Beyond, 2012

2011

Lower Bounds for Kernelizations and Other Preprocessing Procedures.

Yijia Chen, Jörg Flum, Moritz Müller

Theory Comput. Syst., 2011

Strong isomorphism reductions in complexity theory.

Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller

J. Symb. Log., 2011

Hard instances of algorithms and proof systems.

Yijia Chen, Jörg Flum, Moritz Müller

Electron. Colloquium Comput. Complex., 2011

Listings and logics.

Yijia Chen, Jörg Flum

Electron. Colloquium Comput. Complex., 2011

Consistency and Optimality.

Yijia Chen, Jörg Flum, Moritz Müller

Proceedings of the Models of Computation in Context, 2011

2010

On the complexity of Gödel's proof predicate.

Yijia Chen, Jörg Flum

J. Symb. Log., 2010

On optimal proof systems and logics for PTIME.

Yijia Chen, Jörg Flum

Electron. Colloquium Comput. Complex., 2010

On <i>p</i>-Optimal Proof Systems and Logics for PTIME.

Yijia Chen, Jörg Flum

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT.

Yijia Chen, Jörg Flum

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping.

Yijia Chen, Jörg Flum

J. Log. Comput., 2009

2008

A logic for PTIME and a parameterized halting problem.

Yijia Chen, Jörg Flum

Electron. Colloquium Comput. Complex., 2008

The parameterized complexity of maximality and minimality problems.

Yijia Chen, Jörg Flum

Ann. Pure Appl. Log., 2008

Understanding the Complexity of Induced Subgraph Isomorphisms.

Yijia Chen, Marc Thurley, Mark Weyer

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

An analysis of the W^*-hierarchy.

Yijia Chen, Jörg Flum, Martin Grohe

J. Symb. Log., 2007

On Parameterized Approximability.

Yijia Chen, Martin Grohe, Magdalena Grüber

Electron. Colloquium Comput. Complex., 2007

Lower Bounds for Kernelizations.

Yijia Chen, Jörg Flum, Moritz Müller

Electron. Colloquium Comput. Complex., 2007

On Parameterized Path and Chordless Path Problems.

Yijia Chen, Jörg Flum

Proceedings of the 22nd Annual IEEE Conference on Computational Complexity (CCC 2007), 2007

2006

On miniaturized problems in parameterized complexity theory.

Yijia Chen, Jörg Flum

Theor. Comput. Sci., 2006

An Isomorphism between Subexponential and Parameterized Complexity Theory

Yijia Chen, Martin Grohe

Electron. Colloquium Comput. Complex., 2006

2005

Machine-based methods in parameterized complexity theory.

Yijia Chen, Jörg Flum, Martin Grohe

Theor. Comput. Sci., 2005

2004

Model-checking problems, machines and parameterized complexity.

Yijia Chen

PhD thesis, 2004

2003

Machine Characterization of the Classes of the W-Hierarchy.

Yijia Chen, Jörg Flum

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Bounded Nondeterminism and Alternation in Parameterized Complexity Theory.

Yijia Chen, Jörg Flum, Martin Grohe

Proceedings of the 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 2003

2001

Capture Complexity by Partition.

Yijia Chen, Enshao Shen

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

The Downward Transfer of Elementary Satisfiability of Partition Logics.

Enshao Shen, Yijia Chen

Math. Log. Q., 2000

1997

Automatic Generation of Parallel Compiler-Partial Evaluation of Parallel Lambda Language .

Yongqiang Sun, Kai Lin, Yijia Chen

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997