×

zbMATH — the first resource for mathematics

Chakraborty, Supratik

Compute Distance To:
Author ID: chakraborty.supratik Recent zbMATH articles by "Chakraborty, Supratik"
Published as: Chakraborty, S.; Chakraborty, Supratik
External Links: ORCID
Documents Indexed: 62 Publications since 1985, including 1 Book

Publications by Year

Citations contained in zbMATH

32 Publications have been cited 100 times in 90 Documents Cited by Year
Wavy regime of a power-law film flow. Zbl 1250.76073
Ruyer-Quil, C.; Chakraborty, S.; Dandapat, B. S.
10
2012
Automatically refining abstract interpretations. Zbl 1134.68356
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
8
2008
A statistical analysis of an algorithm’s complexity. Zbl 0965.68139
Chakraborty, S.; Choudhury, P. P.
8
2000
A stochastic finite element dynamic analysis of structures with uncertain parameters. Zbl 0957.74045
Chakraborty, S.; Dey, S. S.
6
1998
A critical assessment of Kriging model variants for high-fidelity uncertainty quantification in dynamics of composite shells. Zbl 1376.62133
Mukhopadhyay, T.; Chakraborty, S.; Dey, S.; Adhikari, S.; Chowdhury, R.
5
2017
A COM-Poisson-type generalization of the negative binomial distribution. Zbl 1346.62021
Chakraborty, S.; Ong, S. H.
5
2016
Symmetric edge cracks in an orthotropic strip under normal loading. Zbl 1273.74437
Das, S.; Chakraborty, S.; Srikanth, N.; Gupta, M.
5
2008
Three-dimensional double-diffusive convection and macrosegregation during non-equilibrium solidification of binary mixtures. Zbl 1032.76681
Chakraborty, S.; Dutta, P.
5
2003
An efficient 3D stochastic finite element method. Zbl 1006.74543
Chakraborty, S.; Bhattacharyya, B.
5
2002
Stochastic finite element method for spatial distribution of material properties and external loading. Zbl 0900.73748
Chakraborty, S.; Dey, S. S.
5
1995
Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines. Zbl 1055.68549
Chakraborty, Supratik; Chowdhury, Dipanwita Roy; Chaudhuri, Parimal Pal
4
1996
A parametric study on the buckling of functionally graded material plates with internal discontinuities using the partition of unity method. Zbl 1406.74256
Natarajan, Sundararajan; Chakraborty, S.; Ganapathi, M.; Subramanian, M.
3
2014
Generalizations of non central negative binomial, Charlier series distributions, and their extensions by Lagrange expansion. Zbl 1242.60015
Ong, S. H.; Chakraborty, S.; Imoto, T.; Shimizu, K.
3
2012
Bottom-up shape analysis. Zbl 1248.68145
Gulavani, Bhargav S.; Chakraborty, Supratik; Ramalingam, Ganesan; Nori, Aditya V.
3
2009
Symbolic trajectory evaluation for word-level verification: theory and implementation. Zbl 1360.68582
Chakraborty, Supratik; Khasidashvili, Zurab; Seger, Carl-Johan H.; Gajavelly, Rajkumar; Haldankar, Tanmay; Chhatani, Dinesh; Mistry, Rakesh
2
2017
Matching multiplications in bit-vector formulas. Zbl 06687354
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
2017
Density dependent predator death prevalence chaos in a tri-trophic food chain model. Zbl 1177.93009
Bandyopadhyay, M.; Chatterjee, S.; Chakraborty, S.; Chattopadhyay, J.
2
2008
Bounded validity checking of interval duration logic. Zbl 1087.68061
Sharma, Babita; Pandya, Paritosh. K.; Chakraborty, Supratik
2
2005
Efficient algorithms for approximate time separation of events. Zbl 1018.68098
Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y.
2
2002
Can statistics provide a realistic measure for an algorithm’s complexity? Zbl 0941.68588
Chakraborty, S.; Choudhury, P. P.
2
1999
An arbitrary-shaped arch element for large deflection analysis. Zbl 0918.73241
Chakraborty, S.; Majumdar, S.
2
1997
A layered algorithm for quantifier elimination from linear modular constraints. Zbl 1368.68332
John, Ajith K.; Chakraborty, Supratik
1
2016
A generalization of the Łoś-Tarski preservation theorem over classes of finite structures. Zbl 1426.03024
Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik
1
2014
Extending quantifier elimination to linear inequalities on bit-vectors. Zbl 1381.68055
John, Ajith K.; Chakraborty, Supratik
1
2013
Reasoning about heap manipulating programs using automata techniques. Zbl 1256.68116
Chakraborty, Supratik
1
2012
Preservation under substructures modulo bounded cores. Zbl 1362.03029
Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik
1
2012
Refining abstract interpretations. Zbl 1234.68258
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
1
2010
On minimal odd rankings for Büchi complementation. Zbl 1258.68085
Karmarkar, Hrishikesh; Chakraborty, Supratik
1
2009
Fluid flow in hydrocyclones optimized through multi-objective genetic algorithms. Zbl 1222.76043
Chakraborti, N.; Shekhar, A.; Singhal, A.; Chakraborty, S.; Chowdhury, S.; Sripriya, R.
1
2008
Stochastic sensitivity of 3D-elastodynamic response subjected to random ground excitation. Zbl 1205.86004
Bhattacharyya, B.; Chakraborty, S.
1
2003
Stochastic finite element method for sensitivity analysis of structures. Zbl 1058.74634
Bhattacharyya, B.; Chakraborty, S.
1
2000
Estimation of rate parameters and its relationship with latent and infectious periods in plant disease epidemics. Zbl 0825.62815
Dayananda, P. W. A.; Billard, L.; Chakraborty, S.
1
1995
A critical assessment of Kriging model variants for high-fidelity uncertainty quantification in dynamics of composite shells. Zbl 1376.62133
Mukhopadhyay, T.; Chakraborty, S.; Dey, S.; Adhikari, S.; Chowdhury, R.
5
2017
Symbolic trajectory evaluation for word-level verification: theory and implementation. Zbl 1360.68582
Chakraborty, Supratik; Khasidashvili, Zurab; Seger, Carl-Johan H.; Gajavelly, Rajkumar; Haldankar, Tanmay; Chhatani, Dinesh; Mistry, Rakesh
2
2017
Matching multiplications in bit-vector formulas. Zbl 06687354
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
2017
A COM-Poisson-type generalization of the negative binomial distribution. Zbl 1346.62021
Chakraborty, S.; Ong, S. H.
5
2016
A layered algorithm for quantifier elimination from linear modular constraints. Zbl 1368.68332
John, Ajith K.; 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.74256
Natarajan, Sundararajan; Chakraborty, S.; Ganapathi, M.; Subramanian, M.
3
2014
A generalization of the Łoś-Tarski preservation theorem over classes of finite structures. Zbl 1426.03024
Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik
1
2014
Extending quantifier elimination to linear inequalities on bit-vectors. Zbl 1381.68055
John, Ajith K.; Chakraborty, Supratik
1
2013
Wavy regime of a power-law film flow. Zbl 1250.76073
Ruyer-Quil, C.; Chakraborty, S.; Dandapat, B. S.
10
2012
Generalizations of non central negative binomial, Charlier series distributions, and their extensions by Lagrange expansion. Zbl 1242.60015
Ong, S. H.; Chakraborty, S.; Imoto, T.; Shimizu, K.
3
2012
Reasoning about heap manipulating programs using automata techniques. Zbl 1256.68116
Chakraborty, Supratik
1
2012
Preservation under substructures modulo bounded cores. Zbl 1362.03029
Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik
1
2012
Refining abstract interpretations. Zbl 1234.68258
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
1
2010
Bottom-up shape analysis. Zbl 1248.68145
Gulavani, Bhargav S.; Chakraborty, Supratik; Ramalingam, Ganesan; Nori, Aditya V.
3
2009
On minimal odd rankings for Büchi complementation. Zbl 1258.68085
Karmarkar, Hrishikesh; Chakraborty, Supratik
1
2009
Automatically refining abstract interpretations. Zbl 1134.68356
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
8
2008
Symmetric edge cracks in an orthotropic strip under normal loading. Zbl 1273.74437
Das, S.; Chakraborty, S.; Srikanth, N.; Gupta, M.
5
2008
Density dependent predator death prevalence chaos in a tri-trophic food chain model. Zbl 1177.93009
Bandyopadhyay, M.; Chatterjee, S.; Chakraborty, S.; Chattopadhyay, J.
2
2008
Fluid flow in hydrocyclones optimized through multi-objective genetic algorithms. Zbl 1222.76043
Chakraborti, N.; Shekhar, A.; Singhal, A.; Chakraborty, S.; Chowdhury, S.; Sripriya, R.
1
2008
Bounded validity checking of interval duration logic. Zbl 1087.68061
Sharma, Babita; Pandya, Paritosh. K.; Chakraborty, Supratik
2
2005
Three-dimensional double-diffusive convection and macrosegregation during non-equilibrium solidification of binary mixtures. Zbl 1032.76681
Chakraborty, S.; Dutta, P.
5
2003
Stochastic sensitivity of 3D-elastodynamic response subjected to random ground excitation. Zbl 1205.86004
Bhattacharyya, B.; Chakraborty, S.
1
2003
An efficient 3D stochastic finite element method. Zbl 1006.74543
Chakraborty, S.; Bhattacharyya, B.
5
2002
Efficient algorithms for approximate time separation of events. Zbl 1018.68098
Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y.
2
2002
A statistical analysis of an algorithm’s complexity. Zbl 0965.68139
Chakraborty, S.; Choudhury, P. P.
8
2000
Stochastic finite element method for sensitivity analysis of structures. Zbl 1058.74634
Bhattacharyya, B.; Chakraborty, S.
1
2000
Can statistics provide a realistic measure for an algorithm’s complexity? Zbl 0941.68588
Chakraborty, S.; Choudhury, P. P.
2
1999
A stochastic finite element dynamic analysis of structures with uncertain parameters. Zbl 0957.74045
Chakraborty, S.; Dey, S. S.
6
1998
An arbitrary-shaped arch element for large deflection analysis. Zbl 0918.73241
Chakraborty, S.; Majumdar, S.
2
1997
Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines. Zbl 1055.68549
Chakraborty, Supratik; Chowdhury, Dipanwita Roy; Chaudhuri, Parimal Pal
4
1996
Stochastic finite element method for spatial distribution of material properties and external loading. Zbl 0900.73748
Chakraborty, S.; Dey, S. S.
5
1995
Estimation of rate parameters and its relationship with latent and infectious periods in plant disease epidemics. Zbl 0825.62815
Dayananda, P. W. A.; Billard, L.; Chakraborty, S.
1
1995
all top 5

