Ranjani Krishnan

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Top Venues

J. Aerosp. Inf. Syst.

Publications

Aishwarrya Deore, Martin Holzhacker, Ranjani Krishnan
Direct and Spillover Effects of Quality Disclosure Regulation: Evidence from California Hospitals. Manag. Sci. 70 (4) (2024)
Ranjani Krishnan, Manju C. R, Jayalekshmy L
Testing of Real time Embedded Onboard Software : a Launch Vehicle Case Study. ICCCNT (2023)
Anjana Susarla, Martin Holzhacker, Ranjani Krishnan
Calculative Trust and Interfirm Contracts. Manag. Sci. 66 (11) (2020)
Hang Nguyen, Roger Calantone, Ranjani Krishnan
Influence of Social Media Emotional Word of Mouth on Institutional Investors' Decisions and Firm Value. Manag. Sci. 66 (2) (2020)
Ranjani Krishnan, V. R. Lalithambika
Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker. J. Aerosp. Inf. Syst. 17 (12) (2020)
Susanna Gallani, Ranjani Krishnan, Eric J. Marinich, Michael D. Shields
Budgeting, Psychological Contracts, and Budgetary Misreporting. Manag. Sci. 65 (6) (2019)
Ranjani Krishnan, V. R. Lalithambika
Modelling and validating 1553B protocol using the SPIN model checker. COMSNETS (2018)
Ranjani Krishnan, V. R. Lalithambika
A Comparison of AFDX and 1553B Protocols Using Formal Verification. ICACCI (2018)
Kiron Ravindran, Anjana Susarla, Ranjani Krishnan, Deepa Mani
The Mediating Effect of Formal Contractual Controls in the Relationship Between Experience and Contract Design. Global Sourcing Workshop (2015)
Ge Bai, Sylvia H. Hsu, Ranjani Krishnan
Accounting Performance and Capacity Investment Decisions: Evidence from California Hospitals. Decis. Sci. 45 (2) (2014)
Pankaj Setia, Monika Setia, Ranjani Krishnan, Vallabh Sambamurthy
The Effects of the Assimilation and Use of IT Applications on Financial Performance in Healthcare Organizations. J. Assoc. Inf. Syst. 12 (3) (2011)
Pankaj Setia, Monika Setia, Ranjani Krishnan, Vallabh Sambamurthy
Scope, Longevity and Domain of IT Architecture, and Their Impacts on Hospital Efficiency. ICIS (2009)