Simon Thompson

2008
35	EE	Huiqing Li, Simon Thompson: Tool support for refactoring functional programs. PEPM 2008: 199-203
34	EE	Nik Sultana, Simon Thompson: Mechanical verification of refactorings. PEPM 2008: 51-60
2007
33	EE	Thuc Duong Nguyen, Simon Thompson: Intelligent agent framework for order entry and management. AAMAS 2007: 274
32	EE	Simon Thompson, Peter R. King, Patrick Schmitz: Declarative extensions of XML languages. ACM Symposium on Document Engineering 2007: 89-91
31	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
2006
30		Satoshi Kagami, Simon Thompson, Yoshifumi Nishida, Tadashi Enomoto, Toshihiro Matsui: Home Robot Service by Ceiling Ultrasonic Locator and Microphone Array. ICRA 2006: 3171-3176
29	EE	Huiqing Li, Simon Thompson: Comparative Study of Refactoring Haskell and Erlang Programs. SCAM 2006: 197-206
28	EE	Simon Thompson, Satoshi Kagami, Yoshifumi Nishida: Human-Robot Interaction in a Ubiquitous House. VSMM 2006: 437-445
2005
27		Simon Thompson, Satoshi Kagami: Continuous Curvature Trajectory Generation with Obstacle Avoidance for Car-Like Robots. CIMCA/IAWTIC 2005: 863-870
26		Octavian Patrascoiu, Simon Thompson, Peter Rodgers: Tableaux for Diagrammatic Reasoning. DMS 2005: 279-286
25		Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor: A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292
24		Chris Ryder, Simon Thompson: Software metrics: measuring Haskell. Trends in Functional Programming 2005: 31-46
23		Huiqing Li, Simon Thompson: Formalisation of Haskell refactorings. Trends in Functional Programming 2005: 95-110
22	EE	Huiqing Li, Simon Thompson, Claus Reinke: The Haskell Refactorer, HaRe, and its API. Electr. Notes Theor. Comput. Sci. 141(4): 29-34 (2005)
21	EE	Simon Thompson, Peter R. King, Helen Cameron: Modelling Reactive Multimedia: Design and Authoring. Multimedia Tools Appl. 27(1): 23-52 (2005)
2004
20	EE	Peter R. King, Patrick Schmitz, Simon Thompson: Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation. ACM Symposium on Document Engineering 2004: 57-66
19	EE	Simon Thompson: Refactoring Functional Programs. Advanced Functional Programming 2004: 331-357
18	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
17	EE	Craig Watman, David J. Austin, Nick Barnes, Gary Overett, Simon Thompson: Fast Sum of Absolute Differences Visual Landmark Detector. ICRA 2004: 4827-4832
16	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
15	EE	Simon Thompson, Satoshi Kagami: Stereo vision terrain modeling for non-planar mobile robot mapping and navigation. SMC (6) 2004: 5392-5397
14	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
13	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)
2003
12	EE	Patrick Schmitz, Simon Thompson, Peter R. King: Presentation Dynamism in XML Functional Programming meets SMIL Animation. WWW (Posters) 2003
11		Howard Bowman, Helen Cameron, Peter R. King, Simon Thompson: Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design 22(1): 5-38 (2003)
10	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)
9		Helen Cameron, Peter R. King, Simon Thompson: Modeling Reactive Multimedia: Events and Behaviors. Multimedia Tools Appl. 19(1): 53-77 (2003)
2002
8		Simon Thompson, Alexander Zelinsky: Accurate Local Positioning using Visual Landmarks from a Panoramic Sensor. ICRA 2002: 2656-2661
2000
7		Erik Poll, Simon Thompson: Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCos 2000: 136-150
1998
6	EE	Peter R. King, Helen Cameron, Howard Bowman, Simon Thompson: Synchronization in Multimedia Documents. EP 1998: 355-369
5	EE	Howard Bowman, Simon Thompson: A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX 1998: 108-123
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	[17]
2	Nick Barnes	[17]
3	Howard Bowman	[5] [6] [10] [11]
4	Helen Cameron	[6] [9] [11] [21]
5	Tadashi Enomoto	[30] [31]
6	Andrew Fish	[25]
7	John Howse	[13] [14] [18] [25]
8	Satoshi Kagami	[15] [27] [28] [30] [31]
9	Peter R. King	[6] [9] [11] [12] [20] [21] [32]
10	Huiqing Li	[22] [23] [29] [35]
11	Toshihiro Matsui	[30]
12	Andrew J. May	[16]
13	Hiroshi Mizoguchi	[31]
14	Thuc Duong Nguyen	[33]
15	Yoshifumi Nishida	[28] [30] [31]
16	Gary Overett	[17]
17	Octavian Patrascoiu	[26]
18	Erik Poll	[7]
19	Claus Reinke	[22]
20	Peter Rodgers	[26]
21	Tracy Ross	[16]
22	Chris Ryder	[24]
23	Yoko Sasaki	[31]
24	Patrick Schmitz	[12] [20] [32]
25	Gem Stapleton	[13] [14] [18] [25]
26	Nik Sultana	[34]
27	John Taylor	[13] [14] [18] [25]
28	Craig Watman	[17]
29	Alexander Zelinsky	[8]

Colors in the list of coauthors