Tim Miller - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2224	1510
h-index	22	15
i10-index	49	28

620

310

155

465

20022003200420052006200720082009201020112012201320142015201620172018201920208 11 9 13 26 40 52 53 86 91 75 99 119 136 118 151 312 615 153

Co-authors

Leon SterlingSwinburne University of TechnologyVerified email at swin.edu.au
Liz SonenbergComputing and Information Systems, The University of MelbourneVerified email at unimelb.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, 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 cs.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
Michael KirleyAssociate Professor, School of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
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 WinikoffProfessor, Victoria University of Wellington, New ZealandVerified email at vuw.ac.nz
Frank DignumUmeå UniversityVerified email at cs.umu.se

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


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	493	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	184	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	100	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	90	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	78	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	61	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
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	50	2006
Using dependency structures for prioritization of functional test suites S Haidry, T Miller IEEE Transactions on Software Engineering 39 (2), 258-275, 2013	48*	2013
Amongst first-class protocols T Miller, J McGinnis International Workshop on Engineering Societies in the Agents World, 208-223, 2007	48	2007
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	47	2009
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	46	2015
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	42	2014
The rise of the intergenerational state: aging and development T Miller Population aging and the generational economy, 161-184, 2011	36	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	35	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	33	2006
Animation can show only the presence of errors, never their absence T Miller, P Strooper Proceedings 2001 Australian Software Engineering Conference, 76-85, 2001	28	2001
CZT support for Z extensions T Miller, L Freitas, P Malik, M Utting International Conference on Integrated Formal Methods, 227-245, 2005	27	2005
Model-based specification animation using testgraphs T Miller, P Strooper International Conference on Formal Engineering Methods, 192-203, 2002	25	2002
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	24	2012

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