Kamal Jabbour
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1985–1996
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | ISSTA | Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1995 | ICECCS | Formal specification and verification of communication protocols using automated tools . | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1993 | ICNP | An optical network interface unit for multichannel ring networks. | Francis Reichmeyer, Salim Hariri, Wang Song, Kamal Jabbour |
| 1985 | ICASSP | Real-time telephone channel simulation. | Kamal Jabbour, Jose Fernando Vega-Riveros |