A Note on the Pumping Lemma for Regular Languages. - Amiram Yehudai (Inf. Process. Lett., 1979)

A Hierarchy of Deterministic Languages. - Michael A. Harrison; Amiram Yehudai (J. Comput. Syst. Sci., 1979)

On Equivalence of Grammars Through Transformation Trees. - Michael A. Harrison; Ivan M. Havel; Amiram Yehudai (Theor. Comput. Sci., 1979)

Automatic indention versus program formatting. - Amiram Yehudai (ACM SIGPLAN Notices, 1980)

The Decidability of Equivalence for a Family of Linear Grammars - Amiram Yehudai (Inf. Control., 1980)

A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). - Yair Itzhaik; Amiram Yehudai (ICALP, 1981)

Eliminating Null Rules in Linear Time. - Michael A. Harrison; Amiram Yehudai (Comput. J., 1981)

A methodology for modular use of Ada. - Mordechai Ben-Ari; Amiram Yehudai (ACM SIGPLAN Notices, 1981)

An Iteration Theorem for Simple Precedence Languages (Extended Abstract). - Yael Krevner; Amiram Yehudai (ICALP, 1982)

A Hierarchy of Real-Time Deterministic Languages and Their Equivalence. - Amiram Yehudai (J. Comput. Syst. Sci., 1982)

On Containment Problems for Finite-Turn Languages (Extended Abstract). - Yair Itzhaik; Amiram Yehudai (FCT, 1983)

Constructing a Realtime Deterministic Pushdown Automaton from a Grammar. - Jan Pittl; Amiram Yehudai (Theor. Comput. Sci., 1983)

An Iteration Theorem for Simple Precedence Languages - Yael Krevner; Amiram Yehudai (J. ACM, 1983)

New Families of Non Real Time DPDA's and their Decidability Results. - Yair Itzhaik; Amiram Yehudai (Theor. Comput. Sci., 1984)

On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters. - Yael Maon; Amiram Yehudai (Theor. Comput. Sci., 1984)

An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA - Yair Itzhaik; Amiram Yehudai (Inf. Control., 1984)

Balance of Many-Valued Transductions and Equivalence Problems. - Yael Maon; Amiram Yehudai (Theor. Comput. Sci., 1986)

Specification of user-interfaces using CRUISE/OBSERV. - Aviv Cohen; Shmuel S. Tyszberowicz; Amiram Yehudai (COMPSAC, 1991)

Experience with a Portable Parallelizing Pascal Compiler. - Eran Gabber; Amir Averbuch; Amiram Yehudai (ICPP (2), 1991)

OBSERV - A Prototyping Language and Environment. - Shmuel S. Tyszberowicz; Amiram Yehudai (ACM Trans. Softw. Eng. Methodol., 1992)

Portable, Parallelizing Compiler. - Eran Gabber; Amir Averbuch; Amiram Yehudai (IEEE Softw., 1993)

Using Transformations in Specification-Based Prototyping. - Valdis Berzins; Luqi; Amiram Yehudai (IEEE Trans. Software Eng., 1993)

Activation-Oriented Specification of Real-Time Systems. - Vered Gafni; Amiram Yehudai; Yishai A. Feldman (FTRTFT, 1994)

A High School Program in Computer Science. - Judith Gal-Ezer; Catriel Beeri; David Harel; Amiram Yehudai (Computer, 1995)

On Tuning Recursive Procedures - Amiram Yehudai; Fernando Libedinsky (Softw. Pract. Exp., 1995)

Combining Reflection and Finite State Diagrams for Design Enforcement. - Shaul Simhi; Vered Gafni; Amiram Yehudai (Theory Pract. Object Syst., 1996)

Patterns of the Agenda. - Amnon H. Eden; Amiram Yehudai (ECOOP Workshops, 1997)

Precise Specification and Automatic Application of Design Patterns. - Amnon H. Eden; Amiram Yehudai; Joseph Gil (ASE, 1997)

Automating the Application of Design Patterns. - Amnon H. Eden; Joseph Gil; Amiram Yehudai (J. Object Oriented Program., 1997)

SYMPAL: a software environment for implicit concurrent object-oriented programming. - Yariv Aridor; Shimon Cohen; Amiram Yehudai (Object Oriented Syst., 1997)

Real-Time Systems Development with MASS. - Vered Gafni; Yishai A. Feldman; Amiram Yehudai (Monterey Workshop, 1998)

