Showing 1 - 18 results of 18 for search 'Naik, M. T.', query time: 0.05s
Refine Results
-
1
-
2
A correspondence between two approaches to interprocedural analysis in the presence of join by Yang, H, Mangal, R, Naik, M
Published 2014Conference item -
3
-
4
-
5
Abstractions from Tests by Naik, M, Yang, H, Castelnuovo, G, Sagiv, M
Published 2012Journal article -
6
Hybrid top-down and bottom-up interprocedural analysis by Zhang, X, Mangal, R, Naik, M, Yang, H
Published 2014Conference item -
7
-
8
-
9
Abstractions from Tests by Naik, M, Yang, H, Castelnuovo, G, Sagiv, M, ACM
Published 2012Journal article -
10
On abstraction refinement for program analyses in Datalog by Zhang, X, Mangal, R, Grigore, R, Naik, M, Yang, H
Published 2014Conference item -
11
Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis by Castelnuovo, G, Naik, M, Rinetzky, N, Sagiv, M, Yang, H
Published 2015Conference item -
12
-
13
Efficacy and safety profile of combination of tramadol-diclofenac versus tramadol-paracetamol in patients with acute musculoskeletal conditions, postoperative pain, and acute flare... by Chandanwale AS, Sundar S, Latchoumibady K, Biswas S, Gabhane M, Naik M, Patel K
Published 2014-08-01
Article -
14
Evaluation of Cystatin C as a marker of renal injury following on-pump and off-pump coronary surgery. by Abu-Omar, Y, Mussa, S, Naik, M, MacCarthy, N, Standing, S, Taggart, D
Published 2005Journal article -
15
Total arterial revascularisation as a primary strategy for coronary artery bypass grafting. by Naik, M, Abu-Omar, Y, Alvi, A, Wright, N, Henderson, A, Channon, K, Forfar, J, Taggart, D
Published 2003Journal article -
16
Shock mobilities during moments of acute uncertainty by Xiang, B, Allen, WL, Khosravi, S, Neveu Kringelbach, H, Ortiga, YY, Liao, KAS, Cuéllar, JE, Momen, L, Deshingkar, P, Naik, M
Published 2022Journal article -
17
Exploring the onset of quasifission by measurement of mass distribution in 19F+184W by Sugathan P., Naik M.B., Kalkal Sunil, Prasad E., Gehlot J., Jhingan A., Nath S., Golda K.S., Madhavan N., Madhusudhana Rao P.V.
Published 2011-10-01
Article -
18
HYRA gas-filled separator coupled to 4π spin spectrometer at IUAC, New Delhi by Mohanto G., Chavan P. B., Gothe D. A., Nath S., Gehlot J., Varughese T., Mazumdar I., Madhavan N., Naik M. B., Mukul I., Sinha A. K.
Published 2011-10-01
Article