Cited by 217 Authors

6 Chakraborty, Supratik
5 Chakraborty, Soubhik
4 Cho, Sungjin
4 Mandal, S. C.
3 Chakraborty, Subrata
3 Choi, Un-Sook
3 Kim, Han-Doo
2 Adhikari, Sondipon
2 Basak, Prasanta
2 Bhattacharyya, Biswarup
2 Chakraborty, Souvik
2 D’silva, Vijay
2 Falsone, Giovanni
2 Ferro, Giuseppe
2 Gulavani, Bhargav S.
2 Imoto, Tomoaki
2 Nandi, Aritri
2 Nori, Aditya Vithal
2 Ong, Seng-Huat
2 Sourabh, Suman Kumar
2 Sundararajan, Kiran Kumar
2 Urban, Caterina
2 Vila, Jean-Paul
1 Adsul, Bharat
1 Alba, K.
1 Anan, Orasa
1 Arpino, Fausto
1 Aubry, Nadine
1 Ávila da S., Cláudio R.
1 Baatar, Davaatseren
1 Babu, V. Satish
1 Baghestani, A. M.
1 Beck, André Teófilo
1 Bhattacharyya, Basudeb
1 Biere, Armin
1 Billard, Lynne
1 Biswas, Atanu
1 Böhning, Dankmar
1 Borhanuddin, M. A.
1 Bose, Mausumi
1 Bowly, Simon
1 Brekling, Aske Wiid
1 Cabrales, Roberto Carlos
1 Chakraborti, N. R.
1 Chakraborty, Somsubhra
1 Chakraborty, Subhendu
1 Chakraborty, Suman
1 Chambon, Guillaume
1 Chatterjee, Tanmoy
1 Chattopadhyay, Joydev
1 Chen, Guohua
1 Chhatani, Dinesh
1 Chimetta, Bruno Pelisson
1 Chin, Wei-Ngan
1 Choudhury, Pabitra Pal
1 Chowdhury, Tanmay
1 Cotta, Carlos C.
1 Cousot, Patrick
1 Cousot, Radhia
1 Craciun, Florin
1 Das, Krishnapada
1 Dede, Luca
1 Demri, Stéphane P.
1 Desharnais, Jules
1 Deters, Morgan
1 Dey, Sudip
1 Diallo, Nafi
1 Dutta, Anjan
1 Dutta, Prerona
1 Encrenaz, Emmanuelle
1 Fariborz, Shahriar J.
1 Feret, Jérôme
1 Fogarty, Seth J.
1 Fotuhi, Ali Reza
1 Franklin, Erick
1 Freydier, P.
1 Fribourg, Laurent
1 Frigaard, Ian A.
1 Friswell, Michael Ian
1 Gajavelly, Rajkumar
1 Gallagher, John P.
1 Ghardallou, Wided
1 Goswami, Somdatta
1 Goyal, Vijay K.
1 Gupta, Ashutosh
1 Haldankar, Tanmay
1 Haldar, Samadyuti
1 Hansen, Michael Reichhardt
1 Hazra, Budhaditya
1 He, Guanhua
1 Heizmann, Matthias
1 Hoenicke, Jochen
1 Hu, Zhaoyang
1 Hwang, Yoon-Hee
1 Ibrahim, Talaat A.
1 Impollonia, Nicola
1 Jain, Narendra Kumar
1 Jain, Rahul
1 Jayachandran, Arul
1 Jia, Honggang
...and 117 more Authors
all top 5

