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)

Precise specification of design patterns and tool support in their application - Amnon H. Eden (2000)

Principles in formal specification of object oriented design and architecture. - Amnon H. Eden; Yoram Hirshfeld (CASCON, 2001)

Coordinating Software Evolution via Two-Tier Programming. - Amnon H. Eden; Jens H. Jahnke (COORDINATION, 2002)

A Theory of Object-Oriented Design. - Amnon H. Eden (Inf. Syst. Frontiers, 2002)

Architecture, Design, Implementation. - Amnon H. Eden; Rick Kazman (ICSE, 2003)

On the Evolution Complexity of Design Patterns. - Tom Mens; Amnon H. Eden (SETra@ICGT, 2004)

Strategic Versus Tactical Design. - Amnon H. Eden (HICSS, 2005)

Abstraction classes in software design. - Amnon H. Eden; Yoram Hirshfeld; Rick Kazman (IEE Proc. Softw., 2006)

Measuring software flexibility. - Amnon H. Eden; Tom Mens (IEE Proc. Softw., 2006)

Problems in the ontology of computer programs. - Amnon H. Eden; Raymond Turner (Appl. Ontology, 2007)

B. Jack Copeland (ed), The Essential Turing - Oxford University Press, New York, 2004, ISBN 0-19-825080-0, 613, £29.95. - Amnon H. Eden (Minds Mach., 2007)

Three Paradigms of Computer Science. - Amnon H. Eden (Minds Mach., 2007)

The Philosophy of Computer Science: Introduction to the Special Issue. - Raymond Turner; Amnon H. Eden (Minds Mach., 2007)

LePUS3: An Object-Oriented Design Description Language. - Epameinondas Gasparis; Jonathan Nicholson; Amnon H. Eden (Diagrams, 2008)

The design navigator: charting java programs. - Epameinondas Gasparis; Amnon H. Eden; Jonathan Nicholson; Rick Kazman (ICSE Companion, 2008)

Navigating Through the Design of Object-Oriented Programs. - Epameinondas Gasparis; Jonathan Nicholson; Amnon H. Eden; Rick Kazman (WCRE, 2008)

The Philosophy of Computer Science. - Raymond Turner; Amnon H. Eden (J. Appl. Log., 2008)

Verification of Design Patterns with LePUS3. - Jonathan Nicholson; Epameinondas Gasparis; Amnon H. Eden; Rick Kazman (NASA Formal Methods, 2009)

Three Controlled Experiments in Software Engineering with the Two-Tier Programming Toolkit: Final Report - Amnon H. Eden; Epameinondas Gasparis (CoRR, 2010)

Susan Schneider (ed): Science Fiction and Philosophy - Wiley-Blackwell, UK, 2009, x+368, $83.95, ISBN 978-1-4051-4906-8. - Amnon H. Eden (Minds Mach., 2010)

Some Philosophical Issues in Computer Science. - Amnon H. Eden (Minds Mach., 2011)

Modeling and visualizing object-oriented programs with Codecharts. - Amnon H. Eden; Epameinondas Gasparis; Jonathan Nicholson; Rick Kazman (Formal Methods Syst. Des., 2013)

Structural Analysis of the Check Point Pattern. - Abdullah A. H. Alzahrani; Amnon H. Eden; Majd Zohri Yafi (SOSE, 2014)

Automated verification of design patterns: A case study. - Jonathan Nicholson; Amnon H. Eden; Epameinondas Gasparis; Rick Kazman (Sci. Comput. Program., 2014)

The Singularity Controversy, Part I: Lessons Learned and Open Questions: Conclusions from the Battle on the Legitimacy of the Debate. - Amnon H. Eden (CoRR, 2016)

Round-trip engineering with the Two-Tier Programming Toolkit. - Amnon H. Eden; Epameinondas Gasparis; Jon Nicholson; Rick Kazman (Softw. Qual. J., 2018)