Jiawei Gao

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 9

Top Topics

First Order Logic

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Jiawei Gao
On the Fine-Grained Complexity of Least Weight Subsequence in Multitrees and Bounded Treewidth DAGs. IPEC (2019)
Jiawei Gao, Russell Impagliazzo
The Fine-Grained Complexity of Strengthenings of First-Order Logic. Electron. Colloquium Comput. Complex. 26 (2019)
Jiawei Gao
On the Fine-grained Complexity of Least Weight Subsequence in Graphs. Electron. Colloquium Comput. Complex. 26 (2019)
Jiawei Gao
The Computational Complexity of Fire Emblem Series and similar Tactical Role-Playing Games. CoRR (2019)
Jiawei Gao, Russell Impagliazzo, Antonina Kolokolova, Ryan Williams
Completeness for First-order Properties on Sparse Structures with Algorithmic Applications. ACM Trans. Algorithms 15 (2) (2019)
Jiawei Gao, Russell Impagliazzo, Antonina Kolokolova, R. Ryan Williams
Completeness for First-Order Properties on Sparse Structures with Algorithmic Applications. SODA (2017)
Jiawei Gao, Russell Impagliazzo
Orthogonal Vectors is hard for first-order properties on sparse graphs. Electron. Colloquium Comput. Complex. 23 (2016)
Marco L. Carmosino, Jiawei Gao, Russell Impagliazzo, Ivan Mihajlin, Ramamohan Paturi, Stefan Schneider
Nondeterministic Extensions of the Strong Exponential Time Hypothesis and Consequences for Non-reducibility. ITCS (2016)
Marco Carmosino, Jiawei Gao, Russell Impagliazzo, Ivan Mihajlin, Ramamohan Paturi, Stefan Schneider
Nondeterministic extensions of the Strong Exponential Time Hypothesis and consequences for non-reducibility. Electron. Colloquium Comput. Complex. 22 (2015)
Jiawei Gao, Ton Kloks, Sheung-Hung Poon
-Planar Graphs. WALCOM (2013)