| Evaluating the quality of interaction in asynchronous discussion forums in fully online courses D Nandi, M Hamilton, J Harland Distance education 33 (1), 5-30, 2012 | 287 | 2012 |
| Declarative & procedural goals in intelligent agent systems M Winikoff, L Padgham, J Harland, J Thangarajah KR 2002, 470-481, 2002 | 263 | 2002 |
| A uniform proof-theoretic investigation of linear logic programming DJ Pym, JA Harland Journal of logic and Computation 4 (2), 175-207, 1994 | 144 | 1994 |
| Representation and Reasoning for Goals in BDI Agents. J Thangarajah, L Padgham, J Harland ACSC 2002, 259-265, 2002 | 96 | 2002 |
| The Aditi deductive database system J Vaghanl, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey, ... The VLDB Journal 3 (2), 245-288, 1994 | 94 | 1994 |
| Simplifying the development of intelligent agents M Winikoff, L Padgham, J Harland Australian Joint Conference on Artificial Intelligence, 557-568, 2001 | 90 | 2001 |
| Enhancing commitment machines M Winikoff, W Liu, J Harland International Workshop on Declarative Agent Languages and Technologies, 198-220, 2004 | 84 | 2004 |
| Programming in lygon: An overview J Harland, D Pym, M Winikoff International Conference on Algebraic Methodology and Software Technology …, 1996 | 84 | 1996 |
| Evaluating the dynamic behaviour of Python applications A Holkner, J Harland Proceedings of the Thirty-Second Australasian Conference on Computer Science …, 2009 | 82 | 2009 |
| The uniform proof-theoretic foundation of linear logic programming J Harland, D Pym LFCS, Department of Computer Science, University of Edinburgh, 1991 | 72 | 1991 |
| How active are students in online discussion forums? D Nandi, M Hamilton, J Harland, G Warburton Proceedings of the Thirteenth Australasian Computing Education Conference …, 2011 | 66 | 2011 |
| An introduction to deductive database languages and systems K Ramamohanarao, J Harland VLDB J. 3 (2), 107-122, 1994 | 59 | 1994 |
| On proactivity and maintenance goals S Duff, J Harland, J Thangarajah Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 57 | 2006 |
| Transforming learning of programming: a mentoring project D D'Souza, M Hamilton, J Harland, P Muir, C Thevathayan, C Walker Proceedings Tenth Australasain Computing Education Conference (ACE 2008), 1-10, 2008 | 54 | 2008 |
| Implementing the linear logic programming language Lygon M Winiko, J Harland International Logic Programming Symposium, 66-80, 1995 | 50 | 1995 |
| Resource-distribution via boolean constraints J Harland, D Pym International Conference on Automated Deduction, 222-236, 1997 | 49 | 1997 |
| Exploring programming assessment instruments: a classification scheme for examination questions J Sheard, A Carbone, D Chinn, MJ Laakso, T Clear, M De Raadt, ... Proceedings of the seventh international workshop on Computing education …, 2011 | 46 | 2011 |
| An operational semantics for the goal life-cycle in BDI agents J Harland, DN Morley, J Thangarajah, N Yorke-Smith Autonomous agents and multi-agent systems 28 (4), 682-719, 2014 | 44 | 2014 |
| Facebook versus Blackboard for supporting the learning of programming in a fully online course: the changing face of computing education M Maleko, D Nandi, M Hamilton, D D'Souza, J Harland 2013 Learning and Teaching in Computing and Engineering, 83-89, 2013 | 40 | 2013 |
| How difficult are exams? A framework for assessing the complexity of introductory programming exams J Sheard, A Carbone, D Chinn, T Clear, M Corney, D D'Souza, J Fenwick, ... Australian Computer Society (ACS) 136, 145-154, 2013 | 40 | 2013 |
