Publications

Go to year: to appear 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2000 1999 1998 1997 1996 1995 1994 1989 1987

to appear Back to top

B. Krieg-BrÃ¼ckner, H. Shi, B. Gersdorf, M. DÃ¶hle, T. RÃ¶fer. Context-Sensitive Spatial Interaction and Ambient Control. In Mastrogiovanni, F. Chong, N.-Y. (Eds.), Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives.

2014 Back to top

Cui Jian, Hui Shi (2014). A Conceptual Model for Human-Robot Collaborative Spatial Navigation. In The 10th Asia-Pacific Conferences on Conceptual Modelling (APCCM 2014), CRPIT.

2013 Back to top

	Cui Jian, Hui Shi, Frank Schafmeister, Carsten Rachuy, Nadine Sasse, Holger Schmidt, Volker Hoemberg, Nicole von SteinbÃ¼chel (2013). Touch and Speech: Multimodal Interaction for Elderly Persons. In Biomedical Engineering Systems and Technologies Communications in Computer and Information Science, Vol. 357, pp. 385–400.
	Cui Jian, Hui Shi (2013). Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge in Human-Robot Interaction. In Proceedings of the 11th International Conference on Spatial Information Theory, Lecture Notes in Computer Science.
	C. Jian, H. Shi, F. Scharfmeister, C. Rachuy, N. Sasse, H. Schmidt, N. v. Steinbuechel (2013). Better Choice? Combing Speech and Touch in Multimodal Interaction for Elderly Persons. In Proceedings of the 6th International Conference on Health Informatics, HealthInf2013.
	Thora Tenbrink, Kathleen Eberhard, Hui Shi, Sandra KÃ¼bler, Matthias Scheutz (2013). Annotation of negotiation processes in joint action dialogues. In Dialogue & Discourse, 4 (2), pp. 185–214.

2012 Back to top

	Bernd Krieg-BrÃ¼ckner, Hui Shi (2012). Reasoning About Large Places. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.
	Mohammad Fazleh Elahi, Hui Shi, John Bateman, Kathleen M. Eberhard, Matthias Scheutz (2012). Classification of Localization Utterances using a Spatial Ontology. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.
	C. Jian, F. Scharfmeister, C. Rachuy, N. Sasse, H. Shi, H. Schmidt, N. v. Steinbuechel (2012). Evluating a spoken language interface of a multimodal interactive guidance system for elderly persons. In Proceedings of the 5th International Conference on Health Informatics, pp. 87–96. SciTePress.

2011 Back to top

	C. Jian, N. Sasse, N. v. SteinbÃ¼chel-Rheinwall, F. Schafmeister, H. Shi, C. Rachuy, H. Schmidt (2011). Towards effective, efficient and elderly-friendly multimodal interaction. In Proceedings of the 4th International Conference on PErvasive Technologies Related to Assistive Environments, (p. 45:1--45:8). , petra 11. ACM.
	B. Krieg-BrÃ¼ckner, T. RÃ¶fer, H. Shi, B. Gersdorf (2011). MobilitÃ¤tassistenz im "Bremen Ambient Assisted Living Lab" (BAALL). In Altern und Technik (Altern in Deutschland Bd. 6), Nova Acta Leopoldina NF, 104 (368), pp. 157–174.
	H. Shi, C. Jian, C. Rachuy (2011). Evaluation of a unified dialogue model for human-computer interaction. In International Journal of Computational Linguistics and Applications, Vol. 2, pp. 155–173.

