Edit Profile (opens in new tab) Şhukla, Anil K. Co-Author Distance Author ID: shukla.anil-k Published as: Shukla, Anil External Links: MGP Documents Indexed: 33 Publications since 1989 1 Contribution as Editor Co-Authors: 3 Co-Authors with 7 Joint Publications 94 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Mahajan, Meena 6 Beyersdorff, Olaf 6 Chew, Leroy 3 Chaubey, Raghavendra 2 Fey, Rob H. B. 2 Nijmeijer, Henk 2 Rosakis, Ares J. 1 Bali, Rekha 1 Chandorkar, M. C. 1 Chede, Sravanthi 1 Dube, Shubham Kumar 1 Gopal, Dhananjay 1 Hunnekens, B. G. B. 1 Jain, Renu 1 Joshi, Lokesh Kumar 1 Joshi, Shamkant D. 1 Kant Yadav, Ravi 1 Karan Singh, R. 1 Khaofong, Chatuphol 1 Mahor, TeekamChand 1 Mehta, Manoj N. 1 Mishra, Rajshree 1 Nikam, Vishal 1 Pandey, Rajesh Kumar 1 Rajapakse, Yapa D. S. 1 Rani, Kamana 1 Samudrala, Omprakash 1 Singh, Ashutosh 1 Singh, K. N. 1 Singh, Raman P. 1 Singh, Triloki 1 Srivastava, P. N. 1 Sumalai, Phumin 1 Vaidya, S. P. 1 van Hoof, J. A. J. M. 1 Yadav, Swati all top 5 Serials 4 Acta Ciencia Indica. Mathematics 4 International Journal of Advances in Applied Mathematics and Mechanics 2 The Journal of the Indian Academy of Mathematics 1 Acta Mechanica 1 Astrophysics and Space Science 1 International Journal of Solids and Structures 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Journal of the Mechanics and Physics of Solids 1 Chaos, Solitons and Fractals 1 Information and Computation 1 Computational and Applied Mathematics 1 Journal of Vibration and Control 1 Nonlinear Dynamics 1 Far East Journal of Applied Mathematics 1 Ultra Scientist of Physical Sciences 1 Gravitation & Cosmology 1 Sādhanā 1 ACM Transactions on Computational Logic 1 Statistical Methods 1 International Journal of Mathematical Analysis (Ruse) 1 Logical Methods in Computer Science 1 TWMS Journal of Applied and Engineering Mathematics all top 5 Fields 7 Mathematical logic and foundations (03-XX) 6 Mechanics of deformable solids (74-XX) 6 Fluid mechanics (76-XX) 4 Computer science (68-XX) 4 Optics, electromagnetic theory (78-XX) 3 Classical thermodynamics, heat transfer (80-XX) 3 Relativity and gravitational theory (83-XX) 2 Partial differential equations (35-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Sequences, series, summability (40-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Astronomy and astrophysics (85-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 44 times in 26 Documents Cited by ▼ Year ▼ Numerical approximations of Atangana-Baleanu Caputo derivative and its application. Zbl 1442.65183 Yadav, Swati; Pandey, Rajesh K.; Shukla, Anil K. 22 2019 A new class of Bianchi cosmological models in \(f(R,T)\) gravity. Zbl 1286.83098 Chaubey, R.; Shukla, A. K. 20 2013 Intersonic crack propagation in bimaterial systems. Zbl 0945.74511 Rosakis, Ares J.; Samudrala, Omprakash; Singh, Raman P.; Shukla, A. 19 1998 Feasible interpolation for QBF resolution calculi. Zbl 1448.68456 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 15 2017 Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 9 2018 Feasible interpolation for QBF resolution calculi. Zbl 1440.68320 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 8 2015 Understanding cutting planes for QBFs. Zbl 1477.03245 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 5 2018 A new class of Bianchi cosmological models in Lyra’s geometry. Zbl 1267.83085 Chaubey, R.; Shukla, A. K. 4 2013 Are short proofs narrow? QBF resolution is not simple. Zbl 1388.03053 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 4 2016 Soret-Dufour and radiation effect on unsteady MHD flow over an inclined porous plate embedded in porous medium with viscous dissipation. Zbl 1359.76341 Pandya, N.; Shukla, A. K. 3 2014 MODWT based time scale decomposition analysis of BSE and NSE indexes financial time series. Zbl 1246.91109 Kumar, Anuj; Joshi, Lokesh K.; Pal, A. K.; Shukla, A. K. 2 2011 Understanding cutting planes for QBFs. Zbl 1391.03041 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 2 2016 Combined effects of Soret-Dufour, radiation and chemical reaction on unsteady MHD flow of dusty fluid over inclined porous plate embedded in porous medium. Zbl 1444.76135 Pandya, N.; Kant Yadav, Ravi; Shukla, A. K. 2 2017 Vibrational self-alignment of a rigid object exploiting friction. Zbl 1366.70020 Hunnekens, B. G. B.; Fey, R. H. B.; Shukla, A.; Nijmeijer, H. 1 2011 Displacements, strains and stresses associated with propagating cracks in materials with continuously varying properties. Zbl 1085.74040 Jain, N.; Shukla, A. 1 2004 Effect of radiation and chemical reaction on an unsteady Walter’s-B viscoelastic MHD flow past a vertical porous plate. Zbl 1367.76066 Pandya, N.; Shukla, A. K. 1 2016 Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable. Zbl 1348.03056 Mahajan, Meena; Shukla, Anil 1 2016 Bianchi type I cosmological model with a cosmological constant \((\Lambda)\) in creation-field cosmology. Zbl 1333.83155 Chaubey, R.; Shukla, A. K.; Singh, A.; Singh, T. 1 2015 Extending merge resolution to a family of QBF-proof systems. Zbl 07922890 Chede, Sravanthi; Shukla, Anil 1 2023 Extending merge resolution to a family of QBF-proof systems. Zbl 07922890 Chede, Sravanthi; Shukla, Anil 1 2023 Numerical approximations of Atangana-Baleanu Caputo derivative and its application. Zbl 1442.65183 Yadav, Swati; Pandey, Rajesh K.; Shukla, Anil K. 22 2019 Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 9 2018 Understanding cutting planes for QBFs. Zbl 1477.03245 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 5 2018 Feasible interpolation for QBF resolution calculi. Zbl 1448.68456 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 15 2017 Combined effects of Soret-Dufour, radiation and chemical reaction on unsteady MHD flow of dusty fluid over inclined porous plate embedded in porous medium. Zbl 1444.76135 Pandya, N.; Kant Yadav, Ravi; Shukla, A. K. 2 2017 Are short proofs narrow? QBF resolution is not simple. Zbl 1388.03053 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 4 2016 Understanding cutting planes for QBFs. Zbl 1391.03041 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 2 2016 Effect of radiation and chemical reaction on an unsteady Walter’s-B viscoelastic MHD flow past a vertical porous plate. Zbl 1367.76066 Pandya, N.; Shukla, A. K. 1 2016 Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable. Zbl 1348.03056 Mahajan, Meena; Shukla, Anil 1 2016 Feasible interpolation for QBF resolution calculi. Zbl 1440.68320 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 8 2015 Bianchi type I cosmological model with a cosmological constant \((\Lambda)\) in creation-field cosmology. Zbl 1333.83155 Chaubey, R.; Shukla, A. K.; Singh, A.; Singh, T. 1 2015 Soret-Dufour and radiation effect on unsteady MHD flow over an inclined porous plate embedded in porous medium with viscous dissipation. Zbl 1359.76341 Pandya, N.; Shukla, A. K. 3 2014 A new class of Bianchi cosmological models in \(f(R,T)\) gravity. Zbl 1286.83098 Chaubey, R.; Shukla, A. K. 20 2013 A new class of Bianchi cosmological models in Lyra’s geometry. Zbl 1267.83085 Chaubey, R.; Shukla, A. K. 4 2013 MODWT based time scale decomposition analysis of BSE and NSE indexes financial time series. Zbl 1246.91109 Kumar, Anuj; Joshi, Lokesh K.; Pal, A. K.; Shukla, A. K. 2 2011 Vibrational self-alignment of a rigid object exploiting friction. Zbl 1366.70020 Hunnekens, B. G. B.; Fey, R. H. B.; Shukla, A.; Nijmeijer, H. 1 2011 Displacements, strains and stresses associated with propagating cracks in materials with continuously varying properties. Zbl 1085.74040 Jain, N.; Shukla, A. 1 2004 Intersonic crack propagation in bimaterial systems. Zbl 0945.74511 Rosakis, Ares J.; Samudrala, Omprakash; Singh, Raman P.; Shukla, A. 19 1998 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 17 Beyersdorff, Olaf 6 Blinkhorn, Joshua 5 Chew, Leroy 5 Mahajan, Meena 3 Böhm, Benjamin 3 Hinde, Luke 3 Peitl, Tomáš 3 Slivovsky, Friedrich 2 Clymo, Judith 2 Pich, Ján 2 Suda, Martin 2 Szeider, Stefan 1 Clemente, Lorenzo 1 Gleiss, Bernhard 1 Janota, Mikoláš 1 Mayr, Richard M. 1 Pulina, Luca 1 Schmidt, Renate A. 1 Seidl, Martina 1 Şhukla, Anil K. 1 Shukla, Ankit 1 Sigley, Sarah 1 Sood, Gaurav 1 Sreenivasaiah, Karteek all top 5 Cited in 7 Serials 5 Logical Methods in Computer Science 3 Journal of Automated Reasoning 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Information and Computation 1 Theory of Computing Systems 1 ACM Transactions on Computational Logic Cited in 2 Fields 21 Computer science (68-XX) 19 Mathematical logic and foundations (03-XX) Citations by Year