| 1994 | DUALCAST: a scheme for reliable multicasting. | Sudhir Aggarwal, Amritansh Raghav |
| 1993 | An approach to evaluating the performance of communication protocols based on formal specifications. | Sijian Zhang, Samuel T. Chanson |
| 1993 | Verifying authentication protocols: methodology and example. | Thomas Y. C. Woo, Simon S. Lam |
| 1993 | Automatic test case generation for Estelle. | Chang-Jia Wang, Ming T. Liu |
| 1993 | A novel neural network traffic descriptor for ATM networks. | Ahmed A. Tarraf, Ibrahim W. Habib, Tarek N. Saadawi |
| 1993 | A CLNP-based protocol for mobile end systems within an area. | Rieko Tanaka, Masahiko Tsukamoto |
| 1993 | Hierarchy-based incremental analysis of communication protocols. | Kuo-Chung Tai, Pramod V. Koppol |
| 1993 | A compositional approach for designing protocols. | Gurdip Singh |
| 1993 | Modulo-N incarnation numbers for cache-based transport protocols. | A. Udaya Shankar, David Lee |
| 1993 | An optical network interface unit for multichannel ring networks. | Francis Reichmeyer, Salim Hariri, Wang Song, Kamal Jabbour |
| 1993 | Modules as building blocks for protocol configuration. | Thomas Plagemann, Martin Vogt, Bernhard Plattner, Thomas Walter |
| 1993 | Enhancing SCI's fairness protocol for increased throughput. | Dan Picker, Ronald D. Fellman, Paul M. Chau |
| 1993 | On Petri nets and self-stabilization of communication protocols. | Wuxu Peng |
| 1993 | A note on communicating machines with identical symmetrical and dual processes using rewriting systems. | Hassan Mountassir |
| 1993 | Service specific connection oriented protocol for the ATM adaptation layer. | Naotaka Morita, Ichiro Inoue, Michiharu Mito, Takeshi Akaike |
| 1993 | Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. | Raymond E. Miller, Sanjoy Paul |
| 1993 | Routing and congestion control in ATM networks. | Vladimir Marbukh |
| 1993 | Mushroom: a program for the automated verification of an SCM protocol specification. | Gilbert M. Lundy, Berna Blbl |
| 1993 | Probabilistic conformance testing of protocols with unobservable transitions. | Steven H. Low |
| 1993 | Parallel and configurable protocols: experiences with a prototype and an architectural framework. | Bert Lindgren, Mostafa H. Ammar, Bobby Krupczak, Karsten Schwan |
| 1993 | Reverse-engineering of communication protocols. | David Lee, Krishan K. Sabnani |
| 1993 | Improved randomized broadcast protocols in multi-hop radio networks. | Chungki Lee, James E. Burns, Mostafa H. Ammar |
| 1993 | A highly parallelized architecture for a DQDB node. | Liitfullah Kusdemir, Semih Bilgen |
| 1993 | The FCVC (flow-controlled virtual channels) proposal for ATM networks: a summary. | H. T. Kung, Alan Chapman |
| 1993 | Galileo: A tool for simulation and analysis of real-time networks. | Edward W. Knightly, Giorgio Ventre |