According to our database1, Hui Shi authored at least 31 papers between 1993 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Software and Informatics, 2015
A Conceptual Model for Human-Robot Collaborative Spatial Navigation.
Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014
Annotation of negotiation processes in joint-action dialogues.
Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge in Human-Robot Interaction.
Proceedings of the Spatial Information Theory - 11th International Conference, 2013
Better Choice? Combining Speech and Touch in Multimodal Interaction for Elderly Persons.
Proceedings of the HEALTHINF 2013, 2013
Evaluating a Spoken Language Interface of a Multimodal Interactive Guidance System for Elderly Persons.
Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012
Towards effective, efficient and elderly-friendly multimodal interaction.
Proceedings of the PETRA 2011, 2011
Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal Direction Model.
Proceedings of the Knowledge Science, 2010
A Castor Wheel Controller for Differential Drive Wheelchairs.
Proceedings of the ICINCO 2010, 2010
Deep Reasoning in Clarification Dialogues with Mobile Robots.
Proceedings of the ECAI 2010, 2010
Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2010
Modelling user Behaviour While Driving an Intelligent Wheelchair.
Proceedings of the HEALTHINF 2010, 2010
Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots.
Proceedings of the ACHI 2010, 2010
Toward Heterogeneous Cardinal Direction Calculus.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009
Spatio-Temporal Situated Interaction in Ambient Assisted Living.
Proceedings of the Human Centered Robot Systems, Cognition, Interaction, Technology, 2009
Qualitative Semantic Representations.
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks.
Int. J. Software and Informatics, 2008
Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models.
Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation, 2008
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008
Interpreting Route Instructions as Qualitative Spatial Actions.
Proceedings of the Spatial Cognition V: Reasoning, 2006
Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions.
Proceedings of the Geographic Information Science, 4th International Conference, 2006
Formalising Control in Robust Spoken Dialogue Systems.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Towards Dialogue Based Shared Control of Navigating Robots.
Proceedings of the Spatial Cognition IV: Reasoning, 2004
Combining Methods for the Analysis of a Fault-Tolerant System.
Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999
Combining Methods for the Livelock Analysis of a Fault-Tolerant System.
Proceedings of the Algebraic Methodology and Software Technology, 1998
Deadlock Analysis for a Fault-Tolerant System.
Proceedings of the Algebraic Methodology and Software Technology, 1997
Efficient Second-Order Matching.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
Towards Correct, Efficient and Reusable Transformational Developments.
Proceedings of the KORSO, 1995
Extended matching with applications to program transformation.
PhD thesis, 1994
Towards Correctness, Efficiency and Reusability of Transformational Developments.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993