A correspondence between two approaches to interprocedural analysis in the presence of join by Yang, H, Mangal, R, Naik, M

A randomized trial of aprotinin (Trasylol) on blood loss, blood product requirement, and myocardial injury in total arterial grafting by Taggart, D, Djapardy, V, Naik, M, Davies, A

Abstractions from Tests by Naik, M, Yang, H, Castelnuovo, G, Sagiv, M

Hybrid top-down and bottom-up interprocedural analysis by Zhang, X, Mangal, R, Naik, M, Yang, H

Abstractions from Tests by Naik, M, Yang, H, Castelnuovo, G, Sagiv, M, ACM

On abstraction refinement for program analyses in Datalog by Zhang, X, Mangal, R, Grigore, R, Naik, M, Yang, H

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

Effect of Full Length Twisted Tape Inserts on Heat Transfer and Friction Factor Enhancement with Fe3O4 Magnetic Nanofluid Inside a Plain Tube: An Experimental Study by L. Syam, Sundar, Kumar, N. T. Ravi, Naik, M. T., Sharma, K. V.

Get full text

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

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

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