Cited in 49 Serials

6 Computer Methods in Applied Mechanics and Engineering
6 Applied Mathematics and Computation
5 Journal of Fluid Mechanics
4 Formal Methods in System Design
4 International Journal of Applied and Computational Mathematics
3 Computers & Mathematics with Applications
3 Applied Mathematical Modelling
3 Communications in Statistics. Theory and Methods
2 Mathematical Methods in the Applied Sciences
2 ZAMP. Zeitschrift für angewandte Mathematik und Physik
2 Meccanica
2 Applied Mathematics Letters
2 Physics of Fluids
2 European Journal of Mechanics. A. Solids
2 Journal of Statistical Distributions and Applications
1 Acta Mechanica
1 The Canadian Journal of Statistics
1 Computers and Fluids
1 International Journal of Heat and Mass Transfer
1 International Journal of Solids and Structures
1 Information Processing Letters
1 Journal of Computational Physics
1 Journal of Multivariate Analysis
1 Theoretical Computer Science
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 Computational Mechanics
1 Mathematical and Computer Modelling
1 Real-Time Systems
1 Journal of Statistical Computation and Simulation
1 Archive of Applied Mechanics
1 Communications in Numerical Methods in Engineering
1 International Journal of Numerical Methods for Heat & Fluid Flow
1 Annals of Mathematics and Artificial Intelligence
1 Mathematical Problems in Engineering
1 Nonlinear Dynamics
1 Engineering Computations
1 Archives of Computational Methods in Engineering
1 Journal of Applied Mathematics and Computing
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Acta Mechanica Sinica
1 Frontiers of Mathematics in China
1 Mathematical Programming Computation
1 International Journal of Structural Stability and Dynamics
1 Journal of the Korean Society for Industrial and Applied Mathematics
1 Frontiers of Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year