DL-workbench: a metamodeling approach to ontology manipulation. - Mikhail Kazakov; Habib Abdulrab (EON, 2003)

A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform. - Mikhail Kazakov; Habib Abdulrab (Metainformatics, 2003)

A feasibility proof of semi-automated software integration. - Mikhail Kazakov (IASTED Conf. on Software Engineering, 2004)

Semi-Automated Software Integration: An Approach Based on Logical Inference. - Mikhail Kazakov; Habib Abdulrab (ICEIS (3), 2004)

Semi-automated software integration using logical specifications: An application to numerical simulation software. - Mikhail Kazakov; Habib Abdulrab (ICECS, 2005)