Jia Zou

1. FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
   2023/10/27 by Xiaokai Zhang, Na Zhu, Zhang, Xiaokai +37 · 4 citations
   Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Constraint Satisfaction and Optimization
2. PlinyCompute: A Platform for High-Performance, Distributed, Data-Intensive Tool Development
   2017/11/15 by Jia Zou, Ross Barnett, Zou, Jia +15 · 1 citation
   Computer Science · #Advanced Data Storage Technologies #Cloud Computing and Resource Management #Databases (cs.DB) #Distributed #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
3. Pangea: Monolithic Distributed Storage for Data Analytics
   2018/08/18 by Jia Zou, Arun Iyengar, Zou, Jia +3 · 1 citation
   Computer Science · #Advanced Data Storage Technologies #Cloud Computing and Resource Management #Parallel Computing and Optimization Techniques