The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tim Miller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.033secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002