University home page

Find an ExpertProfiling the University of Melbourne's Researchers

DR TIMOTHY MILLER



Contact Details

Organization: Computer Science and Software Engineering
Position: LECTURER- SOFTWARE ENGINEERING
Email:
Homepage: http://www.csse.unimelb.edu.au/~tmill
Work: 0383441318
Room: 4.20
Level: 04
Building: Information And Communication Technology
Campus: Parkville

Research Expertise and International Linkages

Research Expertise

Research Interest Country of Expertise
Software Engineering Australia
Complex systems modelling for physiology Australia
Multi-agent Systems Australia

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
BACHELOR OF INFORMATION TECHNOLOGY The University of Queensland 31-Dec-2000
DOCTORATE IN COMPUTER SCIENCE The University of Queensland 12-Apr-2005

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2008

Conference Publications/Papers

Publications in 2007

Journal Articles

  • A Formal Semantics For Gaia Liveness Rules and Expressions
    Year: 2007
    Journal: International Journal of Agent-Oriented Software Engineering
    Volume: 1
    Issue: 3/4
    Page numbers: 435-476
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Using Constraints and Process Algebra for Specification of First-class Agent Interaction Protocols
    Year: 2007
    Event name: Engineering Societies in the Agents World VII
    Conference Publication: Engineering Societies in the Agents World VII (Lecture Notes in Computer Science)
    Volume: 4457
    Page numbers: 245-264
    Publisher: Springer-Verlag Heidelberg(Berlin)
    Author(s):
  • First-class Protocols for Agent-Based Coordination of Scientific Instruments
    Year: 2007
    Event name: ACEC 2007 - Fifth International Workshop on Agent-based Computing for Enterprise Collaboration
    Conference Publication: Proceedings of the 5th International Workshop on Agent-based Computing for Enterprise Collaboration
    Page numbers: 41-46
    Publisher: IEEE Computer Society(Los Alamitos)
    Author(s):

Publications in 2006

Journal Articles

  • Crossing the Agent Technology Chasm: Lessons, Experiences and Challenges in Commercial Applications of Agents
    Year: 2006
    Journal: Knowledge Engineering Review
    Volume: 21
    Issue: 4
    Page numbers: 345-392
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Commercial Applications of Agents: Lessons, Experiences and Challenges
    Year: 2006
    Event name: AAMAS 06 - 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems
    Conference Publication: Proceedings of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems
    Page numbers: 1549-1555
    Publisher: ACM Press(New York)
    Author(s):
  • PIPS: An Integrated Environment for Health Care Delivery and Healthy Lifestyle Support
    Year: 2006
    Event name: ECAI 2006 - 4th Workshop on Agents Applied in Health Care
    Conference Publication: Proceedings of the 4th Workshop on Agents Applied in Health Care
    Page numbers: 1-7
    Publisher: IOS Press(Amsterdam)
    Author(s):

Publications in 2005

Conference Publications/Papers

  • CZT Support for Z Extensions
    Year: 2005
    Event name: 5th International Conference on Integrated Formal Methods
    Conference Publication: Integrated Formal Methods (Lecture Notes in Computer Science)
    Page numbers: 227-245
    Publisher: Springer Verlag
    Author(s):
  • Multi-Agent System Specification Using TCOZ
    Year: 2005
    Event name: MATES '05 - Conference on Multiagent System Technologies
    Conference Publication: Multiagent System Technologies
    Volume: 3550
    Page numbers: 216-221
    Publisher: Springer Verlag
    Author(s):

Publications in 2004

Conference Publications/Papers

  • A Case Study in Specification and Implementation Testing
    Year: 2004
    Event name: APSEC 2004 - 11th Asia-Pacific Software Engineering Conference
    Conference Publication: Proceedings of the 11th Asia-Pacific Software Engineering Conference
    Page numbers: 130-139
    Publisher: IEEE Computer Society(Los Alamitos)
    Author(s):
  • Integrating Formal Specification and Software Verification and Validation
    Year: 2004
    Event name: Symposium on Teaching Formal Methods
    Conference Publication: Teaching Formal Methods (Lecture Notes in Computer Science)
    Volume: 3294
    Page numbers: 124-139
    Publisher: Springer Verlag
    Author(s):

Publications in 2003

Journal Articles

Conference Publications/Papers

Publications in 2002

Conference Publications/Papers

top of page