Tim Miller

Cited by

	All	Since 2016
Citations	3549	2673
h-index	24	18
i10-index	61	34

1100

550

275

825

2002200320042005200620072008200920102011201220132014201520162017201820192020202110 14 10 15 26 41 51 57 87 89 72 101 120 136 119 162 313 626 1031 395

Public access

View all

33 articles

2 articles

available

not available

Based on funding mandates

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
Frank VetereProfessor, School of Computing and Information Systems, University of Melbourne, AustraliaVerified email at unimelb.edu.au
Adrian R. PearceProfessor, School of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Dr Antonette MendozaSenior Lecturer, 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
Paul StrooperThe University of QueenslandVerified email at rgbassurance.com.au
Antonio Alejandro (Alexi) Lopez-LorcaThe University of MelbourneVerified email at unimelb.edu.au
John ThangarajahRMIT universityVerified email at rmit.edu.au
Prashan MadumalSchool of Computing and Information Systems, The University of MelbourneVerified email at student.unimelb.edu.au
Steve HowardProfessor, Computing & Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Piers HoweUniversity 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
Yoosef AbusharkAssistant Professor, King Abdulaziz UniversityVerified email at kau.edu.sa
Eduardo VellosoSenior Lecturer, Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Eman AlatawiAssistant Professor in Software Engineering at Taibah UniversityVerified email at taibahu.edu.sa

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	1219	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	240	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	187	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	167	2017
Planning over multi-agent epistemic states: A classical planning approach C Muise, V Belle, P Felli, S McIlraith, T Miller, A Pearce, L Sonenberg Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015	80	2015
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents S Munroe, T Miller, RA Belecheanu, M Pechoucek, P McBurney, M Luck Knowledge engineering review 21 (4), 345, 2006	80	2006
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	64	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
Using dependency structures for prioritization of functional test suites S Haidry, T Miller IEEE Transactions on Software Engineering 39 (2), 258-275, 2013	59*	2013
Explainable reinforcement learning through a causal lens P Madumal, T Miller, L Sonenberg, F Vetere Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2493-2500, 2020	57	2020
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
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	50	2014
XAI—Explainable artificial intelligence D Gunning, M Stefik, J Choi, T Miller, S Stumpf, GZ Yang Science Robotics 4 (37), 2019	48	2019
Towards a grounded dialog model for explainable artificial intelligence P Madumal, T Miller, F Vetere, L Sonenberg arXiv preprint arXiv:1806.08055, 2018	48*	2018
Amongst first-class protocols T Miller, J McGinnis International Workshop on Engineering Societies in the Agents World, 208-223, 2007	46	2007
The rise of the intergenerational state: aging and development T Miller Population Aging and the Generational Economy, 161-184, 2011	43	2011
Contrastive explanation: A structural-model approach T Miller arXiv preprint arXiv:1811.03163, 2018	41	2018
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	38	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	36	2006
CZT support for Z extensions T Miller, L Freitas, P Malik, M Utting International Conference on Integrated Formal Methods, 227-245, 2005	32	2005

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