Edit Profile (opens in new tab) Chakraborty, Supratik Compute Distance To: Compute Author ID: chakraborty.supratik Published as: Chakraborty, Supratik External Links: ORCID Documents Indexed: 67 Publications since 1985 1 Contribution as Editor Co-Authors: 42 Co-Authors with 28 Joint Publications 559 Co-Co-Authors all top 5 Co-Authors 3 single-authored 4 Akshay, S. 4 Gupta, Ashutosh 4 John, Ajith K. 3 Adsul, Bharat 3 Borkakati, Atul Kumar 3 Choudhury, Pabitra Pal 3 Gulavani, Bhargav S. 3 Nori, Aditya Vithal 3 Sankaran, Abhisekh 3 Unadkat, Divyesh 2 Dandapat, Bhabani Shankar 2 Karmarkar, Hrishikesh 2 Pandya, Paritosh K. 2 Rajamani, Sriram K. 2 Shah, Shetal 1 Barik, B. P. 1 Bhattyacharya, S. 1 Billard, Lynne 1 Cao, Xianbing 1 Chaudhuri, Parimal Pal 1 Chhatani, Dinesh 1 Roy Chowdhury, Dipanwita 1 Das, Ankush 1 Das, Subir 1 Dayananda, P. W. A. 1 Dill, David L. 1 Edmonds, Jeff A. 1 Estrin, Y. 1 Gajavelly, Rajkumar 1 Galun, R. 1 Ganapathi, Mahadevan 1 Goel, Shubham 1 Haldankar, Tanmay 1 Hassan, Sk. Sarif 1 Jagannath, Vishal 1 Jain, Rahul 1 Joglekar, Manas R. 1 Juvekar, Sudeep 1 Kamath, Pritish 1 Kanade, Varun 1 Khasidashvili, Zurab O. 1 Kulal, Sumith 1 Madan, Vivek 1 Manna, Indrani 1 Mekie, Joycee 1 Mistry, Rakesh 1 Mukund, Madhavan 1 Natarajan, Sundararajan 1 Pal, Debtanu 1 Raj, P. Mohan 1 Ramalingam, Ganesan 1 Ruyer-Quil, Christian 1 Sagar, B. S. Daya 1 Sandeep, Sai 1 Seger, Carl-Johan H. 1 Sharma, Babita 1 Sharma, Dinesh Kumar 1 Sheu, Tony Wen-Hann 1 Srikanth, N. V. 1 Sripriya, R. 1 Taly, Ankur 1 Thomas, Dina 1 Yun, Kenneth Y. all top 5 Serials 4 Formal Methods in System Design 3 International Journal of Heat and Mass Transfer 2 Archives of Mechanics 2 Computers and Structures 2 Journal of Fluid Mechanics 2 Applied Mathematics Letters 2 Communications in Statistics. Theory and Methods 2 Theoretical and Applied Mechanics 1 International Journal of Mechanical Sciences 1 International Journal of Solids and Structures 1 Information Processing Letters 1 Ukrainian Mathematical Journal 1 Applied Mathematics and Computation 1 Biometrics 1 Bulletin of the Calcutta Mathematical Society 1 Gaṇita 1 IEEE Transactions on Computers 1 IAPQR Transactions 1 Annals of Pure and Applied Logic 1 Computational Mathematics and Modeling 1 Applied Mathematical Modelling 1 International Journal of Numerical Methods for Heat & Fluid Flow 1 Applied Mechanics and Engineering 1 European Journal of Mechanics. A. Solids 1 Nonlinear Analysis. Modelling and Control 1 Archives of Computational Methods in Engineering 1 Sādhanā 1 Journal of the Calcutta Mathematical Society 1 International Journal of Fracture 1 Inverse Problems in Science and Engineering 1 Lecture Notes in Computer Science 1 The European Physical Journal B. Condensed Matter and Complex Systems 1 Asian-European Journal of Mathematics 1 International Journal of Structural Stability and Dynamics 1 International Journal of Advances in Applied Mathematics and Mechanics 1 International Journal of Applied and Computational Mathematics all top 5 Fields 28 Computer science (68-XX) 13 Mechanics of deformable solids (74-XX) 11 Fluid mechanics (76-XX) 7 Mathematical logic and foundations (03-XX) 6 Statistics (62-XX) 5 Classical thermodynamics, heat transfer (80-XX) 5 Biology and other natural sciences (92-XX) 4 Numerical analysis (65-XX) 3 Probability theory and stochastic processes (60-XX) 2 Optics, electromagnetic theory (78-XX) 2 Geophysics (86-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Functions of a complex variable (30-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 40 Publications have been cited 45 times in 41 Documents Cited by ▼ Year ▼ Wavy regime of a power-law film flow. Zbl 1250.76073Ruyer-Quil, C.; Chakraborty, S.; Dandapat, B. S. 12 2012 Automatically refining abstract interpretations. Zbl 1134.68356Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K. 9 2008 A statistical analysis of an algorithm’s complexity. Zbl 0965.68139Chakraborty, S.; Choudhury, P. P. 8 2000 A critical assessment of Kriging model variants for high-fidelity uncertainty quantification in dynamics of composite shells. Zbl 1376.62133Mukhopadhyay, T.; Chakraborty, S.; Dey, S.; Adhikari, S.; Chowdhury, R. 8 2017 A COM-Poisson-type generalization of the negative binomial distribution. Zbl 1346.62021Chakraborty, S.; Ong, S. H. 7 2016 A stochastic finite element dynamic analysis of structures with uncertain parameters. Zbl 0957.74045Chakraborty, S.; Dey, S. S. 7 1998 An efficient 3D stochastic finite element method. Zbl 1006.74543Chakraborty, S.; Bhattacharyya, B. 7 2002 Symmetric edge cracks in an orthotropic strip under normal loading. Zbl 1273.74437Das, S.; Chakraborty, S.; Srikanth, N.; Gupta, M. 7 2008 Bottom-up shape analysis. Zbl 1248.68145Gulavani, Bhargav S.; Chakraborty, Supratik; Ramalingam, Ganesan; Nori, Aditya V. 6 2009 Three-dimensional double-diffusive convection and macrosegregation during non-equilibrium solidification of binary mixtures. Zbl 1032.76681Chakraborty, S.; Dutta, P. 5 2003 Stochastic finite element method for spatial distribution of material properties and external loading. Zbl 0900.73748Chakraborty, S.; Dey, S. S. 5 1995 A parametric study on the buckling of functionally graded material plates with internal discontinuities using the partition of unity method. Zbl 1406.74256Natarajan, Sundararajan; Chakraborty, S.; Ganapathi, M.; Subramanian, M. 5 2014 Generalizations of non central negative binomial, Charlier series distributions, and their extensions by Lagrange expansion. Zbl 1242.60015Ong, S. H.; Chakraborty, S.; Imoto, T.; Shimizu, K. 4 2012 Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines. Zbl 1055.68549Chakraborty, Supratik; Chowdhury, Dipanwita Roy; Chaudhuri, Parimal Pal 4 1996 Density dependent predator death prevalence chaos in a tri-trophic food chain model. Zbl 1177.93009Bandyopadhyay, M.; Chatterjee, S.; Chakraborty, S.; Chattopadhyay, J. 3 2008 Bounded validity checking of interval duration logic. Zbl 1087.68061Sharma, Babita; Pandya, Paritosh. K.; Chakraborty, Supratik 3 2005 A layered algorithm for quantifier elimination from linear modular constraints. Zbl 1368.68332John, Ajith K.; Chakraborty, Supratik 3 2016 Verifying array manipulating programs by tiling. Zbl 1420.68066Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh 3 2017 On Petri nets with hierarchical special arcs. Zbl 1442.68122Akshay, S.; Chakraborty, Supratik; Das, Ankush; Jagannath, Vishal; Sandeep, Sai 2 2017 The role of HPV on cervical cancer with several functional response: a control based comparative study. Zbl 1435.92027Chakraborty, S.; Cao, Xianbing; Bhattyacharya, S.; Roy, P. K. 2 2019 Efficient algorithms for approximate time separation of events. Zbl 1018.68098Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y. 2 2002 Matching multiplications in bit-vector formulas. Zbl 1484.68098Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul 2 2017 Can statistics provide a realistic measure for an algorithm’s complexity? Zbl 0941.68588Chakraborty, S.; Choudhury, P. P. 2 1999 Effects of variable fluid properties on unsteady thin-film flow over a non-linear stretching sheet. Zbl 1201.80015Dandapat, B. S.; Chakraborty, S. 2 2010 An arbitrary-shaped arch element for large deflection analysis. Zbl 0918.73241Chakraborty, S.; Majumdar, S. 2 1997 Symbolic trajectory evaluation for word-level verification: theory and implementation. Zbl 1360.68582Chakraborty, Supratik; Khasidashvili, Zurab; Seger, Carl-Johan H.; Gajavelly, Rajkumar; Haldankar, Tanmay; Chhatani, Dinesh; Mistry, Rakesh 2 2017 Towards parallel Boolean functional synthesis. Zbl 1452.68112Akshay, S.; Chakraborty, Supratik; John, Ajith K.; Shah, Shetal 1 2017 Generalized magnetothermoelastic interaction for a rotating half space. Zbl 1404.78006Das, B.; Chakraborty, S.; Lahiri, A. 1 2018 Fluid flow in hydrocyclones optimized through multi-objective genetic algorithms. Zbl 1222.76043Chakraborti, N.; Shekhar, A.; Singhal, A.; Chakraborty, S.; Chowdhury, S.; Sripriya, R. 1 2008 Estimation of rate parameters and its relationship with latent and infectious periods in plant disease epidemics. Zbl 0825.62815Dayananda, P. W. A.; Billard, L.; Chakraborty, S. 1 1995 Stochastic sensitivity of 3D-elastodynamic response subjected to random ground excitation. Zbl 1205.86004Bhattacharyya, B.; Chakraborty, S. 1 2003 On minimal odd rankings for Büchi complementation. Zbl 1258.68085Karmarkar, Hrishikesh; Chakraborty, Supratik 1 2009 Improved upper and lower bounds for Büchi disambiguation. Zbl 1410.68206Karmarkar, Hrishikesh; Joglekar, Manas; Chakraborty, Supratik 1 2013 Stochastic finite element method for sensitivity analysis of structures. Zbl 1058.74634Bhattacharyya, B.; Chakraborty, S. 1 2000 Preservation under substructures modulo bounded cores. Zbl 1362.03029Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik 1 2012 Refining abstract interpretations. Zbl 1234.68258Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K. 1 2010 A generalization of the Łoś-Tarski preservation theorem over classes of finite structures. Zbl 1426.03024Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik 1 2014 Reasoning about heap manipulating programs using automata techniques. Zbl 1256.68116Chakraborty, Supratik 1 2012 A generalization of the Łoś-Tarski preservation theorem. Zbl 1353.03019Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik 1 2016 Extending quantifier elimination to linear inequalities on bit-vectors. Zbl 1381.68055John, Ajith K.; Chakraborty, Supratik 1 2013 The role of HPV on cervical cancer with several functional response: a control based comparative study. Zbl 1435.92027Chakraborty, S.; Cao, Xianbing; Bhattyacharya, S.; Roy, P. K. 2 2019 Generalized magnetothermoelastic interaction for a rotating half space. Zbl 1404.78006Das, B.; Chakraborty, S.; Lahiri, A. 1 2018 A critical assessment of Kriging model variants for high-fidelity uncertainty quantification in dynamics of composite shells. Zbl 1376.62133Mukhopadhyay, T.; Chakraborty, S.; Dey, S.; Adhikari, S.; Chowdhury, R. 8 2017 Verifying array manipulating programs by tiling. Zbl 1420.68066Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh 3 2017 On Petri nets with hierarchical special arcs. Zbl 1442.68122Akshay, S.; Chakraborty, Supratik; Das, Ankush; Jagannath, Vishal; Sandeep, Sai 2 2017 Matching multiplications in bit-vector formulas. Zbl 1484.68098Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul 2 2017 Symbolic trajectory evaluation for word-level verification: theory and implementation. Zbl 1360.68582Chakraborty, Supratik; Khasidashvili, Zurab; Seger, Carl-Johan H.; Gajavelly, Rajkumar; Haldankar, Tanmay; Chhatani, Dinesh; Mistry, Rakesh 2 2017 Towards parallel Boolean functional synthesis. Zbl 1452.68112Akshay, S.; Chakraborty, Supratik; John, Ajith K.; Shah, Shetal 1 2017 A COM-Poisson-type generalization of the negative binomial distribution. Zbl 1346.62021Chakraborty, S.; Ong, S. H. 7 2016 A layered algorithm for quantifier elimination from linear modular constraints. Zbl 1368.68332John, Ajith K.; Chakraborty, Supratik 3 2016 A generalization of the Łoś-Tarski preservation theorem. Zbl 1353.03019Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik 1 2016 A parametric study on the buckling of functionally graded material plates with internal discontinuities using the partition of unity method. Zbl 1406.74256Natarajan, Sundararajan; Chakraborty, S.; Ganapathi, M.; Subramanian, M. 5 2014 A generalization of the Łoś-Tarski preservation theorem over classes of finite structures. Zbl 1426.03024Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik 1 2014 Improved upper and lower bounds for Büchi disambiguation. Zbl 1410.68206Karmarkar, Hrishikesh; Joglekar, Manas; Chakraborty, Supratik 1 2013 Extending quantifier elimination to linear inequalities on bit-vectors. Zbl 1381.68055John, Ajith K.; Chakraborty, Supratik 1 2013 Wavy regime of a power-law film flow. Zbl 1250.76073Ruyer-Quil, C.; Chakraborty, S.; Dandapat, B. S. 12 2012 Generalizations of non central negative binomial, Charlier series distributions, and their extensions by Lagrange expansion. Zbl 1242.60015Ong, S. H.; Chakraborty, S.; Imoto, T.; Shimizu, K. 4 2012 Preservation under substructures modulo bounded cores. Zbl 1362.03029Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik 1 2012 Reasoning about heap manipulating programs using automata techniques. Zbl 1256.68116Chakraborty, Supratik 1 2012 Effects of variable fluid properties on unsteady thin-film flow over a non-linear stretching sheet. Zbl 1201.80015Dandapat, B. S.; Chakraborty, S. 2 2010 Refining abstract interpretations. Zbl 1234.68258Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K. 1 2010 Bottom-up shape analysis. Zbl 1248.68145Gulavani, Bhargav S.; Chakraborty, Supratik; Ramalingam, Ganesan; Nori, Aditya V. 6 2009 On minimal odd rankings for Büchi complementation. Zbl 1258.68085Karmarkar, Hrishikesh; Chakraborty, Supratik 1 2009 Automatically refining abstract interpretations. Zbl 1134.68356Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K. 9 2008 Symmetric edge cracks in an orthotropic strip under normal loading. Zbl 1273.74437Das, S.; Chakraborty, S.; Srikanth, N.; Gupta, M. 7 2008 Density dependent predator death prevalence chaos in a tri-trophic food chain model. Zbl 1177.93009Bandyopadhyay, M.; Chatterjee, S.; Chakraborty, S.; Chattopadhyay, J. 3 2008 Fluid flow in hydrocyclones optimized through multi-objective genetic algorithms. Zbl 1222.76043Chakraborti, N.; Shekhar, A.; Singhal, A.; Chakraborty, S.; Chowdhury, S.; Sripriya, R. 1 2008 Bounded validity checking of interval duration logic. Zbl 1087.68061Sharma, Babita; Pandya, Paritosh. K.; Chakraborty, Supratik 3 2005 Three-dimensional double-diffusive convection and macrosegregation during non-equilibrium solidification of binary mixtures. Zbl 1032.76681Chakraborty, S.; Dutta, P. 5 2003 Stochastic sensitivity of 3D-elastodynamic response subjected to random ground excitation. Zbl 1205.86004Bhattacharyya, B.; Chakraborty, S. 1 2003 An efficient 3D stochastic finite element method. Zbl 1006.74543Chakraborty, S.; Bhattacharyya, B. 7 2002 Efficient algorithms for approximate time separation of events. Zbl 1018.68098Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y. 2 2002 A statistical analysis of an algorithm’s complexity. Zbl 0965.68139Chakraborty, S.; Choudhury, P. P. 8 2000 Stochastic finite element method for sensitivity analysis of structures. Zbl 1058.74634Bhattacharyya, B.; Chakraborty, S. 1 2000 Can statistics provide a realistic measure for an algorithm’s complexity? Zbl 0941.68588Chakraborty, S.; Choudhury, P. P. 2 1999 A stochastic finite element dynamic analysis of structures with uncertain parameters. Zbl 0957.74045Chakraborty, S.; Dey, S. S. 7 1998 An arbitrary-shaped arch element for large deflection analysis. Zbl 0918.73241Chakraborty, S.; Majumdar, S. 2 1997 Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines. Zbl 1055.68549Chakraborty, Supratik; Chowdhury, Dipanwita Roy; Chaudhuri, Parimal Pal 4 1996 Stochastic finite element method for spatial distribution of material properties and external loading. Zbl 0900.73748Chakraborty, S.; Dey, S. S. 5 1995 Estimation of rate parameters and its relationship with latent and infectious periods in plant disease epidemics. Zbl 0825.62815Dayananda, P. W. A.; Billard, L.; Chakraborty, S. 1 1995 all cited Publications top 5 cited Publications all top 5 Cited by 105 Authors 9 Chakraborty, Supratik 4 Cho, Sungjin 3 Choi, Un-Sook 3 Gupta, Ashutosh 3 Kim, Han-Doo 3 Rival, Xavier 2 D’silva, Vijay 2 Gulavani, Bhargav S. 2 Illous, Hugo 2 Lemerre, Matthieu 2 Niemetz, Aina 2 Nori, Aditya Vithal 2 Preiner, Mathias 2 Unadkat, Divyesh 2 Urban, Caterina 1 Adsul, Bharat 1 Akshay, S. 1 Alpuente, María 1 An, Jie 1 Andréka, Hajnal 1 Barrett, Clark W. 1 Biere, Armin 1 Brekling, Aske Wiid 1 Chen, Mingshuai 1 Chhatani, Dinesh 1 Chin, Wei-Ngan 1 Cousot, Patrick 1 Cousot, Radhia 1 Craciun, Florin 1 Demri, Stéphane P. 1 Desharnais, Jules 1 Deters, Morgan 1 Devillers, Raymond 1 Diallo, Nafi 1 Dutertre, Bruno 1 Encrenaz, Emmanuelle 1 Feret, Jérôme 1 Finkel, Alain 1 Fogarty, Seth J. 1 Fribourg, Laurent 1 Gajavelly, Rajkumar 1 Gallagher, John P. 1 Ghardallou, Wided 1 Goel, Shubham 1 Graham-Lengrand, Stéphane 1 Haldankar, Tanmay 1 Hansen, Michael Reichhardt 1 He, Guanhua 1 Heizmann, Matthias 1 Hoenicke, Jochen 1 Hwang, Yoon-Hee 1 Jain, Rahul 1 John, Ajith K. 1 Jovanović, Dejan 1 Kafle, Bishoksan 1 Kapur, Deepak 1 Khasidashvili, Zurab O. 1 Kiefer, Stefan 1 Konur, Savas 1 Kröning, Daniel 1 Kulal, Sumith 1 Lee, Wonchan 1 Lee, Woosuk 1 Leroux, Jérôme 1 Luo, Chenguang 1 Madarász, Judit X. 1 Mao, Jianfeng 1 Mauborgne, Laurent 1 Mili, Ali 1 Miné, Antoine 1 Mistry, Rakesh 1 Németi, István 1 Pandya, Paritosh K. 1 Pardo, Daniel 1 Phan, Anh-Dung 1 Podelski, Andreas 1 Qin, Shengchao 1 Rajamani, Sriram K. 1 Ramalingam, Ganesan 1 Reynolds, Andrew 1 Sankaran, Abhisekh 1 Seger, Carl-Johan H. 1 Shah, Shetal 1 Sharygina, Natasha 1 Stigge, Martin 1 Sutre, Grégoire 1 Székely, Gergely 1 Tinelli, Cesare 1 Tonetta, Stefano 1 Tredup, Ronny 1 Tsai, Ming-Hsien 1 Tsay, Yih-Kuen 1 Tsitovich, Aliaksei 1 Vardi, Moshe Ya’akov 1 Villanueva, Alicia 1 Wakankar, Amol 1 Wang, Jian 1 Widdershoven, Cas 1 Wintersteiger, Christoph M. 1 Ye, Tao ...and 5 more Authors all top 5 Cited in 16 Serials 7 Formal Methods in System Design 2 Computers & Mathematics with Applications 2 Annals of Pure and Applied Logic 1 Information Processing Letters 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Mathematical and Computer Modelling 1 Real-Time Systems 1 Annals of Mathematics and Artificial Intelligence 1 Fundamenta Informaticae 1 Journal of Applied Mathematics and Computing 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 38 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Numerical analysis (65-XX) 1 Relativity and gravitational theory (83-XX) 1 Systems theory; control (93-XX) Citations by Year