Ting Zhang

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Publications

Zohar Manna, Henny B. Sipma, Ting Zhang
Verifying Balanced Trees. LFCS (2007)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision procedures for term algebras with integer constraints. Inf. Comput. 204 (10) (2006)
Ting Zhang, Henny B. Sipma, Zohar Manna
The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision Procedures for Queues with Integer Constraints. FSTTCS (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs (2004)
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
Event Correlation: Language and Semantics. EMSOFT (2003)
Ting Zhang, Luca Benini, Giovanni De Micheli
Component selection and matching for IP-based design. DATE (2001)
Anca Browne, Henny Sipma, Ting Zhang
with SPIN. SPIN (2000)