dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ting Zhang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZohar Manna, Henny B. Sipma, Ting Zhang: Verifying Balanced Trees. LFCS 2007: 363-378
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTing Zhang, Henny B. Sipma, Zohar Manna: Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTing Zhang, Henny B. Sipma, Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTing Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTing Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTing Zhang, Henny B. Sipma, Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCésar Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339

Selection of 7 from 47 records - Ting Zhang has 69 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page