Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hui Shi 0001
@article{DBLP:journals/ijsi/HoffmannH015,
author = {Berthold Hoffmann and
Dieter Hutter and
Hui Shi},
title = {Preface},
journal = {Int. J. Softw. Informatics},
volume = {9},
number = {2},
pages = {113--115},
year = {2015},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i220},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HoffmannH015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apccm/Jian014,
author = {Cui Jian and
Hui Shi},
editor = {Georg Grossmann and
Motoshi Saeki},
title = {A Conceptual Model for Human-Robot Collaborative Spatial Navigation},
booktitle = {Tenth Asia-Pacific Conference on Conceptual Modelling, {APCCM} 2014,
Auckland, New Zealand, January 2014},
series = {{CRPIT}},
volume = {154},
pages = {81--90},
publisher = {Australian Computer Society},
year = {2014},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV154Jian.html},
timestamp = {Fri, 05 Feb 2021 11:06:58 +0100},
biburl = {https://dblp.org/rec/conf/apccm/Jian014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dad/TenbrinkE0KS13,
author = {Thora Tenbrink and
Kathleen M. Eberhard and
Hui Shi and
Sandra K{\"{u}}bler and
Matthias Scheutz},
title = {Annotation of negotiation processes in joint-action dialogues},
journal = {Dialogue Discourse},
volume = {4},
number = {2},
pages = {185--214},
year = {2013},
url = {http://dad.uni-bielefeld.de/index.php/dad/article/view/2842},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dad/TenbrinkE0KS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/JianSSRSSS13,
author = {Cui Jian and
Hui Shi and
Nadine Sasse and
Carsten Rachuy and
Frank Schafmeister and
Holger Schmidt and
Nicole von Steinb{\"{u}}chel},
editor = {Deborah Stacey and
Jordi Sol{\'{e}}{-}Casals and
Ana L. N. Fred and
Hugo Gamboa},
title = {Better Choice? Combining Speech and Touch in Multimodal Interaction
for Elderly Persons},
booktitle = {{HEALTHINF} 2013 - Proceedings of the International Conference on
Health Informatics, Barcelona, Spain, 11-14 February, 2013},
pages = {94--103},
publisher = {SciTePress},
year = {2013},
timestamp = {Mon, 15 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biostec/JianSSRSSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/Jian0SRSSS13,
author = {Cui Jian and
Hui Shi and
Nadine Sasse and
Carsten Rachuy and
Frank Schafmeister and
Holger Schmidt and
Nicole von Steinb{\"{u}}chel},
editor = {Mireya Fern{\'{a}}ndez{-}Chimeno and
Pedro L. Fernandes and
Sergio Alvarez and
Deborah Stacey and
Jordi Sol{\'{e}}{-}Casals and
Ana L. N. Fred and
Hugo Gamboa},
title = {Modality Preference in Multimodal Interaction for Elderly Persons},
booktitle = {Biomedical Engineering Systems and Technologies - 6th International
Joint Conference, {BIOSTEC} 2013, Barcelona, Spain, February 11-14,
2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {452},
pages = {378--393},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-44485-6\_26},
doi = {10.1007/978-3-662-44485-6\_26},
timestamp = {Wed, 29 May 2019 09:34:37 +0200},
biburl = {https://dblp.org/rec/conf/biostec/Jian0SRSSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cosit/JianS13,
author = {Cui Jian and
Hui Shi},
editor = {Thora Tenbrink and
John G. Stell and
Antony Galton and
Zena Wood},
title = {Resolving Conceptual Mode Confusion with Qualitative Spatial Knowledge
in Human-Robot Interaction},
booktitle = {Spatial Information Theory - 11th International Conference, {COSIT}
2013, Scarborough, UK, September 2-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8116},
pages = {91--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-01790-7\_6},
doi = {10.1007/978-3-319-01790-7\_6},
timestamp = {Sun, 02 Jun 2019 21:24:22 +0200},
biburl = {https://dblp.org/rec/conf/cosit/JianS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/JianSRSSSS12,
author = {Cui Jian and
Frank Schafmeister and
Carsten Rachuy and
Nadine Sasse and
Hui Shi and
Holger Schmidt and
Nicole von Steinb{\"{u}}chel},
editor = {Emmanuel Conchon and
Carlos Manuel B. A. Correia and
Ana L. N. Fred and
Hugo Gamboa},
title = {Evaluating a Spoken Language Interface of a Multimodal Interactive
Guidance System for Elderly Persons},
booktitle = {{HEALTHINF} 2012 - Proceedings of the International Conference on
Health Informatics, Vilamoura, Algarve, Portugal, 1 - 4 February,
2012},
pages = {87--96},
publisher = {SciTePress},
year = {2012},
timestamp = {Mon, 15 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biostec/JianSRSSSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/Jian0SRSSHS12,
author = {Cui Jian and
Hui Shi and
Frank Schafmeister and
Carsten Rachuy and
Nadine Sasse and
Holger Schmidt and
Volker Hoemberg and
Nicole von Steinb{\"{u}}chel},
editor = {Joaquim Gabriel and
Jan Schier and
Sabine Van Huffel and
Emmanuel Conchon and
Carlos Manuel B. A. Correia and
Ana L. N. Fred and
Hugo Gamboa},
title = {Touch and Speech: Multimodal Interaction for Elderly Persons},
booktitle = {Biomedical Engineering Systems and Technologies - 5th International
Joint Conference, {BIOSTEC} 2012, Vilamoura, Portugal, February 1-4,
2012, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {357},
pages = {385--400},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38256-7\_26},
doi = {10.1007/978-3-642-38256-7\_26},
timestamp = {Sun, 02 Oct 2022 15:55:42 +0200},
biburl = {https://dblp.org/rec/conf/biostec/Jian0SRSSHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcla/ShiJR11,
author = {Hui Shi and
Cui Jian and
Carsten Rachuy},
title = {Evaluation of a Unified Dialogue Model for Human-Computer Interaction},
journal = {Int. J. Comput. Linguistics Appl.},
volume = {2},
number = {1-2},
pages = {155--173},
year = {2011},
url = {http://www.ijcla.bahripublications.com/2011-1-2/IJCLA-2011-1-2-pp-155-173.pdf},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcla/ShiJR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/JianSSSSRS11,
author = {Cui Jian and
Nadine Sasse and
Nicole von Steinb{\"{u}}chel{-}Rheinwall and
Frank Schafmeister and
Hui Shi and
Carsten Rachuy and
Holger Schmidt},
editor = {Margrit Betke and
Ilias Maglogiannis and
Grammati E. Pantziou},
title = {Towards effective, efficient and elderly-friendly multimodal interaction},
booktitle = {{PETRA} 2011, The 4th International Conference on PErvasive Technologies
Related to Assistive Environments, Crete, Greece, May 25-27, 2011},
pages = {45},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2141622.2141675},
doi = {10.1145/2141622.2141675},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/petra/JianSSSSRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ShiK10,
author = {Hui Shi and
Yohei Kurata},
title = {Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal
Direction Model},
journal = {Int. J. Softw. Informatics},
volume = {4},
number = {3},
pages = {239--256},
year = {2010},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i61},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/ShiK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/achi/ShiJK10,
author = {Hui Shi and
Cui Jian and
Bernd Krieg{-}Br{\"{u}}ckner},
editor = {Ray Jarvis and
Cosmin Dini},
title = {Qualitative Spatial Modelling of Human Route Instructions to Mobile
Robots},
booktitle = {{ACHI} 2010, The Third International Conference on Advances in Computer-Human
Interactions, Saint Maarten, Netherlands, Antilles, February 10-16,
2010},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACHI.2010.25},
doi = {10.1109/ACHI.2010.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/achi/ShiJK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/FischerHJSMSSK10,
author = {Carsten Fischer and
Hui Shi and
Cui Jian and
Frank Schafmeister and
Nils Menrad and
Nicole von Steinb{\"{u}}chel and
Kerstin Schill and
Bernd Krieg{-}Br{\"{u}}ckner},
editor = {Ana L. N. Fred and
Joaquim Filipe and
Hugo Gamboa},
title = {Modelling user Behaviour While Driving an Intelligent Wheelchair},
booktitle = {{HEALTHINF} 2010 - Proceedings of the Third International Conference
on Health Informatics, Valencia, Spain, January 20-23, 2010},
pages = {330--336},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Mon, 15 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biostec/FischerHJSMSSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicling/ShiRTB10,
author = {Hui Shi and
Robert J. Ross and
Thora Tenbrink and
John A. Bateman},
editor = {Alexander F. Gelbukh},
title = {Modelling Illocutionary Structure: Combining Empirical Studies with
Formal Model Analysis},
booktitle = {Computational Linguistics and Intelligent Text Processing, 11th International
Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6008},
pages = {340--353},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12116-6\_28},
doi = {10.1007/978-3-642-12116-6\_28},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cicling/ShiRTB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JianZSB10,
author = {Cui Jian and
Desislava Zhekova and
Hui Shi and
John A. Bateman},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Deep Reasoning in Clarification Dialogues with Mobile Robots},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {177--182},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17737},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JianZSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GersdorfH10,
author = {Bernd Gersdorf and
Hui Shi},
editor = {Joaquim Filipe and
Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier},
title = {A Castor Wheel Controller for Differential Drive Wheelchairs},
booktitle = {{ICINCO} 2010, Proceedings of the 7th International Conference on
Informatics in Control, Automation and Robotics, Volume 2, Funchal,
Madeira, Portugal, June 15-18, 2010},
pages = {174--179},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Mon, 15 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/GersdorfH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/ShiK10,
author = {Hui Shi and
Yohei Kurata},
editor = {Yaxin Bi and
Mary{-}Anne Williams},
title = {Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal
Direction Model},
booktitle = {Knowledge Science, Engineering and Management, 4th International Conference,
{KSEM} 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6291},
pages = {4--15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15280-1\_4},
doi = {10.1007/978-3-642-15280-1\_4},
timestamp = {Thu, 14 Oct 2021 10:12:35 +0200},
biburl = {https://dblp.org/rec/conf/ksem/ShiK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/JianSK09,
author = {Cui Jian and
Hui Shi and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {SimSpace: {A} Tool to Interpret Route Instructions with Qualitative
Spatial Knowledge},
booktitle = {Benchmarking of Qualitative Spatial and Temporal Reasoning Systems,
Papers from the 2009 {AAAI} Spring Symposium, Technical Report SS-09-02,
Stanford, California, USA, March 23-25, 2009},
pages = {47--48},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/Library/Symposia/Spring/2009/ss09-02-009.php},
timestamp = {Mon, 15 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/JianSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KurataS09,
author = {Yohei Kurata and
Hui Shi},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Toward Heterogeneous Cardinal Direction Calculus},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {452--459},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_57},
doi = {10.1007/978-3-642-04617-9\_57},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/KurataS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/09/0001T09,
author = {Hui Shi and
Thora Tenbrink},
editor = {Kenny R. Coventry and
Thora Tenbrink and
John A. Bateman},
title = {Telling Rolland Where to Go: {HRI} Dialogues on Route Navigation},
booktitle = {Spatial Language and Dialogue},
series = {Explorations in language and space},
volume = {3},
pages = {177--190},
publisher = {Oxford University Press},
year = {2009},
url = {https://doi.org/10.1093/acprof:oso/9780199554201.003.0013},
doi = {10.1093/ACPROF:OSO/9780199554201.003.0013},
timestamp = {Thu, 19 Nov 2020 09:11:25 +0100},
biburl = {https://dblp.org/rec/books/ox/09/0001T09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/Krieg-Bruckner009,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Hui Shi},
editor = {Helge J. Ritter and
Gerhard Sagerer and
R{\"{u}}diger Dillmann and
Martin Buss},
title = {Spatio-Temporal Situated Interaction in Ambient Assisted Living},
booktitle = {Human Centered Robot Systems, Cognition, Interaction, Technology},
series = {Cognitive Systems Monographs},
volume = {6},
pages = {205--214},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10403-9\_21},
doi = {10.1007/978-3-642-10403-9\_21},
timestamp = {Thu, 06 Sep 2018 17:11:32 +0200},
biburl = {https://dblp.org/rec/books/sp/09/Krieg-Bruckner009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ShiK08,
author = {Hui Shi and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Modelling Route Instructions for Robust Human-Robot Interaction on
Navigation Tasks},
journal = {Int. J. Softw. Informatics},
volume = {2},
number = {1},
pages = {33--60},
year = {2008},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/ShiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/ShiK08,
author = {Hui Shi and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Qualitative Semantic Representations},
journal = {K{\"{u}}nstliche Intell.},
volume = {22},
number = {3},
pages = {59--61},
year = {2008},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2008-03\_page59\_web\_teaser.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/ShiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/ShiK08,
author = {Hui Shi and
Yohei Kurata},
editor = {Bj{\"{o}}rn Gottfried and
Hamid K. Aghajan},
title = {Modeling Ontological Concepts of Motions with Two Projection-Based
Spatial Models},
booktitle = {Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation,
BMI'08, Kaiserslautern, Germany, September 23, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {396},
pages = {42--56},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-396/paper04shi.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:53 +0100},
biburl = {https://dblp.org/rec/conf/ki/ShiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KurataS08,
author = {Yohei Kurata and
Hui Shi},
editor = {Andreas Dengel and
Karsten Berns and
Thomas M. Breuel and
Frank Bomarius and
Thomas Roth{-}Berghofer},
title = {Interpreting Motion Expressions in Route Instructions Using Two Projection-Based
Spatial Models},
booktitle = {{KI} 2008: Advances in Artificial Intelligence, 31st Annual German
Conference on AI, {KI} 2008, Kaiserslautern, Germany, September 23-26,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5243},
pages = {258--266},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85845-4\_32},
doi = {10.1007/978-3-540-85845-4\_32},
timestamp = {Fri, 13 Sep 2019 15:47:19 +0200},
biburl = {https://dblp.org/rec/conf/ki/KurataS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdial/TenbrinkS07,
author = {Thora Tenbrink and
Hui Shi},
editor = {Harry Bunt and
Simon Keizer and
Tim Paek},
title = {Negotiating Spatial Goals with a Wheelchair},
booktitle = {Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue,
SIGdial 2007, Antwerp, Belgium, September 1-2, 2007},
pages = {103--110},
publisher = {Association for Computational Linguistics},
year = {2007},
url = {https://aclanthology.org/2007.sigdial-1.20/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigdial/TenbrinkS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giscience/Krieg-BrucknerS06,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Hui Shi},
editor = {Martin Raubal and
Harvey J. Miller and
Andrew U. Frank and
Michael F. Goodchild},
title = {Orientation Calculi and Route Graphs: Towards Semantic Representations
for Route Descriptions},
booktitle = {Geographic Information Science, 4th International Conference, GIScience
2006, M{\"{u}}nster, Germany, September 20-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4197},
pages = {234--250},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11863939\_16},
doi = {10.1007/11863939\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/giscience/Krieg-BrucknerS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spatialCognition/ShiMR06,
author = {Hui Shi and
Christian Mandel and
Robert J. Ross},
editor = {Thomas Barkowsky and
Markus Knauff and
G{\'{e}}rard Ligozat and
Daniel R. Montello},
title = {Interpreting Route Instructions as Qualitative Spatial Actions},
booktitle = {Spatial Cognition {V:} Reasoning, Action, Interaction, International
Conference Spatial Cognition 2006, Bremen, Germany, September 24-28,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4387},
pages = {327--345},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75666-8\_19},
doi = {10.1007/978-3-540-75666-8\_19},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/spatialCognition/ShiMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ShiRB05,
author = {Hui Shi and
Robert J. Ross and
John A. Bateman},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Formalising Control in Robust Spoken Dialogue Systems},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {332--341},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.21},
doi = {10.1109/SEFM.2005.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ShiRB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spatialCognition/RossSVKB04,
author = {Robert J. Ross and
Hui Shi and
Tillman Vierhuff and
Bernd Krieg{-}Br{\"{u}}ckner and
John A. Bateman},
editor = {Christian Freksa and
Markus Knauff and
Bernd Krieg{-}Br{\"{u}}ckner and
Bernhard Nebel and
Thomas Barkowsky},
title = {Towards Dialogue Based Shared Control of Navigating Robots},
booktitle = {Spatial Cognition {IV:} Reasoning, Action, Interaction, International
Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October
11-13, 2004, RevisedSelected Papers},
series = {Lecture Notes in Computer Science},
volume = {3343},
pages = {478--499},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32255-9\_26},
doi = {10.1007/978-3-540-32255-9\_26},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/spatialCognition/RossSVKB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ShiPK99,
author = {Hui Shi and
Jan Peleska and
Michel Kouvaras},
title = {Combining Methods for the Analysis of a Fault-Tolerant System},
booktitle = {1999 Pacific Rim International Symposium on Dependable Computing {(PRDC}
1999), 16-17 December 1999, Hong Kong},
pages = {135--142},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PRDC.1999.816222},
doi = {10.1109/PRDC.1999.816222},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ShiPK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ButhPS98,
author = {Bettina Buth and
Jan Peleska and
Hui Shi},
editor = {Armando Martin Haeberer},
title = {Combining Methods for the Livelock Analysis of a Fault-Tolerant System},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {124--139},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_11},
doi = {10.1007/3-540-49253-4\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ButhPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ButhKPS97,
author = {Bettina Buth and
Michel Kouvaras and
Jan Peleska and
Hui Shi},
editor = {Michael Johnson},
title = {Deadlock Analysis for a Fault-Tolerant System},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {60--74},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000463},
doi = {10.1007/BFB0000463},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ButhKPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CurienQS96,
author = {R{\'{e}}gis Curien and
Zhenyu Qian and
Hui Shi},
editor = {Harald Ganzinger},
title = {Efficient Second-Order Matching},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {317--331},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_62},
doi = {10.1007/3-540-61464-8\_62},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/CurienQS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/Krieg-BrucknerLSW95,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Junbo Liu and
Hui Shi and
Burkhart Wolff},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Towards Correct, Efficient and Reusable Transformational Developments},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {270--284},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015467},
doi = {10.1007/BFB0015467},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/Krieg-BrucknerLSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Shi94,
author = {Hui Shi},
title = {Extended matching with applications to program transformation},
school = {University of Bremen, Germany},
year = {1994},
url = {https://d-nb.info/943679702},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Shi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Krieg-BrucknerLWS93,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Junbo Liu and
Burkhart Wolff and
Hui Shi},
editor = {Horst Reichel},
title = {Towards Correctness, Efficiency and Reusability of Transformational
Developments},
booktitle = {Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden,
Germany, 27. September - 1. Oktober 1993},
series = {Informatik Aktuell},
pages = {241--246},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78486-6\_38},
doi = {10.1007/978-3-642-78486-6\_38},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/Krieg-BrucknerLWS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
