David M. Kristol
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1991–1994
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | ICNP | Multicast transport protocols for high speed networks. | Sanjoy Paul, Krishan K. Sabnani, David M. Kristol |
| 1993 | ICNP | From formal specification to implementation: experience with protocol tools. | Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh |
| 1993 | INFOCOM | Conformance Testing of Protocols Specified as Communicating FSMs. | David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. mit Uyar |
| 1991 | SIGCOMM | Efficient Gateway Synthesis from Formal Specifications. | David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani |