×

zbMATH — the first resource for mathematics

Fu, Xiang

Compute Distance To:
Author ID: fu.xiang.1 Recent zbMATH articles by "Fu, Xiang"
Published as: Fu, Xiang
Documents Indexed: 16 Publications since 1984

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 25 times in 23 Documents Cited by Year
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1071.68002
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
12
2004
WSAT: A tool for formal analysis of web services. Zbl 1103.68613
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2004
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1279.68210
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2003
On paired root systems of Coxeter groups. Zbl 06975560
Fu, Xiang
2
2018
Formal verification of e-services and workflows. Zbl 1022.68656
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
2
2002
Simple linear string constraints. Zbl 1298.68172
Fu, Xiang; Powell, Michael C.; Bantegui, Michael; Li, Chung-Chih
1
2013
Short-term scheduling of cascade reservoirs using an immune algorithm-based particle swarm optimization. Zbl 1231.90191
Fu, Xiang; Li, Anqiang; Wang, Liping; Ji, Changming
1
2011
Verification of Vortex workflows. Zbl 0978.68716
Fu, Xiang; Bultan, Tevfik; Hull, Richard; Su, Jianwen
1
2001
On paired root systems of Coxeter groups. Zbl 06975560
Fu, Xiang
2
2018
Simple linear string constraints. Zbl 1298.68172
Fu, Xiang; Powell, Michael C.; Bantegui, Michael; Li, Chung-Chih
1
2013
Short-term scheduling of cascade reservoirs using an immune algorithm-based particle swarm optimization. Zbl 1231.90191
Fu, Xiang; Li, Anqiang; Wang, Liping; Ji, Changming
1
2011
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1071.68002
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
12
2004
WSAT: A tool for formal analysis of web services. Zbl 1103.68613
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2004
Conversation protocols: a formalism for specification and verification of reactive electronic services. Zbl 1279.68210
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
3
2003
Formal verification of e-services and workflows. Zbl 1022.68656
Fu, Xiang; Bultan, Tevfik; Su, Jianwen
2
2002
Verification of Vortex workflows. Zbl 0978.68716
Fu, Xiang; Bultan, Tevfik; Hull, Richard; Su, Jianwen
1
2001

Citations by Year