×

zbMATH — the first resource for mathematics

Gupta, Ashutosh

Compute Distance To:
Author ID: gupta.ashutosh Recent zbMATH articles by "Gupta, Ashutosh"
Published as: Gupta, A.; Gupta, Ashutosh
Documents Indexed: 42 Publications since 1958, including 1 Book

Publications by Year

Citations contained in zbMATH

19 Publications have been cited 59 times in 59 Documents Cited by Year
A Bayes analysis of modified Weibull distribution via Markov chain Monte Carlo simulation. Zbl 1187.62058
Upadhyay, S. K.; Gupta, Ashutosh
11
2010
Predicate abstraction and refinement for verifying multi-threaded programs. Zbl 1284.68427
Gupta, Ashutosh; Popeea, Corneliu; Rybalchenko, Andrey
9
2011
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
9
2008
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A.
6
1988
A genetic algorithm for scheduling job families on a single machine with arbitrary earliness/tardiness penalties and an unrestricted common due date. Zbl 0953.90527
Webster, S.; Jog, P. D.; Gupta, A.
5
1998
Matching multiplications in bit-vector formulas. Zbl 06687354
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
2017
Computational methods in systems biology. 11th international conference, CMSB 2013, Klosterneuburg, Austria, September 22–24, 2013. Proceedings. Zbl 1321.92032
Gupta, Ashutosh (ed.); Henzinger, Thomas A. (ed.)
2
2013
Improved single pass algorithms for resolution proof reduction. Zbl 1374.68489
Gupta, Ashutosh
2
2012
Analysis of narrowband active noise and vibration control systems using parallel adaptive notch filters. Zbl 1229.70090
Yang, F.; Gupta, A.; Kuo, S. M.
2
2008
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M.
2
1991
Succinct representation of concurrent trace sets. Zbl 1345.68108
Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten
1
2015
Extensional crisis and proving identity. Zbl 1448.68459
Gupta, Ashutosh; Kovács, Laura; Kragl, Bernhard; Voronkov, Andrei
1
2014
Tree interpolation in Vampire. Zbl 1406.68104
Blanc, Régis; Gupta, Ashutosh; Kovács, Laura; Kragl, Bernhard
1
2013
A Bayes comparison of Weibull extension and modified Weibull models for data showing bathtub hazard rate. Zbl 1348.62087
Upadhyay, S. K.; Gupta, Ashutosh; Mukherjee, Bhaswati; Khokhar, Ankit
1
2013
Bayesian modeling of bathtub shaped hazard rate using various Weibull extensions and related issues of model selection. Zbl 1257.62030
Upadhyay, S. K.; Gupta, Ashutosh; Dey, Dipak K.
1
2012
Accelerated test system strength models based on Birnbaum-Saunders distribution: a complete Bayesian analysis and comparison. Zbl 1282.62220
Upadhyay, S. K.; Mukherjee, Bhaswati; Gupta, Ashutosh
1
2009
Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312
Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A.
1
2008
A hybrid model based on dynamic programming, neural networks, and surrogate value for inventory optimisation applications. Zbl 1054.90515
Reyes-Aldasoro, C. C.; Ganguly, A. R.; Lemus, G.; Gupta, A.
1
1999
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R.
1
1990
Matching multiplications in bit-vector formulas. Zbl 06687354
Chakraborty, Supratik; Gupta, Ashutosh; Jain, Rahul
2
2017
Succinct representation of concurrent trace sets. Zbl 1345.68108
Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten
1
2015
Extensional crisis and proving identity. Zbl 1448.68459
Gupta, Ashutosh; Kovács, Laura; Kragl, Bernhard; Voronkov, Andrei
1
2014
Computational methods in systems biology. 11th international conference, CMSB 2013, Klosterneuburg, Austria, September 22–24, 2013. Proceedings. Zbl 1321.92032
Gupta, Ashutosh (ed.); Henzinger, Thomas A. (ed.)
2
2013
Tree interpolation in Vampire. Zbl 1406.68104
Blanc, Régis; Gupta, Ashutosh; Kovács, Laura; Kragl, Bernhard
1
2013
A Bayes comparison of Weibull extension and modified Weibull models for data showing bathtub hazard rate. Zbl 1348.62087
Upadhyay, S. K.; Gupta, Ashutosh; Mukherjee, Bhaswati; Khokhar, Ankit
1
2013
Improved single pass algorithms for resolution proof reduction. Zbl 1374.68489
Gupta, Ashutosh
2
2012
Bayesian modeling of bathtub shaped hazard rate using various Weibull extensions and related issues of model selection. Zbl 1257.62030
Upadhyay, S. K.; Gupta, Ashutosh; Dey, Dipak K.
1
2012
Predicate abstraction and refinement for verifying multi-threaded programs. Zbl 1284.68427
Gupta, Ashutosh; Popeea, Corneliu; Rybalchenko, Andrey
9
2011
A Bayes analysis of modified Weibull distribution via Markov chain Monte Carlo simulation. Zbl 1187.62058
Upadhyay, S. K.; Gupta, Ashutosh
11
2010
Accelerated test system strength models based on Birnbaum-Saunders distribution: a complete Bayesian analysis and comparison. Zbl 1282.62220
Upadhyay, S. K.; Mukherjee, Bhaswati; Gupta, Ashutosh
1
2009
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
9
2008
Analysis of narrowband active noise and vibration control systems using parallel adaptive notch filters. Zbl 1229.70090
Yang, F.; Gupta, A.; Kuo, S. M.
2
2008
Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312
Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A.
1
2008
A hybrid model based on dynamic programming, neural networks, and surrogate value for inventory optimisation applications. Zbl 1054.90515
Reyes-Aldasoro, C. C.; Ganguly, A. R.; Lemus, G.; Gupta, A.
1
1999
A genetic algorithm for scheduling job families on a single machine with arbitrary earliness/tardiness penalties and an unrestricted common due date. Zbl 0953.90527
Webster, S.; Jog, P. D.; Gupta, A.
5
1998
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M.
2
1991
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R.
1
1990
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A.
6
1988
all top 5

