Simon Thompson

	2009
35		Huiqing Li, Simon Thompson: Clone detection and removal for Erlang/OTP within a refactoring environment. PEPM 2009: 169-178
34		Gem Stapleton, John Taylor, Simon Thompson, John Howse: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1): 30-49 (2009)
	2008
33		Duong Nguyen, Simon Thompson, Cefn Hoile: Hubbub - An Innovative Customer Support Forum. BIS (Workshops) 2008: 55-67
32		Aidan Delaney, John Taylor, Simon Thompson: Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams 2008: 172-187
31		Satoshi Kagami, Yoko Sasaki, Simon Thompson, Tomoaki Fujihara, Tadashi Enomoto, Hiroshi Mizoguchi: Loudness measurement of human utterance to a robot in noisy environment. HRI 2008: 217-224
	2007
30		Thuc Duong Nguyen, Simon Thompson: Intelligent agent framework for order entry and management. AAMAS 2007: 274
29		Simon Thompson, Satoshi Kagami, Yoko Sasaki, Yoshifumi Nishida, Tadashi Enomoto, Hiroshi Mizoguchi: Combining ubiquitous and on-board audio sensing for human-robot interaction. HRI 2007: 209-216
28		Huiqing Li, Simon Thompson: Testing Erlang Refactorings with QuickCheck. IFL 2007: 19-36
27		Satoshi Kagarni, Simon Thompson, Yoko Sasaki, Yoshifumi Nishida, Hiroshi Mizoguchi, Tadashi Enomoto: "Calling from the other room" by Ceiling Ultrasonic Locator and Microphone Array. IROS 2007: 2028-2034
26		Takehiro Horiuchi, Simon Thompson, Satoshi Kagami, Yoshihiro Ehara: Pedestrian tracking from a mobile robot using a laser range finder. SMC 2007: 931-936
25		Masatomo Kanehara, Satoshi Kagami, James J. Kuffner, Simon Thompson, Hiroshi Mizoguchi: Path shortening and smoothing of grid-based path planning with consideration of obstacles. SMC 2007: 991-996
	2006
24		Satoshi Kagami, Simon Thompson, Yoshifumi Nishida, Tadashi Enomoto, Toshihiro Matsui: Home Robot Service by Ceiling Ultrasonic Locator and Microphone Array. ICRA 2006: 3171-3176
23		Huiqing Li, Simon Thompson: Comparative Study of Refactoring Haskell and Erlang Programs. SCAM 2006: 197-206
22		Simon Thompson, Satoshi Kagami, Yoshifumi Nishida: Human-Robot Interaction in a Ubiquitous House. VSMM 2006: 437-445
	2005
21		Simon Thompson, Satoshi Kagami: Continuous Curvature Trajectory Generation with Obstacle Avoidance for Car-Like Robots. CIMCA/IAWTIC 2005: 863-870
20		Octavian Patrascoiu, Simon Thompson, Peter Rodgers: Tableaux for Diagrammatic Reasoning. DMS 2005: 279-286
19		Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor: A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292
18		Satoshi Kagami, Koichi Nishiwaki, James J. Kuffner, Simon Thompson, Joel E. Chestnutt, Mike Stilman, Philipp Michel: Humanoid HRP2-DHRC for Autonomous and Interactive Behavior. ISRR 2005: 103-117
17		Chris Ryder, Simon Thompson: Software metrics: measuring Haskell. Trends in Functional Programming 2005: 31-46
16		Huiqing Li, Simon Thompson: Formalisation of Haskell refactorings. Trends in Functional Programming 2005: 95-110
15		Huiqing Li, Simon Thompson, Claus Reinke: The Haskell Refactorer, HaRe, and its API. Electr. Notes Theor. Comput. Sci. 141(4): 29-34 (2005)
14		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, Nick J. Fiddian, Simon Thompson: Agent-based virtual organisations for the Grid. Multiagent and Grid Systems 1(4): 237-249 (2005)
	2004
