Tim Miller

Shifa-e-Zehra Haidry, Tim Miller: Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Trans. Software Eng. 39(2): 258-275 (2013)

Balaji Polepalli Ramesh, Rashmi Prasad, Tim Miller, Brian Harrington, Hong Yu: Automatic discourse connective detection in biomedical text. JAMIA 19(5): 800-808 (2012)

Tim Miller, Sonja Pedell, Leon Sterling, Frank Vetere, Steve Howard: Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software 85(9): 2160-2170 (2012)

Tim Miller, Paul A. Strooper: A case study in model-based testing of specifications and implementations. Softw. Test., Verif. Reliab. 22(1): 33-63 (2012)

Tim Miller, Peter McBurney: Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols. Computational Intelligence 27(3): 422-457 (2011)

Dingcheng Li, Tim Miller, William Schuler: A Pronoun Anaphora Resolution System based on Factorial Hidden Markov Models. ACL 2011: 1169-1178

Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard: Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems. AAMAS Workshops 2011: 80-95

Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard, Jeni Paay: Substantiating quality goals with field data for socially-oriented requirements engineering. AAMAS 2011: 1185-1186

Jacob Dumesny, Tim Miller, Michael Kirley, Liz Sonenberg: TATM: A Trust Mechanism for Social Traders in Double Auctions. Australasian Conference on Artificial Intelligence 2011: 402-411

William Schuler, Samir AbdelRahman, Tim Miller, Lane Schwartz: Broad-Coverage Parsing Using Human-Like Memory Constraints. Computational Linguistics 36(1): 1-30 (2010)

Tim Miller, Sonja Pedell, Leon Sterling, Bin Lu: Engaging Stakeholders with Agent-Oriented Requirements Modelling. AOSE 2010: 62-78

Tim Miller, Lin Padgham, John Thangarajah: Test Coverage Criteria for Agent Interaction Testing. AOSE 2010: 91-105

Tim Miller, Peter McBurney: Characterising and matching iterative and recursive agent interaction protocols. AAMAS 2010: 1207-1214

Sonja Pedell, Frank Vetere, Steve Howard, Tim Miller, Leon Sterling: Shared artefacts as participatory Babel fish. PDC 2010: 167-170

Tim Miller, Luan Nguyen, William Schuler: Parsing Speech Repair without Specialized Grammar Symbols. ACL/IJCNLP (Short Papers) 2009: 277-280

Tim Miller: Word Buffering Models for Improved Speech Repair Parsing. EMNLP 2009: 737-745

Tim Miller: Improved Syntactic Models for Parsing Speech with Repairs. HLT-NAACL 2009: 656-664

Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterling, Steve Howard, Jeni Paay: Having fun at home: interleaving fieldwork and goal models. OZCHI 2009: 309-312

Tim Miller, William Schuler: A Unified Syntactic Model for Parsing Fluent and Disfluent Speech. ACL (Short Papers) 2008: 105-108

Tim Miller, Peter McBurney: On illegal composition of first-class agent interaction protocols. ACSC 2008: 127-136

Tim Miller, Peter McBurney: Annotation and Matching of First-Class Agent Interaction Protocols. ArgMAS 2008: 141-158

Tim Miller, Peter McBurney: Annotation and matching of first-class agent interaction protocols. AAMAS (2) 2008: 805-812

Tim Miller, William Schuler: A Syntactic Time-Series Model for Parsing Fluent and Disfluent Speech. COLING 2008: 569-576

William Schuler, Samir AbdelRahman, Tim Miller, Lane Schwartz: Toward a Psycholinguistically-Motivated Model of Language Processing. COLING 2008: 785-792

Tim Miller, Peter McBurney: A formal semantics for Gaia liveness rules and expressions. IJAOSE 1(3/4): 435-476 (2007)

Venkata Krishnan, Tim Miller, Herman Paraison: Dolphin express: A transparent approach to enhancing PCI Express. CLUSTER 2007: 464-467

Tim Miller, Jarred McGinnis: Amongst First-Class Protocols. ESAW 2007: 208-223

Tim Miller, Andrew Exley, William Schuler: Elements of a spoken language programming interface for robots. HRI 2007: 231-237

Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis: First-Class Protocols for Agent-Based Coordination of Scientific Instruments. WETICE 2007: 41-46

Robert J. Kauffman, Tim Miller, Bin Wang: Reflections on: When Internet companies morph. First Monday 11(SI-6) (2006)

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)

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

Tim Miller, Peter McBurney: Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. ESAW 2006: 245-264

William Schuler, Tim Miller, Stephen Wu, Andrew Exley: Dynamic evidence models in a DBN phone recognizer. INTERSPEECH 2006

Shana Watters, Brian McInnes, David McKoskey, Tim Miller, Daniel Boley, Maria L. Gini, William Schuler, A. Polukeyeva, Jeanette K. Gundel, Sergey V. Pakhomov, Guergana Savova: Using Volunteers to Annotate Biomedical Corpora for Anaphora Resolution. AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors 2005: 117-

Shana Watters, Tim Miller, Praveen Balachandran, William Schuler, Richard M. Voyles: Exploiting a sensed environment to improve human-agent communication. AAMAS 2005: 44-50

Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245

William Schuler, Tim Miller: Integrating denotational meaning into a DBN language model. INTERSPEECH 2005: 901-904

Tim Miller, Peter McBurney: Multi-agent System Specification Using TCOZ. MATES 2005: 216-221

Jennifer J. Burg, Tim Miller: Fractal Computation in Step with Real-Time Dance. ISCA PDCS 2004: 1-6

Tim Miller, Paul A. Strooper: A Case Study in Specification and Implementation Testing. APSEC 2004: 130-139

Roger Duke, Tim Miller, Paul A. Strooper: Integrating Formal Specification and Software Verification and Validation. TFM 2004: 124-139

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)

Tim Miller, Paul A. Strooper: Supporting the Software Testing Process through Specification Animation. SEFM 2003: 14-23

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)

Robert J. Kauffman, Bin Wang, Tim Miller: Strategic 'Morphing' and the Survivability of E-commerce Firms. HICSS 2002: 217

Tim Miller, Paul A. Strooper: Model-Based Specification Animation Using Testgraphs. ICFEM 2002: 192-203

Tim Miller, Paul A. Strooper: Combining the Animation and Testing of Abstract Data Types. APAQS 2001: 249-258

Tim Miller, Paul A. Strooper: Animation Can Show Only the Presence of Errors, Never Their Absence. Australian Software Engineering Conference 2001: 76-88