N. J. Davies
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1990–2000
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ICALP | A Matrix-based Method for Analysing Stochastic Process Algebras. | Jeremy T. Bradley, N. J. Davies |
| 1992 | ECAI | A First Order Theory of Knowledge, Belief and Action. | N. J. Davies |
| 1990 | ECAI | Towards a First Order Theory of Reasoning Agents. | N. J. Davies |