Towards Correctness, Efficiency and Reusability of Transformational Developments. - Bernd Krieg-Brückner; Junbo Liu; Burkhart Wolff; Hui Shi 001 (GI Jahrestagung, 1993)

Extended matching with applications to program transformation. - Hui Shi 001 (1994)

Towards Correct, Efficient and Reusable Transformational Developments. - Bernd Krieg-Brückner; Junbo Liu; Hui Shi 001; Burkhart Wolff (KORSO Book, 1995)

Efficient Second-Order Matching. - Régis Curien; Zhenyu Qian; Hui Shi 001 (RTA, 1996)

Deadlock Analysis for a Fault-Tolerant System. - Bettina Buth; Michel Kouvaras; Jan Peleska 001; Hui Shi 001 (AMAST, 1997)

Combining Methods for the Livelock Analysis of a Fault-Tolerant System. - Bettina Buth; Jan Peleska 001; Hui Shi 001 (AMAST, 1998)

Combining Methods for the Analysis of a Fault-Tolerant System. - Hui Shi 001; Jan Peleska 001; Michel Kouvaras (PRDC, 1999)

Towards Dialogue Based Shared Control of Navigating Robots. - Robert J. Ross; Hui Shi 001; Tillman Vierhuff; Bernd Krieg-Brückner; John A. Bateman (Spatial Cognition, 2004)

Formalising Control in Robust Spoken Dialogue Systems. - Hui Shi 001; Robert J. Ross; John A. Bateman (SEFM, 2005)

Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. - Bernd Krieg-Brückner; Hui Shi 001 (GIScience, 2006)

Interpreting Route Instructions as Qualitative Spatial Actions. - Hui Shi 001; Christian Mandel; Robert J. Ross (Spatial Cognition, 2006)

Negotiating Spatial Goals with a Wheelchair. - Thora Tenbrink; Hui Shi 001 (SIGdial, 2007)

Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. - Yohei Kurata; Hui Shi 001 (KI, 2008)

Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models. - Hui Shi 001; Yohei Kurata (BMI, 2008)

Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. - Hui Shi 001; Bernd Krieg-Brückner (Int. J. Softw. Informatics, 2008)

Qualitative Semantic Representations. - Hui Shi 001; Bernd Krieg-Brückner (Künstliche Intell., 2008)

Telling Rolland Where to Go: HRI Dialogues on Route Navigation. - Hui Shi 001; Thora Tenbrink (Spatial Language and Dialogue, 2009)

Spatio-Temporal Situated Interaction in Ambient Assisted Living. - Bernd Krieg-Brückner; Hui Shi 001 (Human Centered Robot Systems, Cognition, Interaction, Technology, 2009)

SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. - Cui Jian; Hui Shi 001; Bernd Krieg-Brückner (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

Toward Heterogeneous Cardinal Direction Calculus. - Yohei Kurata; Hui Shi 001 (KI, 2009)

Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. - Hui Shi 001; Cui Jian; Bernd Krieg-Brückner (ACHI, 2010)

Modelling user Behaviour While Driving an Intelligent Wheelchair. - Carsten Fischer; Hui Shi 001; Cui Jian; Frank Schafmeister; Nils Menrad; Nicole von Steinbüchel; Kerstin Schill; Bernd Krieg-Brückner (HEALTHINF, 2010)

Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis. - Hui Shi 001; Robert J. Ross; Thora Tenbrink; John A. Bateman (CICLing, 2010)

Deep Reasoning in Clarification Dialogues with Mobile Robots. - Cui Jian; Desislava Zhekova; Hui Shi 001; John A. Bateman (ECAI, 2010)

A Castor Wheel Controller for Differential Drive Wheelchairs. - Bernd Gersdorf; Hui Shi 001 (ICINCO (2), 2010)

Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal Direction Model. - Hui Shi 001; Yohei Kurata (Int. J. Softw. Informatics, 2010)

Towards effective, efficient and elderly-friendly multimodal interaction. - Cui Jian; Nadine Sasse; Nicole von Steinbüchel-Rheinwall; Frank Schafmeister; Hui Shi 001; Carsten Rachuy; Holger Schmidt (PETRA, 2011)

Evaluation of a Unified Dialogue Model for Human-Computer Interaction. - Hui Shi 001; Cui Jian; Carsten Rachuy (Int. J. Comput. Linguistics Appl., 2011)

Touch and Speech: Multimodal Interaction for Elderly Persons. - Cui Jian; Hui Shi 001; Frank Schafmeister; Carsten Rachuy; Nadine Sasse; Holger Schmidt; Volker Hoemberg; Nicole von Steinbüchel (BIOSTEC (Selected Papers), 2012)

Evaluating a Spoken Language Interface of a Multimodal Interactive Guidance System for Elderly Persons. - Cui Jian; Frank Schafmeister; Carsten Rachuy; Nadine Sasse; Hui Shi 001; Holger Schmidt; Nicole von Steinbüchel (HEALTHINF, 2012)

Modality Preference in Multimodal Interaction for Elderly Persons. - Cui Jian; Hui Shi 001; Nadine Sasse; Carsten Rachuy; Frank Schafmeister; Holger Schmidt; Nicole von Steinbüchel (BIOSTEC (Selected Papers), 2013)

Better Choice? Combining Speech and Touch in Multimodal Interaction for Elderly Persons. - Cui Jian; Hui Shi 001; Nadine Sasse; Carsten Rachuy; Frank Schafmeister; Holger Schmidt; Nicole von Steinbüchel (HEALTHINF, 2013)

Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge in Human-Robot Interaction. - Cui Jian; Hui Shi 001 (COSIT, 2013)

Annotation of negotiation processes in joint-action dialogues. - Thora Tenbrink; Kathleen M. Eberhard; Hui Shi 001; Sandra Kübler; Matthias Scheutz (Dialogue Discourse, 2013)

A Conceptual Model for Human-Robot Collaborative Spatial Navigation. - Cui Jian; Hui Shi 001 (APCCM, 2014)

Preface. - Berthold Hoffmann; Dieter Hutter; Hui Shi 001 (Int. J. Softw. Informatics, 2015)