The following pages link to Somesh Jha (Q375473):
Displayed 22 items.
- A refined binomial lattice for pricing American Asian options (Q375476) (← links)
- Complexity of uniqueness and local search in quadratic 0-1 programming (Q1197889) (← links)
- Privacy-preserving ridge regression with only linearly-homomorphic encryption (Q1656040) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Weighted pushdown systems and their application to interprocedural dataflow analysis (Q2568453) (← links)
- Graph separation techniques for quadratic zero-one programming (Q2638933) (← links)
- Randomized Stopping Times and American Option Pricing with Transaction Costs (Q2707162) (← links)
- (Q2754081) (← links)
- Protocol Normalization Using Attribute Grammars (Q3182855) (← links)
- A semantics-based approach to malware detection (Q3189818) (← links)
- Counterexample-guided abstraction refinement for symbolic model checking (Q3452508) (← links)
- Automating Security Mediation Placement (Q3558233) (← links)
- (Q4494391) (← links)
- (Q4518908) (← links)
- Satisfiability modulo counting (Q4635627) (← links)
- (Q4738226) (← links)
- (Q4787240) (← links)
- (Q4813399) (← links)
- Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (Q5200029) (← links)
- An Iterative Framework for Simulation Conformance (Q5696303) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899049) (← links)
- Machine learning and logic: a new frontier in artificial intelligence (Q6056641) (← links)