Physical Modelling of Nitrogen Variation in Continuously Cast Blooms Resulting from Atmospheric Exposure of Steel in Tundish during Initial Stages of Teeming
Ranjan, Subham, Mukherjee, Suvam, Agnihotri, Ankur, Mazumdar, Dipak
Published in ISIJ International (15.03.2022)
Published in ISIJ International (15.03.2022)
Get full text
Journal Article
Connexin 43 mediated collective cell migration is independent of Golgi orientation
Sharma, Madhav, Mukherjee, Suvam, Shaw, Archana Kumari, Mondal, Anushka, Behera, Amrutamaya, Das, Jibitesh, Bose, Abhishek, Sinha, Bidisha, Sarma, Jayasri Das
Published in Biology open (15.10.2023)
Published in Biology open (15.10.2023)
Get full text
Journal Article
Physical and Mathematical Modeling of Argon Flow and Distribution Around a Ladle Shroud-Collector Nozzle (LS-CN) Assembly
Mukherjee, Suvam, Mazumdar, Dipak
Published in Metallurgical and materials transactions. B, Process metallurgy and materials processing science (01.08.2022)
Published in Metallurgical and materials transactions. B, Process metallurgy and materials processing science (01.08.2022)
Get full text
Journal Article
Air Ingression in Ladle Shrouds, Tundish Open Eye Formation, Their Inter-dependance and Correlations: A Physical Model Investigation
Mukherjee, Suvam, Mazumdar, Dipak
Published in Metallurgical and materials transactions. B, Process metallurgy and materials processing science (01.12.2022)
Published in Metallurgical and materials transactions. B, Process metallurgy and materials processing science (01.12.2022)
Get full text
Journal Article
Celestial: A Smart Contracts Verification Framework
Dharanikota, Samvid, Mukherjee, Suvam, Bhardwaj, Chandrika, Rastogi, Aseem, Lal, Akash
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Get full text
Conference Proceeding
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs
Mukherjee, Suvam, Padon, Oded, Shoham, Sharon, D'Souza, Deepak, Rinetzky, Noam
Published in arXiv.org (06.09.2020)
Published in arXiv.org (06.09.2020)
Get full text
Paper
Journal Article
Software development quality assessment
Fanning, Michael C, Mukherjee, Suvam, Gonzalez, Danielle Nicole, Faucon, Christopher Michael Henry, Prakash, Pragya
Year of Publication 13.08.2024
Get full text
Year of Publication 13.08.2024
Patent
SOFTWARE DEVELOPMENT QUALITY ASSESSMENT
FAUCON, Christopher Michael Henry, GONZALEZ, Danielle Nicole, PRAKASH, Pragya, MUKHERJEE, Suvam, FANNING, Michael C
Year of Publication 21.03.2024
Get full text
Year of Publication 21.03.2024
Patent
SOFTWARE DEVELOPMENT QUALITY ASSESSMENT
FAUCON, Christopher Michael Henry, GONZALEZ, Danielle Nicole, PRAKASH, Pragya, MUKHERJEE, Suvam, FANNING, Michael C
Year of Publication 21.03.2024
Get full text
Year of Publication 21.03.2024
Patent
ENRICHING EXPOSED CREDENTIAL SEARCH RESULTS TO MAKE THEM ACTIONABLE
FANNING, Michael Christopher, MACLELLAN, Alison Lynne, CZERWONKA, Jacek Andrzej, FAUCON, Christopher Michael Henry, GONZALEZ, Danielle Nicole, COURAUD, Nicolas Yves, MUKHERJEE, Suvam, OKADA NAKAMURA, Eddy Toshiyuki
Year of Publication 25.04.2024
Get full text
Year of Publication 25.04.2024
Patent
ENRICHING EXPOSED CREDENTIAL SEARCH RESULTS TO MAKE THEM ACTIONABLE
FANNING, Michael Christopher, Couraud, Nicolas Yves, MACLELLAN, Alison Lynne, CZERWONKA, Jacek Andrzej, FAUCON, Christopher Michael Henry, GONZALEZ, Danielle Nicole, MUKHERJEE, Suvam, OKADA NAKAMURA, Eddy Toshiyuki
Year of Publication 18.04.2024
Get full text
Year of Publication 18.04.2024
Patent
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Mukherjee, Suvam, Raj, Nitin John, Krishnan Govindraj, Pantazis Deligiannis, Ravichandran, Chandramouleswaran, Lal, Akash, Rastogi, Aseem, Krishnaswamy, Raja
Published in arXiv.org (27.02.2019)
Published in arXiv.org (27.02.2019)
Get full text
Paper
Journal Article