Somesh Jha

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Adversarially robust learning could leverage computational hardness.	2025-02-19	Paper
Machine learning and logic: a new frontier in artificial intelligence Formal Methods in System Design	2023-10-30	Paper
Privacy-preserving ridge regression with only linearly-homomorphic encryption	2018-08-10	Paper
Satisfiability modulo counting Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)	2018-04-23	Paper
Program synthesis for interactive-security systems Formal Methods in System Design	2018-02-14	Paper
Counterexample-guided abstraction refinement for symbolic model checking Journal of the ACM	2015-11-12	Paper
A semantics-based approach to malware detection Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
A refined binomial lattice for pricing American Asian options Review of Derivatives Research	2013-10-30	Paper
Dynamic behavior matching: a complexity analysis and new approximation algorithms Lecture Notes in Computer Science	2011-07-29	Paper
Automating security mediation placement Programming Languages and Systems	2010-05-04	Paper
Protocol Normalization Using Attribute Grammars Computer Security – ESORICS 2009	2009-10-16	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-05-02	Paper
An Iterative Framework for Simulation Conformance Journal Of Logic And Computation	2005-10-18	Paper
Weighted pushdown systems and their application to interprocedural dataflow analysis Science of Computer Programming	2005-10-10	Paper
scientific article; zbMATH DE number 2090847 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 2087431 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1852165 (Why is no real title available?)	2003-01-09	Paper
scientific article; zbMATH DE number 1670775 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1538051 (Why is no real title available?)	2001-08-05	Paper
Randomized stopping times and American option pricing with transaction costs Mathematical Finance	2001-03-29	Paper
scientific article; zbMATH DE number 1487864 (Why is no real title available?)	2000-12-11	Paper
Complexity of uniqueness and local search in quadratic 0-1 programming Operations Research Letters	1993-01-16	Paper
Graph separation techniques for quadratic zero-one programming Computers & Mathematics with Applications	1991-01-01	Paper

Research outcomes over time

This page was built for person: Somesh Jha