MSL: a microprocessors systems language. - Shamim A. Naqvi (ACM-SE, 1978)

Performing Inferences over Recursive Data Bases. - Shamim A. Naqvi; Lawrence J. Henschen (AAAI, 1980)

An Improved Filter for Literal Indexing in Resolution Systems. - Lawrence J. Henschen; Shamim A. Naqvi (IJCAI, 1981)

Compiling Constraint-Checking Programs from First-Order Formulas. - Lawrence J. Henschen; William McCune; Shamim A. Naqvi (Advances in Data Base Theory, 1982)

Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. - Lawrence J. Henschen; Shamim A. Naqvi (CADE, 1982)

Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. - Shamim A. Naqvi; Lawrence J. Henschen (IJCAI, 1983)

On compiling queries in recursive first-order databases. - Lawrence J. Henschen; Shamim A. Naqvi (J. ACM, 1984)

Negation in Knowledge Base Management Systems. - Shamim A. Naqvi (On Knowledge Base Management Systems (Islamorada), 1985)

A Brief Survey of Logic and Database Systems. - Shamim A. Naqvi (On Knowledge Base Management Systems (Islamorada), 1985)

Negative Queries in Horn Databases. - Shamim A. Naqvi (Expert Database Conf., 1986)

Some Extensions to the Closed World Assumption in Databases. - Shamim A. Naqvi (ICDT, 1986)

Negation as Failure for First-Order Queries. - Shamim A. Naqvi (PODS, 1986)

A Logic for Negation in Database Systems. - Shamim A. Naqvi (XP7.52 Workshop on Database Theory, 1986)

Semantics of Updates in Logic Programming. - Shamim A. Naqvi; Ravi Krishnamurthy (DBPL, 1987)

Set Grouping and Layering in Horn Clause Programs. - Oded Shmueli; Shamim A. Naqvi (ICLP, 1987)

Sets and Negation in a Logic Database Language (LDL1). - Catriel Beeri; Shamim A. Naqvi; Raghu Ramakrishnan 001; Oded Shmueli; Shalom Tsur (PODS, 1987)

Non-Deterministic Choice in Datalog. - Ravi Krishnamurthy; Shamim A. Naqvi (JCDKB, 1988)

Explicit Control of Logic Programs Through Rule Algebra. - Tomasz Imielinski; Shamim A. Naqvi (PODS, 1988)

Database Updates in Logic Programming. - Shamim A. Naqvi; Ravi Krishnamurthy (PODS, 1988)

Towards a Real Horn Clause Language. - Ravi Krishnamurthy; Shamim A. Naqvi (VLDB, 1988)

A Logical Language for Data and Knowledge Bases. - Shamim A. Naqvi; Shalom Tsur (Computer Science Press, 1989)

Stratification as a Design Principle in Logical Query Langugages. - Shamim A. Naqvi (DBPL, 1989)

Contributions to the View Update Problem. - Francesca Rossi 001; Shamim A. Naqvi (ICLP, 1989)

Database Transactions in LDL. - Ravi Krishnamurthy; Shamim A. Naqvi; Carlo Zaniolo (NACLP, 1989)

How Stratification is Used in LDL. - Shamim A. Naqvi (IEEE Data Eng. Bull., 1989)

Reasoning in Inconsistent Databases. - Shamim A. Naqvi; Francesca Rossi 001 (NACLP, 1990)

The LDL System Prototype. - Danette Chimenti; Ruben Gamboa; Ravi Krishnamurthy; Shamim A. Naqvi; Shalom Tsur; Carlo Zaniolo (IEEE Trans. Knowl. Data Eng., 1990)

Structural Recursion as a Query Language. - Val Tannen; Peter Buneman; Shamim A. Naqvi (DBPL, 1991)

Querying Design and Planning Databases. - Tomasz Imielinski; Shamim A. Naqvi; Kumar V. Vadaparty (DOOD, 1991)

Incomplete Objects - A Data Model for Design and Planning Applications. - Tomasz Imielinski; Shamim A. Naqvi; Kumar V. Vadaparty (SIGMOD Conference, 1991)

Set Constructors in a Logic Database Language. - Catriel Beeri; Shamim A. Naqvi; Oded Shmueli; Shalom Tsur (J. Log. Program., 1991)

Speculative Query Evaluation over Databases of Plans. - Shamim A. Naqvi; Tomasz Imielinski; Madhur Kohli; Kumar V. Vadaparty (CIKM, 1993)

The Decomposition Property of Non-Deterministic Databases. - Kumar V. Vadaparty; Shamim A. Naqvi (Advanced Database Systems, 1993)

Promising Research Disrections in Disgital Libraries. - Nabil R. Adam; Milton Halem; Shamim A. Naqvi (DL, 1994)

Principles of Programming with Complex Objects and Collection Types. - Peter Buneman; Shamim A. Naqvi; Val Tannen; Limsoon Wong (Theor. Comput. Sci., 1995)

Using Constraints for Efficient Query Processing in Nondeterministic Databases. - Kumar V. Vadaparty; Shamim A. Naqvi (IEEE Trans. Knowl. Data Eng., 1995)

PICSDesk: A Case Study on Business Process Re-engineering. - Manolis M. Tsangaris; Madhur Kohli; Shamim A. Naqvi; Richard Nunziata; Yatin P. Saraiya (ICDE, 1996)

Universal Access in Digital Libraries. - Nabil R. Adam; Shamim A. Naqvi (ACM Comput. Surv., 1996)

The AudioWeb. - Daniel Barbará; Shamim A. Naqvi (CIKM, 1997)

Decentralized Micropayment Consolidation. - Jan Chomicki; Shamim A. Naqvi; Marc F. Pucci (ICDCS, 1998)

A Policy Description Language. - Jorge Lobo 001; Randeep Bhatia; Shamim A. Naqvi (AAAI/IAAI, 1999)

Minimizing the Monitoring Cost in Network Management. - Jia Jiao; Shamim A. Naqvi; Danny Raz; Binay Sugla (Integrated Network Management, 1999)

Optimal Design of Signaling Networks for Internet Telephony. - Aravind Srinivasan; K. G. Ramakrishnan; Krishnan Kumaran; Murali Aravamudan; Shamim A. Naqvi (INFOCOM, 2000)

A Logic Programming Approach to Conflict Resolution in Policy Management. - Jan Chomicki; Jorge Lobo 001; Shamim A. Naqvi (KR, 2000)

Toward efficient monitoring. - Jia Jiao; Shamim A. Naqvi; Danny Raz; Binay Sugla (IEEE J. Sel. Areas Commun., 2000)

Conflict Resolution Using Logic Programming. - Jan Chomicki; Jorge Lobo 001; Shamim A. Naqvi (IEEE Trans. Knowl. Data Eng., 2003)