Search the dblp DataBase

Publications of Author

1. Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul
   Simulation Verification and Validation by Dynamic Policy Enforcement. [Citation Graph (0, 0)][DBLP]
   Annual Simulation Symposium, 2005, pp:91-98 [Conf]
   
2. Xinxin Liu, Yongjian Li
   Bisimulation for Higher-Order Pi-calculus. [Citation Graph (0, 0)][DBLP]
   APLAS, 2002, pp:216-229 [Conf]
   
3. Matthew Hennessy, Xinxin Liu
   A Modal Logic for Message passing Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   CAV, 1993, pp:359-370 [Conf]
   
4. Xinxin Liu
   Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   CONCUR, 1994, pp:331-350 [Conf]
   
5. Xinxin Liu, David Walker
   A Polymorphic Type System for the Polyadic pi-calculus. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1995, pp:103-116 [Conf]
   
6. Xinxin Liu, Scott A. Smolka
   Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   ICALP, 1998, pp:53-66 [Conf]
   
7. Wei-Tek Tsai, Xinxin Liu, Yinong Chen
   Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. [Citation Graph (0, 0)][DBLP]
   ICEBE, 2005, pp:10-17 [Conf]
   
8. Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka
   Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   TACAS, 1998, pp:5-19 [Conf]
   
9. Xinxin Liu, David Walker
   Confluence of Processes and Systems of Objects. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1995, pp:217-231 [Conf]
   
10. Matthew Hennessy, Xinxin Liu
    A Modal Logic for Message Passing Processes [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:4, pp:375-393 [Journal]
    
11. Yongjian Li, Xinxin Liu
    Towards a Theory of Bisimulation for the Higher-Order Process Calculi. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:3, pp:352-363 [Journal]
    
12. Xinxin Liu, David Walker
    Partial Confluence of Proceses and Systems of Objects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:206, n:1-2, pp:127-162 [Journal]
    
13. Hai Liu, Xiaohua Jia, Peng-Jun Wan, Xinxin Liu, Frances F. Yao
    A Distributed and Efficient Flooding Scheme Using 1-Hop Information in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2007, v:18, n:5, pp:658-671 [Journal]
    
14. Xinxin Liu
    Expansive-Bisimulation for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:472-482 [Conf]
    
15. Xinxin Liu, Haiyan Chen
    Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:337-350 [Conf]
    
16. Hai Liu, Peng-Jun Wan, Xiaohua Jia, Xinxin Liu, F. Frances Yao
    Efficient Flooding Scheme Based on 1-Hop Information in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 2006, pp:- [Conf]
    
17. 
    Concurrent objects as mobile processes. [Citation Graph (, )][DBLP]
    
    
18. 
    Formal Privacy Analysis of an Electronic Voting Scheme. [Citation Graph (, )][DBLP]
    
    
19. 
    Autonomic Management of Hybrid Sensor Grid Systems and Applications. [Citation Graph (, )][DBLP]
    
    
20. 
    Formal security analysis of automated trust negotiation. [Citation Graph (, )][DBLP]
    
    
21. 
    Utility-Based Divisible Sensing Task Scheduling in Wireless Sensor Networks. [Citation Graph (, )][DBLP]
    
    
22. 
    DLBEM: Dynamic load balancing using expectation-maximization. [Citation Graph (, )][DBLP]
    
    
23. 
    A Location Aided Flooding Protocol for Wireless Ad Hoc Networks. [Citation Graph (, )][DBLP]
    
    
24. 
    Scheduling Divisible Workloads from Multiple Sources in Linear Daisy Chain Networks. [Citation Graph (, )][DBLP]
    
    
25. 
    Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory. [Citation Graph (, )][DBLP]