Scholar
Yanhong A. Liu
Google Scholar ID: pM_GZxcAAAAJ
Stony Brook University, State University of New York
Languages and Algorithms
Design and Optimization
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,619
H-index
31
i10-index
65
Publications
20
Co-authors
16
list available
Publications
6 items
Specifying Paxos for System Builders: Pseudocode Made Executable
2026
Cited
0
Resilience through Automated Adaptive Configuration for Distribution and Replication
2025
Cited
0
Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
2025
Cited
0
LP-LM: No Hallucinations in Question Answering with Logic Programming
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Incremental Computation: What Is the Essence? (Invited Contribution)
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation · 2023
Cited
5
Co-authors
10 total
Scott D. Stoller
Professor of Computer Science, Stony Brook University
Wei Chen （陈 卫）
Microsoft Research, ACM/IEEE Fellow
Yang Liu
Nanyang Technological University
Sun Jun
Professor of SCIS, SMU
Jin Song Dong
Professor of Computer Science, National University of Singapore
David Scott Warren
Emeritus Professor of Computer Science, Stony Brook University
Michael Kifer
Stony Brook University
Radu Grosu
Professor of Computer Science
