| 2021 | AAAI | Learning the Parameters of Bayesian Networks from Uncertain Data. | Segev Wasserkrug, Radu Marinescu, Sergey Zeltyn, Evgeny Shindin, Yishai A. Feldman |
| 2018 | DATE | CHASE: Contract-based requirement engineering for cyber-physical system design. | Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli |
| 2016 | EDBT | Self-Curating Databases. | Mohammad Sadoghi, Kavitha Srinivas, Oktie Hassanzadeh, Yuan-Chi Chang, Mustafa Canim, Achille Fokoue, Yishai A. Feldman |
| 2015 | ICSE | Deverywhere: Develop Software Everywhere. | Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz |
| 2014 | SCAM | A Parallel On-Demand Algorithm for Computing Interprocedural Dominators. | Aharon Abadi, Yishai A. Feldman |
| 2013 | ECOOP | Detecting Refactored Clones. | Mati Shomrat, Yishai A. Feldman |
| 2013 | OOPSLA | A screen-oriented representation for mobile applications. | Aharon Abadi, Yishai A. Feldman, Konstantin Shagin |
| 2012 | FASE | Fine Slicing - Theory and Applications for Computation Extraction. | Aharon Abadi, Ran Ettinger, Yishai A. Feldman |
| 2011 | ICSE | Code-motion for API migration: fixing SQL injection vulnerabilities in Java. | Aharon Abadi, Yishai A. Feldman, Mati Shomrat |
| 2011 | OOPSLA | Automatically fixing security vulnerabilities in Java code. | Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat |
| 2008 | OOPSLA | Re-approaching the refactoring Rubicon. | Aharon Abadi, Ran Ettinger, Yishai A. Feldman |
| 2007 | ECOOP | Refactoring with Contracts. | Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz |
| 2006 | SEFM | Jose: Aspects for Design by Contract80-89. | Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz |
| 2006 | SEFM | Discern: Towards the Automatic Discovery of Software Contracts. | Yishai A. Feldman, Leon Gendler |
| 2004 | ECAI | Knowledge-Based Cinematography and Its Applications. | Doron Friedman, Yishai A. Feldman |
| 2004 | VR | Automated Creation of Movie Summaries in Interactive Virtual Environments. | Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan |
| 2004 | VR | Colorplate: Automated Creation of Movie Summaries in Interactive Virtual Environments. | Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan |
| 1986 | AAAI | Reasoning with Simplifying Assumptions: A Methodology and Example. | Yishai A. Feldman, Charles Rich |
| 1983 | STOC | A Decidable Propositional Probabilistic Dynamic Logic | Yishai A. Feldman |
| 1982 | STOC | A Probabilistic Dynamic Logic | Yishai A. Feldman, David Harel |