2008 |
41 | EE | Liming Cai,
Xuezhi Li:
A note on global stability of an SEI epidemic model with acute and chronic stages.
Applied Mathematics and Computation 196(2): 923-930 (2008) |
40 | EE | Zhibin Huang,
Yong Wu,
Joseph Robertson,
Liang Feng,
Russell L. Malmberg,
Liming Cai:
Fast and accurate search for non-coding RNA pseudoknot structures in genomes.
Bioinformatics 24(20): 2281-2287 (2008) |
39 | EE | Liming Cai,
Xiuzhen Huang,
Chunmei Liu,
Frances A. Rosamond,
Yinglei Song:
Parameterized Complexity and Biopolymer Sequence Comparison.
Comput. J. 51(3): 270-291 (2008) |
2007 |
38 | EE | Dongsheng Che,
Jizhen Zhao,
Liming Cai,
Ying Xu:
Operon Prediction in Microbial Genomes Using Decision Tree Approach.
CIBCB 2007: 135-142 |
37 | EE | Jizhen Zhao,
Dongsheng Che,
Liming Cai:
Comparative Pathway Prediction Via Unified Graph Modeling of Genomic Structure Information.
ISBRA 2007: 627-637 |
36 | EE | Jizhen Zhao,
Dongsheng Che,
Liming Cai:
Comparative Pathway Annotation with Protein-DNA Interaction and Operon Information via Graph Tree Decomposition.
Pacific Symposium on Biocomputing 2007: 496-507 |
35 | EE | Liming Cai,
Michael R. Fellows,
David W. Juedes,
Frances A. Rosamond:
The Complexity of Polynomial-Time Approximation.
Theory Comput. Syst. 41(3): 459-477 (2007) |
2006 |
34 | EE | Chunmei Liu,
Bo Yan,
Yinglei Song,
Ying Xu,
Liming Cai:
Peptide sequence tag-based blind identification of post-translational modifications with point process model.
ISMB (Supplement of Bioinformatics) 2006: 307-313 |
33 | EE | Liming Cai,
Xiuzhen Huang:
Fixed-Parameter Approximation: Conceptual Framework and Approximability Results.
IWPEC 2006: 96-108 |
32 | EE | Chunmei Liu,
Yinglei Song,
Bo Yan,
Ying Xu,
Liming Cai:
Fast De novo Peptide Sequencing and Spectral Alignment via Tree Decomposition.
Pacific Symposium on Biocomputing 2006: 255-266 |
31 | EE | Jizhen Zhao,
Russell L. Malmberg,
Liming Cai:
Rapid ab initio RNA Folding Including Pseudoknots Via Graph Tree Decomposition.
WABI 2006: 262-273 |
30 | EE | Yinglei Song,
Chunmei Liu,
Russell L. Malmberg,
Liming Cai:
Phylogenetic Network Inferences Through Efficient Haplotyping.
WABI 2006: 68-79 |
29 | EE | Yinglei Song,
Chunmei Liu,
Xiuzhen Huang,
Russell L. Malmberg,
Ying Xu,
Liming Cai:
Efficient Parameterized Algorithms for Biopolymer Structure-Sequence Alignment.
IEEE/ACM Trans. Comput. Biology Bioinform. 3(4): 423-432 (2006) |
28 | EE | Yinglei Song,
Chunmei Liu,
Russell L. Malmberg,
Congzhou He,
Liming Cai:
Memory efficient alignment between RNA sequences and stochastic grammar models of pseudoknots.
IJBRA 2(3): 289-304 (2006) |
2005 |
27 | EE | Yinglei Song,
Chunmei Liu,
Russell L. Malmberg,
Fangfang Pan,
Liming Cai:
Tree Decomposition Based Fast Search of RNA Structures Including Pseudoknots in Genomes.
CSB 2005: 223-234 |
26 | EE | Chunmei Liu,
Yinglei Song,
Russell L. Malmberg,
Liming Cai:
Profiling and Searching for RNA Pseudoknot Structures in Genomes.
International Conference on Computational Science (2) 2005: 968-975 |
25 | EE | Yinglei Song,
Chunmei Liu,
Xiuzhen Huang,
Russell L. Malmberg,
Ying Xu,
Liming Cai:
Efficient Parameterized Algorithm for Biopolymer Structure-Sequence Alignment.
WABI 2005: 376-388 |
24 | EE | Dongsheng Che,
Shane T. Jensen,
Liming Cai,
Jun S. Liu:
BEST: Binding-site Estimation Suite of Tools.
Bioinformatics 21(12): 2909-2911 (2005) |
23 | EE | Ying Xu,
Liming Cai,
Zhiping Weng:
Preface.
J. Comput. Sci. Technol. 20(4): 433-433 (2005) |
22 | EE | Yinglei Song,
Jizhen Zhao,
Chunmei Liu,
Kan Liu,
Russell L. Malmberg,
Liming Cai:
RNA Structural Homology Search with a Succinct Stochastic Grammar Model.
J. Comput. Sci. Technol. 20(4): 454-464 (2005) |
21 | EE | Chunmei Liu,
Yinglei Song,
Russell L. Malmberg,
Liming Cai:
Profiling and Searching for RNA Pseudoknot Structures in Genomes.
T. Comp. Sys. Biology 2: 37-47 (2005) |
2003 |
20 | EE | Liming Cai,
Russell L. Malmberg,
Yunzhou Wu:
Stochastic modeling of RNA pseudoknotted structures: a grammatical approach.
ISMB (Supplement of Bioinformatics) 2003: 66-73 |
19 | EE | Liming Cai,
David W. Juedes:
On the existence of subexponential parameterized algorithms.
J. Comput. Syst. Sci. 67(4): 789-807 (2003) |
2002 |
18 | | Liming Cai,
David W. Juedes,
Iyad A. Kanj:
The inapproximability of non-NP-hard optimization problems.
Theor. Comput. Sci. 289(1): 553-571 (2002) |
2001 |
17 | EE | Liming Cai,
David W. Juedes:
Subexponential Parameterized Algorithms Collapse the W-Hierarchy.
ICALP 2001: 273-284 |
1998 |
16 | EE | Liming Cai,
David W. Juedes,
Iyad A. Kanj:
The Inapproximability of Non NP-hard Optimization Problems.
ISAAC 1998: 437-446 |
15 | | Liming Cai,
Jianer Chen,
Johan Håstad:
Circuit Bottom Fan-In and Computational Power.
SIAM J. Comput. 27(2): 341-355 (1998) |
1997 |
14 | EE | Liming Cai,
Jianer Chen,
Johan Håstad:
Circuit Bottom Fan-in and Computational Power.
IEEE Conference on Computational Complexity 1997: 158-164 |
13 | | Karl R. Abrahamson,
Liming Cai,
Steve Gordon:
A Grammar Characterization of Logarithmic-Space Computation.
New Trends in Formal Languages 1997: 247-255 |
12 | | Liming Cai,
Jianer Chen,
Rodney G. Downey,
Michael R. Fellows:
Advice Classes of Parameterized Tractability.
Ann. Pure Appl. Logic 84(1): 119-138 (1997) |
11 | EE | Liming Cai,
Jianer Chen,
Rodney G. Downey,
Michael R. Fellows:
On the parameterized complexity of short computation and factorization.
Arch. Math. Log. 36(4-5): 321-337 (1997) |
10 | | Liming Cai,
Jianer Chen:
On Fixed-Parameter Tractability and Approximability of NP Optimization Problems.
J. Comput. Syst. Sci. 54(3): 465-474 (1997) |
9 | | Liming Cai,
Jianer Chen:
On the Amount of Nondeterminism and the Power of Verifying.
SIAM J. Comput. 26(3): 733-750 (1997) |
1996 |
8 | | Liming Cai:
The Computational Complexity of Linear PCGSs.
Computers and Artificial Intelligence 15(2-3): (1996) |
1995 |
7 | | Liming Cai,
Jianer Chen:
On log-Time Alternating Turing Machines of Alternation Depth k (Extended Abstract).
COCOON 1995: 282-291 |
6 | | Liming Cai:
The Computational Complexity of PCGS with Regular Components.
Developments in Language Theory 1995: 209-219 |
5 | | Liming Cai,
Jianer Chen,
Rodney G. Downey,
Michael R. Fellows:
On the Structure of Parameterized Problems in NP.
Inf. Comput. 123(1): 38-49 (1995) |
4 | EE | Liming Cai,
Jianer Chen:
On Input Read-Modes of Alternating Turing Machines.
Theor. Comput. Sci. 148(1): 33-55 (1995) |
1994 |
3 | | Liming Cai,
Jianer Chen,
Rodney G. Downey,
Michael R. Fellows:
On the Structure of Parameterized Problems in NP (Extended Abstract).
STACS 1994: 509-520 |
1993 |
2 | | Liming Cai,
Jianer Chen:
On Fixed-Parameter Tractability and Approximability of NP-Hard Optimization Problems.
ISTCS 1993: 118-126 |
1 | | Liming Cai,
Jianer Chen:
On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract).
MFCS 1993: 311-320 |