Incidental detection of prostate cancer with computed tomography scans
Korevaar, Steven, Tennakoon, Ruwan, Page, Mark, Brotchie, Peter, Thangarajah, John, Florescu, Cosmin, Sutherland, Tom, Kam, Ning Mao, Bab-Hadiashar, Alireza
Published in Scientific reports (12.04.2021)
Published in Scientific reports (12.04.2021)
Get full text
Journal Article
Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems
Padgham, L., Zhiyong Zhang, Thangarajah, J., Miller, T.
Published in IEEE transactions on software engineering (01.09.2013)
Published in IEEE transactions on software engineering (01.09.2013)
Get full text
Journal Article
A framework for modelling tactical decision-making in autonomous systems
Evertsz, Rick, Thangarajah, John, Yadav, Nitin, Ly, Thanh
Published in The Journal of systems and software (01.12.2015)
Published in The Journal of systems and software (01.12.2015)
Get full text
Journal Article
Preference-based reasoning in BDI agent systems
Visser, Simeon, Thangarajah, John, Harland, James, Dignum, Frank
Published in Autonomous agents and multi-agent systems (01.03.2016)
Published in Autonomous agents and multi-agent systems (01.03.2016)
Get full text
Journal Article
A framework for automatically ensuring the conformance of agent designs
Abushark, Yoosef, Thangarajah, John, Harland, James, Miller, Tim
Published in The Journal of systems and software (01.09.2017)
Published in The Journal of systems and software (01.09.2017)
Get full text
Journal Article
Requirements specification via activity diagrams for agent-based systems
Abushark, Yoosef, Miller, Tim, Thangarajah, John, Winikoff, Michael, Harland, James
Published in Autonomous agents and multi-agent systems (01.05.2017)
Published in Autonomous agents and multi-agent systems (01.05.2017)
Get full text
Journal Article
Integrating Skills and Simulation to Solve Complex Navigation Tasks in Infinite Mario
Dann, Michael, Zambetta, Fabio, Thangarajah, John
Published in IEEE transactions on games (01.03.2018)
Published in IEEE transactions on games (01.03.2018)
Get full text
Journal Article
Exploration in Continuous Control Tasks via Continually Parameterized Skills
Dann, Michael, Zambetta, Fabio, Thangarajah, John
Published in IEEE transactions on games (01.12.2018)
Published in IEEE transactions on games (01.12.2018)
Get full text
Journal Article
Aborting, suspending, and resuming goals and plans in BDI agents
Harland, James, Morley, David N., Thangarajah, John, Yorke-Smith, Neil
Published in Autonomous agents and multi-agent systems (01.03.2017)
Published in Autonomous agents and multi-agent systems (01.03.2017)
Get full text
Journal Article
An operational semantics for the goal life-cycle in BDI agents
Harland, James, Morley, David N., Thangarajah, John, Yorke-Smith, Neil
Published in Autonomous agents and multi-agent systems (01.07.2014)
Published in Autonomous agents and multi-agent systems (01.07.2014)
Get full text
Journal Article
Tool support for agent development using the Prometheus methodology
Padgham, L., John Thangarajah, Winikoff, M.
Published in Fifth International Conference on Quality Software (QSIC'05) (2005)
Published in Fifth International Conference on Quality Software (QSIC'05) (2005)
Get full text
Conference Proceeding