Edit Profile (opens in new tab) Jha, Somesh Co-Author Distance Author ID: jha.somesh Published as: Jha, Somesh; Jha, S. Documents Indexed: 24 Publications since 1991 Co-Authors: 37 Co-Authors with 22 Joint Publications 1,546 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Clarke, Edmund Melson jun. 4 Reps, Thomas W. 4 Veith, Helmut 3 Lu, Yuan 3 Schwoon, Stefan 2 Chalasani, Prasad 2 Christodorescu, Mihai 2 Fredrikson, Matthew 2 Grumberg, Orna 2 Marrero, Will 2 Pardalos, Panos M. 2 Seshia, Sanjit Arunkumar 2 Wang, Dong 1 Chaki, Sagar 1 Chauhan, Pankaj 1 Dalla Preda, Mila 1 Davidson, Drew 1 Debray, Saumya K. 1 Dingel, Juergen 1 Doyle, Nic 1 Egriboyun, Feyzullah 1 Garlan, David 1 Giacomelli, Irene 1 Harris, William R. 1 Jaeger, Trent 1 Jha, Susmit 1 Joye, Marc 1 King, Dave 1 Kukula, James H. 1 Long, David E. 1 Melski, David 1 Muthukumaran, Divya 1 Notkin, David 1 Page, C. David jun. 1 Palsberg, Jens 1 Saias, Isaac 1 Smith, Randy 1 Varikooty, Ashok 1 Wang, Hao 1 Yoon, Kyonghwan 1 Zhao, Tian all top 5 Serials 1 Computers & Mathematics with Applications 1 Theoretical Computer Science 1 Science of Computer Programming 1 Operations Research Letters 1 Algorithmica 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Formal Methods in System Design 1 Mathematical Finance 1 Journal of the ACM 1 Review of Derivatives Research all top 5 Fields 20 Computer science (68-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 20 Publications have been cited 406 times in 374 Documents Cited by ▼ Year ▼ Counterexample-guided abstraction refinement. Zbl 0974.68517Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut 152 2000 Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut 111 2003 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David 26 2005 Complexity of uniqueness and local search in quadratic 0-1 programming. Zbl 0761.90070Pardalos, Panos M.; Jha, Somesh 26 1992 Randomized stopping times and American option pricing with transaction costs. Zbl 0993.91021Chalasani, Prasad; Jha, Somesh 23 2001 An improved algorithm for the evaluation of fixpoint expressions. Zbl 0901.68118Browne, A.; Clarke, E. M.; Jha, S.; Long, D. E.; Marrero, W. 23 1997 Graph separation techniques for quadratic zero-one programming. Zbl 0717.90050Pardalos, Panos M.; Jha, Somesh 13 1991 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051Reps, Thomas; Schwoon, Stefan; Jha, Somesh 8 2003 A refined binomial lattice for pricing American Asian options. Zbl 1274.91477Chalasani, Prasad; Jha, Somesh; Egriboyun, Feyzullah; Varikooty, Ashok 7 1999 Approximate option pricing. Zbl 0991.91029Chalasani, P.; Jha, S.; Saias, I. 6 1999 A semantics-based approach to malware detection. Zbl 1295.68157Dalla Preda, Mila; Christodorescu, Mihai; Jha, Somesh; Debray, Saumya 4 2007 Weighted pushdown systems and trust-management systems. Zbl 1180.68061Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas 3 2006 Partial order reductions for security protocol verification. Zbl 0965.68053Clarke, Edmund; Jha, Somesh; Marrero, Will 3 2000 Satisfiability modulo counting: a new approach for analyzing privacy properties. Zbl 1401.68194Fredrikson, Matthew; Jha, Somesh 2 2014 Abstract BDDs: A technique for using abstraction in model checking. Zbl 0949.68105Clarke, Edmund; Jha, Somesh; Lu, Yuan; Wang, Dong 1 1999 Efficient type matching. Zbl 1077.68608Jha, Somesh; Palsberg, Jens; Zhao, Tian 1 2002 Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D. 1 2001 Dynamic behavior matching: a complexity analysis and new approximation algorithms. Zbl 1341.68028Fredrikson, Matthew; Christodorescu, Mihai; Jha, Somesh 1 2011 Privacy-preserving ridge regression with only linearly-homomorphic encryption. Zbl 1440.94052Giacomelli, Irene; Jha, Somesh; Joye, Marc; Page, C. David; Yoon, Kyonghwan 1 2018 Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Zbl 0934.68059Dingel, J.; Garlan, D.; Jha, S.; Notkin, D. 1 1998 Privacy-preserving ridge regression with only linearly-homomorphic encryption. Zbl 1440.94052Giacomelli, Irene; Jha, Somesh; Joye, Marc; Page, C. David; Yoon, Kyonghwan 1 2018 Satisfiability modulo counting: a new approach for analyzing privacy properties. Zbl 1401.68194Fredrikson, Matthew; Jha, Somesh 2 2014 Dynamic behavior matching: a complexity analysis and new approximation algorithms. Zbl 1341.68028Fredrikson, Matthew; Christodorescu, Mihai; Jha, Somesh 1 2011 A semantics-based approach to malware detection. Zbl 1295.68157Dalla Preda, Mila; Christodorescu, Mihai; Jha, Somesh; Debray, Saumya 4 2007 Weighted pushdown systems and trust-management systems. Zbl 1180.68061Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas 3 2006 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David 26 2005 Counterexample-guided abstraction refinement for symbolic model checking. Zbl 1325.68145Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut 111 2003 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051Reps, Thomas; Schwoon, Stefan; Jha, Somesh 8 2003 Efficient type matching. Zbl 1077.68608Jha, Somesh; Palsberg, Jens; Zhao, Tian 1 2002 Randomized stopping times and American option pricing with transaction costs. Zbl 0993.91021Chalasani, Prasad; Jha, Somesh 23 2001 Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D. 1 2001 Counterexample-guided abstraction refinement. Zbl 0974.68517Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut 152 2000 Partial order reductions for security protocol verification. Zbl 0965.68053Clarke, Edmund; Jha, Somesh; Marrero, Will 3 2000 A refined binomial lattice for pricing American Asian options. Zbl 1274.91477Chalasani, Prasad; Jha, Somesh; Egriboyun, Feyzullah; Varikooty, Ashok 7 1999 Approximate option pricing. Zbl 0991.91029Chalasani, P.; Jha, S.; Saias, I. 6 1999 Abstract BDDs: A technique for using abstraction in model checking. Zbl 0949.68105Clarke, Edmund; Jha, Somesh; Lu, Yuan; Wang, Dong 1 1999 Towards a formal treatment of implicit invocation using rely/guarantee reasoning. Zbl 0934.68059Dingel, J.; Garlan, D.; Jha, S.; Notkin, D. 1 1998 An improved algorithm for the evaluation of fixpoint expressions. Zbl 0901.68118Browne, A.; Clarke, E. M.; Jha, S.; Long, D. E.; Marrero, W. 23 1997 Complexity of uniqueness and local search in quadratic 0-1 programming. Zbl 0761.90070Pardalos, Panos M.; Jha, Somesh 26 1992 Graph separation techniques for quadratic zero-one programming. Zbl 0717.90050Pardalos, Panos M.; Jha, Somesh 13 1991 all cited Publications top 5 cited Publications all top 5 Cited by 781 Authors 11 Pardalos, Panos M. 9 Reps, Thomas W. 8 Kröning, Daniel 7 Grumberg, Orna 7 Prokopyev, Oleg Alexan 6 Kupferman, Orna 6 Lal, Akash 6 Schewe, Sven 5 Clarke, Edmund Melson jun. 5 Giacobazzi, Roberto 5 Pinar, Mustafa Çelebi 5 Podelski, Andreas 5 Roux, Alet 5 Sharygina, Natasha 5 Touili, Tayssir 5 Zastawniak, Tomasz 4 Duan, Zhenhua 4 Esparza, Javier 4 Gupta, Aarti 4 Janota, Mikoláš 4 Järvisalo, Matti 4 Lange, Martin 4 Luttenberger, Michael 4 Majumdar, Rupak 4 Marques-Silva, João P. 4 Rybalchenko, Andrey 4 Tian, Cong 4 Tonetta, Stefano 4 Widder, Josef 4 Zhang, Nan 3 Alur, Rajeev 3 Avni, Guy 3 Beyer, Dirk 3 Chaki, Sagar 3 Chatterjee, Krishnendu 3 Cimatti, Alessandro 3 Eiter, Thomas 3 Gurfinkel, Arie 3 Hajdu, Ákos 3 Henzinger, Thomas A. 3 Hoenicke, Jochen 3 Kamide, Norihiro 3 Kidd, Nicholas 3 Kiefer, Stefan 3 Larsen, Kim Guldstrand 3 Majzik, Istvan 3 Mastroeni, Isabella 3 Niskanen, Andreas 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 Steffen, Martin 3 Sun, Jun 3 Veith, Helmut 3 Vogler, Heiko 3 Vörös, András 3 Wallner, Johannes Peter 3 Weissenbacher, Georg 3 Zhang, Lijun 2 Ábrahám, Erika 2 André, Étienne 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 Fedyukovich, Grigory 2 Frehse, Goran 2 Gallagher, John P. 2 Gange, Graeme 2 Ganty, Pierre 2 Gheorghiu Bobaru, Mihaela 2 Giannakopoulou, Dimitra 2 Griggio, Alberto 2 Hague, Matthew 2 Heizmann, Matthias 2 Heljanko, Keijo ...and 681 more Authors all top 5 Cited in 77 Serials 35 Formal Methods in System Design 24 Theoretical Computer Science 15 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 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 Theory and Practice of Logic Programming 3 Computer Languages, Systems & Structures 3 Review of Derivatives Research 3 Nonlinear Analysis. Hybrid Systems 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 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 Discrete Applied Mathematics 1 International Journal of General Systems 1 Mathematical Notes 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 Order 1 Optimization 1 New Generation Computing 1 Asia-Pacific Journal of Operational Research 1 MSCS. 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 The Journal of Artificial Intelligence Research (JAIR) 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 Logical Methods in Computer Science 1 Games 1 Frontiers of Computer Science in China 1 Computer Science Review 1 ISRN Probability and Statistics all top 5 Cited in 22 Fields 303 Computer science (68-XX) 49 Operations research, mathematical programming (90-XX) 49 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 43 Mathematical logic and foundations (03-XX) 20 Probability theory and stochastic processes (60-XX) 11 Systems theory; control (93-XX) 7 Numerical analysis (65-XX) 5 Combinatorics (05-XX) 4 Information and communication theory, circuits (94-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Associative rings and algebras (16-XX) 2 Category theory; homological algebra (18-XX) 2 Ordinary differential equations (34-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) Citations by Year