Publications

Go to year:  to appear   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.

2011     Back to top

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.

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 ICINCO 2010.
	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).
	B. Krieg-Brückner, T. Röfer, H. Shi, B. 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.
	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.
	B. Krieg-Brückner, H. Shi, C. Fischer, T. Röfer, J. Cui, K. 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, 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.
	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.

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, 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, John Bateman (2005). Developing human-robot dialogue management formally. In The Society for Text and Discourse 15th Annual Meeting.

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, 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.
	H. Shi, B. Wolff (1994). Second-Order Matching with Matching Combinators. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	H. Shi (1994). Benutzer-Schnittstelle und -Interaktion für die HK-Untersuchung. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.
	B. Wolff, H. Shi (1994). A Calculus of Transformation. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.

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