Ting Zhang（张婷） 0001
人员信息
附属： 微软亚洲研究院，中国北京 隶属关系（前）： 斯坦福大学计算机科学系，加利福尼亚州，美国 不要与以下内容混淆： 张婷0002
其他同名人员
Ting Zhang（张婷） — 消歧页 Ting Zhang（张婷） 0002 ![[0000-0002-3952-2522]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-3952-2522")
— 微软亚洲研究院，中国北京 （还有1个） Ting Zhang（张婷） 0003 -西安西电大学数学与统计学院 Ting Zhang（张婷） 0004 -中国上海电力大学计算机科学与技术学院 Ting Zhang（张婷） 0005 -北卡罗来纳州立大学生物医学工程系，罗利，NC，美国 Ting Zhang（张婷） 0006 -中国科学院自动化研究所，模式识别国家实验室，北京 Ting Zhang（张婷） 0007 — 浙江大学信息科学与电子工程学院，杭州，中国 （还有1个） Ting Zhang（张婷） 0008 -法国南特大学 Ting Zhang（张婷） 0009 -天津理工大学智能计算与新软件技术天津重点实验室 Ting Zhang（张婷） 0010 -清华大学计算机科学与技术系，中国北京
优化列表
2000 – 2009
2007 
【c8】 佐哈尔·曼纳 , 亨尼·B·西普玛 , Ting Zhang（张婷） :
验证平衡树。 LFCS公司 2007 : 363-378 2006 【b1】 Ting Zhang（张婷） :
决策过程的算术集成。 美国斯坦福大学， 2006 [j1] Ting Zhang（张婷） , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
整数约束项代数的判定过程。 Inf.计算。 204 ( 10 ) : 1526-1574 ( 2006 ) 2005 [c7] Ting Zhang（张婷） , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
Knuth-Bendix阶一阶理论的可判定性。 CADE公司 2005 : 131-148 【c6】 Ting Zhang（张婷） , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
整数约束队列的决策过程。 FSTTCS公司 2005 : 225-237 2004 【c5】 Ting Zhang（张婷） , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
具有整数约束的递归数据结构的决策过程。 国际JCAR 2004 : 152-167 【c4】 Ting Zhang（张婷） , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
具有长度函数和有界量词交替的项代数。 TPHOL公司 2004 : 321-336 2003 [c3] 塞萨尔·桑切斯 , 斯里拉姆·桑卡拉纳拉亚南 , 亨尼·西普玛 , Ting Zhang（张婷） , 大卫·L·迪尔 , 佐哈尔·曼纳 :
事件关联：语言和语义。 EMSOFT公司 2003 : 323-339 2001 【c2】 Ting Zhang（张婷） , 卢卡·贝尼尼 , 乔瓦尼·德米凯利 :
基于IP的设计的组件选择和匹配。 日期 2001 : 40-46 2000 【c1】 安卡·布朗 , 亨尼·西普玛 , Ting Zhang（张婷） :
链接 装货单 e（电子） P（P） 带有SPIN。 自旋蛋白 2000 : 181-186
