| 2000 | INFOCOM | Optimal Design of Signaling Networks for Internet Telephony. | Aravind Srinivasan, K. G. Ramakrishnan, Krishnan Kumaran, Murali Aravamudan, Shamim A. Naqvi |
| 2000 | KR | A Logic Programming Approach to Conflict Resolution in Policy Management. | Jan Chomicki, Jorge Lobo, Shamim A. Naqvi |
| 1999 | AAAI | A Policy Description Language. | Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi |
| 1999 | IM | Minimizing the Monitoring Cost in Network Management. | Jia Jiao, Shamim A. Naqvi, Danny Raz, Binay Sugla |
| 1998 | ICDCS | Decentralized Micropayment Consolidation. | Jan Chomicki, Shamim A. Naqvi, Marc F. Pucci |
| 1997 | CIKM | The AudioWeb. | Daniel Barbar, Shamim A. Naqvi |
| 1996 | ICDE | PICSDesk: A Case Study on Business Process Re-engineering. | Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya |
| 1993 | CIKM | Speculative Query Evaluation over Databases of Plans. | Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty |
| 1991 | SIGMOD | Incomplete Objects - A Data Model for Design and Planning Applications. | Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty |
| 1989 | ICLP | Contributions to the View Update Problem. | Francesca Rossi, Shamim A. Naqvi |
| 1988 | PODS | Explicit Control of Logic Programs Through Rule Algebra. | Tomasz Imielinski, Shamim A. Naqvi |
| 1988 | PODS | Database Updates in Logic Programming. | Shamim A. Naqvi, Ravi Krishnamurthy |
| 1988 | VLDB | Towards a Real Horn Clause Language. | Ravi Krishnamurthy, Shamim A. Naqvi |
| 1987 | ICLP | Set Grouping and Layering in Horn Clause Programs. | Oded Shmueli, Shamim A. Naqvi |
| 1987 | PODS | Sets and Negation in a Logic Database Language (LDL1). | Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur |
| 1986 | ICDT | Some Extensions to the Closed World Assumption in Databases. | Shamim A. Naqvi |
| 1986 | PODS | Negation as Failure for First-Order Queries. | Shamim A. Naqvi |
| 1986 | XP | A Logic for Negation in Database Systems. | Shamim A. Naqvi |
| 1983 | IJCAI | Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. | Shamim A. Naqvi, Lawrence J. Henschen |
| 1982 | CADE | Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. | Lawrence J. Henschen, Shamim A. Naqvi |
| 1981 | IJCAI | An Improved Filter for Literal Indexing in Resolution Systems. | Lawrence J. Henschen, Shamim A. Naqvi |
| 1980 | AAAI | Performing Inferences over Recursive Data Bases. | Shamim A. Naqvi, Lawrence J. Henschen |