Azzam Maraee

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

Coauthor Index

1

Mira Balaban

[1] [2] [3]