Tim Miller

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

25EETim Miller, Peter McBurney: Annotation and matching of first-class agent interaction protocols. AAMAS (2) 2008: 805-812
24EETim Miller, Peter McBurney: On illegal composition of first-class agent interaction protocols. ACSC 2008: 127-136
23EETim Miller, Peter McBurney: Annotation and Matching of First-Class Agent Interaction Protocols. ArgMAS 2008: 141-158
22EEVenkata Krishnan, Tim Miller, Herman Paraison: Dolphin express: A transparent approach to enhancing PCI Express. CLUSTER 2007: 464-467
21EETim Miller, Jarred McGinnis: Amongst First-Class Protocols. ESAW 2007: 208-223
20EETim Miller, Andrew Exley, William Schuler: Elements of a spoken language programming interface for robots. HRI 2007: 231-237
19EETim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis: First-Class Protocols for Agent-Based Coordination of Scientific Instruments. WETICE 2007: 41-46
18EETim Miller, Peter McBurney: A formal semantics for Gaia liveness rules and expressions. IJAOSE 1(3/4): 435-476 (2007)
17EERoxana 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
16EETim Miller, Peter McBurney: Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. ESAW 2006: 245-264
15EERobert J. Kauffman, Tim Miller, Bin Wang: Reflections on: When Internet companies morph. First Monday 11(SI-6): (2006)
14EESteve 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)
13EEShana Watters, Tim Miller, Praveen Balachandran, William Schuler, Richard M. Voyles: Exploiting a sensed environment to improve human-agent communication. AAMAS 2005: 44-50
12EETim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245
11EETim Miller, Peter McBurney: Multi-agent System Specification Using TCOZ. MATES 2005: 216-221
10EETim 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
8EERoger Duke, Tim Miller, Paul A. Strooper: Integrating Formal Specification and Software Verification and Validation. TFM 2004: 124-139
7EETim Miller, Paul A. Strooper: Supporting the Software Testing Process through Specification Animation. SEFM 2003: 14-23
6EETim 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)
5EERobert J. Kauffman, Bin Wang, Tim Miller: Strategic 'Morphing' and the Survivability of E-commerce Firms. HICSS 2002: 217
4EETim Miller, Paul A. Strooper: Model-Based Specification Animation Using Testgraphs. ICFEM 2002: 192-203
3EERobert J. Kauffman, Tim Miller, Bin Wang: When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy. First Monday 7(7): (2002)
2EETim Miller, Paul A. Strooper: Combining the Animation and Testing of Abstract Data Types. APAQS 2001: 249-258
1EETim Miller, Paul A. Strooper: Animation Can Show Only the Presence of Errors, Never Their Absence. Australian Software Engineering Conference 2001: 76-88

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)