Search the dblp DataBase

Publications of Author

1. Jennifer J. Burg, Tim Miller
   Fractal Computation in Step with Real-Time Dance. [Citation Graph (0, 0)][DBLP]
   ISCA PDCS, 2004, pp:1-6 [Conf]
   
2. Tim Miller, Paul A. Strooper
   Combining the Animation and Testing of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
   APAQS, 2001, pp:249-258 [Conf]
   
3. Tim Miller, Paul A. Strooper
   A Case Study in Specification and Implementation Testing. [Citation Graph (0, 0)][DBLP]
   APSEC, 2004, pp:130-139 [Conf]
   
4. Tim Miller, Paul A. Strooper
   Animation Can Show Only the Presence of Errors, Never Their Absence. [Citation Graph (0, 0)][DBLP]
   Australian Software Engineering Conference, 2001, pp:76-88 [Conf]
   
5. Roxana Belecheanu, Steve Munroe, Michael Luck, Terry R. Payne, Tim Miller, Peter McBurney, Michal Pechoucek
   Commercial applications of agents: lessons, experiences and challenges. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2006, pp:1549-1555 [Conf]
   
6. Shana Watters, Tim Miller, Praveen Balachandran, William Schuler, Richard M. Voyles
   Exploiting a sensed environment to improve human-agent communication. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:44-50 [Conf]
   
7. Robert J. Kauffman, Bin Wang, Tim Miller
   Strategic 'Morphing' and the Survivability of E-commerce Firms. [Citation Graph (0, 0)][DBLP]
   HICSS, 2002, pp:217- [Conf]
   
8. Tim Miller, Paul A. Strooper
   Model-Based Specification Animation Using Testgraphs. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2002, pp:192-203 [Conf]
   
9. Tim Miller, Leo Freitas, Petra Malik, Mark Utting
   CZT Support for Z Extensions. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:227-245 [Conf]
   
10. Tim Miller, Peter McBurney
    Multi-agent System Specification Using TCOZ. [Citation Graph (0, 0)][DBLP]
    MATES, 2005, pp:216-221 [Conf]
    
11. Tim Miller, Paul A. Strooper
    Supporting the Software Testing Process through Specification Animation. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:14-23 [Conf]
    
12. Roger Duke, Tim Miller, Paul A. Strooper
    Integrating Formal Specification and Software Verification and Validation. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:124-139 [Conf]
    
13. Tim Miller, Andy Exley, William Schuler
    Elements of a spoken language programming interface for robots. [Citation Graph (0, 0)][DBLP]
    HRI, 2007, pp:231-237 [Conf]
    
14. Robert J. Kauffman, Tim Miller, Bin Wang
    When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy. [Citation Graph (0, 0)][DBLP]
    First Monday, 2002, v:7, n:7, pp:- [Journal]
    
15. Tim Miller, Paul A. Strooper
    A framework and tool support for the systematic testing of model-based specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:409-439 [Journal]
    
16. Tim Miller, Peter McBurney
    Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    ESAW, 2006, pp:245-264 [Conf]
    
17. 
    A Unified Syntactic Model for Parsing Fluent and Disfluent Speech. [Citation Graph (, )][DBLP]
    
    
18. 
    On illegal composition of first-class agent interaction protocols. [Citation Graph (, )][DBLP]
    
    
19. 
    Annotation and Matching of First-Class Agent Interaction Protocols. [Citation Graph (, )][DBLP]
    
    
20. 
    Annotation and matching of first-class agent interaction protocols. [Citation Graph (, )][DBLP]
    
    
21. 
    Characterising and matching iterative and recursive agent interaction protocols. [Citation Graph (, )][DBLP]
    
    
22. 
    Dolphin express: A transparent approach to enhancing PCI Express. [Citation Graph (, )][DBLP]
    
    
23. 
    A Syntactic Time-Series Model for Parsing Fluent and Disfluent Speech. [Citation Graph (, )][DBLP]
    
    
24. 
    Toward a Psycholinguistically-Motivated Model of Language Processing. [Citation Graph (, )][DBLP]
    
    
25. 
    Amongst First-Class Protocols. [Citation Graph (, )][DBLP]
    
    
26. 
    Improved Syntactic Models for Parsing Speech with Repairs. [Citation Graph (, )][DBLP]
    
    
27. 
    First-Class Protocols for Agent-Based Coordination of Scientific Instruments. [Citation Graph (, )][DBLP]
    
    
28. 
    Having fun at home: interleaving fieldwork and goal models. [Citation Graph (, )][DBLP]
    
    
29. 
    Word Buffering Models for Improved Speech Repair Parsing. [Citation Graph (, )][DBLP]
    
    
30. 
    Broad-Coverage Parsing Using Human-Like Memory Constraints. [Citation Graph (, )][DBLP]