Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Simon
    Last name: Thompson
    DBLP: 89/3289
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 66 of 66  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Sue Hessey, Catherine White, Simon Thompson.
    "Crowdsense" - Initiating New Communications and Collaborations between People in a Large Organization.
    HCI in Business - First International Conference, HCIB 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings 2014 (0) 2014
    Journal article
    Kerina H. Jones, David V. Ford, Chris Jones, Rohan Dsilva, Simon Thompson, Caroline J. Brooks, Martin L. Heaven, Daniel S. Thayer, Cynthia L. McNerney, Ronan A. Lyons.
    A case study of the Secure Anonymous Information Linkage (SAIL) Gateway: A privacy-protecting remote access system for health-related research and evaluation.
    Journal of Biomedical Informatics 2014, Volume 50 (0) 2014
    Conference paper
    Simon Thompson.
    Extended Abstract: Getting Engaged.
    HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday 2014 (0) 2014
    Journal article
    Lisa A. Osborne, Hazel M. Lockhart-Jones, Rod M. Middleton, Simon Thompson, Inocencio D. C. Maramba, Kerina H. Jones, David V. Ford, J. Gareth Noble.
    Identifying and Addressing the Barriers to the Use of an Internet-Register for Multiple Sclerosis.
    IJHISI 2013, Volume 8 (0) 2013
    Conference paper
    Simon Thompson, Satoshi Kagami, Masafumi Okajima.
    An Autonomous Mobile Inspection Robot for an Electric Power Sub-station.
    ICINCO 2013 - Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Reykjavík, Iceland, 29 - 31 July, 2013 2013 (0) 2013
    Conference paper
    Simon Thompson.
    Building trustworthy refactoring tools.
    First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013 2013 (0) 2013
    Conference paper
    Robert Baker, Peter J. Rodgers, Simon Thompson, Huiqing Li.
    Multi-level Visualization of Concurrent and Distributed Computation in Erlang.
    Proceedings of the 19th International Conference on Distributed Multimedia Systems, DMS 2013, August 8-10, 2013, Holiday Inn, Brighton, UK 2013 (0) 2013
    Conference paper
    Simon Thompson, Satoshi Kagami.
    Evaluating 3D Polygon Maps for Mobile Robot Localisation.
    IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, October 13-16, 2013 2013 (0) 2013
    Conference paper
    Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon Thompson, Alex Alves Freitas.
    Evolving recursive programs using non-recursive scaffolding.
    Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2012, Brisbane, Australia, June 10-15, 2012 2012 (0) 2012
    Conference paper
    Lisa A. Osborne, J. Gareth Noble, Hazel M. Lockhart-Jones, Rodden Middleton, Simon Thompson, Inocencio D. C. Maramba, Kerina H. Jones, David V. Ford.
    Sources of Discovery, Reasons for Registration, and Expectations of an Internet-Based Register for Multiple Sclerosis: Visualisations and Explorations of Word Uses and Contexts.
    IJHISI 2012, Volume 7 (0) 2012
    Conference paper
    Yoko Sasaki, Mitsutaka Kabasawa, Simon Thompson, Satoshi Kagami, Kyoichi Oro.
    Spherical microphone array for spatial sound localization for a mobile robot.
    2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012 2012 (0) 2012
    Conference paper
    Simon Thompson, Satoshi Kagami, Masafumi Okajima.
    Selection of polygon sets for 6DOF localisation of autonomous vehicles.
    Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011 2011 (0) 2011
    Journal article
    Yumiko Suzuki, Simon Thompson, Satoshi Kagami.
    High-Speed Planning and Reducing Memory Usage of a Precomputed Search Tree Using Pruning.
    Advanced Robotics 2010, Volume 24 (0) 2010
    Conference paper
    Simon Thompson, Satoshi Kagami, Masafumi Okajima.
    Constrained 6DOF localisation for autonomous vehicles.
    Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010 2010 (0) 2010
    Conference paper
    Huiqing Li, Simon Thompson.
    Refactoring Support for Modularity Maintenance in Erlang.
    Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, Timisoara, Romania, 12-13 September 2010 2010 (0) 2010
    Conference paper
    Yoko Sasaki, Simon Thompson, Masahito Kaneyoshi, Satoshi Kagami.
    Map-generation and identification of multiple sound sources from robot in motion.
    2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 18-22, 2010, Taipei, Taiwan 2010 (0) 2010
    Conference paper
    Dániel Drienyovszky, Dániel Horpácsi, Simon Thompson.
    Quickchecking refactoring tools.
    Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010 2010 (0) 2010
    Conference paper
    Huiqing Li, Simon Thompson.
    Similar Code Detection and Elimination for Erlang Programs.
    Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Christopher Brown, Simon Thompson.
    Clone detection and elimination for Haskell.
    Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010 2010 (0) 2010
    Conference paper
    John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Victor Gulias, John Hughes, Simon Thompson.
    Property-Based Testing - The ProTest Project.
    Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers 2010 (0) 2009
    Conference paper
    Yumiko Suzuki, Simon Thompson, Satoshi Kagami.
    Smooth path planning with pedestrian avoidance for wheeled robots: Implementation and evaluation.
    4th International Conference on Autonomous Robots and Agents, ICARA 2009, Wellington, New Zealand, February 10-12, 2009 2009 (0) 2009
    Conference paper
    Simon Thompson, Takehiro Horiuchi, Satoshi Kagami.
    A probabilistic model of human motion and navigation intent for mobile robot path planning.
    4th International Conference on Autonomous Robots and Agents, ICARA 2009, Wellington, New Zealand, February 10-12, 2009 2009 (0) 2009
    Conference paper
    Yumiko Suzuki, Simon Thompson, Satoshi Kagami.
    Effectiveness evaluation of precomputation search using steering set.
    18th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2009, Toyama International Conference Center, Japan, September 27 - October 2, 2009 2009 (0) 2009
    Conference paper
    Huiqing Li, Simon Thompson.
    Clone detection and removal for Erlang/OTP within a refactoring environment.
    Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 2009 (0) 2009
    Conference paper
    Ralf Lämmel, Simon Thompson, Markus Kaiser.
    Programming Errors in Traversal Programs Over Structured Data.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 238 (0) 2009
    Conference paper
    Gem Stapleton, John Taylor, Simon Thompson, John Howse.
    The expressiveness of spider diagrams augmented with constants.
    J. Vis. Lang. Comput. 2009, Volume 20 (0) 2009
    Conference paper
    Yumiko Suzuki, Simon Thompson, Satoshi Kagami.
    High-speed planning and reducing memory usage of a precomputed search tree using pruning.
    2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA 2009 (0) 2009
    Conference paper
    Duong Nguyen, Simon Thompson, Cefn Hoile.
    Hubbub - An Innovative Customer Support Forum.
    BIS 2008 Workshops Proceedings: Social Aspects of the Web (SAW 2008), Advances in Accessing Deep Web (ADW 2008), E-Learning for Business Needs, Innsbruck, Austria, 6-7 May 2008 2008 (0) 2008
    Conference paper
    Aidan Delaney, John Taylor, Simon Thompson.
    Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.
    Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Huiqing Li, Simon Thompson, George Orösz, Melinda Tóth.
    Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse.
    Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008 2008 (0) 2008
    Conference paper
    Satoshi Kagami, Yoko Sasaki, Simon Thompson, Tomoaki Fujihara, Tadashi Enomoto, Hiroshi Mizoguchi.
    Loudness measurement of human utterance to a robot in noisy environment.
    Proceedings of the 3rd ACM/IEEE international conference on Human robot interaction, HRI 2008, Amsterdam, The Netherlands, March 12-15, 2008 2008 (0) 2008
    Conference paper
    Thuc Duong Nguyen, Simon Thompson.
    Intelligent agent framework for order entry and management.
    6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 2007 (0) 2007
    Conference paper
    Huiqing Li, Simon Thompson.
    Testing Erlang Refactorings with QuickCheck.
    Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers 2008 (0) 2007
    Conference paper
    Takehiro Horiuchi, Simon Thompson, Satoshi Kagami, Yoshihiro Ehara.
    Pedestrian tracking from a mobile robot using a laser range finder.
    Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007 2007 (0) 2007
    Conference paper
    Masatomo Kanehara, Satoshi Kagami, James J. Kuffner, Simon Thompson, Hiroshi Mizoguchi.
    Path shortening and smoothing of grid-based path planning with consideration of obstacles.
    Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007 2007 (0) 2007
    Conference paper
    Simon Thompson, Satoshi Kagami, Yoko Sasaki, Yoshifumi Nishida, Tadashi Enomoto, Hiroshi Mizoguchi.
    Combining ubiquitous and on-board audio sensing for human-robot interaction.
    Proceedings of the Second ACM SIGCHI/SIGART Conference on Human-Robot Interaction, HRI 2007, Arlington, Virginia, USA, March 10-12, 2007 2007 (0) 2007
    Conference paper
    Satoshi Kagami, Simon Thompson, Yoko Sasaki, Yoshifumi Nishida, Hiroshi Mizoguchi, Tadashi Enomoto.
    "Calling from the other room" by Ceiling Ultrasonic Locator and Microphone Array.
    2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA 2007 (0) 2007
    Conference paper
    Simon Thompson, Satoshi Kagami, Koichi Nishiwaki.
    Localisation for Autonomous Humanoid Navigation.
    2006 6th IEEE-RAS International Conference on Humanoid Robots, Genova, Italy, December 4-6, 2006 2006 (0) 2006
    Conference paper
    Satoshi Kagami, Simon Thompson, Yoshifumi Nishida, Tadashi Enomoto, Toshihiro Matsui.
    Home Robot Service by Ceiling Ultrasonic Locator and Microphone Array.
    Proceedings of the 2006 IEEE International Conference on Robotics and Automation, ICRA 2006, May 15-19, 2006, Orlando, Florida, USA 2006 (0) 2006
    Conference paper
    Huiqing Li, Simon Thompson.
    Comparative Study of Refactoring Haskell and Erlang Programs.
    Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA 2006 (0) 2006
    Conference paper
    Simon Thompson, Satoshi Kagami, Yoshifumi Nishida.
    Human-Robot Interaction in a Ubiquitous House.
    Interactive Technologies and Sociotechnical Systems, 12th International Conference, VSMM 2006, Xi'an, China, October 18-20, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Simon Thompson, Satoshi Kagami.
    Humanoid robot localisation using stereo vision.
    5th IEEE-RAS International Conference on Humanoid Robots, Humanoids 2005, Tsukuba, Japan, December 5-7, 2005. 2005 (0) 2005
    Conference paper
    Huiqing Li, Simon Thompson.
    Formalisation of Haskell refactorings.
    Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. 2007 (0) 2005
    Conference paper
    Chris Ryder, Simon Thompson.
    Software metrics: measuring Haskell.
    Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. 2007 (0) 2005
    Conference paper
    Simon Thompson, Satoshi Kagami.
    Continuous Curvature Trajectory Generation with Obstacle Avoidance for Car-Like Robots.
    2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria 2005 (0) 2005
    Conference paper
    Octavian Patrascoiu, Simon Thompson, Peter J. Rodgers.
    Tableaux for Diagrammatic Reasoning.
    Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada 2005 (0) 2005
    Conference paper
    Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor.
    A New Language for the Visualization of Logic and Reasoning.
    Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada 2005 (0) 2005
    Conference paper
    Satoshi Kagami, Koichi Nishiwaki, James J. Kuffner, Simon Thompson, Joel E. Chestnutt, Mike Stilman, Philipp Michel.
    Humanoid HRP2-DHRC for Autonomous and Interactive Behavior.
    Robotics Research: Results of the 12th International Symposium, ISRR 2005, October 12-15, 2005, San Francisco, CA, USA 2007 (0) 2005
    Conference paper
    Huiqing Li, Simon Thompson, Claus Reinke.
    The Haskell Refactorer, HaRe, and its API.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 141 (0) 2005
    Conference paper
    Jigar Patel, W. T. Luke Teacy, Nicholas R. Jennings, Michael Luck, Stuart Chalmers, Nir Oren, Timothy J. Norman, Alun D. Preece, Peter M. D. Gray, Gareth Shercliff, Patrick J. Stockreisser, Jianhua Shao, W. Alex Gray, N. J. Fiddian, Simon Thompson.
    Agent-based virtual organisations for the Grid.
    Multiagent and Grid Systems 2005, Volume 1 (0) 2005
    Conference paper
    Simon Thompson, Satoshi Kagami.
    Stereo vision and sonar sensor based view registration for 2.5 dimensional map generation.
    2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28 - October 2, 2004 2004 (0) 2004
    Conference paper
    Simon Thompson.
    Refactoring Functional Programs.
    Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures 2005 (0) 2004
    Conference paper
    Gem Stapleton, John Howse, John Taylor, Simon Thompson.
    What Can Spider Diagrams Say?
    Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Craig Watman, David J. Austin, Nick Barnes, Gary Overett, Simon Thompson.
    Fast Sum of Absolute Differences Visual Landmark Detector.
    Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA 2004 (0) 2004
    Conference paper
    Tracy Ross, Andrew J. May, Simon Thompson.
    The Use of Landmarks in Pedestrian Navigation Instructions and the Effects of Context.
    Mobile Human-Computer Interaction - Mobile HCI 2004, 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Simon Thompson, Satoshi Kagami.
    Stereo vision terrain modeling for non-planar mobile robot mapping and navigation.
    Proceedings of the IEEE International Conference on Systems, Man Cybernetics: The Hague, Netherlands, 10-13 October 2004 2004 (0) 2004
    Conference paper
    Gem Stapleton, John Howse, John Taylor, Simon Thompson.
    The Expressiveness of Spider Diagrams Augmented with Constants.
    2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy 2004 (0) 2004
    Conference paper
    Gem Stapleton, John Howse, John Taylor, Simon Thompson.
    The Expressiveness of Spider Diagrams.
    J. Log. Comput. 2004, Volume 14 (0) 2004
    Conference paper
    Simon Thompson, Alexander Zelinsky.
    Accurate vision based position tracking between places in a topological map.
    Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Computational Intelligence in Robotics and Automation for the New Millennium, CIRA 2003, Kobe, Japan, July 16-20, 2003 2003 (0) 2003
    Conference paper
    Simon Thompson, Alexander Zelinsky.
    Accurate Local Positioning using Visual Landmarks from a Panoramic Sensor.
    Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA 2002 (0) 2002
    Conference paper
    Toshihiro Matsui, Hideki Asoh, Simon Thompson.
    Mobile robot localization using circular correlations of panoramic images.
    IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2000, October 30 - Novemver 5, 2000, Takamatsu, Japan 2000 (0) 2000
    Conference paper
    Erik Poll, Simon Thompson.
    Integrating Computer Algebra and Reasoning through the Type System of Aldor.
    Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Simon Thompson.
    Formulating Haskell.
    Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 1993 (0) 1992
    Conference paper
    Simon Thompson.
    Are Subsets Necessary in Martin-Löf Type Theory?
    Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings 1992 (0) 1991
    Conference paper
    Simon Thompson.
    Axiomatic Recursion Theory and the Continuous Functionals.
    J. Symb. Log. 1985, Volume 50 (0) 1985
    Conference paper
    Simon Thompson.
    Priority Arguments in the Continuous R. E. Degrees.
    J. Symb. Log. 1985, Volume 50 (0) 1985
    Show item 1 to 66 of 66  

    Your query returned 66 matches in the database.