Skip to content

Senlin Liang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

6

Active years

2009–2025

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2025ICASSPDCCMamba: 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
2013PADLTerminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.Senlin Liang, Michael Kifer
2010PPDPDeriving predicate statistics in datalog.Senlin Liang, Michael Kifer
2009CaiSEETL Workflow Analysis and Verification Using Backwards Constraint Propagation.Jie Liu, Senlin Liang, Dan Ye, Jun Wei, Tao Huang
2009ICLPLogic Programming with Defaults and Argumentation Theories.Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
2009WWWOpenRuleBench: an analysis of the performance of rule engines.Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer