Simon Thompson

2008
30	EE	Duong Nguyen, Simon Thompson, Cefn Hoile: Hubbub - An Innovative Customer Support Forum. BIS (Workshops) 2008: 55-67
29	EE	Aidan Delaney, John Taylor, Simon Thompson: Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams 2008: 172-187
2007
28	EE	Thuc Duong Nguyen, Simon Thompson: Intelligent agent framework for order entry and management. AAMAS 2007: 274
27	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
26	EE	Huiqing Li, Simon Thompson: Testing Erlang Refactorings with QuickCheck. IFL 2007: 19-36
2006
25		Satoshi Kagami, Simon Thompson, Yoshifumi Nishida, Tadashi Enomoto, Toshihiro Matsui: Home Robot Service by Ceiling Ultrasonic Locator and Microphone Array. ICRA 2006: 3171-3176
24	EE	Huiqing Li, Simon Thompson: Comparative Study of Refactoring Haskell and Erlang Programs. SCAM 2006: 197-206
23	EE	Simon Thompson, Satoshi Kagami, Yoshifumi Nishida: Human-Robot Interaction in a Ubiquitous House. VSMM 2006: 437-445
2005
22		Simon Thompson, Satoshi Kagami: Continuous Curvature Trajectory Generation with Obstacle Avoidance for Car-Like Robots. CIMCA/IAWTIC 2005: 863-870
21		Octavian Patrascoiu, Simon Thompson, Peter Rodgers: Tableaux for Diagrammatic Reasoning. DMS 2005: 279-286
20		Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor: A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292
19	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
18		Chris Ryder, Simon Thompson: Software metrics: measuring Haskell. Trends in Functional Programming 2005: 31-46
17		Huiqing Li, Simon Thompson: Formalisation of Haskell refactorings. Trends in Functional Programming 2005: 95-110
16	EE	Huiqing Li, Simon Thompson, Claus Reinke: The Haskell Refactorer, HaRe, and its API. Electr. Notes Theor. Comput. Sci. 141(4): 29-34 (2005)
15	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
14	EE	Simon Thompson: Refactoring Functional Programs. Advanced Functional Programming 2004: 331-357
13	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
12	EE	Craig Watman, David J. Austin, Nick Barnes, Gary Overett, Simon Thompson: Fast Sum of Absolute Differences Visual Landmark Detector. ICRA 2004: 4827-4832
11	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
10	EE	Simon Thompson, Satoshi Kagami: Stereo vision terrain modeling for non-planar mobile robot mapping and navigation. SMC (6) 2004: 5392-5397
9	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
8	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)
2003
7	EE	Howard Bowman, Simon Thompson: A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. 13(2): 195-239 (2003)
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	[12]
2	Nick Barnes	[12]
3	Howard Bowman	[7]
4	Stuart Chalmers	[15]
5	Joel E. Chestnutt	[19]
6	Aidan Delaney	[29]
7	Tadashi Enomoto	[25] [27]
8	N. J. Fiddian (Nick J. Fiddian)	[15]
9	Andrew Fish	[20]
10	Peter M. D. Gray	[15]
11	W. A. Gray (W. Alex Gray)	[15]
12	Cefn Hoile	[30]
13	John Howse	[8] [9] [13] [20]
14	Nicholas R. Jennings (Nick R. Jennings)	[15]
15	Satoshi Kagami	[10] [19] [22] [23] [25] [27]
16	James J. Kuffner (James J. Kuffner Jr., James Kuffner)	[19]
17	Huiqing Li	[16] [17] [24] [26]
18	Michael Luck	[15]
19	Toshihiro Matsui	[25]
20	Andrew J. May	[11]
21	Philipp Michel	[19]
22	Hiroshi Mizoguchi	[27]
23	Duong Nguyen	[30]
24	Thuc Duong Nguyen	[28]
25	Yoshifumi Nishida	[23] [25] [27]
26	Koichi Nishiwaki	[19]
27	Timothy J. Norman	[15]
28	Nir Oren	[15]
29	Gary Overett	[12]
30	Jigar Patel	[15]
31	Octavian Patrascoiu	[21]
32	Erik Poll	[5]
33	Alun D. Preece	[15]
34	Claus Reinke	[16]
35	Peter Rodgers	[21]
36	Tracy Ross	[11]
37	Chris Ryder	[18]
38	Yoko Sasaki	[27]
39	Jianhua Shao	[15]
40	Gareth Shercliff	[15]
41	Gem Stapleton	[8] [9] [13] [20]
42	Mike Stilman	[19]
43	Patrick J. Stockreisser	[15]
44	John Taylor	[8] [9] [13] [20] [29]
45	W. T. Luke Teacy	[15]
46	Craig Watman	[12]
47	Alexander Zelinsky	[6]

Colors in the list of coauthors