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 × Italy
1 × Japan
3 × USA
Collaborated with:
T.Bultan J.Su C.Liu J.Feng J.Bian C.Li Y.Li R.Hull
Talks about:
fingerprint (2) minutia (2) servic (2) formal (2) verif (2) web (2) correspond (1) constraint (1) workflow (1) spectral (1)

Person: Xiang Fu


Facilitated 2 volumes:

ASE 2013ExpertReviewPa
ASE 2013PrBoard

Contributed to:

ICPR 20122012
SEKE 20102010
CAV 20042004
CIAA 20032003
TACAS 20012001

Wrote 7 papers:

Spectral correspondence method for fingerprint minutia matching (XF, CL, JB, JF), pp. 1743–1746.
ICPR-2012-LiFLF #recognition
Face recognition with illumination distinction description (YL, JF, CL, XF), pp. 809–812.
Complex Gaussian Mixture Model for fingerprint minutiae (CL, JB, XF, JF), pp. 545–548.
SEKE-2010-FuL #constraints #detection #string #theorem proving #web
A String Constraint Solver for Detecting Web Application Vulnerability (XF, CCL), pp. 535–542.
CAV-2004-FuBS #analysis #formal method #named #web #web service
WSAT: A Tool for Formal Analysis of Web Services (XF, TB, JS), pp. 510–514.
CIAA-2003-FuBS #protocol #specification #verification
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (XF, TB, JS), pp. 188–200.
TACAS-2001-FuBHS #verification #workflow
Verification of Vortex Workflows (XF, TB, RH, JS), pp. 143–157.

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.