James Harland
Orcid: 0000-0001-8640-5137
According to our database1,
James Harland
authored at least 125 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Adjunct Proceedings of the 26th International Conference on Mobile Human-Computer Interaction, 2024
2022
Theor. Comput. Sci., 2022
Int. J. Agent Oriented Softw. Eng., 2022
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022
2021
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021
2020
Cultural influence on requirements engineering activities: a systematic literature review and analysis.
Requir. Eng., 2020
Does our culture influence requirements engineering activities? Vietnamese practitioners' view.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
A Framework for Identifying Cultural Influences on Requirements Engineering Activities.
Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering.
Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020
2019
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View.
Proceedings of the Information Systems Development: Information Systems Beyond 2020, 2019
Proceedings of the Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, 2019
2018
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018
Proceedings of the Annual Symposium on Computer-Human Interaction in Play, 2018
2017
J. Syst. Softw., 2017
Auton. Agents Multi Agent Syst., 2017
Auton. Agents Multi Agent Syst., 2017
2016
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons).
Theor. Comput. Sci., 2016
Auton. Agents Multi Agent Syst., 2016
Proceedings of the Interactive Storytelling, 2016
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation.
Proceedings of the ENASE 2016, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the 17th Australasian Computing Education Conference, 2015
2014
J. Log. Comput., 2014
Auton. Agents Multi Agent Syst., 2014
Proceedings of the 2014 International Conference on Teaching and Learning in Computing and Engineering, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Checking consistency of agent designs against interaction protocols for early-phase defect location.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
A contribution to automated-oriented reasoning about permutability of sequent calculi rules.
Comput. Sci. Inf. Syst., 2013
Proceedings of the 12th IEEE International Conference on Trust, 2013
Proceedings of the 2013 Learning and Teaching in Computing and Engineering, 2013
Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education.
Proceedings of the 2013 Learning and Teaching in Computing and Engineering, 2013
Proceedings of the 2013 Learning and Teaching in Computing and Engineering, 2013
Proceedings of the Nineteenth Computing: The Australasian Theory Symposium, 2013
How difficult are exams?: a framework for assessing the complexity of introductory programming exams.
Proceedings of the Fifteenth Australasian Computing Education Conference, 2013
Proceedings of the Fifteenth Australasian Computing Education Conference, 2013
A conceptual model for reflecting on expected learning vs. demonstrated student performance.
Proceedings of the Fifteenth Australasian Computing Education Conference, 2013
2012
Proceedings of the 16th Pacific Asia Conference on Information Systems, 2012
Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012
Proceedings of the Australasian Conference on Information Systems, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Proceedings of the IJCAI 2011, 2011
Exploring programming assessment instruments: a classification scheme for examination questions.
Proceedings of the Seventh International Workshop on Computing Education Research, 2011
Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created).
Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
2010
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010
2009
Proceedings of the Computer Science 2009, 2009
2008
VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.
Proceedings of the Service-Oriented Computing, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
Web Intell. Agent Syst., 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007
Proceedings of the Declarative Agent Languages and Technologies V, 2007
Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007
Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007
A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set.
Proceedings of the Progress in Artificial Life, Third Australian Conference, 2007
2006
J. Log. Comput., 2006
Proceedings of the Theory of Computing 2006, 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
2005
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005
2004
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics.
Proceedings of the 5th International Workshop on Strategies in Automated Deduction, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Expectation Reasoning Using Regret and Disappointment.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Declarative Agent Languages and Technologies II, 2004
2003
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
Proceedings of the Fifth Australasian Computing Education Conference (ACE 2003), 2003
2002
Proceedings of the Computational Logic in Multi-Agent Systems, 2002
Declarative & Procedural Goals in Intelligent Agent Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
Proceedings of the Computer Science 2002, 2002
Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids.
Proceedings of the Computer Science 2002, 2002
2001
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001
2000
Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000
Proceedings of the Computational Logic, 2000
1998
Filters for Graph Matching.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998
1997
Proceedings of the Automated Deduction, 1997
Problem based learning with technological support in an AI subject: description and evaluation.
Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997
1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Proceedings of the Logic Programming, 1995
1994
J. Log. Comput., 1994
Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures.
Proceedings of the Advances in Database Technology, 1994
1993
Status of the Aditi Deductive Database System.
Proceedings of the Logic Programming, 1993
Constraint Propagation for Linear Recursive Rules.
Proceedings of the Logic Programming, 1993
The Aditi Deductive Datebase System.
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993
An Aditi Implementation of a Flights Database.
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993
1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
On Normal Forms and Equivalence for Logic Programs.
Proceedings of the Logic Programming, 1992
Constraints for Query Optimization in Deductive Databases.
Proceedings of the Second Far-East Workshop on Future Database Systems 1992, 1992
1991
The Uniform Proof-Theoretic Foundation of Linear Logic Programming.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
A Clausal Form for the Completion of Logic Programs.
Proceedings of the Logic Programming, 1991
1989
A Kripke-like Model for Negation as Failure.
Proceedings of the Logic Programming, 1989
1987