Specification and Verification of Network Protocols Using Executable Temporal Logic. - Danny Kilis; Albert C. Esterline; James R. Slagle (IFIP Congress, 1989)

Embedding global physiological data in an artificial neural network. - Danny Kilis; Eugene Ackerman; James R. Slagle (ANZIIS, 1996)

Knowledge assessment using fuzzy conceptual representation. - Perry Cheng; Danny Kilis; Graeme Knight (SAC, 1997)

An architecture for an integrated active help system. - Graeme Knight; Danny Kilis; Perry Cheng (SAC, 1997)

Personalized Courseware Construction based on Web Data Mining. - Changjie Tang; Rynson W. H. Lau; Qing Li 001; Huabei Yin; Tong Li; Danny Kilis (WISE (2), 2000)

GameOD: an internet based game-on-demand framework. - Frederick W. B. Li; Rynson W. H. Lau; Danny Kilis (VRST, 2004)

Game-on-demand: : An online game engine based on geometry streaming. - Frederick W. B. Li; Rynson W. H. Lau; Danny Kilis; Lewis W. F. Li (ACM Trans. Multim. Comput. Commun. Appl., 2011)