What’s Decidable About Program Verification Modulo Axioms?

por Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Publicado en Tools and Algorithms for the Construction and Analysis of Systems (2020)

Computer aided verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 proceedings /

por CAV (Conferência), Madhusudan, P., Seshia, Sanjit A.
Publicado 2012

A First-Order Logic with Frames

por Murali, Adithya, Peña, Lucas, Löding, Christof, Madhusudan, P.
Publicado en Programming Languages and Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

por Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Publicado en Computer Aided Verification (2020)

PKCepsilon and an increase in intracellular calcium concentration are necessary for PGF2alpha to inhibit LH-stimulated progesterone secretion in cultured bovine steroidogenic lutea...

por Goravanahally, Madhusudan P, Sen, Aritro, Inskeep, Emmet K, Flores, Jorge A
Publicado 2007

Pleural effusion: An unusual cause and association

por Navaz, Alam K., Raikar, Madhusudan P., Acharya, Vishak, Shetty, Sanmath K.
Publicado 2013

HIV Infection and Host Genetic Mutation among Injecting Drug-users of Northeastern States of India

por Sarkar, Kamalesh, Das, Santa Sabuj, Pal, Reshmi, Bal, Baishali, Madhusudan, P., Chakraborti, Sekhar
Publicado 2010

Urine podocin:nephrin mRNA ratio (PNR) as a podocyte stress biomarker

por Fukuda, Akihiro, Wickman, Larysa T., Venkatareddy, Madhusudan P., Wang, Su Q., Chowdhury, Mahboob A., Wiggins, Jocelyn E., Shedden, Kerby A., Wiggins, Roger C.
Publicado 2012

Diacetyl Increases Sensory Innervation and Substance P Production in Rat Trachea

por Goravanahally, Madhusudan P., Hubbs, Ann F., Fedan, Jeffery S., Kashon, Michael L., Battelli, Lori A., Mercer, Robert R., Goldsmith, W. Travis, Jackson, Mark C., Cumpston, Amy, Frazer, David G., Dey, Richard D.
Publicado en Toxicol Pathol (2013)

Growth-Dependent Podocyte Failure Causes Glomerulosclerosis

por Fukuda, Akihiro, Chowdhury, Mahboob A., Venkatareddy, Madhusudan P., Wang, Su Q., Nishizono, Ryuzoh, Suzuki, Tsukasa, Wickman, Larysa T., Wiggins, Jocelyn E., Muchayi, Timothy, Fingar, Diane, Shedden, Kerby A., Inoki, Ken, Wiggins, Roger C.
Publicado 2012

Respiratory and Olfactory Cytotoxicity of Inhaled 2,3-Pentanedione in Sprague-Dawley Rats

por Hubbs, Ann F., Cumpston, Amy M., Goldsmith, W. Travis, Battelli, Lori A., Kashon, Michael L., Jackson, Mark C., Frazer, David G., Fedan, Jeffrey S., Goravanahally, Madhusudan P., Castranova, Vincent, Kreiss, Kathleen, Willard, Patsy A., Friend, Sherri, Schwegler-Berry, Diane, Fluharty, Kara L., Sriram, Krishnan
Publicado en Am J Pathol (2012)

Accumulation of Ubiquitin and Sequestosome-1 Implicate Protein Damage in Diacetyl-Induced Cytotoxicity

por Hubbs, Ann F., Fluharty, Kara L., Edwards, Rebekah J., Barnabei, Jamie L., Grantham, John T., Palmer, Scott M., Kelly, Francine, Sargent, Linda M., Reynolds, Steven H., Mercer, Robert R., Goravanahally, Madhusudan P., Kashon, Michael L., Honaker, John C., Jackson, Mark C., Cumpston, Amy M., Goldsmith, William T., McKinney, Walter, Fedan, Jeffrey S., Battelli, Lori A., Munro, Tiffany, Bucklew-Moyers, Winnie, McKinstry, Kimberly, Schwegler-Berry, Diane, Friend, Sherri, Knepp, Alycia K., Smith, Samantha L., Sriram, Krishnan
Publicado en Am J Pathol (2016)