2010 Back to top

	Fischer, C., Shi, H., Jian , C., Schafmeister, F., Menrad, N., v. SteinbÃ¼chel, N., Schill, K., Krieg-BrÃ¼ckner, B. (2010). Modelling User Behaviour while Driving an Intelligent Wheelchair. In Proceedings of Third International Conference on Health Informatics.
	Bernd Gersdorf, Hui Shi (2010). A Castor Wheel Controller for Differential Drive Wheelchairs. In Joaquim Filipe, Juan Andrade Cetto, Jean-Louis Ferrier (Eds.), ICINCO 2010, Vol. 2, pp. 174–179.
	Jian, C., Zhekova, D., Shi, H., Bateman, J. (2010). Deep Reasoning in Clarification Dialogues with Mobile robots. In Proceedings of 19th European Conference on Artificial Intelligence (ECAI 2010).
	Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer, Hui Shi, Bernd Gersdorf (2010). Mobility Assistance in the Bremen Ambient Assisted Living Lab. In GeroPsych: The Journal of Gerontopsychology and Geriatric Psychiatry, 23 (2), pp. 121–130. Verlag Hans Huber.
	Shi, H., Jian, C., Krieg-BrÃ¼ckner, B. (2010). Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. In Ray Jarvis, Cosmin Dini (Eds.), Proceedings of The Third International Conference on Advances in Computer-Human Interactions, IEEE.
	Hui Shi, Robert J. Ross, Thora Tenbrink, John Bateman (2010). Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis. In A. Gelbukh (Ed.), Proceedings of the 11th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing 2010), Vol. 6008, pp. 340–353, Lecture Notes in Computer Science. Springer, Berlin.

2009 Back to top

	C. Jian, H. Shi, B. Krieg-BrÃ¼ckner (2009). SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.
	B. Krieg-BrÃ¼ckner, H. Shi (2009). Spatio-Temporal Situated Interaction in Ambient Assisted Living. In Ritter, H., Sagerer, G., Steil, J. (Eds.), Proceedings of Third International Workshop on Human Centered Robotic Systems, HCRS'09, No. 205-214.
	Bernd Krieg-BrÃ¼ckner, Hui Shi, Carsten Fischer, Thomas RÃ¶fer, Jian Cui, Kerstin Schill (2009). Welche Sicherheitsassistenz brauchen Rollstuhlfahrer?. In 2. Deutscher AAL-Kongress 2009. VDE-Verlag, Berlin-Offenbach, Germany.
	Y. Kurata, H. Shi (2009). Toward Heterogeneous Cardinal Direction Calculus (Best Paper Award). In Proceedings of the 32nd Annual German Conference on Artifical Intelligence, Vol. 5803, pp. 452–459, Lecture Notes in Artificial Intelligence.
	Hui Shi, Thora Tenbrink (2009). Telling Rolland where to go: HRI dialogues on route navigation. In Kenny Coventry, Thora Tenbrink, John Bateman (Eds.), Spatial Language and Dialogue. Oxford University Press.

2008 Back to top

	Yohei Kurata, Hui Shi (2008). Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models. In A. Dengel (Ed.), Proceedings of the 31st Annual German Conference on Artifical Intelligence, Vol. 5243, pp. 258–266, Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin Heidelberg.
	Hui Shi, Bernd Krieg-BrÃ¼ckner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), pp. 33–60.
	Hui Shi, Bernd Krieg-BrÃ¼ckner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Vol. 3, pp. 59–61.
	Hui Shi, Christian Mandel, Robert J. Ross (2008). Interpreting Route Instructions as Qualitative Spatial Actions. In T. Barkowsky, M. Knauff, G. Ligozat, D. R. Montello (Eds.), Spatial Cognition V, Vol. 4387, Lecture Notes in Computer Science. Springer Verlag, 14197 Berlin.

2007 Back to top

Thora Tenbrink, Hui Shi (2007). Negotiating Spatial Goals with a Wheelchair. In S. Keizer, H. Bunt, T. Paek (Eds.), Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue.

2006 Back to top

	Bernd Krieg-BrÃ¼ckner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Eds.), Geographic Information Science - Fourth International Conference, GIScience 2006, Vol. 4197, Lecture Notes in Computer Science. Springer, Berlin.
	Bernd Krieg-BrÃ¼ckner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Eds.), Proc. International Conference GIScience 2006, MÃ¼nster, Germany, Vol. 4197, pp. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).
	Robert J. Ross, Christian Mandel, John Bateman, Shi Hui and Udo Frese (2006). Towards Stratified Spatial Modeling for Communication and Navigation. In IROS Workshop From Sensors to Human Spatial Concepts 06.
	Thora Tenbrink, Hui Shi, Kerstin Fischer (2006). Route instruction dialogues with a robotic wheelchair. In Proc. BranDial 2006: The 10th Workshop on the Semantics and Pragmatics of Dialogue.

