This page lists peer-reviewed publications that I have (co-)authored,
as well as some under preparation that are complete enough for
download. Most papers are downloadable, however, in many cases, these
are pre-print versions.
F. B. von der Osten, M. Kirley, and T. Miller: Anticipatory Stigmergic Collision Avoidance under Noise, Proceedings of the the Genetic and Evolutionary Computation Conference (GECCO 2014) (In press)
A. Lopez-Lorca, S. Pedell, T. Miller, and L. Sterling:
Don't Leave me Untouched: Considering Emotions in Personal Alarm Use and Development,
Health Care Informatics and Analytics -- Emerging Issues and Trends (In press)
S. Pedell, T. Miller, F. Vetere, L. Sterling, and S. Howard:
Tools for participation: Intergenerational technology design for the home.
International Journal of Design, 2014 (In press)
S. Pedell, F. Vetere, S. Howard, T. Miller, and L. Sterling: Shared artefacts as participatory Babel
fish. Proceedings of the 11th
Biennial Participatory Design Conference 2010. pages
167-170, ACM Press, 2010.
J. McGinnis and T. Miller: Amongst
first-class protocols. In: A. Artikis, G. O'Hare, K. Stathis, and
G. Vouros (Editors) Engineering
Societies in the Agents World
--- 8th International Workshop, Athens, Greece,
LNAI 4995, pages 208-223, 2008.
Ian Toyn, Rob Arthan, Leo Freitas, Tim Miller and Mark
Saaltink: An Update on the ISO Z Standard and
Tools. In 12th IEEE International
Conference on Engineering of Complex Computer Systems,
Auckland, New Zealand, 2007.
Tim Miller, Peter McBurney, Jarred McGinnis and Kostas Stathis:
First-class protocols for agent-based coordination of scientific
instruments. In Proceedings of the
Fifth International Workshop on Agent-based Computing for Enterprise
Collaboration (ACEC), 16th International IEEE Workshop on Enabling
Technologies and Infrastructures for Collaborative Enterprises (WETICE
2007), Paris, France, pages 41-46, IEEE Computer Society 2007.
David Domínguez, Floriana Grasso, Tim Miller, and Riccardo Serafin:
PIPS: An Integrated Environment for Health Care Delivery and Healthy
Lifestyle Support, In A. Moreno, U. Cortes, R. Annicchiarico and
J. Nealon (eds) Working notes of the
4th Workshop on Agents Applied in Health Care, ECAI 2006, Riva
del Garda, 29th August 2006.
R. Belecheanu, S. Munroe, M. Luck, T. Payne, T. Miller, M. Pechoucek,
P. McBurney: Commercial
applications of agents: Lessons, experiences and
challenges. Industrial Track,
Fifth International Joint Conference on Autonomous Agents and
Multi-Agent Systems (AAMAS 2006), ACM Press, pages 1549-1555,
Hakodate, Japan, May 2006. Awarded the DARPA Prize for Best Applied
and Industrial Paper at AAMAS 2006.
Tim Miller, Leo Freitas, Petra Malik, and Mark Utting: CZT Support for
In Fifth International Conference on
Integrated Formal Methods, pages 227-245, Springer, 2005.
(download from here).
Tim Miller and Peter McBurney: Multi-Agent System Specification using
TCOZ, In German Conference on
Multi-Agent System Technologies (MATES'05), LNCS 3550, pages
216-221, Springer, 2005. Also available as an extended
technical report version (ps, pdf)
Tim Miller and Paul Strooper: Model-Based
Animation using Testgraphs, In Proceedings of the International
Conference on Formal Engineering Methods (ICFEM'02), Springer
Verlag, pages 192-203, 2002. (technical report version: ps,