Shamim A. Naqvi

	2003
43		Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15(1): 244-249 (2003)
	2000
42		Aravind Srinivasan, K. G. Ramakrishnan, Krishnan Kumaran, Murali Aravamudan, Shamim A. Naqvi: Optimal Design of Signaling Networks for Internet Telephony. INFOCOM 2000: 707-716
41		Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: A Logic Programming Approach to Conflict Resolution in Policy Management. KR 2000: 121-132
	1999
40		Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi: A Policy Description Language. AAAI/IAAI 1999: 291-298
	1998
39		Jan Chomicki, Shamim A. Naqvi, Marc F. Pucci: Decentralized Micropayment Consolidation. ICDCS 1998: 332-341
	1997
38		Daniel Barbará, Shamim A. Naqvi: The AudioWeb. CIKM 1997: 97-104
	1996
37		Manolis M. Tsangaris, Madhur Kohli, Shamim A. Naqvi, Richard Nunziata, Yatin P. Saraiya: PICSDesk: A Case Study on Business Process Re-engineering. ICDE 1996: 300-306
36		Nabil R. Adam, Shamim A. Naqvi: Universal Access in Digital Libraries. ACM Comput. Surv. 28(4es): 105 (1996)
	1995
35		Kumar V. Vadaparty, Shamim A. Naqvi: Using Constraints for Efficient Query Processing in Nondeterministic Databases. IEEE Trans. Knowl. Data Eng. 7(6): 850-864 (1995)
34		Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong: Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. 149(1): 3-48 (1995)
	1994
33		Nabil R. Adam, Milton Halem, Shamim A. Naqvi: Promising Research Disrections in Disgital Libraries. DL 1994: 21-29
	1993
32		Kumar V. Vadaparty, Shamim A. Naqvi: The Decomposition Property of Non-Deterministic Databases. Advanced Database Systems 1993: 45-63
31		Shamim A. Naqvi, Tomasz Imielinski, Madhur Kohli, Kumar V. Vadaparty: Speculative Query Evaluation over Databases of Plans. CIKM 1993: 439-450
	1991
30		Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19
29		Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty: Querying Design and Planning Databases. DOOD 1991: 524-545
28		Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty: Incomplete Objects - A Data Model for Design and Planning Applications. SIGMOD Conference 1991: 288-297
27		Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(3&4): 181-232 (1991)
	1990
26		Shamim A. Naqvi, Francesca Rossi: Reasoning in Inconsistent Databases. NACLP 1990: 255-272
25		Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90 (1990)
	1989
24		Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989
23		Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356
22		Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415
21		Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo: Database Transactions in LDL. NACLP 1989: 795-815
20		Shamim A. Naqvi: How Stratification is Used in LDL. IEEE Data Eng. Bull. 12(3): 45-52 (1989)
	1988
19		Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424
18		Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116
17		Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262
16		Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263
	1987
15		Shamim A. Naqvi, Ravi Krishnamurthy: Semantics of Updates in Logic Programming. DBPL 1987: 313-327
14		Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. ICLP 1987: 152-177
13		Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37
	1986
12		Shamim A. Naqvi: Negative Queries in Horn Databases. Expert Database Conf. 1986: 227-236
11		Shamim A. Naqvi: Some Extensions to the Closed World Assumption in Databases. ICDT 1986: 341-348
10		Shamim A. Naqvi: Negation as Failure for First-Order Queries. PODS 1986: 114-122
9		Shamim A. Naqvi: A Logic for Negation in Database Systems. XP7.52 Workshop on Database Theory 1986
	1985
8		Shamim A. Naqvi: Negation in Knowledge Base Management Systems. On Knowledge Base Management Systems (Islamorada) 1985: 125-145
7		Shamim A. Naqvi: A Brief Survey of Logic and Database Systems. On Knowledge Base Management Systems (Islamorada) 1985: 219-226
	1984
6		Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85 (1984)
	1983
5		Shamim A. Naqvi, Lawrence J. Henschen: Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28
	1982
4		Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169
3		Lawrence J. Henschen, Shamim A. Naqvi: Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. CADE 1982: 342-359
	1981
2		Lawrence J. Henschen, Shamim A. Naqvi: An Improved Filter for Literal Indexing in Resolution Systems. IJCAI 1981: 525-529
	1980
1		Shamim A. Naqvi, Lawrence J. Henschen: Performing Inferences over Recursive Data Bases. AAAI 1980: 263-265

Coauthor Index

1	Nabil R. Adam	[33] [36]
2	Murali Aravamudan	[42]
3	Daniel Barbará	[38]
4	Catriel Beeri	[13] [27]
5	Randeep Bhatia	[40]
6	Peter Buneman	[30] [34]
7	Danette Chimenti	[25]
8	Jan Chomicki	[39] [41] [43]
9	Ruben Gamboa	[25]
10	Milton Halem	[33]
11	Lawrence J. Henschen	[1] [2] [3] [4] [5] [6]
12	Tomasz Imielinski	[18] [28] [29] [31]
13	Madhur Kohli	[31] [37]
14	Ravi Krishnamurthy	[15] [16] [17] [19] [21] [25]
15	Krishnan Kumaran	[42]
16	Jorge Lobo	[40] [41] [43]
17	William McCune	[4]
18	Richard Nunziata	[37]
19	Marc F. Pucci	[39]
20	K. G. Ramakrishnan	[42]
21	Raghu Ramakrishnan	[13]
22	Francesca Rossi	[22] [26]
23	Yatin P. Saraiya	[37]
24	Oded Shmueli	[13] [14] [27]
25	Aravind Srinivasan	[42]
26	Val Tannen (Valeriu Breazu, Val Breazu-Tannen)	[30] [34]
27	Manolis M. Tsangaris	[37]
28	Shalom Tsur	[13] [24] [25] [27]
29	Kumar V. Vadaparty	[28] [29] [31] [32] [35]
30	Limsoon Wong	[34]
31	Carlo Zaniolo	[21] [25]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page