The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xinxin Liu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.024secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002