Personal information

Emails & domains

Verified email domains

Websites & social links

James Harland's Home Page

Other IDs

ResearcherID: G-5924-2015

Keywords

inteligent agents, interactive narratives, automated reasoning, computer science education, busy bea

Countries

Australia

Activities

Collapse all

Employment (1)

RMIT University: Melbourne, Victoria, AU

1994-02 to present | Professor (Computer Science & IT)
Employment
Source: Self-asserted source
James Harland

Education and qualifications (1)

University of Edinburgh: Edinburgh, Edinburgh, GB

1991 | PhD (Computer Science)
Education
Source: Self-asserted source
James Harland

Professional activities (5)

IEEE Computer Society: Washington D.C., District of Columbia, US

Membership
Source: Self-asserted source
James Harland

Association for Symbolic Logic: Storrs, Connecticut, US

Membership
Source: Self-asserted source
James Harland

Association for Computing Machinery: New York, US

Membership
Source: Self-asserted source
James Harland

IEEE Computer Society: Washington D.C., District of Columbia, US

2020-01-01 to present | Associate Editor IEEE Acccess Section on Education (IEEE Education Society)
Service
Source: Self-asserted source
James Harland

Association for Computing Machinery: New York, US

2019-01-01 to 2024-12-31 | Co-Editor-in-Chief (ACM Inroads)
Service
Source: Self-asserted source
James Harland

Works (50 of 149)

Items per page:
Page 1 of 3

Cultural influence on RE activities: An extended analysis of state of the art

2024-09-21 | Conference paper
DOI: 10.1145/3640471.3680236
Contributors: Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Editors' Message

ACM Inroads
2024-05-10 | Journal article
DOI: 10.1145/3663751
SOURCE-WORK-ID:

231119

Part of ISSN: 2153-2184
Contributors: M Hamilton; James Harland
Source: check_circle
Elements at RMIT

Analyzing Spatiotemporal Congestion Value on Urban Road Networks based on Taxi GPS Data

2024-01-01 | Conference paper
DOI: 10.54808/IMCIC2024.01.32
SOURCE-WORK-ID:

231120

Part of ISSN: 2771-5914
Contributors: R Alshikhe; V Jindal; James Harland; Nagib Callaos; Belkis Sánchez; Shigehiro Hashimoto; Michael Savoie; Natalja Lace
Source: check_circle
Elements at RMIT

Cultural Influence on Autonomous Vehicles Acceptance

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering
2024-01-01 | Conference paper
DOI: 10.1007/978-3-031-63992-0_37
SOURCE-WORK-ID:

236009

Part of ISSN: 1867-8211
Contributors: C S Muzammel; Maria Spichkova; James Harland
Source: check_circle
Elements at RMIT

Application of Property-based Testing Tools for Metamorphic Testing

2022-01-01 | Conference paper
DOI: 10.5220/0011101700003176
SOURCE-WORK-ID:

127897
Contributors: Nasser Alzahrani; Maria Spichkova; James Harland
Source: check_circle
Elements at RMIT

Editors' message

ACM Inroads
2022-01-01 | Journal article
DOI: 10.1145/3555689
SOURCE-WORK-ID:

137276

Part of ISSN: 2153-2184
Contributors: Margaret Hamilton; James Harland
Source: check_circle
Elements at RMIT

Generating candidate busy beaver machines (or how to build the zany zoo)

Theoretical Computer Science
2022-01-01 | Journal article
DOI: 10.1016/j.tcs.2022.04.040
SOURCE-WORK-ID:

126372

Part of ISSN: 0304-3975
Contributors: James Harland
Source: check_circle
Elements at RMIT

Quantifying the progress of goals in intelligent agents

International Journal of Agent-Oriented Software Engineering
2022-01-01 | Journal article
DOI: 10.1504/IJAOSE.2022.122640
SOURCE-WORK-ID:

128339

Part of ISSN: 1746-1375
Contributors: James Harland; John Thangarajah; Neil Yorke-Smith
Source: check_circle
Elements at RMIT

Impact of Organisational Culture on the Requirement Engineering Activities

Proceedings of the IEEE International Conference on Requirements Engineering
2021-01-01 | Conference paper
DOI: 10.1109/RE51729.2021.00053
SOURCE-WORK-ID:

127894

Part of ISSN: 1090-705X
Contributors: Maria Spichkova; Tawfeeq Alsanoosy; James Harland
Source: check_circle
Elements at RMIT

A framework for identifying cultural influences on requirements engineering activities

2020-01-01 | Conference paper
SOURCE-WORK-ID:

120391
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland; Doug Vogel; Kathy Ning Shen; Pan Shan Ling; Carol Hsu; James Y L Thong; Marco de Marco; Moez Limayem et al.
Source: check_circle
Elements at RMIT

