| |
| 2008 | ||
|---|---|---|
| 3 | EE | Mira Balaban, Azzam Maraee: A UML-Based Method for Deciding Finite Satisfiability in Description Logics. Description Logics 2008 |
| 2007 | ||
| 2 | EE | Azzam Maraee, Mira Balaban: Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ECMDA-FA 2007: 17-31 |
| 2006 | ||
| 1 | EE | Mira Balaban, Azzam Maraee: Consistency of UML Class Diagrams with Hierarchy Constraints. NGITS 2006: 71-82 |
| 1 | Mira Balaban | [1] [2] [3] |