Liu, Yanhong A.

1. AppLP: A Dialogue on Applications of Logic Programming
   2017/04/07 by David S. Warren, Yanhong A. Liu, Warren, David S. +1 · 1 voice
   #cs.PL #cs.AI #cs.LO #cs.SE
2. Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services
   2023/05/19 by Shivam, Kumar, Paladugu, Vishnu, Liu, Yanhong A. · 1 citation
   #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
3. Incremental Computation: What Is the Essence?
   2023/12/13 by Yanhong A. Liu, Liu, Yanhong A. · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture