Skip to content

Philip W. Dart

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

1989–1998

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
1998APSECVerifying Model Oriented Specifications through Animation.Edmund Kazmierczak, Michael Winikoff, Philip W. Dart
1996SIGIRPhonetic String Matching: Lessons from Information Retrieval.Justin Zobel, Philip W. Dart
1989ICLPThe NU-Prolog Debugging Environment.Lee Naish, Philip W. Dart, Justin Zobel