James Harland

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 55

Top Venues

Inroads

CoRR

AAMAS

Auton. Agents Multi Agent Syst.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Margaret Hamilton, James Harland
Editors' Message. Inroads 15 (2) (2024)
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
Cultural influence on RE activities: An extended analysis of state of the art. CoRR (2024)
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
Cultural influence on autonomous vehicles acceptance. CoRR (2024)
Margaret Hamilton, James Harland
Editors' Message. Inroads 15 (1) (2024)
Margaret Hamilton, James Harland
Editors' Message. Inroads 14 (2) (2023)
Margaret Hamilton, James Harland
Editors' Message. Inroads 14 (3) (2023)
Margaret Hamilton, James Harland
Editors' Message. Inroads 14 (4) (2023)
Margaret Hamilton, James Harland
Editors' Message. Inroads 14 (1) (2023)
Margaret Hamilton, James Harland
Editors' message. Inroads 13 (3) (2022)
James Harland
Generating candidate busy beaver machines (or how to build the zany zoo). Theor. Comput. Sci. 922 (2022)
Nasser Alzahrani, Maria Spichkova, James Harland
Application of property-based testing tools for metamorphic testing. CoRR (2022)
Margaret Hamilton, James Harland
Editors' message. Inroads 13 (1) (2022)
Nasser Alzahrani, Maria Spichkova, James Harland
Application of Property-based Testing Tools for Metamorphic Testing. ENASE (2022)
Margaret Hamilton, James Harland
Editors' message. Inroads 13 (4) (2022)
Margaret Hamilton, James Harland
Editors' message. Inroads 13 (2) (2022)
James Harland, John Thangarajah, Neil Yorke-Smith
Quantifying the progress of goals in intelligent agents. Int. J. Agent Oriented Softw. Eng. 7 (2) (2022)
Margaret Hamilton, James Harland
Editors' message. Inroads 12 (4) (2021)
Margaret Hamilton, James Harland
Editors' message. Inroads 12 (1) (2021)
Margaret Hamilton, James Harland
Editors' message. Inroads 12 (2) (2021)
Maria Spichkova, Tawfeeq Alsanoosy, James Harland
Impact of Organisational Culture on the Requirement Engineering Activities. RE (2021)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. KES (2020)
Margaret Hamilton, James Harland
Editors' message. Inroads 11 (1) (2020)
Margaret Hamilton, James Harland
Editors' message. Inroads 11 (4) (2020)
Margaret Hamilton, James Harland
Editors' message. Inroads 11 (2) (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural influence on requirements engineering activities: a systematic literature review and analysis. Requir. Eng. 25 (3) (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Identification of cultural influences on requirements engineering activities. ICSE (Companion Volume) (2020)
Margaret Hamilton, James Harland
Editors' message. Inroads 11 (3) (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
A Framework for Identifying Cultural Influences on Requirements Engineering Activities. PACIS (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Does our culture influence requirements engineering activities? Vietnamese practitioners' view. RE (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. EASE (2020)
Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CoRR (2019)
Margaret Hamilton, James Harland
Editors' message. Inroads 10 (3) (2019)
Margaret Hamilton, James Harland
Editors' message. Inroads 10 (2) (2019)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
The influence of power distance on requirements engineering activities. KES (2019)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. ISD (2019)
Mark Bailey, Laurie A. Smith King, Margaret Hamilton, James Harland
Editors' message. Inroads 10 (1) (2019)
Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CHI PLAY (Companion) (2019)
Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
Informing a BDI Player Model for an Interactive Narrative. CoRR (2019)
Margaret Hamilton, James Harland
Editors' message. Inroads 10 (4) (2019)
Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
Informing a BDI Player Model for an Interactive Narrative. CHI PLAY (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. CoRR (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. ENASE (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. ICECCS (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process. ENASE (Selected Papers) (2018)
James Harland, David N. Morley, John Thangarajah, Neil Yorke-Smith
Aborting, suspending, and resuming goals and plans in BDI agents. Auton. Agents Multi Agent Syst. 31 (2) (2017)
Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland
Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. 31 (3) (2017)
Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller
A framework for automatically ensuring the conformance of agent designs. J. Syst. Softw. 131 (2017)
Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS (2016)
James Harland
Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons). CoRR (2016)
Simeon Visser, John Thangarajah, James Harland, Frank Dignum
Preference-based reasoning in BDI agent systems. Auton. Agents Multi Agent Syst. 30 (2) (2016)
James Harland
Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo). CoRR (2016)
James Harland
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons). Theor. Comput. Sci. 646 (2016)
James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. ENASE (2016)
Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
Towards a BDI Player Model for Interactive Narratives. ECAI (2016)
Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
Using BDI to Model Players Behaviour in an Interactive Fiction Game. ICIDS (2016)
John Thangarajah, James Harland, Neil Yorke-Smith
Estimating the Progress of Maintenance Goals. AAMAS (2015)
Keith Foster, Daryl J. D'Souza, Margaret Hamilton, James Harland
Repository of Wisdom: Automated Support for Composing Programming Exams. ACE (2015)
Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS (2015)
Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland
Checking consistency of agent designs against interaction protocols for early-phase defect location. AAMAS (2014)
Tatjana Lutovac, James Harland
Detection and analysis of some redundancies in linear logic sequent proofs. J. Log. Comput. 24 (1) (2014)
James Harland, David N. Morley, John Thangarajah, Neil Yorke-Smith
An operational semantics for the goal life-cycle in BDI agents. Auton. Agents Multi Agent Syst. 28 (4) (2014)
Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft
Four Feed-Forward Principles Enhance Students' Perception of Feedback as Meaningful. LaTiCE (2014)
John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
Quantifying the Completeness of Goals in BDI Agent Systems. ECAI (2014)
Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah
Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI (2014)
John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
Towards quantifying the completeness of BDI goals. AAMAS (2014)
Simon Duff, John Thangarajah, James Harland
Maintenance Goals in Intelligent Agents. Comput. Intell. 30 (1) (2014)
Richard Gluga, Judy Kay, Raymond Lister, Simon, Michael Charleston, James Harland, Donna Teague
A conceptual model for reflecting on expected learning vs. demonstrated student performance. ACE (2013)
Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft
What is Feedback? Connecting Student Perceptions to Assessment Practices. LaTiCE (2013)
James Harland
Busy Beaver Machines and the Observant Otter Heuristic. CATS (2013)
James Harland, Daryl J. D'Souza, Margaret Hamilton
A comparative analysis of results on programming exams. ACE (2013)
Judy Sheard, Simon, Angela Carbone, Donald Chinn, Tony Clear, Malcolm Corney, Daryl J. D'Souza, Joel Fenwick, James Harland, Mikko-Jussi Laakso, Donna Teague
How difficult are exams?: a framework for assessing the complexity of introductory programming exams. ACE (2013)
Wafaa Alsaggaf, Margaret Hamilton, James Harland
CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures. LaTiCE (2013)
Mercy Maleko, Dip Nandi, Margaret Hamilton, Daryl J. D'Souza, James Harland
Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education. LaTiCE (2013)
Tatjana Lutovac, James Harland
A contribution to automated-oriented reasoning about permutability of sequent calculi rules. Comput. Sci. Inf. Syst. 10 (3) (2013)
Charles Thevathayan, James Harland, Peter Bertók
An Endorsement Trust Model. TrustCom/ISPA/IUCC (2013)
Daryl J. D'Souza, James Harland, Margaret Hamilton, Wafaa Adnan Alsaggaf, Mikko-Jussi Laakso
The Use of Laptop Computers in Programming Lectures. ACIS (2012)
Simon, Daryl J. D'Souza, Judy Sheard, James Harland, Angela Carbone, Mikko-Jussi Laakso
Can computing academics assess the difficulty of programming examination questions? Koli Calling (2012)
Luke Trodd, James Harland, John Thangarajah
Agent deliberation via forward and backward chaining in linear logic. AAMAS (2012)
Jian Zhong, Vinod Mirchandani, Peter Bertók, James Harland
µ-Fractal Based Data Perturbation Algorithm For Privacy Protection. PACIS (2012)
Luke Trodd, James Harland, John Thangarajah
Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT (2012)
Simeon Visser, John Thangarajah, James Harland
Reasoning about preferences in BDI agent systems. AAMAS (2011)
James Harland
Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created). CATS (2011)
Simeon Visser, John Thangarajah, James Harland
Reasoning about Preferences in Intelligent Agent Systems. IJCAI (2011)
Judy Sheard, Simon, Angela Carbone, Donald Chinn, Mikko-Jussi Laakso, Tony Clear, Michael de Raadt, Daryl J. D'Souza, James Harland, Raymond Lister, Anne Philpott, Geoff Warburton
Exploring programming assessment instruments: a classification scheme for examination questions. ICER (2011)
John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
On the Life-Cycle of BDI Agent Goals. ECAI (2010)
John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. DALT (2010)
Joachim Gudmundsson, James Harland
Preface. Int. J. Found. Comput. Sci. 20 (1) (2009)
Alex Holkner, James Harland
Evaluating the dynamic behaviour of Python applications. ACSC (2009)
Nalaka Gooneratne, Zahir Tari, James Harland
VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC (2008)
John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
Suspending and resuming tasks in BDI agents. AAMAS (1) (2008)
Lavindra de Silva, Anthony Dekker, James Harland
Planning with Time Limits in BDI Agent Programming Languages. CATS (2007)
Nalaka Gooneratne, Zahir Tari, James Harland
Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS (2007)
Duc Quang Pham, James Harland
Temporal linear logic as a basis for flexible agent interactions. AAMAS (2007)
Min Xu, Lin Padgham, Aloys Mbala, James Harland
Tracking reliability and helpfulness in agent interactions. Web Intell. Agent Syst. 5 (1) (2007)
John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
Aborting tasks in BDI agents. AAMAS (2007)
Nalaka Gooneratne, Zahir Tari, James Harland
Verification of web service descriptions using graph-based traversal algorithms. SAC (2007)
Ken Gardiner, James Harland, Margaret Hamilton
A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set. ACAL (2007)
Duc Quang Pham, James Harland, Michael Winikoff
Modeling Agents' Choices in Temporal Linear Logic. DALT (2007)
James Harland
Analysis of Busy Beaver Machines via Induction Proofs. CATS (2007)
Tatjana Lutovac, James Harland
Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16 (1) (2006)

James Harland.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Harland