Phonetic string matching: Lessons from information retrieval J Zobel, P Dart Proceedings of the 19th annual international ACM SIGIR conference on …, 1996 | 395 | 1996 |
Finding approximate matches in large lexicons J Zobel, P Dart Software: Practice and Experience 25 (3), 331-345, 1995 | 228 | 1995 |
A Regular Type Language for Logic Programs. PW Dart, J Zobel Types in logic programming, 157-187, 1992 | 126 | 1992 |
On derived dependencies and connected databases PW Dart The Journal of Logic Programming 11 (2), 163-188, 1991 | 67 | 1991 |
The NU-Prolog Debugging Environment. L Naish, PW Dart, J Zobel ICLP, 521-536, 1989 | 55 | 1989 |
Disincentives for communicating risk: a risk paradox C Schmidt, P Dart, L Johnston, L Sterling, P Thorne Information and Software Technology 41 (7), 403-411, 1999 | 32 | 1999 |
Efficient run-time type checking of typed logic programs PW Dart, J Zobel The Journal of Logic Programming 14 (1-2), 31-69, 1992 | 28 | 1992 |
Verifying model oriented specifications through animation E Kazmierczak, M Winikoff, P Dart Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998 | 26 | 1998 |
The NU-Prolog deductive database system K Ramamohanarao, J Shepherd, I Balbin, G Port, L Naish, J Thom, ... Prolog and databases: implementations and new directions, 212-250, 1989 | 26 | 1989 |
Enhancing project-based learning: Variations on mentoring P Dart, L Johnston, C Schmidt Proceedings of 1996 Australian Software Engineering Conference, 112-117, 1996 | 24 | 1996 |
Rapid prototyping using formal specifications M Winikoff, P Dart, E Kazmierczak Proceedings of the 21st Australasian Computer Science Conference, 279-294, 1998 | 23 | 1998 |
Combining logical agents with rapid prototyping for engineering distributed applications P Dart, E Kazmierczak, L Sterling, M Martelli, V Mascardi, F Zini, ... STEP'99. Proceedings Ninth International Workshop Software Technology and …, 1999 | 22 | 1999 |
Verifying requirements through mathematical modelling and animation E Kazmierczak, P Dart, L Sterling, M Winikoff International Journal of Software Engineering and Knowledge Engineering 10 …, 2000 | 19 | 2000 |
Dependency analysis and query interfaces for deductive databases PW Dart University of Melbourne, 1988 | 19 | 1988 |
Developing an accredited software engineering program P Dart, L Johnston, C Schmidt, L Sonenberg IEEE Software 14 (6), 66-70, 1997 | 16 | 1997 |
Conceptual schemas applied to deductive databases PW Dart, J Zobel Information Systems 13 (3), 273-287, 1988 | 15 | 1988 |
Analysis of software system requirements models E Haywood, P Dart Proceedings of 1996 Australian Software Engineering Conference, 131-138, 1996 | 14 | 1996 |
Towards requirements for requirements modelling tools E Haywood, P Dart Department of Computer Science, University of Melbourne, 1997 | 9 | 1997 |
Outsourcing Software Applications Development: Issues, Implications, and Impact R Abbas, P Dart, E Kazmierczak, F O'Brien TECHNICAL REPORT-UNIVERSITY OF MELBOURNE DEPARTMENT OF COMPUTER SCIENCE, 1997 | 9 | 1997 |
A hyperlinked persistent software development environment A Dearle, C Marlin, P Dart Proceedings of Hyper-Oz'92: A Workshop on Hypertext Activities in Australia …, 1992 | 8 | 1992 |