John R. Callahan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1988–1997
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | RE | Formal Methods for V&V of Partial Specifications: An Experience RSeport. | Steve M. Easterbrook, John R. Callahan |
| 1996 | ISSTA | An Approach to Verification and Validation of a Reliable Multicasting Protocol. | John R. Callahan, Todd L. Montgomery |
| 1996 | WETICE | Independent validation of specifications: a coordination headache. | Steve M. Easterbrook, John R. Callahan |
| 1994 | WETICE | Functional specifications for collaboration services. | George Almsi, Aliasghar Babadi, W. Brandt, A. Butcher, John R. Callahan, K. J. Cleetus, M. E. Fotta, C. Gollapudy, N. Gradetsky, S. Iyer, Vasudevan Jagannathan, Raghu Karinthi, R. R. Lawson, D. M. Nichols, R. S. Raman, R. Shank, M. Sobolewski, Kankanahalli Srinivas, X. Zhang |
| 1994 | WETICE | A decentralized software bus based on IP multicasting. | John R. Callahan, Todd L. Montgomery |
| 1988 | CHI | An empirical comparison of pie vs. linear menus. | John R. Callahan, Don Hopkins, Mark D. Weiser, Ben Shneiderman |