Tianyi Liang

14 papers A* 1C 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
RouteWinFormer: A Route-Window Transformer for Middle-range Attention in Image Restoration.
CoRR
Qifan Li, Tianyi Liang, Xingtao Wang, Xiaopeng Fan
2023 C conf
Honoring Heritage, Managing Health: A Mobile Diabetes Self-Management App for Native Americans with Cultural Sensitivity and Local Factors.
ISCC
Wordh Ul Hasan, Juan Li, Shadi Alian, Tianyi Liang, Vikram Pandey, Kimia Tuz Zaman, Jun Kong, Cui Tao
2022 — conf
An Anti-jamming Intelligent Decision-Making Method for Multi-user Communication Based on Deep Reinforcement Learning.
ICCT
Lan Zhang, Liang Ma, Feng Tian, Tianyi Liang
2022 — conf
Signals of Opportunity Navigation Using LTE Downlink Signals.
ICCT
Yiteng Wang, Huijie Zhu, Tianyi Liang, Jiachuan Qian
2021 J jnl
Artificial Intelligence-Empowered Chatbot for Effective COVID-19 Information Delivery to Older Adults.
Int. J. E Health Medical Commun.
Xin Wang, Tianyi Liang, Juan Li, Souradip Roy, Vikram Pandey, Yang Du, Jun Kong
2021 — conf
Research on PDCCH Channel in 5G NR System.
NaNA
Tianyi Liang, Huijie Zhu
2020 J jnl
Evaluating Localized MOOCs: The Role of Culture on Interface Design and User Experience.
IEEE Access
Shuqing Liu, Tianyi Liang, Shuai Shao, Jun Kong
2017 — conf
Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification.
CAV (2)
Andrew Reynolds, Maverick Woo, Clark W. Barrett, David Brumley, Tianyi Liang, Cesare Tinelli
2016 J jnl
An efficient SMT solver for string constraints.
Formal Methods Syst. Des.
Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters
2016 — conf
Efficient solving of string constraints for security analysis.
HotSoS
Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze
2015 — conf
A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings.
FroCos
Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
2014 A* conf
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions.
CAV
Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters
2013 — conf
Improved Slope One Collaborative Filtering Predictor Using Fuzzy Clustering.
ADMA (1)
Tianyi Liang, Jiancong Fan, Jianli Zhao, Yongquan Liang, Yujun Li
2012 — conf
Exploiting parallelism in the ME calculus.
PAAR@IJCAR
Tianyi Liang, Cesare Tinelli