Hilarie Orman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
1988–2012
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SP | Towards a Semantics of Phish. | Hilarie Orman |
| 1988 | SP | Reverification of a microprocessor. | Stephen D. Crocker, Eve Cohen, Sue Landauer, Hilarie Orman |