Ting Zhang

12 papers A 3Misc 2Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
TACLR: A Scalable and Efficient Retrieval-based Method for Industrial Product Attribute Value Identification.
ACL (1)
Yindu Su, Huike Zou, Lin Sun, Ting Zhang, Haiyang Yang, Chen Li Yu, David Lo, Qingheng Zhang, Shuguang Han, Jufeng Chen
2025 J jnl
TACLR: A Scalable and Efficient Retrieval-based Method for Industrial Product Attribute Value Identification.
CoRR
Yindu Su, Huike Zou, Lin Sun, Ting Zhang, Haiyang Yang, Liyu Chen, David Lo, Qingheng Zhang, Shuguang Han, Jufeng Chen
2007 Misc conf
Verifying Balanced Trees.
LFCS
Zohar Manna, Henny B. Sipma, Ting Zhang
2006 — —
Arithmetic integration of decision procedures.
Ting Zhang
2006 J jnl
Decision procedures for term algebras with integer constraints.
Inf. Comput.
Ting Zhang, Henny B. Sipma, Zohar Manna
2005 — conf
Decision Procedures for Queues with Integer Constraints.
FSTTCS
Ting Zhang, Henny B. Sipma, Zohar Manna
2005 A conf
The Decidability of the First-Order Theory of Knuth-Bendix Order.
CADE
Ting Zhang, Henny B. Sipma, Zohar Manna
2004 A conf
Decision Procedures for Recursive Data Structures with Integer Constraints.
IJCAR
Ting Zhang, Henny B. Sipma, Zohar Manna
2004 — conf
Term Algebras with Length Function and Bounded Quantifier Alternation.
TPHOLs
Ting Zhang, Henny B. Sipma, Zohar Manna
2003 Misc conf
Event Correlation: Language and Semantics.
EMSOFT
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
2001 A conf
Component selection and matching for IP-based design.
DATE
Ting Zhang, Luca Benini, Giovanni De Micheli
2000 — conf
Linking
SPIN
Anca Browne, Henny Sipma, Ting Zhang