A New Programming Methodology for Long-Lived Software Systems. - Robert Strom; Nagui Halim (IBM J. Res. Dev., 1984)

Overview of Disaster Recovery for Transaction Processing Systems. - Richard P. King; Nagui Halim; Hector Garcia-Molina; Christos A. Polyzois (ICDCS, 1990)

Management of a Remote Backup Copy for Disaster Recovery. - Richard P. King; Nagui Halim; Hector Garcia-Molina; Christos A. Polyzois (ACM Trans. Database Syst., 1991)

A Case for Fault-Tolerant Memory for Transaction Processing. - Anupam Bhide; Daniel M. Dias; Nagui Halim; T. Basil Smith; Francis N. Parr (FTCS, 1993)

Software Exploitation of a Fault-Tolerant Computer with a Large Memory. - Frank Eskesen; Michel Hack; Arun Iyengar; Richard P. King; Nagui Halim (FTCS, 1998)

Scalable Visualization of Event Data. - David J. Taylor; Nagui Halim; Joseph L. Hellerstein; Sheng Ma (DSOM, 2000)

SWORD: scalable and flexible workload generator for distributed data processing systems. - Kay S. Anderson; Joseph P. Bigus; Eric Bouillet; Parijat Dube; Nagui Halim; Zhen Liu 001; Dimitrios E. Pendarakis (WSC, 2006)

Harmony: Holistic messaging middleware for event-driven systems. - Parijat Dube; Nagui Halim; Kyriakos Karenos; Minkyong Kim; Zhen Liu 001; Srinivasan Parthasarathy 002; Dimitrios E. Pendarakis; Hao Yang 004 (IBM Syst. J., 2008)