| 1994 | Throughput efficiency of a link management procedure for LEO satellite systems. | Christopher Ward, Sujata Mitra, Thomas M. Phillips |
| 1994 | Dynamics of token ring protocols. | John G. Waclawsky, Mahendran Velauthapillai |
| 1994 | Stepwise telecommunication software generation from service specifications in state transition model. | Akira Takura, Tadashi Ohta |
| 1994 | Selective total-ordering group communication on single high-speed channel. | Takayuki Tachikawa, Makoto Takizawa |
| 1994 | On the construction of multiphase communication protocols. | Gurdip Singh, Madhavi Sammeta |
| 1994 | The ID-based non-interactive group communication key sharing scheme using smart cards. | Hiroyuki Sakakibara, Kazunori Seki, Ken-ichi Okada, Yutaka Matsushita |
| 1994 | Multi-rate traffic shaping and end-to-end performance guarantees in ATM networks. | Debanjan Saha, Sarit Mukherjee, Satish K. Tripathi |
| 1994 | Single-link and time communicating finite state machines. | Wuxu Peng |
| 1994 | Multicast transport protocols for high speed networks. | Sanjoy Paul, Krishan K. Sabnani, David M. Kristol |
| 1994 | A design method for communications software evolution. | Hironobu Okuyama, Kenji Moriyasu, Yutaka Hirakawa |
| 1994 | An iterative approach to comprehensive performance evaluation of integrated services networks. | Ibrahim Matta, A. Udaya Shankar |
| 1994 | A simulation study of the impact of mobility on TCP/IP. | Pietro Manzoni, Dipak Ghosal, Giuseppe Serazzi |
| 1994 | Automated generation of protocol test sequences from formal specifications. | Gilbert M. Lundy, C. Basaran |
| 1994 | Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. | Hong Liu, Raymond E. Miller |
| 1994 | Specification and validation of communications in client/server models. | F. Joe Lin |
| 1994 | Formalizations and algorithms for optimized parallel protocol implementation. | Stefan Leue, Philippe Oechslin |
| 1994 | Test path selection based on effective domains. | Liang-Seng Koh, Ming T. Liu |
| 1994 | Automated synthesis of protocol specifications with message collisions and verification of timeliness. | Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno |
| 1994 | Stutter XOR strategies: a new class of multicopy ARQ strategies. | M. Aghadavoodi Jolfaei |
| 1994 | Elements of trusted multicasting. | Li Gong, Nachum Shacham |
| 1994 | The Totem protocol development environment. | P. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal |
| 1994 | Symbolic simulation: theory and application to protocol modeling and validation. | Ritu Chadha, Isil Sebktekin |
| 1994 | Fault-tolerant reconfiguration of trees and rings in networks. | Anish Arora, Ashish Singhai |
| 1994 | Distributed synchronization protocols for multimedia services on Internet. | Zafar Ali, Miae Woo, Arif Ghafoor |
| 1994 | Automatic retransmission rather than automatic repeat request. | Abdulaziz H. Al-Zoman, John DeDourek, Bernd Kurz |