- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Emilia Katz, Shmuel Katz: Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12 |
| 4 | | Emilia Katz, Shmuel Katz: Modular Verification of Strongly Invasive Aspects. Languages: From Formal to Natural 2009: 128-147 |
| 2008 | ||
| 3 | | Emilia Katz, Shmuel Katz: Incremental analysis of interference among aspects. FOAL 2008: 29-38 |
| 2 | | Benny Godlin, Emilia Katz, Johann A. Makowsky: Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas CoRR abs/0812.1364: (2008) |
| 2005 | ||
| 1 | | Emilia Katz, Shmuel Katz: Verifying Scenario-Based Aspect Specifications. FM 2005: 432-447 |
| 1 | Benny Godlin | [2] |
| 2 | Shmuel Katz | [1] [3] [4] [5] |
| 3 | Johann A. Makowsky (Janos Makowsky) | [2] |