Protocol Analysis and Implementation using NPNs and SDL. - Kenneth R. Parker; Rainer A. Berger; Kong E. Cheng (Specification and Verification of Concurrent Systems, 1988)

Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. - Kong E. Cheng; Lindsay N. Jackson (FORTE, 1989)

The derivation of test cases from SDL specifications. - Zhu Yun Gu; Kong Eng Cheng (ACM Southeast Regional Conference, 1992)

Towards a formal model for incremental service specification and interaction management support. - Kong E. Cheng (FIW, 1994)

A formal AIN Service Creation, Feature Interactions Analysis and Management Environment: An Industrial Application. - E. Jane Cameron; Kong E. Cheng; Fuchun Joseph Lin; Hong Liu; B. Pinheiro (FIW, 1997)

Next Generation Service Creation: Process, Methodology, and Tool Integration. - E. Jane Cameron; Kong E. Cheng; Sean Gallagher; Fuchun Joseph Lin; Peter Russo; Daniel Søbirk (FIW, 1998)

An agile server for cross-provider service peering and aggregation. - Benjamin Falchuk; Kong Eng Cheng; Fuchun Joseph Lin; Bob Pinheiro; V. Jokubaitis (IEEE Commun. Mag., 2003)

Feature Interactions in Overlay Networks. - Kong E. Cheng; Ritu Chadha; Hong Cheng; Marc Pucci (FIW, 2005)

New Service Creation via Brokering and Mediation. - Fuchun Joseph Lin; Kong E. Cheng (FIW, 2005)

Service Broker for Next Generation Networks. - Fuchun Joseph Lin; Kong Eng Cheng (ICFI, 2007)

Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery. - Kong E. Cheng; Yitzchak M. Gottlieb; Gary Levin; Fuchun Joseph Lin (ISADS, 2011)