Linking STeP with SPIN. - Anca Browne; Henny Sipma; Ting Zhang 001 (SPIN, 2000)

Component selection and matching for IP-based design. - Ting Zhang 001; Luca Benini; Giovanni De Micheli (DATE, 2001)

Event Correlation: Language and Semantics. - César Sánchez 001; Sriram Sankaranarayanan 001; Henny Sipma; Ting Zhang 001; David L. Dill; Zohar Manna (EMSOFT, 2003)

Decision Procedures for Recursive Data Structures with Integer Constraints. - Ting Zhang 001; Henny B. Sipma; Zohar Manna (IJCAR, 2004)

Term Algebras with Length Function and Bounded Quantifier Alternation. - Ting Zhang 001; Henny B. Sipma; Zohar Manna (TPHOLs, 2004)

The Decidability of the First-Order Theory of Knuth-Bendix Order. - Ting Zhang 001; Henny B. Sipma; Zohar Manna (CADE, 2005)

Decision Procedures for Queues with Integer Constraints. - Ting Zhang 001; Henny B. Sipma; Zohar Manna (FSTTCS, 2005)

Decision procedures for term algebras with integer constraints. - Ting Zhang 001; Henny B. Sipma; Zohar Manna (Inf. Comput., 2006)

Arithmetic integration of decision procedures. - Ting Zhang 001 (2006)

Verifying Balanced Trees. - Zohar Manna; Henny B. Sipma; Ting Zhang 001 (LFCS, 2007)

TACLR: A Scalable and Efficient Retrieval-based Method for Industrial Product Attribute Value Identification. - Yindu Su; Huike Zou; Lin Sun; Ting Zhang 001; Haiyang Yang; Chen Li Yu; David Lo 001; Qingheng Zhang; Shuguang Han; Jufeng Chen (ACL (1), 2025)

TACLR: A Scalable and Efficient Retrieval-based Method for Industrial Product Attribute Value Identification. - Yindu Su; Huike Zou; Lin Sun; Ting Zhang 001; Haiyang Yang; Liyu Chen; David Lo 001; Qingheng Zhang; Shuguang Han; Jufeng Chen (CoRR, 2025)