×

Chakraborty, Supratik

Author ID: chakraborty.supratik Recent zbMATH articles by "Chakraborty, Supratik"
Published as: Chakraborty, Supratik
Homepage: https://www.cse.iitb.ac.in/~supratik/
External Links: MGP · ORCID

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 70 times in 60 Documents Cited by Year
Wavy regime of a power-law film flow. Zbl 1250.76073
Ruyer-Quil, C.; Chakraborty, S.; Dandapat, B. S.
15
2012
Automatically refining abstract interpretations. Zbl 1134.68356
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
13
2008
A statistical analysis of an algorithm’s complexity. Zbl 0965.68139
Chakraborty, S.; Choudhury, P. P.
8
2000
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.
8
2014
Bottom-up shape analysis. Zbl 1248.68145
Gulavani, Bhargav S.; Chakraborty, Supratik; Ramalingam, Ganesan; Nori, Aditya V.
6
2009
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
6
1996
What’s hard about Boolean functional synthesis? Zbl 1511.68146
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
5
2018
Three-dimensional double-diffusive convection and macrosegregation during non-equilibrium solidification of binary mixtures. Zbl 1032.76681
Chakraborty, S.; Dutta, P.
5
2003
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.
4
2012
Towards parallel Boolean functional synthesis. Zbl 1452.68112
Akshay, S.; Chakraborty, Supratik; John, Ajith K.; Shah, Shetal
4
2017
On Petri nets with hierarchical special arcs. Zbl 1442.68122
Akshay, S.; Chakraborty, Supratik; Das, Ankush; Jagannath, Vishal; Sandeep, Sai
4
2017
On Jordan generalized \(k\)-derivations of semiprime \(\Gamma_N\)-rings. Zbl 1226.16035
Chakraborty, S.; Paul, A. C.
3
2010
Bounded validity checking of interval duration logic. Zbl 1087.68061
Sharma, Babita; Pandya, Paritosh. K.; Chakraborty, Supratik
3
2005
Verifying array manipulating programs with full-program induction. Zbl 1507.68082
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh
3
2020
A layered algorithm for quantifier elimination from linear modular constraints. Zbl 1368.68332
John, Ajith K.; Chakraborty, Supratik
3
2016
Effects of variable fluid properties on unsteady thin-film flow over a non-linear stretching sheet. Zbl 1201.80015
Dandapat, B. S.; Chakraborty, S.
3
2010
Verifying array manipulating programs by tiling. Zbl 1420.68066
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh
3
2017
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
On minimal odd rankings for Büchi complementation. Zbl 1258.68085
Karmarkar, Hrishikesh; Chakraborty, Supratik
2
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 1484.68098
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
2017
A generalization of the Łoś-Tarski preservation theorem. Zbl 1353.03019
Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik
2
2016
The role of HPV on cervical cancer with several functional response: a control based comparative study. Zbl 1435.92027
Chakraborty, S.; Cao, Xianbing; Bhattyacharya, S.; Roy, P. K.
2
2019
Efficient algorithms for approximate time separation of events. Zbl 1018.68098
Chakraborty, Supratik; Dill, David L.; Yun, Kenneth Y.
2
2002
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
Boolean functional synthesis: hardness and practical algorithms. Zbl 1519.68128
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
1
2021
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
Stochastic finite element method for sensitivity analysis of structures. Zbl 1058.74634
Bhattacharyya, B.; Chakraborty, S.
1
2000
Preservation under substructures modulo bounded cores. Zbl 1362.03029
Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik
1
2012
Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Zbl 1251.68006
1
2012
Diffy: inductive reasoning of array programs using difference invariants. Zbl 1493.68101
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh
1
2021
Functional synthesis via input-output separation. Zbl 07683088
Chakraborty, Supratik; Fried, Dror; Tabajara, Lucas M.; Vardi, Moshe Y.
1
2022
A generalization of the Łoś-Tarski preservation theorem over classes of finite structures. Zbl 1426.03024
Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik
1
2014
Refining abstract interpretations. Zbl 1234.68258
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
1
2010
Stochastic sensitivity of 3D-elastodynamic response subjected to random ground excitation. Zbl 1205.86004
Bhattacharyya, B.; Chakraborty, S.
1
2003
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
Generalized magnetothermoelastic interaction for a rotating half space. Zbl 1404.78006
Das, B.; Chakraborty, S.; Lahiri, A.
1
2018
Improved upper and lower bounds for Büchi disambiguation. Zbl 1410.68206
Karmarkar, Hrishikesh; Joglekar, Manas; Chakraborty, Supratik
1
2013
Functional synthesis via input-output separation. Zbl 07683088
Chakraborty, Supratik; Fried, Dror; Tabajara, Lucas M.; Vardi, Moshe Y.
1
2022
Boolean functional synthesis: hardness and practical algorithms. Zbl 1519.68128
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
1
2021
Diffy: inductive reasoning of array programs using difference invariants. Zbl 1493.68101
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh
1
2021
Verifying array manipulating programs with full-program induction. Zbl 1507.68082
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh
3
2020
The role of HPV on cervical cancer with several functional response: a control based comparative study. Zbl 1435.92027
Chakraborty, S.; Cao, Xianbing; Bhattyacharya, S.; Roy, P. K.
2
2019
What’s hard about Boolean functional synthesis? Zbl 1511.68146
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
5
2018
Generalized magnetothermoelastic interaction for a rotating half space. Zbl 1404.78006
Das, B.; Chakraborty, S.; Lahiri, A.
1
2018
Towards parallel Boolean functional synthesis. Zbl 1452.68112
Akshay, S.; Chakraborty, Supratik; John, Ajith K.; Shah, Shetal
4
2017
On Petri nets with hierarchical special arcs. Zbl 1442.68122
Akshay, S.; Chakraborty, Supratik; Das, Ankush; Jagannath, Vishal; Sandeep, Sai
4
2017
Verifying array manipulating programs by tiling. Zbl 1420.68066
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh
3
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 1484.68098
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
2017
A layered algorithm for quantifier elimination from linear modular constraints. Zbl 1368.68332
John, Ajith K.; Chakraborty, Supratik
3
2016
A generalization of the Łoś-Tarski preservation theorem. Zbl 1353.03019
Sankaran, Abhisekh; Adsul, Bharat; 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.
8
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
Improved upper and lower bounds for Büchi disambiguation. Zbl 1410.68206
Karmarkar, Hrishikesh; Joglekar, Manas; Chakraborty, Supratik
1
2013
Wavy regime of a power-law film flow. Zbl 1250.76073
Ruyer-Quil, C.; Chakraborty, S.; Dandapat, B. S.
15
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.
4
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
Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Zbl 1251.68006
1
2012
On Jordan generalized \(k\)-derivations of semiprime \(\Gamma_N\)-rings. Zbl 1226.16035
Chakraborty, S.; Paul, A. C.
3
2010
Effects of variable fluid properties on unsteady thin-film flow over a non-linear stretching sheet. Zbl 1201.80015
Dandapat, B. S.; Chakraborty, S.
3
2010
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.
6
2009
On minimal odd rankings for Büchi complementation. Zbl 1258.68085
Karmarkar, Hrishikesh; Chakraborty, Supratik
2
2009
Automatically refining abstract interpretations. Zbl 1134.68356
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K.
13
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
3
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
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
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
6
1996
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 154 Authors

