Simon Thompson

2009
35	EE	Huiqing Li, Simon Thompson: Clone detection and removal for Erlang/OTP within a refactoring environment. PEPM 2009: 169-178
34	EE	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	EE	Duong Nguyen, Simon Thompson, Cefn Hoile: Hubbub - An Innovative Customer Support Forum. BIS (Workshops) 2008: 55-67
32	EE	Aidan Delaney, John Taylor, Simon Thompson: Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams 2008: 172-187
31	EE	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	EE	Thuc Duong Nguyen, Simon Thompson: Intelligent agent framework for order entry and management. AAMAS 2007: 274
29	EE	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	EE	Huiqing Li, Simon Thompson: Testing Erlang Refactorings with QuickCheck. IFL 2007: 19-36
27	EE	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	EE	Takehiro Horiuchi, Simon Thompson, Satoshi Kagami, Yoshihiro Ehara: Pedestrian tracking from a mobile robot using a laser range finder. SMC 2007: 931-936
25	EE	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	EE	Huiqing Li, Simon Thompson: Comparative Study of Refactoring Haskell and Erlang Programs. SCAM 2006: 197-206
22	EE	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	EE	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	EE	Huiqing Li, Simon Thompson, Claus Reinke: The Haskell Refactorer, HaRe, and its API. Electr. Notes Theor. Comput. Sci. 141(4): 29-34 (2005)
14	EE	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	EE	Simon Thompson: Refactoring Functional Programs. Advanced Functional Programming 2004: 331-357
12	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
11	EE	Craig Watman, David J. Austin, Nick Barnes, Gary Overett, Simon Thompson: Fast Sum of Absolute Differences Visual Landmark Detector. ICRA 2004: 4827-4832
10	EE	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	EE	Simon Thompson, Satoshi Kagami: Stereo vision terrain modeling for non-planar mobile robot mapping and navigation. SMC (6) 2004: 5392-5397
8	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
7	EE	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	[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