Hongchi Zeng

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Integrity Constraints

Transaction Model

Top Venues

Sci. China Inf. Sci.

计算机科学

Publications

Jiahuan Zheng, Liwei Shen, Xin Peng, Hongchi Zeng, Wenyun Zhao
MashReDroid: enabling end-user creation of Android mashups based on record and replay. Sci. China Inf. Sci. 63 (10) (2020)
Hongchi Zeng, Xin Peng, Wenyun Zhao
基于数据库事务的不变式推导 (Deriving Invariants from Database Transactions). 计算机科学 44 (11) (2017)