Somesh Jha

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Machine learning and logic: a new frontier in artificial intelligence	2023-10-30	Paper
Privacy-preserving ridge regression with only linearly-homomorphic encryption	2018-08-10	Paper
Satisfiability modulo counting	2018-04-23	Paper
Program synthesis for interactive-security systems	2018-02-14	Paper
Counterexample-guided abstraction refinement for symbolic model checking	2015-11-12	Paper
A semantics-based approach to malware detection	2014-09-12	Paper
A refined binomial lattice for pricing American Asian options	2013-10-30	Paper
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms	2011-07-29	Paper
Automating Security Mediation Placement	2010-05-04	Paper
Protocol Normalization Using Attribute Grammars	2009-10-16	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
An Iterative Framework for Simulation Conformance	2005-10-18	Paper
Weighted pushdown systems and their application to interprocedural dataflow analysis	2005-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813399	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4738226	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4787240	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q2754081	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4518908	2001-08-05	Paper
Randomized stopping times and American option pricing with transaction costs	2001-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4494391	2000-12-11	Paper
Complexity of uniqueness and local search in quadratic 0-1 programming	1993-01-16	Paper
Graph separation techniques for quadratic zero-one programming	1991-01-01	Paper

Research outcomes over time

This page was built for person: Somesh Jha