Edit Profile (opens in new tab) Naqvi, Shamim A. Co-Author Distance Author ID: naqvi.shamim-a Published as: Naqvi, S.; Naqvi, Shamim A.; Naqvi, Shamim more...less Documents Indexed: 9 Publications since 1970, including 3 Books 1 Contribution as Editor Co-Authors: 10 Co-Authors with 6 Joint Publications 185 Co-Co-Authors all top 5 Co-Authors 1 single-authored 2 Levy, Alejandro V. 2 Miele, Angelo 2 Tsur, Shalom 1 Beeri, Catriel 1 Buneman, Peter 1 Henschen, Lawrence J. 1 Iyer, Ramaswamy R. 1 Shmueli, Oded 1 Tannen, Val 1 Wong, Limsoon Serials 1 Journal of Mathematical Analysis and Applications 1 Journal of the Association for Computing Machinery 1 Theoretical Computer Science 1 The Journal of Logic Programming 1 Annals of Mathematics and Artificial Intelligence all top 5 Fields 5 Computer science (68-XX) 4 Numerical analysis (65-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Operator theory (47-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 71 times in 68 Documents Cited by ▼ Year ▼ Principles of programming with complex objects and collection types. Zbl 0874.68092 Buneman, Peter; Naqvi, Shamim; Tannen, Val; Wong, Limsoon 24 1995 On compiling queries in recursive first-order databases. Zbl 0629.68095 Henschen, Lawrence J.; Naqvi, Shamim A. 23 1984 Set constructors in a logic database language. Zbl 0724.68016 Beeri, Catriel; Naqvi, Shamim; Shmueli, Oded; Tsur, Shalom 8 1991 Numerical solution of nonlinear equations and nonlinear, two-point boundary-value problems. Zbl 0276.65042 Miele, A.; Naqvi, S.; Levy, A. V.; Iyer, R. R. 6 1971 Unconstrained approach to the extremization of constrained functions. Zbl 0238.49019 Huang, H. Y.; Naqvi, S. 4 1972 Some extensions to the closed world assumption in databases. Zbl 0643.68162 Naqvi, Shamim A. 2 1986 Extremization of terminally constrained control problems. Zbl 0264.49023 Huang, H. Y.; Naqvi, S. 2 1972 Modified quasilinearization method for solving nonlinear equations. Zbl 0277.65033 Miele, A.; Naqvi, S.; Levy, A. V. 2 1970 Principles of programming with complex objects and collection types. Zbl 0874.68092 Buneman, Peter; Naqvi, Shamim; Tannen, Val; Wong, Limsoon 24 1995 Set constructors in a logic database language. Zbl 0724.68016 Beeri, Catriel; Naqvi, Shamim; Shmueli, Oded; Tsur, Shalom 8 1991 Some extensions to the closed world assumption in databases. Zbl 0643.68162 Naqvi, Shamim A. 2 1986 On compiling queries in recursive first-order databases. Zbl 0629.68095 Henschen, Lawrence J.; Naqvi, Shamim A. 23 1984 Unconstrained approach to the extremization of constrained functions. Zbl 0238.49019 Huang, H. Y.; Naqvi, S. 4 1972 Extremization of terminally constrained control problems. Zbl 0264.49023 Huang, H. Y.; Naqvi, S. 2 1972 Numerical solution of nonlinear equations and nonlinear, two-point boundary-value problems. Zbl 0276.65042 Miele, A.; Naqvi, S.; Levy, A. V.; Iyer, R. R. 6 1971 Modified quasilinearization method for solving nonlinear equations. Zbl 0277.65033 Miele, A.; Naqvi, S.; Levy, A. V. 2 1970 all cited Publications top 5 cited Publications all top 5 Cited by 101 Authors 5 Libkin, Leonid O. 4 Cheney, James 3 Naughton, Jeffrey F. 3 Ricciotti, Wilmer 3 Suciu, Dan Mircea 3 Wong, Limsoon 2 Becerra-Terón, Antonio 2 Chen, Yangjun 2 Dong, Guozhu 2 Dovier, Agostino 2 Guessarian, Irène 2 Pontelli, Enrico 2 Rossi, Gianfranco 2 Tannen, Val 2 Unel, Gulay 2 Van Gucht, Dirk 2 Vansummeren, Stijn 1 Abdel-Ghaly, Abdalla A. 1 Abdel-Ghani, Magda M. 1 Acar, Umut A. 1 Afrati, Foto N. 1 Ahmed, Amal 1 Alemandros-Jiménez, Jesús M. 1 Almendros-Jiménez, Jesús Manuel 1 Attia, Ahmed F. 1 Bancilhon, Francois 1 Beeri, Catriel 1 Bierman, Gavin M. 1 Cabalar, Pedro 1 Caseau, Yves 1 Ceri, Stefano 1 Chapman, A. J. 1 Ciobanu, Gabriel 1 Console, Marco 1 Costa Seco, João 1 Cristiá, Maximiliano 1 de Maindreville, Christophe 1 Dennemeyer, R. F. 1 Dolezal, Jaroslav 1 Eisenbeis, Christine 1 Fandinno, Jorge 1 Fariñas del Cerro, Luis 1 Fidler, Jiří 1 Formisano, Andrea 1 Gardarin, Georges 1 Genesereth, Michael R. 1 Gervet, Carmen 1 Gibbons, Jeremy 1 Ginsberg, Matthew L. 1 Gordon, Andrew D. 1 Gottlob, Georg 1 Gruau, Frédéric 1 Guagliardo, Paolo 1 Haddad, Ramsey W. 1 Han, Jia Liang 1 Han, Jiawei 1 Henglein, Fritz 1 Henschen, Lawrence J. 1 Hlavacek, Vladimir 1 Horne, Ross 1 Hriţcu, Cătălin 1 Hyland, J. Martin E. 1 Ioannidis, Yannis E. 1 Kanellakis, Paris Christos 1 Kerisit, Jean-Marc 1 Kubicek, Milan 1 Kuper, Gabriel M. 1 Langworthy, David E. 1 Larsen, Ken Friis 1 Lastman, G. J. 1 Lautala, P. A. J. 1 Lee, Dik Lun 1 Lee, Sangho 1 Lourenço, Hugo 1 Lozinskii, Eliezer L. 1 Lu, Wenyu 1 Maignan, Luidnel 1 Miele, Angelo 1 Naqvi, Shamim A. 1 Orava, P. Jussi 1 Perna, Stefano 1 Power, John 1 Ramakrishnan, Raghu 1 Roach, John W. 1 Robertson, Edward L. 1 Saccà, Domenico 1 Sassone, Vladimiro 1 Saxton, Lawrence V. 1 Schürr, Andy 1 Seipel, Dietmar A. 1 Smith, David E. 1 Subrahmanian, V. S. 1 Tanca, Letizia 1 Tardivo, Fabio 1 Toman, David 1 Van den Bussche, Jan 1 Vieille, Laurent 1 Wang, H. 1 Watson, Layne Terry 1 Wiederhold, Gio ...and 1 more Authors all top 5 Cited in 29 Serials 11 Theoretical Computer Science 6 Journal of Computer and System Sciences 6 Journal of Optimization Theory and Applications 3 Journal of Automated Reasoning 3 Journal of Functional Programming 3 Journal of Logical and Algebraic Methods in Programming 2 Discrete Applied Mathematics 2 Applied Mathematics and Computation 2 Information Sciences 2 New Generation Computing 1 Artificial Intelligence 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Kybernetika 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Physica D 1 Journal of Computer Science and Technology 1 Algorithmica 1 Information and Computation 1 International Journal of Intelligent Systems 1 MSCS. Mathematical Structures in Computer Science 1 Communications in Statistics. Theory and Methods 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Science in China. Series E 1 Theory of Computing Systems 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming 1 Logical Methods in Computer Science all top 5 Cited in 11 Fields 56 Computer science (68-XX) 9 Numerical analysis (65-XX) 7 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 3 Ordinary differential equations (34-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) Citations by Year