13		Simon Thompson: Refactoring Functional Programs. Advanced Functional Programming 2004: 331-357
12		Gem Stapleton, John Howse, John Taylor, Simon Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
11		Craig Watman, David J. Austin, Nick Barnes, Gary Overett, Simon Thompson: Fast Sum of Absolute Differences Visual Landmark Detector. ICRA 2004: 4827-4832
10		Tracy Ross, Andrew J. May, Simon Thompson: The Use of Landmarks in Pedestrian Navigation Instructions and the Effects of Context. Mobile HCI 2004: 300-304
9		Simon Thompson, Satoshi Kagami: Stereo vision terrain modeling for non-planar mobile robot mapping and navigation. SMC (6) 2004: 5392-5397
8		Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
7		Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)
	2002
6		Simon Thompson, Alexander Zelinsky: Accurate Local Positioning using Visual Landmarks from a Panoramic Sensor. ICRA 2002: 2656-2661
	2000
5		Erik Poll, Simon Thompson: Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCos 2000: 136-150
	1992
4		Simon Thompson: Formulating Haskell. Functional Programming 1992: 258-268
	1991
3		Simon Thompson: Are Subsets Necessary in Martin-Löf Type Theory? Constructivity in Computer Science 1991: 46-57
	1985
2		Simon Thompson: Axiomatic Recursion Theory and the Continuous Functionals. J. Symb. Log. 50(2): 442-450 (1985)
1		Simon Thompson: Priority Arguments in the Continuous R. E. Degrees. J. Symb. Log. 50(3): 661-667 (1985)

Coauthor Index

1	David J. Austin	[11]
2	Nick Barnes	[11]
3	Stuart Chalmers	[14]
4	Joel E. Chestnutt	[18]
5	Aidan Delaney	[32]
6	Yoshihiro Ehara	[26]
7	Tadashi Enomoto	[24] [27] [29] [31]
8	N. J. Fiddian (Nick J. Fiddian)	[14]
9	Andrew Fish	[19]
10	Tomoaki Fujihara	[31]
11	Peter M. D. Gray	[14]
12	W. A. Gray (W. Alex Gray)	[14]
13	Cefn Hoile	[33]
14	Takehiro Horiuchi	[26]
15	John Howse	[7] [8] [12] [19] [34]
16	Nicholas R. Jennings (Nick R. Jennings)	[14]
17	Satoshi Kagami	[9] [18] [21] [22] [24] [25] [26] [29] [31]
18	Satoshi Kagarni	[27]
19	Masatomo Kanehara	[25]
20	James J. Kuffner (James J. Kuffner Jr., James Kuffner)	[18] [25]
21	Huiqing Li	[15] [16] [23] [28] [35]
22	Michael Luck	[14]
23	Toshihiro Matsui	[24]
24	Andrew J. May	[10]
25	Philipp Michel	[18]
26	Hiroshi Mizoguchi	[25] [27] [29] [31]
27	Duong Nguyen	[33]
28	Thuc Duong Nguyen	[30]
29	Yoshifumi Nishida	[22] [24] [27] [29]
30	Koichi Nishiwaki	[18]
31	Timothy J. Norman	[14]
32	Nir Oren	[14]
33	Gary Overett	[11]
34	Jigar Patel	[14]
35	Octavian Patrascoiu	[20]
36	Erik Poll	[5]
37	Alun D. Preece	[14]
38	Claus Reinke	[15]
39	Peter Rodgers	[20]
40	Tracy Ross	[10]
41	Chris Ryder	[17]
42	Yoko Sasaki	[27] [29] [31]
43	Jianhua Shao	[14]
44	Gareth Shercliff	[14]
45	Gem Stapleton (Gemma Stapleton)	[7] [8] [12] [19] [34]
46	Mike Stilman	[18]
47	Patrick J. Stockreisser	[14]
48	John Taylor	[7] [8] [12] [19] [32] [34]
49	W. T. Luke Teacy	[14]
50	Craig Watman	[11]
51	Alexander Zelinsky	[6]

Colors in the list of coauthors