×

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: 65 Publications since 1985, including 1 Book

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 110 times in 31 Documents Cited by Year
Wavy regime of a power-law film flow. Zbl 1250.76073
Ruyer-Quil, C.; Chakraborty, S.; Dandapat, B. S.
12
2012
Automatically refining abstract interpretations. Zbl 1134.68356
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
8
2008
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.
8
2017
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
An efficient 3D stochastic finite element method. Zbl 1006.74543
Chakraborty, S.; Bhattacharyya, B.
5
2002
Three-dimensional double-diffusive convection and macrosegregation during non-equilibrium solidification of binary mixtures. Zbl 1032.76681
Chakraborty, S.; Dutta, P.
5
2003
Symmetric edge cracks in an orthotropic strip under normal loading. Zbl 1273.74437
Das, S.; Chakraborty, S.; Srikanth, N.; Gupta, M.
5
2008
Stochastic finite element method for spatial distribution of material properties and external loading. Zbl 0900.73748
Chakraborty, S.; Dey, S. S.
5
1995
Bottom-up shape analysis. Zbl 1248.68145
Gulavani, Bhargav S.; Chakraborty, Supratik; Ramalingam, Ganesan; Nori, Aditya V.
5
2009
A COM-Poisson-type generalization of the negative binomial distribution. Zbl 1346.62021
Chakraborty, S.; Ong, S. H.
5
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.
4
2014
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
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
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
An arbitrary-shaped arch element for large deflection analysis. Zbl 0918.73241
Chakraborty, S.; Majumdar, S.
2
1997
Can statistics provide a realistic measure for an algorithm’s complexity? Zbl 0941.68588
Chakraborty, S.; Choudhury, P. P.
2
1999
A layered algorithm for quantifier elimination from linear modular constraints. Zbl 1368.68332
John, Ajith K.; Chakraborty, Supratik
2
2016
Matching multiplications in bit-vector formulas. Zbl 06687354
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
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
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
On minimal odd rankings for Büchi complementation. Zbl 1258.68085
Karmarkar, Hrishikesh; Chakraborty, Supratik
1
2009
Extending quantifier elimination to linear inequalities on bit-vectors. Zbl 1381.68055
John, Ajith K.; Chakraborty, Supratik
1
2013
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
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
Preservation under substructures modulo bounded cores. Zbl 1362.03029
Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik
1
2012
Reasoning about heap manipulating programs using automata techniques. Zbl 1256.68116
Chakraborty, Supratik
1
2012
Refining abstract interpretations. Zbl 1234.68258
Gulavani, 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.03024
Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik
1
2014
Stochastic sensitivity of 3D-elastodynamic response subjected to random ground excitation. Zbl 1205.86004
Bhattacharyya, B.; Chakraborty, S.
1
2003
Towards parallel Boolean functional synthesis. Zbl 1452.68112
Akshay, S.; Chakraborty, Supratik; John, Ajith K.; Shah, Shetal
1
2017
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.
8
2017
Matching multiplications in bit-vector formulas. Zbl 06687354
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
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
Towards parallel Boolean functional synthesis. Zbl 1452.68112
Akshay, S.; Chakraborty, Supratik; John, Ajith K.; Shah, Shetal
1
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
2
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.
4
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.
12
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
Preservation under substructures modulo bounded cores. Zbl 1362.03029
Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik
1
2012
Reasoning about heap manipulating programs using automata techniques. Zbl 1256.68116
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.
5
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 82 Authors

7 Chakraborty, Supratik
4 Cho, Sungjin
3 Choi, Un-Sook
3 Kim, Han-Doo
2 D’silva, Vijay
2 Gulavani, Bhargav S.
2 Niemetz, Aina
2 Nori, Aditya Vithal
2 Preiner, Mathias
2 Rival, Xavier
2 Urban, Caterina
1 Adsul, Bharat
1 Akshay, S.
1 Alpuente, María
1 Barrett, Clark W.
1 Biere, Armin
1 Brekling, Aske Wiid
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 Diallo, Nafi
1 Encrenaz, Emmanuelle
1 Feret, Jérôme
1 Fogarty, Seth J.
1 Fribourg, Laurent
1 Gajavelly, Rajkumar
1 Gallagher, John P.
1 Ghardallou, Wided
1 Goel, Shubham
1 Gupta, Ashutosh
1 Haldankar, Tanmay
1 Hansen, Michael Reichhardt
1 He, Guanhua
1 Heizmann, Matthias
1 Hoenicke, Jochen
1 Hwang, Yoon-Hee
1 Illous, Hugo
1 Jain, Rahul
1 John, Ajith K.
1 Kafle, Bishoksan
1 Khasidashvili, Zurab O.
1 Konur, Savas
1 Kröning, Daniel
1 Kulal, Sumith
1 Lee, Wonchan
1 Lee, Woosuk
1 Lemerre, Matthieu
1 Luo, Chenguang
1 Mao, Jianfeng
1 Mauborgne, Laurent
1 Mili, Ali
1 Miné, Antoine
1 Mistry, Rakesh
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 Tinelli, Cesare
1 Tonetta, Stefano
1 Tsai, Ming-Hsien
1 Tsay, Yih-Kuen
1 Tsitovich, Aliaksei
1 Vardi, Moshe Y.
1 Villanueva, Alicia
1 Wintersteiger, Christoph M.
1 Ye, Tao
1 Yi, Kwangkeun
1 Yi, Wang
1 Zhao, Qianchuan

Citations by Year