×
Author ID: jha.somesh Recent zbMATH articles by "Jha, Somesh"
Published as: Jha, Somesh; Jha, S.

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 443 times in 407 Documents Cited by Year
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
167
2000
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
125
2003
Complexity of uniqueness and local search in quadratic 0-1 programming. Zbl 0761.90070
Pardalos, Panos M.; Jha, Somesh
28
1992
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
27
2005
An improved algorithm for the evaluation of fixpoint expressions. Zbl 0901.68118
Browne, A.; Clarke, E. M.; Jha, S.; Long, D. E.; Marrero, W.
26
1997
Randomized stopping times and American option pricing with transaction costs. Zbl 0993.91021
Chalasani, Prasad; Jha, Somesh
23
2001
Graph separation techniques for quadratic zero-one programming. Zbl 0717.90050
Pardalos, Panos M.; Jha, Somesh
14
1991
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
8
2003
Approximate option pricing. Zbl 0991.91029
Chalasani, P.; Jha, S.; Saias, I.
7
1999
A refined binomial lattice for pricing American Asian options. Zbl 1274.91477
Chalasani, Prasad; Jha, Somesh; Egriboyun, Feyzullah; Varikooty, Ashok
7
1999
A semantics-based approach to malware detection. Zbl 1295.68157
Dalla Preda, Mila; Christodorescu, Mihai; Jha, Somesh; Debray, Saumya
4
2007
Partial order reductions for security protocol verification. Zbl 0965.68053
Clarke, Edmund; Jha, Somesh; Marrero, Will
3
2000
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
Privacy-preserving ridge regression with only linearly-homomorphic encryption. Zbl 1440.94052
Giacomelli, Irene; Jha, Somesh; Joye, Marc; Page, C. David; Yoon, Kyonghwan
2
2018
Satisfiability modulo counting: a new approach for analyzing privacy properties. Zbl 1401.68194
Fredrikson, Matthew; Jha, Somesh
2
2014
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
1
2001
Efficient type matching. Zbl 1077.68608
Jha, Somesh; Palsberg, Jens; Zhao, Tian
1
2002
Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Zbl 0934.68059
Dingel, J.; Garlan, D.; Jha, S.; Notkin, D.
1
1998
Dynamic behavior matching: a complexity analysis and new approximation algorithms. Zbl 1341.68028
Fredrikson, Matthew; Christodorescu, Mihai; Jha, Somesh
1
2011
Abstract BDDs: A technique for using abstraction in model checking. Zbl 0949.68105
Clarke, Edmund; Jha, Somesh; Lu, Yuan; Wang, Dong
1
1999
Privacy-preserving ridge regression with only linearly-homomorphic encryption. Zbl 1440.94052
Giacomelli, Irene; Jha, Somesh; Joye, Marc; Page, C. David; Yoon, Kyonghwan
2
2018
Satisfiability modulo counting: a new approach for analyzing privacy properties. Zbl 1401.68194
Fredrikson, Matthew; Jha, Somesh
2
2014
Dynamic behavior matching: a complexity analysis and new approximation algorithms. Zbl 1341.68028
Fredrikson, Matthew; Christodorescu, Mihai; Jha, Somesh
1
2011
A semantics-based approach to malware detection. Zbl 1295.68157
Dalla Preda, Mila; Christodorescu, Mihai; Jha, Somesh; Debray, Saumya
4
2007
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
27
2005
Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
125
2003
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
8
2003
Efficient type matching. Zbl 1077.68608
Jha, Somesh; Palsberg, Jens; Zhao, Tian
1
2002
Randomized stopping times and American option pricing with transaction costs. Zbl 0993.91021
Chalasani, Prasad; Jha, Somesh
23
2001
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
1
2001
Counterexample-guided abstraction refinement. Zbl 0974.68517
Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut
167
2000
Partial order reductions for security protocol verification. Zbl 0965.68053
Clarke, Edmund; Jha, Somesh; Marrero, Will
3
2000
Approximate option pricing. Zbl 0991.91029
Chalasani, P.; Jha, S.; Saias, I.
7
1999
A refined binomial lattice for pricing American Asian options. Zbl 1274.91477
Chalasani, Prasad; Jha, Somesh; Egriboyun, Feyzullah; Varikooty, Ashok
7
1999
Abstract BDDs: A technique for using abstraction in model checking. Zbl 0949.68105
Clarke, Edmund; Jha, Somesh; Lu, Yuan; Wang, Dong
1
1999
Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Zbl 0934.68059
Dingel, J.; Garlan, D.; Jha, S.; Notkin, D.
1
1998
An improved algorithm for the evaluation of fixpoint expressions. Zbl 0901.68118
Browne, A.; Clarke, E. M.; Jha, S.; Long, D. E.; Marrero, W.
26
1997
Complexity of uniqueness and local search in quadratic 0-1 programming. Zbl 0761.90070
Pardalos, Panos M.; Jha, Somesh
28
1992
Graph separation techniques for quadratic zero-one programming. Zbl 0717.90050
Pardalos, Panos M.; Jha, Somesh
14
1991
all top 5

Cited by 846 Authors

