Guangyan Zhou

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 20

Top Topics

Propositional Satisfiability

Visual Analytics

Gene Expression

Top Venues

Nucleic Acids Res.

J. Comb. Optim.

Int. J. Found. Comput. Sci.

Publications

Qingxiu Dong, Guangyan Zhou, Ke Xu
Further Explanations on "SAT Requires Exhaustive Search". CoRR (2024)
Ke Xu, Guangyan Zhou
Hard Examples Requiring Exhaustive Search do Exist. CoRR (2023)
Yao Lu, Guangyan Zhou, Jessica Ewald, Zhiqiang Pang, Tanisha Shiri, Jianguo Xia
MicrobiomeAnalyst 2.0: comprehensive statistical, functional and integrative analysis of microbiome data. Nucleic Acids Res. 51 (W1) (2023)
Qingxiu Dong, Li Dong, Ke Xu, Guangyan Zhou, Yaru Hao, Zhifang Sui, Furu Wei
Large Language Model for Science: A Study on P vs. NP. CoRR (2023)
Guangyan Zhou, Wei Xu
Super solutions of the model RB. Frontiers Comput. Sci. 16 (6) (2022)
Guangyan Zhou, Zhiqiang Pang, Yao Lu, Jessica Ewald, Jianguo Xia
OmicsNet 2.0: a web-based platform for multi-omics integration and network visual analytics. Nucleic Acids Res. 50 (W1) (2022)
Guangyan Zhou
Hiding solutions in model RB: Forced instances are almost as hard as unforced ones. CoRR (2021)
Guangyan Zhou, Wei Xu
Super Solutions of the Model RB. CoRR (2021)
Guangyan Zhou, Jessica Ewald, Jianguo Xia
OmicsAnalyst: a comprehensive web-based platform for visual analytics of multi-omics data. Nucleic Acids Res. 49 (Webserver-Issue) (2021)
Dimitris Achlioptas, Amin Coja-Oghlan, Max Hahn-Klimroth, Joon Lee, Noëla Müller, Manuel Penschuck, Guangyan Zhou
The number of satisfying assignments of random 2-SAT formulas. Random Struct. Algorithms 58 (4) (2021)
Zhiqiang Pang, Jasmine Chong, Guangyan Zhou, David A. de Lima Morais, Le Chang, Michel Barrette, Carol Gauthier, Pierre-Étienne Jacques, Shuzhao Li, Jianguo Xia
MetaboAnalyst 5.0: narrowing the gap between raw spectra and functional insights. Nucleic Acids Res. 49 (Webserver-Issue) (2021)
Jun Liu, Ke Xu, Guangyan Zhou
Exact Phase Transitions of Model RB with Slower-Growing Domains. CoRR (2020)
Dimitris Achlioptas, Amin Coja-Oghlan, Max Hahn-Klimroth, Joon Lee, Noëla Müller, Manuel Penschuck, Guangyan Zhou
The random 2-SAT partition function. CoRR (2020)
Le Chang, Guangyan Zhou, Othman Soufan, Jianguo Xia
miRNet 2.0: network-based visual analytics for miRNA functional analysis and systems biology. Nucleic Acids Res. 48 (Webserver-Issue) (2020)
Bin Wang, Guangyan Zhou
)-SAT. Theor. Comput. Sci. 793 (2019)
Guangyan Zhou, Rui Kang
On the Lower Bounds of (1, 0)-Super Solutions for Random k-SAT. Int. J. Found. Comput. Sci. 30 (2) (2019)
Guangyan Zhou, Othman Soufan, Jessica Ewald, Robert E. W. Hancock, Niladri Basu, Jianguo Xia
NetworkAnalyst 3.0: a visual analytics platform for comprehensive gene expression profiling and meta-analysis. Nucleic Acids Res. 47 (Webserver-Issue) (2019)
Guangyan Zhou, Jianguo Xia
OmicsNet: a web-based tool for creation and visual analysis of biological networks in 3D space. Nucleic Acids Res. 46 (Webserver-Issue) (2018)
Guangyan Zhou, Zongsheng Gao
On the lower bounds of random Max 3 and 4-SAT. J. Comb. Optim. 35 (4) (2018)
Guangyan Zhou
On the Lower Bounds of Random Max 3 and 4-SAT. FAW (2016)
Guangyan Zhou, Zongsheng Gao, Jun Liu
On the constraint length of random k-CSP. J. Comb. Optim. 30 (1) (2015)
Guangyan Zhou, Zongsheng Gao
)-SAT by Flipping Two Variables. Int. J. Found. Comput. Sci. 24 (6) (2013)