14 Chakraborty, Supratik
5 Cho, Sungjin
4 Choi, Un-Sook
4 Kim, Han-Doo
3 Gulavani, Bhargav S.
3 Gupta, Ashutosh
3 Nori, Aditya Vithal
3 Rival, Xavier
3 Vardi, Moshe Ya’akov
2 Akshay, S.
2 Cousot, Patrick
2 D’silva, Vijay
2 Fogarty, Seth J.
2 Hwang, Yoon-Hee
2 Illous, Hugo
2 Kafle, Bishoksan
2 Kapur, Deepak
2 Lemerre, Matthieu
2 Niemetz, Aina
2 Preiner, Mathias
2 Rajamani, Sriram K.
2 Tsay, Yih-Kuen
2 Unadkat, Divyesh
2 Urban, Caterina
1 Adsul, Bharat
1 Alpuente, María
1 An, Jie
1 Andréka, Hajnal
1 Barrett, Clark W.
1 Bhattacharjee, Kamalika
1 Bhayat, Ahmed
1 Biere, Armin
1 Boutonnet, Rémy
1 Brekling, Aske Wiid
1 Chen, Liqian
1 Chen, Mingshuai
1 Chen, Yijia
1 Chhatani, Dinesh
1 Chin, Wei-Ngan
1 Chockler, Hana
1 Cousot, Radhia
1 Craciun, Florin
1 Das, Ankush
1 Das, Sukanta
1 Demri, Stéphane P.
1 Desharnais, Jules
1 Deters, Morgan
1 Devillers, Raymond
1 Diallo, Nafi
1 Dong, Qian
1 Dutertre, Bruno
1 Eisenhofer, Clemens
1 Encrenaz, Emmanuelle
1 Fang, Liangda
1 Feret, Jérôme
1 Finkel, Alain
1 Flum, Jörg
1 Fribourg, Laurent
1 Fried, Dror
1 Gajavelly, Rajkumar
1 Gallagher, John P.
1 Gange, Graeme
1 Georgiou, Pamina
1 Ghardallou, Wided
1 Ghilardi, Silvio
1 Gianola, Alessandro
1 Goel, Shubham
1 Graham-Lengrand, Stéphane
1 Guan, Quanlong
1 Halbwachs, Nicolas
1 Haldankar, Tanmay
1 Hansen, Michael Reichhardt
1 He, Guanhua
1 Heizmann, Matthias
1 Hoenicke, Jochen
1 Jagannath, Vishal
1 Jain, Rahul
1 Jezequel, Loïg
1 John, Ajith K.
1 Jovanović, Dejan
1 Khasidashvili, Zurab O.
1 Kiefer, Stefan
1 Kim, Jin-Gyoung
1 Konur, Savas
1 Kovács, Laura Ildikó
1 Kröning, Daniel
1 Kulal, Sumith
1 Lai, Zhao-Rong
1 Lee, Wonchan
1 Lee, Woosuk
1 Leroux, Jérôme
1 Li, Wenqing
1 Li, Yong
1 Lime, Didier
1 Liu, Jiangchao
1 Luo, Chenguang
1 Madarász, Judit X.
1 Mao, Jianfeng
1 Mauborgne, Laurent
1 Meel, Kuldeep S.
...and 54 more Authors

Citations by Year