Design of an Actor Language for Implicit Parallel Programming. - Yariv Aridor; Shimon Cohen; Amiram Yehudai (ACM SIGPLAN Notices, 1998)

Obvious or not?: regulating architectural decisions using aspect-oriented programming. - Mati Shomrat; Amiram Yehudai (AOSD, 2002)

Behavioral Consistency Validation of UML Diagrams. - Boris Litvak; Shmuel S. Tyszberowicz; Amiram Yehudai (SEFM, 2003)

XML Syntax Conscious Compression. - S. Harrusi; Amir Averbuch; Amiram Yehudai (DCC, 2006)

Evolutionary Testing: A Case Study. - Stella Levin; Amiram Yehudai (Haifa Verification Conference, 2006)

Fortified Web Services Contracts for Trusted Components. - Avi Jencmen; Amiram Yehudai (ICWS, 2006)

Locating Regression Bugs. - Dor Nir; Shmuel S. Tyszberowicz; Amiram Yehudai (Haifa Verification Conference, 2007)

Refactoring Aspects into Java Code. - M. Kleyman; Shmuel S. Tyszberowicz; Amiram Yehudai (SwSTE, 2007)

Virtual Machine Support for Stateful Aspects. - Yuri Phink; Amiram Yehudai (TOOLS (46), 2008)

Evaluation of a software engineering course by reflection. - Ohad Barzilay; Orit Hazzan; Amiram Yehudai (ITiCSE, 2009)

GenUTest: a unit test and mock aspect generation tool. - Benny Pasternak; Shmuel S. Tyszberowicz; Amiram Yehudai (Int. J. Softw. Tools Technol. Transf., 2009)

A Multidimensional Software Engineering Course. - Ohad Barzilay; Orit Hazzan; Amiram Yehudai (IEEE Trans. Educ., 2009)

Perspective on Computer Science Education. - Amiram Yehudai (ISSEP, 2010)

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. - Christoph Gladisch; Shmuel S. Tyszberowicz; Bernhard Beckert; Amiram Yehudai (TAP@TOOLS, 2010)

Regression Test Selection Techniques for Test-Driven Development. - Hagai Cibulski; Amiram Yehudai (ICST Workshops, 2011)

Using social media to study the diversity of example usage among professional developers. - Ohad Barzilay; Orit Hazzan; Amiram Yehudai (SIGSOFT FSE, 2011)

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. - Bernhard Beckert; Christoph Gladisch; Shmuel S. Tyszberowicz; Amiram Yehudai (Int. J. Syst. Assur. Eng. Manag., 2011)

Granulated Code Generation of Interfering Functionalities. - Igor Gelfgat; Shmuel S. Tyszberowicz; Amiram Yehudai (FedCSIS, 2012)

Example overflow: using social media for code recommendation. - Alexey Zagalsky; Ohad Barzilay; Amiram Yehudai (RSSE@ICSE, 2012)

Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software. - Evgeny Vainer; Amiram Yehudai (CoRR, 2014)

Localization of real world regression Bugs using single execution. - Dekel Cohen; Amiram Yehudai (CoRR, 2015)

Collaborative Real Time Coding or How to Avoid the Dreaded Merge. - Stanislav Levin; Amiram Yehudai (CoRR, 2015)

Improving software team collaboration with Synchronized Software Development. - Stanislav Levin; Amiram Yehudai (CoRR, 2015)

Alleviating Merge Conflicts with Fine-grained Visual Awareness. - Stanislav Levin; Amiram Yehudai (CoRR, 2015)

Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles. - Stanislav Levin; Amiram Yehudai (ICSME, 2016)

The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes. - Stanislav Levin; Amiram Yehudai (ICSME, 2017)

Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes. - Stanislav Levin; Amiram Yehudai (PROMISE, 2017)

The Big Ideas in Computer Science for K-12 Curricula. - Tim Bell 001; Paul Tymann; Amiram Yehudai (Bull. EATCS, 2018)

Processing Large Datasets of Fined Grained Source Code Changes. - Stanislav Levin; Amiram Yehudai (ICSME, 2019)

Visually Exploring Software Maintenance Activities. - Stanislav Levin; Amiram Yehudai (VISSOFT, 2019)

Towards Software Analytics: Modeling Maintenance Activities. - Stanislav Levin; Amiram Yehudai (CoRR, 2019)

MetaFFI - Multilingual Indirect Interoperability System. - Tsvi Cherny-Shahar; Amiram Yehudai (CoRR, 2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study. - Tsvi Cherny-Shahar; Amiram Yehudai (CoRR, 2024)