| Singularity hypotheses AH Eden, JH Moor, JH Søraker, E Steinhart The Frontiers Collection. Springer, Berlin, 2012 | 422* | 2012 |
| Precise specification and automatic application of design patterns AH Eden, A Yehudai, J Gil Proceedings 12th ieee international conference automated software …, 1997 | 191 | 1997 |
| Three paradigms of computer science AH Eden Minds and machines 17, 135-167, 2007 | 171 | 2007 |
| Architecture, design, implementation AH Eden, R Kazman 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 169 | 2003 |
| Philosophy of computer science R Turner, AH Eden Stanford University, 2008 | 147 | 2008 |
| Precise specification of design patterns and tool support in their application AH Eden Department of Computer Science, Tel Aviv University, 2000 | 127 | 2000 |
| Measuring software flexibility AH Eden, T Mens IEE Proceedings-Software 153 (3), 113-125, 2006 | 123 | 2006 |
| Formal specification of object-oriented design AH Eden International Conference on Multidisciplinary Design in Engineering, 256-263, 2001 | 88 | 2001 |
| Towards a mathematical foundation for design patterns AH Eden, Y Hirshfeld, A Yehudai Dept. of Information Technology, Uppsala University, 1999 | 78 | 1999 |
| LePUS-a declarative pattern specification language AH Eden, Y Hirshfeld, A Yehudai Techn. rep 326, 98, 1998 | 74 | 1998 |
| Principles in formal specification of object-oriented architectures AH Eden, Y Hirshfeld CASCON 2001, 5-8, 2001 | 66 | 2001 |
| Problems in the ontology of computer programs AH Eden, R Turner Applied Ontology 2 (1), 13-36, 2007 | 61 | 2007 |
| LePUS: A visual formalism for object-oriented architectures AH Eden The 6th World Conference on Integrated Design and Process Technology, 26-30, 2002 | 57 | 2002 |
| A theory of object-oriented design AH Eden Information Systems Frontiers 4, 379-391, 2002 | 56 | 2002 |
| LePUS–symbolic logic modeling of object oriented architectures: A case study AH Eden, Y Hirshfeld, K Lundqvist Second Nordic Workshop on Software Architecture-NOSA’99, 1-14, 1999 | 47 | 1999 |
| Abstraction classes in software design AH Eden, Y Hirshfeld, R Kazman IEE Proceedings-Software 153 (4), 163-182, 2006 | 41 | 2006 |
| LePUS3: An object-oriented design description language E Gasparis, J Nicholson, AH Eden Diagrammatic Representation and Inference: 5th International Conference …, 2008 | 39 | 2008 |
| Automated verification of design patterns: A case study J Nicholson, AH Eden, E Gasparis, R Kazman Science of Computer Programming 80, 211-222, 2014 | 32 | 2014 |
| Codecharts: roadmaps and blueprints for object-oriented programs AH Eden, J Nicholson | 29* | 2011 |
| Giving "The Quality" a Name AH Eden Journal of Object Oriented Programming 11 (3), 5-11, 1998 | 28 | 1998 |
Rick KazmanProfessor, University of HawaiiVerified email at hawaii.edu
