Philip W. Dart

Justin Zobel, Philip W. Dart: Partitioning Number Sequences into Optimal Subsequences. Journal of Research and Practice in Information Technology 32(2): 121-129 (2000)

Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff: Verifying Requirements Through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowledge Engineering 10(2): 251-273 (2000)

Anthony Senyard, Philip W. Dart, Leon Sterling: Towards the Software Engineering of Neural Networks: A Maturity Model. Australian Software Engineering Conference 2000: 45-52

Cameron Schmidt, Philip W. Dart, Lorraine Johnston, Leon Sterling, Peter Thorne: Disincentives for communicating risk: a risk paradox. Information & Software Technology 41(7): 403-411 (1999)

Edmund Kazmierczak, Michael Winikoff, Philip W. Dart: Verifying Model Oriented Specifications through Animation. APSEC 1998: 254-261

Paul Chesson, Lorraine Johnston, Philip W. Dart: Detecting and Resolving Temporal Ambiguities in User Interface Specifications. BCS HCI 1998: 177-188

Rasha Abbas, Philip W. Dart, Fergus O'Brien, Edmund Kazmierczak: Outsourcing for software applications development: issues, implications and impact. ECIS 1998: 628-642

Paul Chesson, Lorraine Johnston, Philip W. Dart: Towards a Framwork and Procedure for Specifying User Interfaces. EHCI 1998: 281-297

Philip W. Dart, Lorraine Johnston, Cameron Schmidt, Liz Sonenberg: Developing an Accredited Software Engineering Program. IEEE Software 14(6): 66-70 (1997)

Philip W. Dart, Lorraine Johnston, Cameron Schmidt: Enhancing Project-Based Learning: Variations on Mentoring. Australian Software Engineering Conference 1996: 112-117

Elizabeth Haywood, Philip W. Dart: Analysis of Software System Requirements Models. Australian Software Engineering Conference 1996: 131-

Elizabeth Haywood, Philip W. Dart: Analysis of Software System Requirements Models. ASYNC 1996: 131-

Justin Zobel, Philip W. Dart: Phonetic String Matching: Lessons from Information Retrieval. SIGIR 1996: 166-172

Justin Zobel, Philip W. Dart: Finding Approximate Matches in Large Lexicons. Softw., Pract. Exper. 25(3): 331-345 (1995)

Lorraine Johnston, Philip W. Dart: Building on Experience: An Undegraduate Course with Two Year-Long Projects. CSEE 1994: 345-357

Philip W. Dart, Justin Zobel: Efficient Run-Time Type Checking of Typed Logic Programs. J. Log. Program. 14(1&2): 31-69 (1992)

Philip W. Dart, Justin Zobel: A Regular Type Language for Logic Programs. Types in Logic Programming 1992: 157-187

Philip W. Dart: On Derived Dependencies and Connected Databases. J. Log. Program. 11(1&2): 163-188 (1991)

Kim Marriott, Harald Søndergaard, Philip W. Dart: A Characterization of Non-Floundering Logic Programs. NACLP 1990: 661-680

Lee Naish, Philip W. Dart, Justin Zobel: The NU-Prolog Debugging Environment. ICLP 1989: 521-536

Philip W. Dart, Justin Zobel: Conceptual schemas applied to deductive databases. Inf. Syst. 13(3): 273-287 (1988)

Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart: The NU-Prolog Deductive Database System. Prolog and Databases 1988: 212-250

Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart: The NU-Prolog Deductive Database System. IEEE Data Eng. Bull. 10(4): 10-19 (1987)