Ting Zhang

According to our database, Ting Zhang authored at least 10 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Verifying Balanced Trees.

Zohar Manna, Henny B. Sipma, Ting Zhang

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006

Arithmetic integration of decision procedures.

Ting Zhang

PhD thesis, 2006

Decision procedures for term algebras with integer constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Inf. Comput., 2006

2005

Decision Procedures for Queues with Integer Constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

The Decidability of the First-Order Theory of Knuth-Bendix Order.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Automated Deduction, 2005

2004

Term Algebras with Length Function and Bounded Quantifier Alternation.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Decision Procedures for Recursive Data Structures with Integer Constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Event Correlation: Language and Semantics.

César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna

Proceedings of the Embedded Software, Third International Conference, 2003

2001

Component selection and matching for IP-based design.

Ting Zhang, Luca Benini, Giovanni De Micheli

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000

Linking <i>ST_eP</i> with SPIN.

Anca Browne, Henny Sipma, Ting Zhang

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000