11 Pardalos, Panos M.
9 Kröning, Daniel
9 Reps, Thomas W.
7 Grumberg, Orna
7 Prokopyev, Oleg Alexan
7 Schewe, Sven
6 Duan, Zhenhua
6 Järvisalo, Matti
6 Konnov, Igor V.
6 Kupferman, Orna
6 Lal, Akash
6 Tian, Cong
6 Zhang, Nan
5 Clarke, Edmund Melson jun.
5 Giacobazzi, Roberto
5 Pinar, Mustafa Çelebi
5 Podelski, Andreas
5 Roux, Alet
5 Sharygina, Natasha
5 Tonetta, Stefano
5 Touili, Tayssir
5 Zastawniak, Tomasz
4 Cimatti, Alessandro
4 Esparza, Javier
4 Gupta, Aarti
4 Janota, Mikoláš
4 Kamide, Norihiro
4 Katoen, Joost-Pieter
4 Lange, Martin
4 Luttenberger, Michael
4 Majumdar, Rupak
4 Majzik, Istvan
4 Marques-Silva, João P.
4 Niskanen, Andreas
4 Rybalchenko, Andrey
4 Wallner, Johannes Peter
4 Widder, Josef
3 Alur, Rajeev
3 André, Étienne
3 Avni, Guy
3 Beyer, Dirk
3 Chaki, Sagar
3 Chatterjee, Krishnendu
3 Eiter, Thomas
3 Fedyukovich, Grigory
3 Frehse, Goran
3 Gallagher, John P.
3 Griggio, Alberto
3 Gurfinkel, Arie
3 Hajdu, Ákos
3 Henzinger, Thomas A.
3 Hoenicke, Jochen
3 Jansen, Nils
3 Jha, Somesh
3 Kidd, Nicholas
3 Kiefer, Stefan
3 Larsen, Kim Guldstrand
3 Maoz, Shahar
3 Mastroeni, Isabella
3 Păsăreanu, Corina S.
3 Ranzato, Francesco
3 Raskin, Jean-François
3 Rodgers, Gregory P.
3 Schmidt, David A.
3 Shoham, Sharon
3 Sun, Jun
3 Tóth, Tamás
3 Veith, Helmut
3 Vogler, Heiko
3 Vörös, András
3 Weissenbacher, Georg
3 Zhang, Lijun
2 Ábrahám, Erika
2 Amram, Gal
2 Atig, Mohamed Faouzi
2 Bartha, Tamás
2 Becker, Bernd
2 Belardinelli, Francesco
2 Biere, Armin
2 Bloem, Roderick
2 Bouajjani, Ahmed
2 Bradfield, Julian Charles
2 Bradley, Aaron R.
2 Camcı, Ahmet
2 Çela, Eranda
2 Chakraborty, Supratik
2 Chechik, Marsha
2 Chistyakov, Vyacheslav V.
2 Chockler, Hana
2 Cook, Byron
2 Corradini, Andrea
2 Dai, Tian-Shyr
2 Dangl, Matthias
2 Dehnert, Christian
2 del Mar Gallardo, María
2 Derrick, John
2 Droste, Manfred
2 Du, Hongwei
2 Duggirala, Parasara Sridhar
2 Gange, Graeme
...and 746 more Authors
all top 5

Cited in 80 Serials

39 Formal Methods in System Design
25 Theoretical Computer Science
16 Information and Computation
14 Formal Aspects of Computing
11 Artificial Intelligence
9 Acta Informatica
7 Programming and Computer Software
6 Journal of Automated Reasoning
5 Theory and Practice of Logic Programming
5 Journal of Logical and Algebraic Methods in Programming
4 Journal of Computer and System Sciences
4 Science of Computer Programming
4 Operations Research Letters
4 Journal of Global Optimization
4 Journal of Combinatorial Optimization
4 Stochastics
3 Information Processing Letters
3 Journal of Symbolic Computation
3 European Journal of Operational Research
3 The Journal of Logic and Algebraic Programming
3 Computer Languages, Systems & Structures
3 Review of Derivatives Research
3 Logical Methods in Computer Science
3 Nonlinear Analysis. Hybrid Systems
2 Discrete Applied Mathematics
2 Automatica
2 Computing
2 Acta Applicandae Mathematicae
2 Journal of Computer Science and Technology
2 Computers & Operations Research
2 Annals of Operations Research
2 Real-Time Systems
2 International Journal of Foundations of Computer Science
2 Mathematical Programming. Series A. Series B
2 Cybernetics and Systems Analysis
2 Computational Optimization and Applications
2 The Journal of Artificial Intelligence Research (JAIR)
2 Finance and Stochastics
2 International Journal of Theoretical and Applied Finance
2 RAIRO. Theoretical Informatics and Applications
2 Fundamenta Informaticae
2 Quantitative Finance
2 Optimization Letters
2 Science China. Information Sciences
1 International Journal of General Systems
1 Mathematical Notes
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Mathematical Economics
1 Journal of Optimization Theory and Applications
1 Journal of Philosophical Logic
1 SIAM Journal on Computing
1 Studia Logica
1 Order
1 Optimization
1 New Generation Computing
1 Asia-Pacific Journal of Operational Research
1 Mathematical Structures in Computer Science
1 Automation and Remote Control
1 SIAM Journal on Optimization
1 Computational Economics
1 Journal of Logic, Language and Information
1 Applicationes Mathematicae
1 Combinatorics, Probability and Computing
1 Annals of Mathematics and Artificial Intelligence
1 ZOR. Mathematical Methods of Operations Research
1 Constraints
1 INFORMS Journal on Computing
1 Optimization Methods & Software
1 Higher-Order and Symbolic Computation
1 Journal of Systems Science and Complexity
1 Journal of Control Theory and Applications
1 Science in China. Series F
1 Journal of Industrial and Management Optimization
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Electronic Journal of Statistics
1 Games
1 Frontiers of Computer Science in China
1 Computer Science Review
1 ISRN Probability and Statistics

Citations by Year