On the Crossing Number of K{m, n}. - Nagi H. Nahas (Electron. J. Comb., 2003)

Modeling and implementing software architecture with acme and archJava. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas; Tony Tseng (ICSE, 2005)

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas (WICSA, 2005)

Improving system dependability by enforcing architectural intent. - Marwan Abi-Antoun; Jonathan Aldrich; David Garlan; Bradley R. Schmerl; Nagi H. Nahas; Tony Tseng (ACM SIGSOFT Softw. Eng. Notes, 2005)

Differencing and merging of architectural views. - Marwan Abi-Antoun; Jonathan Aldrich; Nagi H. Nahas; Bradley R. Schmerl; David Garlan (Autom. Softw. Eng., 2008)