2005 Back to top

	Hui Shi, John Bateman (2005). Developing human-robot dialogue management formally. In The Society for Text and Discourse 15th Annual Meeting.
	Hui Shi, Robert Ross, John Bateman (2005). Formalising Control in Robust Spoken Dialogue Systems. In Bernhard K. Aichernig, Bernhard Beckert (Eds.), Software Engineering and Formal Methods 2005, pp. 332–341, IEEE. IEEE Computer Society.
	Hui Shi, Thora Tenbrink (2005). Telling Rolland where to go: HRI dialogues on route navigation. In WoSLaD Workshop on Spatial Language and Dialogue, October 23-25, 2005.

2004 Back to top

	Bernd Krieg-BrÃ¼ckner, Hui Shi, Robert Ross (2004). A Safe and Robust Approach to Shared-Control via Dialogue. In In Chinese Journal of Software, 15 (12).
	R. Ross, H. Shi, T. Vierhuff, B. Krieg-BrÃ¼ckner, J. Bateman (2004). Towards Dialogue Based Shared Control of Navigating Robots. In C. Freksa, M. Knauff, B. Krieg-BrÃ¼ckner, B. Nebel, T. Barkowsky (Eds.), Spatial Cognition 2004, Vol. 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

2000 Back to top

	H. Shi (2000). Java2CSP: A System for Verifying Concurrent Java Programs. In G. Schellhorn, W. Reif (Eds.), FM-TOOLS 2000, No. 2000-07, pp. 111–115, Ulmer Informatik-Berichte.
	H. Shi, J. Peleska, M. Kouvaras (2000). Combining Methods for the Analysis of a Fault-Tolerant System. In Bob Werner (Ed.), Proceedings of 1999 Pacific Rim International Sympositum on Dependable Computing, No. PR00371, pp. 135–142, IEEE. IEEE Computer Society, 10662 Los Vaqueros Circle, P.O.Box 3014, Los Alamitos, CA 90720-1314, USA.

1999 Back to top

B. Buth, Jan Peleska, Hui Shi (1999). Combining Methods for the Analysis of a Fault-Tolerant System. In Proceedings of 12th International Software Quality Week.

1998 Back to top

B. Buth, J. Peleska, H. Shi (1998). Combining Methods for the Livelock Analysis of a Fault-Tolerant System. In A. M. Haeberer (Ed.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'98, No. 1548, pp. 124–139, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1997 Back to top

B. Buth, M. Kouvaras, J. Peleska, H. Shi (1997). Deadlock Analysis for a Fault-Tolerant System. In M. Johnson (Ed.), Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, No. 1349, pp. 60–75, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1996 Back to top

	R. Curien, Z. Qian, H. Shi (1996). Efficient Second-Order Matching. In Proc. of 7th International Conference on Rewriting Techniques and Applications, No. 1103, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	H. Shi (1996). A Semantic Matching Algorithm: Analysis and Implementation. In W. Penczek ad A. Szalas (Ed.), Proc. of 21st International Symposium on Mathematical Foundations of Computer Science, No. 1113, pp. 517–528, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1995 Back to top

B. Krieg-BrÃ¼ckner, J. Liu, H. Shi, B. Wolff (1995). Towards Correct, Efficient and Reusable Transformational Developments. In KORSO, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1994 Back to top

	Hui Shi (1994). Extended Matching with Applications to Program Transformation. UniversitÃ¤t Bremen.
	H. Shi, B. Wolff (1994). A Finitary Matching Algorithm for Constructor-Based Theories. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.
	H. Shi, B. Wolff (1994). Second-Order Matching with Matching Combinators. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.
	H. Shi (1994). Benutzer-Schnittstelle und -Interaktion fÃ¼r die HK-Untersuchung. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.
	B. Wolff, H. Shi (1994). A Calculus of Transformation. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report.

1989 Back to top

H. Shi (1989). A Semantic Resolution Algorithm for Temporal Logic. In Proceedings of International Symposium for Young Computer Professionals, 1989.

1987 Back to top

	H. Shi (1987). A Semantic Resolution Algorithm for Temporal Logic. Master Thesis.
Show selected entries in BibTex Format

Author: Dr. Hui Shi

Last updated: September 6, 2004