Philip Dart

Cited by

	All	Since 2019
Citations	1187	98
h-index	15	4
i10-index	17	3

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 5 7 10 19 24 15 20 28 48 33 33 23 42 37 56 73 52 81 60 53 47 45 40 50 42 31 27 20 32 23 21 11 22 12 9

Co-authors

Justin ZobelComputing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Ed KazmierczakVerified email at pentanetwork.org
Leon SterlingUniversity of Melbourne & Swinburne University of TechnologyVerified email at swin.edu.au
Michael WinikoffProfessor, Victoria University of Wellington, New ZealandVerified email at vuw.ac.nz
Peter ThorneVerified email at livenet.com.au
John ShepherdComputer Science and Engineering (CSE), UNSWVerified email at cse.unsw.edu.au
Graeme PortUniversity of MelbourneVerified email at unimelb.edu.au
Isaac BalbinAssociate Professor of Database Systems, RMIT UniversityVerified email at rmit.edu.au
Floriano ZiniFree University of Bozen-BolzanoVerified email at unibz.it
Maurizio MartelliUniversity of GenovaVerified email at unige.it
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeVerified email at dartmouth.edu
Liz SonenbergComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Alan DearleUniversity of St AndrewsVerified email at st-andrews.ac.uk
Lee NaishComputing and Information Systems, University of Melbourne
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu

Philip Dart

School of Computing and Information Systems, The University of Melbourne

Verified email at unimelb.edu.au

Software Engineering Computing Systems


Title Sort by citations Sort by year Sort by 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	394	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors