Shamim A. Naqvi Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)