Shoham Ben-David
About
Shoham Ben-David has authored 12 papers that have received a total of 169 indexed citations.
This includes 9 papers in Software, 8 papers in Computational Theory and Mathematics and 7 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (8 papers), Model-Driven Software Engineering Techniques (6 papers) and Advanced Software Engineering Methodologies (5 papers). Shoham Ben-David is often cited by papers focused on Formal Methods in Verification (8 papers), Model-Driven Software Engineering Techniques (6 papers) and Advanced Software Engineering Methodologies (5 papers) and collaborates with scholars based in Canada, United States and Israel. Shoham Ben-David's co-authors include Cindy Eisner, Marsha Chećhik, Dana Fisman, Sitvanit Ruah and Joanne M. Atlee and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Pam Miller are about Top countries impacted by papers by Ainash Childebayeva Top authors papers by Janina Eden are co-authored with Top countries impacted by papers by Tanmay Gupta Top fields papers by Laura Abad are about Top countries impacted by papers by Amelie Chi Zhou Top journals papers by J. O'Driscoll are published in Top journals papers by Michael D. Iannacone are published in