Cultural influence on requirements engineering activities: a systematic literature review and analysis

Requirements Engineering
2020-01-01 | Journal article
DOI: 10.1007/s00766-019-00326-9
SOURCE-WORK-ID:

114104

Part of ISSN: 0947-3602
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland
Source: check_circle
Elements at RMIT

Does our culture influence requirements engineering activities? Vietnamese practitioners' view

Proceedings of the IEEE International Conference on Requirements Engineering
2020-01-01 | Conference paper
DOI: 10.1109/RE48521.2020.00054
SOURCE-WORK-ID:

120343

Part of ISSN: 1090-705X
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland; Travis Breaux; Andrea Zisman; Samuel Fricker; Martin Glinz
Source: check_circle
Elements at RMIT

Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile

Procedia Computer Science
2020-01-01 | Conference paper
DOI: 10.1016/j.procs.2020.09.059
SOURCE-WORK-ID:

120388

Part of ISSN: 1877-0509
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland; Matteo Cristani; Carlos Toro; Cecilia Zanni-Merk; Robert J Howlett; Lakhmi C Jain
Source: check_circle
Elements at RMIT

Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering

2020-01-01 | Conference paper
DOI: 10.1145/3383219.3383266
SOURCE-WORK-ID:

120368
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland
Source: check_circle
Elements at RMIT

Identification of Cultural Influences on Requirements Engineering Activities

Proceedings - International Conference on Software Engineering
2020-01-01 | Conference paper
DOI: 10.1145/3377812.3390804
SOURCE-WORK-ID:

120324

Part of ISSN: 0270-5257
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland
Source: check_circle
Elements at RMIT

A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process

Communications in Computer and Information Science
2019-01-01 | Conference paper
DOI: 10.1007/978-3-030-22559-9_11
SOURCE-WORK-ID:

120536

Part of ISSN: 1865-0929
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland; Ernesto Damiani; George Spanoudakis; Leszek A Maciaszek
Source: check_circle
Elements at RMIT

Cultural Influence on Requirements Engineering Activities: Australian Practitioners’ View

2019-01-01 | Conference paper
SOURCE-WORK-ID:

119522
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland
Source: check_circle
Elements at RMIT

Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives

2019-01-01 | Conference paper
DOI: 10.1145/3341215.3356314
SOURCE-WORK-ID:

114263
Contributors: Jessica Rivera Villicana; Fabio Zambetta; James Harland; Marsha Berry
Source: check_circle
Elements at RMIT

The influence of power distance on requirements engineering activities

Procedia Computer Science
2019-01-01 | Conference paper
DOI: 10.1016/j.procs.2019.09.414
SOURCE-WORK-ID:

119526

Part of ISSN: 1877-0509
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland; Imre J Rudas; Csirik Janos; Carlos Toro; Janos Botzheim; Robert J Howlett; Lakhmi C Jain
Source: check_circle
Elements at RMIT

Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia

2018-01-01 | Conference paper
DOI: 10.5220/0006770701590168
SOURCE-WORK-ID:

108437
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland; Ernesto Damiani; George Spanoudakis; Leszek Maciaszek
Source: check_circle
Elements at RMIT

Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice

2018-01-01 | Conference paper
DOI: 10.1109/ICECCS2018.2018.00015
SOURCE-WORK-ID:

119520

Part of ISSN: 2770-8527
Contributors: Tawfeeq Alsanoosy; Maria Spichkova; James Harland
Source: check_circle
Elements at RMIT

IELTS: Student and supervisor perceptions of writing competencies for a Computer Science PhD

2018-01-01 | Report
SOURCE-WORK-ID:

144603
Contributors: Alexandra Uitdenbogerd; Kath Lynch; James Harland; Charles Thevathayan; Margaret Hamilton; Daryl D'Souza; Sarah Zydervelt
Source: check_circle
Elements at RMIT

Informing a BDI Player Model for an Interactive Narrative

2018-01-01 | Conference paper
DOI: 10.1145/3242671.3242700
SOURCE-WORK-ID:

109965
Contributors: Jessica Rivera Villicana; Fabio Zambetta; James Harland; Marsha Berry
Source: check_circle
Elements at RMIT

A framework for automatically ensuring the conformance of agent designs

Journal of Systems and Software
2017-01-01 | Journal article
DOI: 10.1016/j.jss.2017.05.098
SOURCE-WORK-ID:

104242

Part of ISSN: 0164-1212
Contributors: Yoosef Abushark; John Thangarajah; James Harland; Tim Miller
Source: check_circle
Elements at RMIT

Requirements specification via activity diagrams for agent-based systems

