Search the dblp DataBase
Jinkui Xie :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jinkui Xie , Linpeng Huang Specification and Verification of Position Based Routing for Mobile Ad Hoc System. [Citation Graph (0, 0)][DBLP ] CIT, 2005, pp:406-409 [Conf ] Lee Choon Chiat , Linpeng Huang , Jinkui Xie Matchmaking for Semantic Web Services. [Citation Graph (0, 0)][DBLP ] IEEE SCC, 2004, pp:455-458 [Conf ] Jinkui Xie , Linpeng Huang An Abstract Model for Service Compositions Based on Agents. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (3), 2005, pp:1032-1035 [Conf ] Jinkui Xie , Linpeng Huang Formal Description and Complexity Analysis of Routing in Mobile Ad Hoc System. [Citation Graph (0, 0)][DBLP ] PDCAT, 2005, pp:421-423 [Conf ] Formal semantics of UML state diagram and automatic verification based on Kripke structure. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs