Follow
Philip Dart
Philip Dart
School of Computing and Information Systems, The University of Melbourne
Verified email at unimelb.edu.au
Title
Cited by
Cited by
Year
Phonetic string matching: Lessons from information retrieval
J Zobel, P Dart
Proceedings of the 19th annual international ACM SIGIR conference on …, 1996
3911996
Finding approximate matches in large lexicons
J Zobel, P Dart
Software: Practice and Experience 25 (3), 331-345, 1995
2281995
A Regular Type Language for Logic Programs.
PW Dart, J Zobel
Types in logic programming, 157-187, 1992
1261992
On derived dependencies and connected databases
PW Dart
The Journal of Logic Programming 11 (2), 163-188, 1991
671991
The NU-Prolog Debugging Environment.
L Naish, PW Dart, J Zobel
ICLP, 521-536, 1989
531989
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
311999
Efficient run-time type checking of typed logic programs
PW Dart, J Zobel
The Journal of Logic Programming 14 (1-2), 31-69, 1992
281992
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
261989
Verifying model oriented specifications through animation
E Kazmierczak, M Winikoff, P Dart
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
251998
A Characterization of Non-Floundering Logic Programs.
K Marriott, H Søndergaard, PW Dart
NACLP, 661-680, 1990
251990
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
231999
Rapid prototyping using formal specifications
M Winikoff, P Dart, E Kazmierczak
Proceedings of the 21st Australasian Computer Science Conference, 279-294, 1998
231998
Enhancing project-based learning: Variations on mentoring
P Dart, L Johnston, C Schmidt
Proceedings of 1996 Australian Software Engineering Conference, 112-117, 1996
231996
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
192000
Dependency analysis and query interfaces for deductive databases
PW Dart
University of Melbourne, 1988
191988
Developing an accredited software engineering program
P Dart, L Johnston, C Schmidt, L Sonenberg
IEEE Software 14 (6), 66-70, 1997
161997
Conceptual schemas applied to deductive databases
PW Dart, J Zobel
Information Systems 13 (3), 273-287, 1988
161988
Analysis of software system requirements models
E Haywood, P Dart
Proceedings of 1996 Australian Software Engineering Conference, 131-138, 1996
141996
Towards requirements for requirements modelling tools
E Haywood, P Dart
Department of Computer Science, University of Melbourne, 1997
91997
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
91997
The system can't perform the operation now. Try again later.
Articles 1–20