Shoham Ben-David

1.2k total citations
17 papers, 299 citations indexed

About

Shoham Ben-David is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Shoham Ben-David has authored 17 papers receiving a total of 299 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 11 papers in Software. Recurrent topics in Shoham Ben-David's work include Formal Methods in Verification (12 papers), Model-Driven Software Engineering Techniques (8 papers) and Advanced Software Engineering Methodologies (8 papers). Shoham Ben-David is often cited by papers focused on Formal Methods in Verification (12 papers), Model-Driven Software Engineering Techniques (8 papers) and Advanced Software Engineering Methodologies (8 papers). Shoham Ben-David collaborates with scholars based in Canada, Israel and United States. Shoham Ben-David's co-authors include Ilan Beer, Cindy Eisner, Yoav Rodeh, Avner Landver, Marsha Chećhik, Jocelyn Simmonds, Richard Trefler, Hana Chockler, Joanne M. Atlee and Yaron Wolfsthal and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Computing.

In The Last Decade

Shoham Ben-David

17 papers receiving 283 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Shoham Ben-David Canada 8 198 171 130 67 55 17 299
Kedar S. Namjoshi United States 11 233 1.2× 121 0.7× 191 1.5× 52 0.8× 72 1.3× 24 350
Moonjoo Kim United States 8 167 0.8× 139 0.8× 175 1.3× 67 1.0× 81 1.5× 15 345
Yunja Choi South Korea 10 149 0.8× 188 1.1× 65 0.5× 53 0.8× 69 1.3× 46 262
S. Gerhart United States 8 133 0.7× 171 1.0× 131 1.0× 101 1.5× 40 0.7× 15 296
Vlad Rusu France 8 148 0.7× 137 0.8× 116 0.9× 56 0.8× 39 0.7× 29 243
Judi Romijn Netherlands 10 213 1.1× 104 0.6× 92 0.7× 24 0.4× 78 1.4× 22 283
Tomáš Vojnar Czechia 11 132 0.7× 154 0.9× 137 1.1× 74 1.1× 112 2.0× 61 346
Wolfgang Ahrendt Sweden 8 103 0.5× 108 0.6× 171 1.3× 60 0.9× 38 0.7× 24 248
Henrik Reif Andersen Denmark 9 226 1.1× 116 0.7× 160 1.2× 19 0.3× 32 0.6× 20 278
Frédéric Mallet France 11 231 1.2× 166 1.0× 130 1.0× 44 0.7× 227 4.1× 59 382

Countries citing papers authored by Shoham Ben-David

Since Specialization
Citations

This map shows the geographic impact of Shoham Ben-David's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Shoham Ben-David with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Shoham Ben-David more than expected).

Fields of papers citing papers by Shoham Ben-David

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Shoham Ben-David. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Shoham Ben-David. The network helps show where Shoham Ben-David may publish in the future.

Co-authorship network of co-authors of Shoham Ben-David

This figure shows the co-authorship network connecting the top 25 collaborators of Shoham Ben-David. A scholar is included among the top collaborators of Shoham Ben-David based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Shoham Ben-David. Shoham Ben-David is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Ben-David, Shoham, et al.. (2015). Symbolic model checking of product-line requirements using SAT-based methods. International Conference on Software Engineering. 1. 189–199. 14 indexed citations
2.
Ben-David, Shoham, et al.. (2015). Vacuity in practice: temporal antecedent failure. Formal Methods in System Design. 46(1). 81–104. 4 indexed citations
3.
Ben-David, Shoham, et al.. (2015). Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 189–199. 7 indexed citations
4.
Simmonds, Jocelyn, Shoham Ben-David, & Marsha Chećhik. (2012). Monitoring and recovery for web service applications. Computing. 95(3). 223–267. 10 indexed citations
5.
Uchitel, Sebastián, Dalal Alrajeh, Shoham Ben-David, et al.. (2012). Supporting incremental behaviour model elaboration. Computer Science - Research and Development. 28(4). 279–293. 7 indexed citations
6.
Beer, Ilan, et al.. (2011). Explaining counterexamples using causality. Formal Methods in System Design. 40(1). 20–40. 41 indexed citations
7.
Famelis, Michalis, Shoham Ben-David, Marsha Chećhik, & Rick Salay. (2011). Partial models. 1–4. 8 indexed citations
8.
Ben-David, Shoham, Marsha Chećhik, Arie Gurfinkel, & Sebastián Uchitel. (2011). CSSL. 37–47. 6 indexed citations
9.
Simmonds, Jocelyn, Shoham Ben-David, & Marsha Chećhik. (2010). Guided recovery for web service applications. 247–256. 22 indexed citations
10.
Simmonds, Jocelyn, Shoham Ben-David, & Marsha Chećhik. (2010). Optimizing Computation of Recovery Plans for BPEL Applications. SHILAP Revista de lepidopterología. 35. 3–14. 2 indexed citations
11.
Ben-David, Shoham, Jeffrey Pound, Richard Trefler, Dmitry Tsarkov, & Grant Weddell. (2009). Fair cycle detection using description logic reasoning. Research Explorer (The University of Manchester). 1 indexed citations
12.
Ben-David, Shoham, Dana Fisman, & Sitvanit Ruah. (2008). Embedding finite automata within regular expressions. Theoretical Computer Science. 404(3). 202–218. 7 indexed citations
13.
Ben-David, Shoham, Richard Trefler, Dmitry Tsarkov, & Grant Weddell. (2008). Checking Inevitability and Invariance Using Description Logic Technology. 1 indexed citations
14.
Ben-David, Shoham, Orna Grümberg, Tamir Heyman, & Assaf Schuster. (2003). Scalable distributed on-the-fly symbolic model checking. International Journal on Software Tools for Technology Transfer. 4(4). 496–504. 6 indexed citations
15.
Ben-David, Shoham, Cindy Eisner, Daniel Geist, & Yaron Wolfsthal. (2003). Model Checking at IBM. Formal Methods in System Design. 22(2). 101–108. 20 indexed citations
16.
Beer, Ilan, Shoham Ben-David, Cindy Eisner, & Yoav Rodeh. (2001). Efficient Detection of Vacuity in Temporal Model Checking. Formal Methods in System Design. 18(2). 141–163. 76 indexed citations
17.
Beer, Ilan, Shoham Ben-David, Cindy Eisner, & Avner Landver. (1996). RuleBase. 655–660. 67 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Kedar S. Namjoshi Breakdown of academic impact, for papers by Moonjoo Kim Breakdown of academic impact, for papers by Yunja Choi Breakdown of academic impact, for papers by S. Gerhart Breakdown of academic impact, for papers by Vlad Rusu Breakdown of academic impact, for papers by Judi Romijn Breakdown of academic impact, for papers by Tomáš Vojnar Breakdown of academic impact, for papers by Wolfgang Ahrendt Breakdown of academic impact, for papers by Henrik Reif Andersen Breakdown of academic impact, for papers by Frédéric Mallet
Rankless by CCL
2026