Search the dblp DataBase

Publications of Author

1. Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
   Deadlock Analysis for a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:60-74 [Conf]
   
2. Bettina Buth, Jan Peleska, Hui Shi
   Combining Methods for the Livelock Analysis of a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
   AMAST, 1998, pp:124-139 [Conf]
   
3. Xiaoping Liu, Hui Shi, Zhengqiang Mao, Liping Zheng
   Cooperative Template Mechanism for Cooperative Design. [Citation Graph (0, 0)][DBLP]
   CSCWD (Selected papers), 2005, pp:102-111 [Conf]
   
4. Xiaoping Liu, Hui Shi, Zhengqiang Mao, Liping Zheng
   Study on Constraint Information Visualization in CSCD. [Citation Graph (0, 0)][DBLP]
   CSCWD, 2006, pp:117-122 [Conf]
   
5. Sanyou Y. Zeng, Rui Wang, Hui Shi, Guang Chen, Hugo de Garis, Lishan Kang, Lixin X. Ding
   Both robust computation and mutation operation in dynamic evolutionary algorithm are based on orthogonal design. [Citation Graph (0, 0)][DBLP]
   GECCO, 2006, pp:1437-1438 [Conf]
   
6. Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi
   Towards Correctness, Efficiency and Reusability of Transformational Developments. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1993, pp:241-246 [Conf]
   
7. Bernd Krieg-Brückner, Hui Shi
   Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. [Citation Graph (0, 0)][DBLP]
   GIScience, 2006, pp:234-250 [Conf]
   
8. Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff
   Towards Correct, Efficient and Reusable Transformational Developments. [Citation Graph (0, 0)][DBLP]
   KORSO Book, 1995, pp:270-284 [Conf]
   
9. Jiahua Zhu, HongJiang Zhang, Hui Shi, Binyu Zang, Chuanqi Zhu
   Overflow Controlled SIMD Arithmetic. [Citation Graph (0, 0)][DBLP]
   LCPC, 2004, pp:424-438 [Conf]
   
10. Hui Shi
    A Semantic Matching Algorithm: Analysis and Implementation. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:517-528 [Conf]
    
11. Régis Curien, Zhenyu Qian, Hui Shi
    Efficient Second-Order Matching. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:317-331 [Conf]
    
12. Hui Shi, Robert J. Ross, John A. Bateman
    Formalising Control in Robust Spoken Dialogue Systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:332-341 [Conf]
    
13. Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd Krieg-Brückner, John A. Bateman
    Towards Dialogue Based Shared Control of Navigating Robots. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2004, pp:478-499 [Conf]
    
14. Xiaoping Liu, Hui Shi, Zhengqiang Mao, Qiang Lu
    Constraint Information Visualization Methodology for Cooperative Design. [Citation Graph (0, 0)][DBLP]
    CSCWD (Selected Papers), 2006, pp:63-72 [Conf]
    
15. Marcelo De Barros, Jing Shiau, Chen Shang, Kenton Gidewall, Hui Shi, Joe Forsmann
    Web Services Wind Tunnel: On Performance Testing Large-Scale Stateful Web Services. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:612-617 [Conf]
    
16. Hui Wang, Sanyou Y. Zeng, Yong Liu, Wenjun Wang, Hui Shi, Gang Liu
    Re-diversification Based Particle Swarm Algorithm with Cauchy Mutation. [Citation Graph (0, 0)][DBLP]
    ISICA, 2007, pp:362-371 [Conf]
    
17. Hui Shi, Sanyou Y. Zeng, Hui Wang, Gang Liu, Guang Chen, Hugo de Garis, Lishan Kang
    A Novel Lower-Dimensional-Search Algorithm for Numerical Optimization. [Citation Graph (0, 0)][DBLP]
    ISICA, 2007, pp:214-223 [Conf]
    
18. 
    Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis. [Citation Graph (, )][DBLP]
    
    
19. 
    Visual Task-driven Based on Task Precedence Graph for Collaborative Design. [Citation Graph (, )][DBLP]
    
    
20. 
    The visualization of constraints conflict in collaborative design. [Citation Graph (, )][DBLP]
    
    
21. 
    Study on visual design environment of cooperative template. [Citation Graph (, )][DBLP]
    
    
22. 
    Deep Reasoning in Clarification Dialogues with Mobile Robots. [Citation Graph (, )][DBLP]
    
    
23. 
    The application of fuzzy evidence theory in optimum route planning. [Citation Graph (, )][DBLP]
    
    
24. 
    Toward Heterogeneous Cardinal Direction Calculus. [Citation Graph (, )][DBLP]
    
    
25. 
    Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. [Citation Graph (, )][DBLP]
    
    
26. 
    Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models. [Citation Graph (, )][DBLP]
    
    
27. 
    Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal Direction Model. [Citation Graph (, )][DBLP]
    
    
28. 
    Combining Methods for the Analysis of a Fault-Tolerant System. [Citation Graph (, )][DBLP]
    
    
29. 
    Interpreting Route Instructions as Qualitative Spatial Actions. [Citation Graph (, )][DBLP]
    
    
30. 
    A lower-dimensional-search evolutionary algorithm and its application in constrained optimization problems. [Citation Graph (, )][DBLP]
    
    
31. 
    Constrained optimization by the evolutionary algorithm with lower dimensional crossover and gradient-based mutation. [Citation Graph (, )][DBLP]
    
    
32. 
    A new technique for assessing the diversity of close-Pareto-optimal front. [Citation Graph (, )][DBLP]
    
    
33. 
    Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. [Citation Graph (, )][DBLP]
    
    
34. 
    A "Relay Node Division Duplex" Relaying Approach for MIMO Relay Networks. [Citation Graph (, )][DBLP]