Autonomous Agents and Multi-Agent Systems
2017-01-01 | Journal article
DOI: 10.1007/s10458-016-9327-7
SOURCE-WORK-ID:

103346

Part of ISSN: 1387-2532
Contributors: Yoosef Abushark; Tim Miller; John Thangarajah; Michael Winikoff; James Harland
Source: check_circle
Elements at RMIT

Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo)

2016-10-11 | Other
SOURCE-WORK-ID:

183067
Contributors: James Harland
Source: check_circle
Elements at RMIT

Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)

Theoretical Computer Science
2016-09 | Journal article
DOI: 10.1016/j.tcs.2016.07.016
Contributors: James Harland
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons)

2016-02-10 | Other
SOURCE-WORK-ID:

183066
Contributors: James Harland
Source: check_circle
Elements at RMIT

A systematic approach for detecting defects in agent designs

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
2016-01-01 | Conference paper
DOI: 10.1000/1629faketemporaryforimport
SOURCE-WORK-ID:

120844

Part of ISSN: 1548-8403
Contributors: Yoosef Bassam Abushark; John Thangarajah; James Harland; Tim Miller
Source: check_circle
Elements at RMIT

Formal behavioural models to facilitate distributed development and commissioning in industrial automation

2016-01-01 | Conference paper
DOI: 10.5220/0005928303630369
SOURCE-WORK-ID:

101876
Contributors: James Harland; Jan Olaf Blech; Ian Peake; Luke Trodd; L Maciaszek; J Filipe
Source: check_circle
Elements at RMIT

Online support system for transnational education

2016-01-01 | Conference paper
SOURCE-WORK-ID:

101735
Contributors: Maria Spichkova; James Harland; Alharthi Ahmed; Ataur Rahman; Vojislav Ilic eds
Source: check_circle
Elements at RMIT

Preference-based reasoning in BDI agent systems

Autonomous Agents and Multi-Agent Systems
2016-01-01 | Journal article
DOI: 10.1007/s10458-015-9288-2
SOURCE-WORK-ID:

99200

Part of ISSN: 1387-2532
Contributors: Simeon Visser; John Thangarajah; James Harland; Frank Dignum
Source: check_circle
Elements at RMIT

Requirements specification in the Prometheus methodology via activity diagrams

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
2016-01-01 | Conference paper
SOURCE-WORK-ID:

101104

Part of ISSN: 1548-8403
Contributors: Yoosef Bassam Abushark; John Thangarajah; Tim Miller; Michael Winikoff; James Harland
Source: check_circle
Elements at RMIT

Towards a BDI player model for interactive narratives

Frontiers in Artificial Intelligence and Applications
2016-01-01 | Conference paper
DOI: 10.3233/978-1-61499-672-9-1648
SOURCE-WORK-ID:

139045

Part of ISSN: 0922-6389
Contributors: Jessica Rivera Villicana; Fabio Zambetta; James Harland; Marsha Berry; Gal A Kaminka; Maria Fox; Paolo Bouquet; Eyke Hüllermeier; Virginia Dignum; Frank Dignum et al.
Source: check_circle
Elements at RMIT

Using BDI to model players behaviour in an interactive fiction game

Lecture Notes in Computer Science
2016-01-01 | Conference paper
DOI: 10.1007/978-3-319-48279-8_19
SOURCE-WORK-ID:

142484

Part of ISSN: 1611-3349
Contributors: Jessica Rivera Villicana; Fabio Zambetta; James Harland; Marsha Berry; F Nack; A S Gordon
Source: check_circle
Elements at RMIT

Aborting, suspending, and resuming goals and plans in BDI agents

Autonomous Agents and Multi-Agent Systems
2015-01-01 | Journal article
DOI: 10.1007/s10458-015-9322-4
SOURCE-WORK-ID:

99198

Part of ISSN: 1387-2532
Contributors: James Harland; David Morley; John Thangarajah; Neil Yorke-Smith
Source: check_circle
Elements at RMIT

Early detection of design faults relative to requirement specifications in agent-based models

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
2015-01-01 | Conference paper
SOURCE-WORK-ID:

189712

Part of ISSN: 1548-8403
Contributors: Y Abushark; John Thangarajah; T Miller; James Harland; M Winikoff
Source: check_circle
Elements at RMIT

Early detection of design faults relative to requirement specifications in agent-based models

2015-01-01 | Conference paper
SOURCE-WORK-ID:

96253
Contributors: Yoosef Abushark; John Thangarajah; Tim Miller; James Harland; Michael Winikoff; Rafael H Bordini; Edith Elkind; Gerhard Weiss; Pinar Yolum
Source: check_circle
Elements at RMIT

Estimating the progress of maintenance goals

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
2015-01-01 | Conference paper
SOURCE-WORK-ID:

96250

