dblp.uni-trier.dewww.uni-trier.de

Philip W. Dart

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2000
22EEAnthony Senyard, Philip W. Dart, Leon Sterling: Towards the Software Engineering of Neural Networks: A Maturity Model. Australian Software Engineering Conference 2000: 45-52
21 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)
20 Justin Zobel, Philip W. Dart: Partitioning Number Sequences into Optimal Subsequences. Journal of Research and Practice in Information Technology 32(2): 121-129 (2000)
1999
19EECameron 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)
1998
18EEEdmund Kazmierczak, Michael Winikoff, Philip W. Dart: Verifying Model Oriented Specifications through Animation. APSEC 1998: 254-261
17 Paul Chesson, Lorraine Johnston, Philip W. Dart: Detecting and Resolving Temporal Ambiguities in User Interface Specifications. BCS HCI 1998: 177-188
16 Paul Chesson, Lorraine Johnston, Philip W. Dart: Towards a Framwork and Procedure for Specifying User Interfaces. EHCI 1998: 281-297
1997
15 Philip W. Dart, Lorraine Johnston, Cameron Schmidt, Liz Sonenberg: Developing an Accredited Software Engineering Program. IEEE Software 14(6): 66-70 (1997)
1996
14EEElizabeth Haywood, Philip W. Dart: Analysis of Software System Requirements Models. ASYNC 1996: 131-
13EEPhilip W. Dart, Lorraine Johnston, Cameron Schmidt: Enhancing Project-Based Learning: Variations on Mentoring. Australian Software Engineering Conference 1996: 112-117
12EEElizabeth Haywood, Philip W. Dart: Analysis of Software System Requirements Models. Australian Software Engineering Conference 1996: 131-
11EEJustin Zobel, Philip W. Dart: Phonetic String Matching: Lessons from Information Retrieval. SIGIR 1996: 166-172
1995
10 Justin Zobel, Philip W. Dart: Finding Approximate Matches in Large Lexicons. Softw., Pract. Exper. 25(3): 331-345 (1995)
1994
9 Lorraine Johnston, Philip W. Dart: Building on Experience: An Undegraduate Course with Two Year-Long Projects. CSEE 1994: 345-357
1992
8 Philip W. Dart, Justin Zobel: A Regular Type Language for Logic Programs. Types in Logic Programming 1992: 157-187
7 Philip W. Dart, Justin Zobel: Efficient Run-Time Type Checking of Typed Logic Programs. J. Log. Program. 14(1&2): 31-69 (1992)
1991
6 Philip W. Dart: On Derived Dependencies and Connected Databases. J. Log. Program. 11(1&2): 163-188 (1991)
1990
5 Kim Marriott, Harald Søndergaard, Philip W. Dart: A Characterization of Non-Floundering Logic Programs. NACLP 1990: 661-680
1989
4 Lee Naish, Philip W. Dart, Justin Zobel: The NU-Prolog Debugging Environment. ICLP 1989: 521-536
1988
3 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
2 Philip W. Dart, Justin Zobel: Conceptual schemas applied to deductive databases. Inf. Syst. 13(3): 273-287 (1988)
1987
1EEKotagiri 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)

Coauthor Index

1Isaac Balbin [1] [3]
2Paul Chesson [16] [17]
3Elizabeth Haywood [12] [14]
4Lorraine Johnston [9] [13] [15] [16] [17] [19]
5Edmund Kazmierczak [18] [21]
6Kim Marriott [5]
7Lee Naish [1] [3] [4]
8Graeme S. Port [1] [3]
9Kotagiri Ramamohanarao [1] [3]
10Cameron Schmidt [13] [15] [19]
11Anthony Senyard [22]
12John Shepherd [1] [3]
13Harald Søndergaard [5]
14Liz Sonenberg [15]
15Leon Sterling [19] [21] [22]
16James A. Thom [1] [3]
17Peter Thorne [19]
18Michael Winikoff [18] [21]
19Justin Zobel [1] [2] [3] [4] [7] [8] [10] [11] [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)