Shamim A. Naqvi

Publication Activity (10 Years)

Years Active: 1978-2003
Publications (10 Years): 0

Publications

Jan Chomicki, Jorge Lobo, Shamim A. Naqvi
Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15 (1) (2003)
Jia Jiao, Shamim A. Naqvi, Danny Raz, Binay Sugla
Toward efficient monitoring. IEEE J. Sel. Areas Commun. 18 (5) (2000)
Jan Chomicki, Jorge Lobo, Shamim A. Naqvi
A Logic Programming Approach to Conflict Resolution in Policy Management. KR (2000)
Aravind Srinivasan, K. G. Ramakrishnan, Krishnan Kumaran, Murali Aravamudan, Shamim A. Naqvi
Optimal Design of Signaling Networks for Internet Telephony. INFOCOM (2000)
Jia Jiao, Shamim A. Naqvi, Danny Raz, Binay Sugla
Minimizing the Monitoring Cost in Network Management. Integrated Network Management (1999)
Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi
A Policy Description Language. AAAI/IAAI (1999)
Jan Chomicki, Shamim A. Naqvi, Marc F. Pucci
Decentralized Micropayment Consolidation. ICDCS (1998)
Daniel Barbará, Shamim A. Naqvi
The AudioWeb. CIKM (1997)
Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya
PICSDesk: A Case Study on Business Process Re-engineering. ICDE (1996)
Nabil R. Adam, Shamim A. Naqvi
Universal Access in Digital Libraries. ACM Comput. Surv. 28 (4es) (1996)
Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong
Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. 149 (1) (1995)
Kumar V. Vadaparty, Shamim A. Naqvi
Using Constraints for Efficient Query Processing in Nondeterministic Databases. IEEE Trans. Knowl. Data Eng. 7 (6) (1995)
Nabil R. Adam, Milton Halem, Shamim A. Naqvi
Promising Research Disrections in Disgital Libraries. DL (1994)
Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty
Speculative Query Evaluation over Databases of Plans. CIKM (1993)
Kumar V. Vadaparty, Shamim A. Naqvi
The Decomposition Property of Non-Deterministic Databases. Advanced Database Systems (1993)
Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty
Querying Design and Planning Databases. DOOD (1991)
Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty
Incomplete Objects - A Data Model for Design and Planning Applications. SIGMOD Conference (1991)
Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur
Set Constructors in a Logic Database Language. J. Log. Program. 10 (3&4) (1991)
Val Tannen, Peter Buneman, Shamim A. Naqvi
Structural Recursion as a Query Language. DBPL (1991)
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo
The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2 (1) (1990)
Shamim A. Naqvi, Francesca Rossi
Reasoning in Inconsistent Databases. NACLP (1990)
Shamim A. Naqvi
How Stratification is Used in LDL. IEEE Data Eng. Bull. 12 (3) (1989)
Shamim A. Naqvi
Stratification as a Design Principle in Logical Query Langugages. DBPL (1989)
Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo
Database Transactions in LDL. NACLP (1989)
Francesca Rossi, Shamim A. Naqvi
Contributions to the View Update Problem. ICLP (1989)
Ravi Krishnamurthy, Shamim A. Naqvi
Non-Deterministic Choice in Datalog. JCDKB (1988)
Tomasz Imielinski, Shamim A. Naqvi
Explicit Control of Logic Programs Through Rule Algebra. PODS (1988)
Ravi Krishnamurthy, Shamim A. Naqvi
Towards a Real Horn Clause Language. VLDB (1988)
Shamim A. Naqvi, Ravi Krishnamurthy
Database Updates in Logic Programming. PODS (1988)
Shamim A. Naqvi, Ravi Krishnamurthy
Semantics of Updates in Logic Programming. DBPL (1987)
Oded Shmueli, Shamim A. Naqvi
Set Grouping and Layering in Horn Clause Programs. ICLP (1987)
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur
Sets and Negation in a Logic Database Language (LDL1). PODS (1987)
Shamim A. Naqvi
Some Extensions to the Closed World Assumption in Databases. ICDT (1986)
Shamim A. Naqvi
Negation as Failure for First-Order Queries. PODS (1986)
Shamim A. Naqvi
Negative Queries in Horn Databases. Expert Database Conf. (1986)
Shamim A. Naqvi
A Logic for Negation in Database Systems. XP7.52 Workshop on Database Theory (1986)
Shamim A. Naqvi
Negation in Knowledge Base Management Systems. On Knowledge Base Management Systems (Islamorada) (1985)
Shamim A. Naqvi
A Brief Survey of Logic and Database Systems. On Knowledge Base Management Systems (Islamorada) (1985)
Lawrence J. Henschen, Shamim A. Naqvi
On compiling queries in recursive first-order databases. J. ACM 31 (1) (1984)
Shamim A. Naqvi, Lawrence J. Henschen
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI (1983)
Lawrence J. Henschen, Shamim A. Naqvi
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. CADE (1982)
Lawrence J. Henschen, William McCune, Shamim A. Naqvi
Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory (1982)
Lawrence J. Henschen, Shamim A. Naqvi
An Improved Filter for Literal Indexing in Resolution Systems. IJCAI (1981)
Shamim A. Naqvi, Lawrence J. Henschen
Performing Inferences over Recursive Data Bases. AAAI (1980)
Shamim A. Naqvi
MSL: a microprocessors systems language. ACM-SE (1978)