| |
| 1996 | ||
|---|---|---|
| 4 | EE | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour: Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. ISSTA 1996: 270-279 |
| 1995 | ||
| 3 | EE | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour: Formal specification and verification of communication protocols using automated tools . ICECCS 1995: 246-253 |
| 1994 | ||
| 2 | Francis Reichmeyer, Salim Hariri, Wang Song, Kamal Jabbour: An Optical Hypercube Local Area Network. HICSS (1) 1994: 471-480 | |
| 1988 | ||
| 1 | Patrick W. Dowd, Kamal Jabbour: Spanning Multiaccess Channel Hypercube Computer Interconnection. IEEE Trans. Computers 37(9): 1137-1142 (1988) | |
| 1 | Milica Barjaktarovic | [3] [4] |
| 2 | Shiu-Kai Chin | [3] [4] |
| 3 | Patrick W. Dowd | [1] |
| 4 | Salim Hariri | [2] |
| 5 | Francis Reichmeyer | [2] |
| 6 | Wang Song | [2] |