Tim Miller

2008
25	EE	Tim Miller, Peter McBurney: Annotation and matching of first-class agent interaction protocols. AAMAS (2) 2008: 805-812
24	EE	Tim Miller, Peter McBurney: On illegal composition of first-class agent interaction protocols. ACSC 2008: 127-136
23	EE	Tim Miller, Peter McBurney: Annotation and Matching of First-Class Agent Interaction Protocols. ArgMAS 2008: 141-158
2007
22	EE	Venkata Krishnan, Tim Miller, Herman Paraison: Dolphin express: A transparent approach to enhancing PCI Express. CLUSTER 2007: 464-467
21	EE	Tim Miller, Jarred McGinnis: Amongst First-Class Protocols. ESAW 2007: 208-223
20	EE	Tim Miller, Andrew Exley, William Schuler: Elements of a spoken language programming interface for robots. HRI 2007: 231-237
19	EE	Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis: First-Class Protocols for Agent-Based Coordination of Scientific Instruments. WETICE 2007: 41-46
18	EE	Tim Miller, Peter McBurney: A formal semantics for Gaia liveness rules and expressions. IJAOSE 1(3/4): 435-476 (2007)
2006
17	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
16	EE	Tim Miller, Peter McBurney: Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. ESAW 2006: 245-264
15	EE	Robert J. Kauffman, Tim Miller, Bin Wang: Reflections on: When Internet companies morph. First Monday 11(SI-6): (2006)
14	EE	Steve Munroe, Tim Miller, Roxana Belecheanu, Michal Pechoucek, Peter McBurney, Michael Luck: Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents. Knowledge Eng. Review 21(4): 345-392 (2006)
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	[14] [17]
3	Jennifer J. Burg (Jennifer Burg)	[9]
4	Roger Duke	[8]
5	Andrew Exley	[20]
6	Leo Freitas (Leonardo Freitas)	[12]
7	Robert J. Kauffman	[3] [5] [15]
8	Venkata Krishnan	[22]
9	Michael Luck	[14] [17]
10	Petra Malik	[12]
11	Peter McBurney	[11] [14] [16] [17] [18] [19] [23] [24] [25]
12	Jarred McGinnis	[19] [21]
13	Steve Munroe	[14] [17]
14	Herman Paraison	[22]
15	Terry R. Payne	[17]
16	Michal Pechoucek	[14] [17]
17	William Schuler	[13] [20]
18	Kostas Stathis	[19]
19	Paul A. Strooper	[1] [2] [4] [6] [7] [8] [10]
20	Mark Utting	[12]
21	Richard M. Voyles	[13]
22	Bin Wang	[3] [5] [15]
23	Shana Watters	[13]

Colors in the list of coauthors