Tim Miller - Google Scholar

Cited by

	All	Since 2015
Citations	2536	1826
h-index	23	16
i10-index	51	31

640

320

160

480

20032004200520062007200820092010201120122013201420152016201720182019202011 9 13 26 40 52 49 86 94 75 100 118 132 119 152 312 622 467

Co-authors

Liz SonenbergComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Leon SterlingSwinburne University of TechnologyVerified email at swin.edu.au
Sonja PedellAssociate Professor at Swinburne University of TechnologyVerified email at swin.edu.au
Peter McBurneyKing's College LondonVerified email at kcl.ac.uk
Adrian R. PearceProfessor, School of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Frank VetereProfessor, School of Computing and Information Systems, University of Melbourne, AustraliaVerified email at unimelb.edu.au
Dr Antonette MendozaLecturer, Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Christian MuiseQueen's UniversityVerified email at queensu.ca
Paolo FelliFree University of Bozen-BolzanoVerified email at unibz.it
John ThangarajahRMIT universityVerified email at rmit.edu.au
Steve HowardProfessor, Computing & Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Ghassan BeydounProfessor, University of Technology Sydney, AustraliaVerified email at uow.edu.au
James HarlandProfessor of Computational Logic, RMIT UniversityVerified email at rmit.edu.au
Michal Pechoucek Professor of Computer Science, Czech Technical University, Head of Agent Technology CenterVerified email at fel.cvut.cz
Michael LuckDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
Lin PadghamProfessor of Artificial Intelligence, RMIT UniversityVerified email at rmit.edu.au
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Michael KirleyAssociate Professor, School of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Michael WinikoffProfessor, Victoria University of Wellington, New ZealandVerified email at vuw.ac.nz
Nir LipovetzkySenior Lecturer, The University of Melbourne, School of Computing and Information SystemsVerified email at unimelb.edu.au

Tim Miller

School of Computing and Information Systems, University of Melbourne

Verified email at unimelb.edu.au - Homepage

artificial intelligence human-agent interaction explainable AI AI planning computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Explanation in artificial intelligence: Insights from the social sciences T Miller Artificial Intelligence 267, 1-38, 2019	654	2019
Population aging and intergenerational transfers: Introducing age into national accounts A Mason, R Lee, AC Tung, MS Lai, T Miller Developments in the Economics of Aging, 89-122, 2009	191	2009
Explainable AI: Beware of inmates running the asylum or: How I learnt to stop worrying and love the social and behavioural sciences T Miller, P Howe, L Sonenberg arXiv preprint arXiv:1712.00547, 2017	124	2017
Iarpa janus benchmark-b face dataset C Whitelam, E Taborsky, A Blanton, B Maze, J Adams, T Miller, N Kalka, ... Proceedings of the IEEE Conference on Computer Vision and Pattern …, 2017	124	2017
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents S Munroe, T Miller, RA Belecheanu, M Pěchouček, P McBurney, M Luck The Knowledge Engineering Review 21 (4), 345-392, 2006	79	2006
Planning over multi-agent epistemic states: A classical planning approach C Muise, V Belle, P Felli, S McIlraith, T Miller, AR Pearce, L Sonenberg Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015	67	2015
Model-based test oracle generation for automated unit testing of agent systems L Padgham, Z Zhang, J Thangarajah, T Miller IEEE Transactions on Software Engineering 39 (9), 1230-1244, 2013	60	2013
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems T Miller, S Pedell, AA Lopez-Lorca, A Mendoza, L Sterling, A Keirnan Journal of Systems and Software 105, 54-71, 2015	53	2015
Using dependency structures for prioritization of functional test suites S Haidry, T Miller IEEE Transactions on Software Engineering 39 (2), 258-275, 2013	51*	2013
Commercial applications of agents: Lessons, experiences and challenges RA Belecheanu, S Munroe, M Luck, T Payne, T Miller, P McBurney, ... Proceedings of the fifth international joint conference on Autonomous agents …, 2006	51	2006
Population aging and intergenerational transfers: introducing age into national income accounts A Mason, R Lee, AC Tung, MS Lai, T Miller Developments in the Economics of Aging, 89-122, 2009	46	2009
Amongst first-class protocols T Miller, J McGinnis International Workshop on Engineering Societies in the Agents World, 208-223, 2007	46	2007
Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator T Miller, B Lu, L Sterling, G Beydoun Software Engineering, IEEE Transactions on 40 (10), 1007 - 1024, 2014	45	2014
The rise of the intergenerational state: aging and development T Miller Population aging and the generational economy, 161-184, 2011	38	2011
A framework and tool support for the systematic testing of model-based specifications T Miller, P Strooper ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 409-439, 2003	36	2003
Using constraints and process algebra for specification of first-class agent interaction protocols T Miller, P McBurney International Workshop on Engineering Societies in the Agents World, 245-264, 2006	34	2006
CZT support for Z extensions T Miller, L Freitas, P Malik, M Utting International Conference on Integrated Formal Methods, 227-245, 2005	30	2005
Contrastive explanation: A structural-model approach T Miller arXiv preprint arXiv:1811.03163, 2018	26	2018
Understanding socially oriented roles and goals through motivational modelling T Miller, S Pedell, L Sterling, F Vetere, S Howard Journal of Systems and Software 85 (9), 2160-2170, 2012	26	2012
Animation can show only the presence of errors, never their absence T Miller, P Strooper Proceedings 2001 Australian Software Engineering Conference, 76-85, 2001	26	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors