Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Shriram Krishnamurthi

Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development… Expand
Wikipedia

Related topics

Related topics

12 relations
Computer access controlECOOPFlapjaxHow to Design Programs
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Electrochemical modelling of Li-ion battery pack with constant voltage cycling
Abstract In a battery pack, cell-to-cell chemical variation, or the variation in operating conditions, can possibly lead to… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
2016
2016
Sign reversal of magnetoresistance in a perovskite nickelate by electron doping
Koushik Ramadoss,1,* Nirajan Mandal,2,3 Xia Dai,4 Zhong Wan,2 You Zhou,5 Leonid Rokhinson,2,3,6 Yong P. Chen,2,3,6 Jiangpin Hu,2… Expand
  • figure 1
  • figure 2
  • figure 4
2015
2015
Hierarchical and high throughput mechanical characterization of titanium alloys using spherical indentation stress-strain curves
To my family, especially my wife, Alicia, and my daughter, Frances iv ACKNOWLEDGEMENTS I wish to thank my advisor, Surya… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2014
2014
Rethinking Traditional Web Interaction: Theory and Implementation
In recent years, Web sites evolved into ever more complex distributed applications. But current Web programming tools are not… Expand
  • figure 1
2011
2011
Deterministic Bounds for Restricted Isometry of Compressed Sensing Matrices
Compressed Sensing (CS) is an emerging field that enables reconstruction of a sparse signal $x \in {\mathbb R} ^n$ that has only… Expand
  • figure 1
  • figure 2
  • figure 3
2008
2008
SoftAlloc: A Work Allocation Language with Soft Constraints
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of… Expand
  • figure 1
  • figure 3
  • figure 2
  • table 1
Highly Cited
2006
Highly Cited
2006
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2005
2005
The Soundness and Completeness of Margrave with Respect to a Subset of XACML
Provides a natural semantics for a subset of XACML, a language for the specification of access-control policies. Presents the key… Expand
  • table 4
  • table 6
  • table 5
  • figure 3
  • figure 4
2005
2005
Implementing Application-Specific Object-Oriented Theories in HOL
This paper presents a theory of Object-Oriented concepts embedded shallowly in HOL for the verification of OO analysis models… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2001
Highly Cited
2001
Contract Soundness for object-oriented languages
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE