dblp.uni-trier.dewww.uni-trier.de

Azzam Maraee

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Mira Balaban [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)