Cited by 150 Authors

3 Gupta, Ashutosh
2 Abdel-Hamid, Alaa H.
2 Ateya, Saieed F.
2 Chakraborty, Supratik
2 Kaiser, Alexander D.
2 Kröning, Daniel
2 Mesnard, Fred
2 Nadarajah, Saralees
2 Namjoshi, Kedar S.
2 Payet, Étienne
2 Podelski, Andreas
2 Ramabathiran, Amuthan Arunkumar
2 Rybalchenko, Andrey
2 T’kindt, Vincent
2 Upadhyay, Satyanshu Kumar
2 Wahl, Thomas
1 Abd Ellah, Ahmed Hamed
1 Abou-Elheggag, Nasser A.
1 Abushal, Tahani A.
1 Adamczyk, Marek
1 Ahmed, Essam A.
1 Aiken, Alex
1 Al-Hussaini, Essam Khalaf
1 Alaca, B. E.
1 Alizadeh, Mojtaba
1 Alizadeh, Morad
1 Allahverdi, Ali
1 Bagheri, Seyyed Fazel
1 Balakrishnan, Narayanaswamy
1 Billaut, Jean-Charles
1 Borodin, Allan B.
1 Borralleras, Cristina
1 Bouibede-Hocine, Karima
1 Bouissou, Olivier
1 Briš, Radim
1 Brockschmidt, Marc
1 Bruttomesso, Roberto
1 Cabodi, Gianpiero
1 Černý, Pavol
1 Chang, Chengyuan
1 Chen, Chengwu
1 Cheng, Tai-Chiu Edwin
1 Chhatani, Dinesh
1 Christ, Jürgen
1 Chung, Lap-Loi
1 Clarke, Edmund Melson jun.
1 Cook, Byron
1 Coolen, Frank P. A.
1 de Keijzer, Bart
1 Deiri, Eynollah
1 Desai, Yogesh M.
1 Desharnais, Jules
1 Dey, Dipak Kumar
1 Diallo, Nafi
1 Donaldson, Alastair F.
1 Esswein, Carl
1 Feng, Yuan
1 Ferraioli, Diodato
1 Friedrich, Richard
1 Fuhs, Carsten
1 Gajavelly, Rajkumar
1 Ghardallou, Wided
1 Ghugal, Yuwaraj Marotrao
1 Giannakopoulou, Dimitra
1 Gopalakrishnan, Sathish
1 Gopalakrishnan, Sugilal
1 Gupta, Aarti
1 Haldankar, Tanmay
1 Harbi, Mashail M. Al
1 Hashem, Atef F.
1 Hattel, Jesper Henri
1 He, Wei
1 Hell, Pavol
1 Henzinger, Thomas A.
1 Hoenicke, Jochen
1 Hojjat, Hossein
1 Huang, Hsu-Hui
1 Jaheen, Zeinhum Fekry
1 Jain, Rahul
1 Jhala, Ranjit
1 Kahlon, Vineet
1 Kant, Tarun
1 Khasidashvili, Zurab O.
1 Khokhar, Ankit
1 Kop, Cynthia
1 Kotelnikov, Evgenii
1 Kovács, Laura Ildikó
1 Kovalyov, Mikhail Yakovlevich
1 Kuncak, Viktor
1 Kundu, Debasis
1 Larraz, Daniel
1 Leonardi, Stefano
1 Liu, Jiang
1 Liu, Wei
1 Loiacono, Carmelo
1 Manolios, Panagiotis
1 Merovci, Faton
1 Michaliszyn, Jakub
1 Mili, Ali
1 Mistry, Rakesh
...and 50 more Authors

Citations by Year