|
2019 Journal Article Explanation in artificial intelligence: insights from the social sciencesMiller, Tim (2019). Explanation in artificial intelligence: insights from the social sciences. Artificial Intelligence, 267, 1-38. doi: 10.1016/j.artint.2018.07.007 |
|
2018 Journal Article Explaining Explanation, Part 4: A Deep Dive on Deep NetsHoffman, Robert, Miller, Tim, Mueller, Shane T., Klein, Gary and Clancey, William J. (2018). Explaining Explanation, Part 4: A Deep Dive on Deep Nets. Ieee Intelligent Systems, 33 (3), 87-95. doi: 10.1109/MIS.2018.033001421 |
|
2017 Journal Article A framework for automatically ensuring the conformance of agent designsAbushark, Yoosef, Thangarajah, John, Harland, James and Miller, Tim (2017). A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software, 131, 266-310. doi: 10.1016/j.jss.2017.05.098 |
|
2017 Journal Article Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systemsvon der Osten, Friedrich Burkhard, Kirley, Michael and Miller, Tim (2017). Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems. Scientific Reports, 7 2307. doi: 10.1038/s41598-017-02151-y |
|
2017 Journal Article Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab ProjectPedell, Sonja, Keirnan, Alen, Priday, Gareth, Miller, Tim, Mendoza, Antonette, Lopez-Lorca, Antonio and Sterling, Leon (2017). Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project. Technology Innovation Management Review, 7 (2), 7-19. |
|
2017 Journal Article Logics of Common GroundMiller, Tim, Pfau, Jens, Sonenberg, Liz and Kashima, Yoshihisa (2017). Logics of Common Ground. Journal of Artificial Intelligence Research, 58, 859-904. doi: 10.1613/jair.5381 |
|
2016 Journal Article Requirements specification via activity diagrams for agent-based systemsAbushark, Yoosef, Miller, Tim, Thangarajah, John, Winikoff, Michael and Harland, James (2016). Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems, 31 (3), 423-468. doi: 10.1007/s10458-016-9327-7 |
|
2015 Journal Article Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systemsMiller, Tim, Pedell, Sonja, Lopez-Lorca, Antonio A., Mendoza, Antonette, Sterling, Leon and Keirnan, Alen (2015). Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. Journal of Systems and Software, 105, 54-71. doi: 10.1016/j.jss.2015.03.044 |
|
2014 Journal Article Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround SimulatorMiller, Tim, Bin Lu, , Sterling, Leon, Beydoun, Ghassan and Taveter, Kuldar (2014). Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Transactions on Software Engineering, 40 (10), 1007-1024. doi: 10.1109/tse.2014.2339827 |
|
2013 Journal Article Efficient storage and retrieval in agent protocol libraries using subsumption hierarchiesMiller, Tim and McBurney, Peter (2013). Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent and Grid Systems, 9 (2), 101-134. doi: 10.3233/mgs-130202 |
|
2013 Journal Article Using Dependency Structures for Prioritization of Functional Test SuitesHaidry, Shifa-e-Zehra and Miller, Tim (2013). Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Transactions on Software Engineering, 39 (2), 258-275. doi: 10.1109/tse.2012.26 |
|
2012 Journal Article Understanding socially oriented roles and goals through motivational modellingMiller, Tim, Pedell, Sonja, Sterling, Leon, Vetere, Frank and Howard, Steve (2012). Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software, 85 (9), 2160-2170. doi: 10.1016/j.jss.2012.04.049 |
|
2012 Journal Article A case study in model-based testing of specifications and implementationsMiller, Tim and Strooper, Paul (2012). A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 22 (1), 33-63. doi: 10.1002/stvr.431 |
