Searching for authors named "Hui Shi" – sorted by Relevance.
-
A Semantic Matching Algorithm: Analysis and Implementation
- A Semantic Matching Algorithm: Analysis and Implementation Hui Shi ? Universitat Bremen, FB3
- Cited by 4 (0 self) – Add To MetaCart
-
A Calculus of Transformation (Extended Abstract)
- A Calculus of Transformation 1 (Extended Abstract) Burkhart Wolff, Hui Shi 1. Conceptual view
- Add To MetaCart
-
Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models
- Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models Hui Shi 1
- Add To MetaCart
-
Deadlock Analysis for a Fault-Tolerant System
- ? ? ? , and Hui Shi y Abstract. This article presents an approach for the verification of communication
- Cited by 15 (2 self) – Add To MetaCart
-
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
- Peleska ?? , and Hui Shi ? ? ? Abstract. This article presents experiences gained from the verification
- Cited by 14 (0 self) – Add To MetaCart
-
Efficient Second-Order Matching
- Efficient Second-Order Matching ? R'egis Curien 1 Zhenyu Qian 2 Hui Shi 2 1 CRIN
- Cited by 18 (2 self) – Add To MetaCart
-
Combining Methods for the Analysis of a Fault-Tolerant System
- Combining Methods for the Analysis of a Fault-Tolerant System Hui Shi Jan Peleska Michel Kouvaras
- Cited by 2 (2 self) – Add To MetaCart
-
A safe and robust approach to shared-control via dialogue
- A Safe and Robust Approach to Shared-Control via Dialogue Bernd Krieg-Brückner Hui Shi Robert Ross
- Cited by 3 (2 self) – Add To MetaCart
-
Using Generalised Dialogue Models to Constrain Information State Based Dialogue Systems
- . Ross John Bateman ⋆ Hui Shi Collaborative Research Centre SFB/TR 8 Spatial Cognition Universität Bremen
- Cited by 1 (0 self) – Add To MetaCart
-
Towards Correct, Efficient and Reusable Transformational Developments
- Liu, Hui Shi, Burkhard Wolff The KORSO methodology for the development of correct software
- Cited by 1 (0 self) – Add To MetaCart

