| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
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. A. 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 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
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 |
89/3289