Shamim A. Naqvi

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