Philip W. Dart Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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