Part of ISSN: 1548-8403
Contributors: John Thangarajah; James Harland; Neil Yorke-Smith; Rafael H Bordini; Edith Elkind; Gerhard Weiss; Pinar Yolum
Source: check_circle
Elements at RMIT

Investigation of participation and quality of online interaction

International Journal of Modern Education and Computer Science
2015-01-01 | Journal article
DOI: 10.5815/ijmecs.2015.08.04
SOURCE-WORK-ID:

99197

Part of ISSN: 2075-0161
Contributors: Dip Nandi; Margaret Hamilton; James Harland; Sharfuddin Mahmood
Source: check_circle
Elements at RMIT

Repository of wisdom: Automated support for composing programming exams

Conferences in Research and Practice in Information Technology Series
2015-01-01 | Conference paper
SOURCE-WORK-ID:

95526

Part of ISSN: 1445-1336
Contributors: Keith Foster; Daryl D'Souza; Margaret Hamilton; James Harland; Daryl D'Souza; Katrina Falkner
Source: check_circle
Elements at RMIT

What Factors Impact Student-Content Interaction in Fully Online Courses

International Journal of Modern Education and Computer Science
2015-01-01 | Journal article
DOI: 10.5815/ijmecs.2015.07.04
SOURCE-WORK-ID:

110393

Part of ISSN: 2075-0161
Contributors: Dip Nandi; Margaret Hamilton; James Harland
Source: check_circle
Elements at RMIT

An operational semantics for the goal life-cycle in BDI agents

Autonomous Agents and Multi-Agent Systems
2014-01-01 | Journal article
DOI: 10.1007/s10458-013-9238-9
SOURCE-WORK-ID:

91724

Part of ISSN: 1387-2532
Contributors: James Harland; David Morley; John Thangarajah; Neil Yorke-Smith
Source: check_circle
Elements at RMIT

Checking consistency of agent designs against interaction protocols for early-phase defect location

2014-01-01 | Conference paper
SOURCE-WORK-ID:

92247
Contributors: Yoosef Bassam Abushark; John Thangarajah; Tim Miller; James Harland; Alessio Lomuscio; Paul Scerri; Ana Bazzan; Michael Huhns
Source: check_circle
Elements at RMIT

Checking the correctness of agent designs against model-based requirements

Frontiers in Artificial Intelligence and Applications
2014-01-01 | Conference paper
DOI: 10.3233/978-1-61499-419-0-953
SOURCE-WORK-ID:

139061

Part of ISSN: 0922-6389
Contributors: Yoosef Abushark; Michael Winikoff; Tim Miller; James Harland; John Thangarajah; Torsten Schaub; Gerhard Friedrich; Barry O'Sullivan
Source: check_circle
Elements at RMIT

Detection and analysis of some redundancies in linear logic sequent proofs

Journal of Logic and Computation
2014-01-01 | Journal article
DOI: 10.1093/logcom/ext007
SOURCE-WORK-ID:

94305

Part of ISSN: 0955-792X
Contributors: Tatjana Lutovac; James Harland
Source: check_circle
Elements at RMIT

Four feed-forward principles enhance students' perception of feedback as meaningful

2014-01-01 | Conference paper
DOI: 10.1109/LaTiCE.2014.59
SOURCE-WORK-ID:

94391
Contributors: Arnold Pears; James Harland; Margaret Hamilton; Roger Hadgraft; B Aris
Source: check_circle
Elements at RMIT

Maintenance goals in intelligent agents

Computational Intelligence
2014-01-01 | Journal article
DOI: 10.1111/coin.12000
SOURCE-WORK-ID:

86309

Part of ISSN: 1467-8640
Contributors: Simon Duff; John Thangarajah; James Harland
Source: check_circle
Elements at RMIT

Quantifying the completeness of goals in BDI agent systems

Frontiers in Artificial Intelligence and Applications
2014-01-01 | Conference paper
DOI: 10.3233/978-1-61499-419-0-879
SOURCE-WORK-ID:

143073

Part of ISSN: 0922-6389
Contributors: John Thangarajah; James Harland; David Morley; Neil Yorke-Smith; Torsten Schaub; Gerhard Friedrich; Barry O'Sullivan
Source: check_circle
Elements at RMIT

Repository of wisdom: A database for storing and retrieving classified and benchmarked exam questions for introductory programming courses

2014-01-01 | Conference paper
SOURCE-WORK-ID:

160013
Contributors: Margaret Hamilton; Daryl D'Souza; James Harland; Erica Rosalina; Jocelyn Armarego
Source: check_circle
Elements at RMIT
Items per page:
Page 1 of 3

Peer review (2 reviews for 1 publication/grant)

Review activity for Annals of mathematics and artificial intelligence. (2)
How many people are using ORCID?