ETL Workflow Analysis and Verification Using Backwards Constraint Propagation. - Jie Liu 008; Senlin Liang; Dan Ye 004; Jun Wei 001; Tao Huang 001 (CAiSE, 2009)

Logic Programming with Defaults and Argumentation Theories. - Hui Wan 001; Benjamin N. Grosof; Michael Kifer; Paul Fodor; Senlin Liang (ICLP, 2009)

OpenRuleBench: an analysis of the performance of rule engines. - Senlin Liang; Paul Fodor; Hui Wan 001; Michael Kifer (WWW, 2009)

Deriving predicate statistics in datalog. - Senlin Liang; Michael Kifer (PPDP, 2010)

Non-termination Analysis and Cost-Based Query Optimization of Logic Programs. - Senlin Liang (RR, 2012)

Deriving Predicate Statistics for Logic Rules. - Senlin Liang; Michael Kifer (RR, 2012)

Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. - Senlin Liang; Michael Kifer (PADL, 2013)

Advanced Knowledge Base Debugging for Rulelog. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (RuleML (2), 2013)

Understanding Rulelog Computations in Silk. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (CoRR, 2013)

A practical analysis of non-termination in large logic programs. - Senlin Liang; Michael Kifer (Theory Pract. Log. Program., 2013)

DCCMamba: A Dual-stream Cross-time and Cross-feature with Mamba for Multivariate Time Series Forecasting. - Senlin Liang; Zhuoyue Wang; Chunna Zhao; Yaqun Huang; Jinpeng Xu; Yaoyuan Yang (ICASSP, 2025)