Tim Miller

2007
18	EE	Tim Miller, Andy Exley, William Schuler: Elements of a spoken language programming interface for robots. HRI 2007: 231-237
17	EE	Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis: First-Class Protocols for Agent-Based Coordination of Scientific Instruments. WETICE 2007: 41-46
16	EE	Tim Miller, Peter McBurney: A formal semantics for Gaia liveness rules and expressions. IJAOSE 1(3/4): 435-476 (2007)
2006
15	EE	Roxana Belecheanu, Steve Munroe, Michael Luck, Terry R. Payne, Tim Miller, Peter McBurney, Michal Pechoucek: Commercial applications of agents: lessons, experiences and challenges. AAMAS 2006: 1549-1555
14	EE	Tim Miller, Peter McBurney: Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. ESAW 2006: 245-264
2005
13	EE	Shana Watters, Tim Miller, Praveen Balachandran, William Schuler, Richard M. Voyles: Exploiting a sensed environment to improve human-agent communication. AAMAS 2005: 44-50
12	EE	Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245
11	EE	Tim Miller, Peter McBurney: Multi-agent System Specification Using TCOZ. MATES 2005: 216-221
2004
10	EE	Tim Miller, Paul A. Strooper: A Case Study in Specification and Implementation Testing. APSEC 2004: 130-139
9		Jennifer J. Burg, Tim Miller: Fractal Computation in Step with Real-Time Dance. ISCA PDCS 2004: 1-6
8	EE	Roger Duke, Tim Miller, Paul A. Strooper: Integrating Formal Specification and Software Verification and Validation. TFM 2004: 124-139
2003
7	EE	Tim Miller, Paul A. Strooper: Supporting the Software Testing Process through Specification Animation. SEFM 2003: 14-23
6	EE	Tim Miller, Paul A. Strooper: A framework and tool support for the systematic testing of model-based specifications. ACM Trans. Softw. Eng. Methodol. 12(4): 409-439 (2003)
2002
5	EE	Robert J. Kauffman, Bin Wang, Tim Miller: Strategic 'Morphing' and the Survivability of E-commerce Firms. HICSS 2002: 217
4	EE	Tim Miller, Paul A. Strooper: Model-Based Specification Animation Using Testgraphs. ICFEM 2002: 192-203
3	EE	Robert J. Kauffman, Tim Miller, Bin Wang: When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy. First Monday 7(7): (2002)
2001
2	EE	Tim Miller, Paul A. Strooper: Combining the Animation and Testing of Abstract Data Types. APAQS 2001: 249-258
1	EE	Tim Miller, Paul A. Strooper: Animation Can Show Only the Presence of Errors, Never Their Absence. Australian Software Engineering Conference 2001: 76-88

Coauthor Index

1	Praveen Balachandran	[13]
2	Roxana Belecheanu	[15]
3	Jennifer J. Burg (Jennifer Burg)	[9]
4	Roger Duke	[8]
5	Andy Exley	[18]
6	Leo Freitas (Leonardo Freitas)	[12]
7	Robert J. Kauffman	[3] [5]
8	Michael Luck	[15]
9	Petra Malik	[12]
10	Peter McBurney	[11] [14] [15] [16] [17]
11	Jarred McGinnis	[17]
12	Steve Munroe	[15]
13	Terry R. Payne	[15]
14	Michal Pechoucek	[15]
15	William Schuler	[13] [18]
16	Kostas Stathis	[17]
17	Paul A. Strooper	[1] [2] [4] [6] [7] [8] [10]
18	Mark Utting	[12]
19	Richard M. Voyles	[13]
20	Bin Wang	[3] [5]
21	Shana Watters	[13]

Colors in the list of coauthors