BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Germany
1 × Ireland
1 × Norway
1 × Taiwan
1 × USA
2 × China
Collaborated with:
Y.Cai H.B.Sipma Z.Manna C.Du J.Wang H.Luo P.P.Rau G.Salvendy G.Q.Huang Y.Shi S.Lan G.Martin R.Seepold L.Benini G.D.Micheli
Talks about:
complement (2) inventori (2) order (2) bound (2) instrument (1) constraint (1) structur (1) procedur (1) neighbor (1) composit (1)

Person: Ting Zhang

DBLP DBLP: Zhang:Ting

Contributed to:

CASE 20142014
ICML c2 20142014
CSL 20112011
LICS 20092009
HCI p1 20072007
CADE 20052005
IJCAR 20042004
DATE 20012001

Wrote 8 papers:

CASE-2014-ZhangHSL #coordination
Inventory hedging and coordination under inventory-level-dependent demand (TZ, GQH, YS, SL), pp. 658–664.
ICML-c2-2014-ZhangDW #approximate #nearest neighbour
Composite Quantization for Approximate Nearest Neighbor Search (TZ, CD, JW), pp. 838–846.
CSL-2011-CaiZ #bound
Tight Upper Bounds for Streett and Parity Complementation (YC, TZ), pp. 112–128.
LICS-2009-CaiZL #automaton #bound
An Improved Lower Bound for the Complementation of Rabin Automata (YC, TZ, HL), pp. 167–176.
HCI-IDU-2007-ZhangRS #evaluation #overview #usability
Developing Instrument for Handset Usability Evaluation: A Survey Study (TZ, PLPR, GS), pp. 662–671.
CADE-2005-ZhangSM #decidability #first-order
The Decidability of the First-Order Theory of Knuth-Bendix Order (TZ, HBS, ZM), pp. 131–148.
IJCAR-2004-ZhangSM #constraints #data type #integer #recursion
Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
DATE-2001-MartinSZBM #component #design
Component selection and matching for IP-based design (GM, RS, TZ, LB, GDM), pp. 40–46.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.