| 2019 | VISSOFT | Visually Exploring Software Maintenance Activities. | Stanislav Levin, Amiram Yehudai |
| 2012 | FedCSIS | Granulated Code Generation of Interfering Functionalities. | Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai |
| 2012 | ICSE | Example overflow: using social media for code recommendation. | Alexey Zagalsky, Ohad Barzilay, Amiram Yehudai |
| 2011 | ICST | Regression Test Selection Techniques for Test-Driven Development. | Hagai Cibulski, Amiram Yehudai |
| 2010 | TAP | Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. | Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai |
| 2009 | ITiCSE | Evaluation of a software engineering course by reflection. | Ohad Barzilay, Orit Hazzan, Amiram Yehudai |
| 2006 | DCC | XML Syntax Conscious Compression. | S. Harrusi, Amir Averbuch, Amiram Yehudai |
| 2006 | ICWS | Fortified Web Services Contracts for Trusted Components. | Avi Jencmen, Amiram Yehudai |
| 2003 | SEFM | Behavioral Consistency Validation of UML Diagrams. | Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai |
| 1991 | COMPSAC | Specification of user-interfaces using CRUISE/OBSERV. | Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai |
| 1991 | ICPP | Experience with a Portable Parallelizing Pascal Compiler. | Eran Gabber, Amir Averbuch, Amiram Yehudai |
| 1983 | FCT | On Containment Problems for Finite-Turn Languages (Extended Abstract). | Yair Itzhaik, Amiram Yehudai |
| 1982 | ICALP | An Iteration Theorem for Simple Precedence Languages (Extended Abstract). | Yael Krevner, Amiram Yehudai |
| 1981 | ICALP | A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). | Yair Itzhaik, Amiram Yehudai |