William F. Ogden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1969–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICSR | A Language for Building Verified Software Components. | Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai |
| 1996 | ICSR | Characterizing observability and controllability of software components. | Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden |
| 1978 | POPL | Complexity of Expressions Allowing Concurrency. | William F. Ogden, William E. Riddle, William C. Rounds |
| 1975 | POPL | On the Complexity of the Circularity Test for Attribute Grammars. | Mehdi Jazayeri, William F. Ogden, William C. Rounds |
| 1972 | STOC | Compositions of n Tree Transducers | William F. Ogden, William C. Rounds |
| 1969 | STOC | Intercalation Theorems for Stack Languages | William F. Ogden |