Mikhail Kazakov

According to our database, Mikhail Kazakov authored at least 5 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Semi-automated software integration using logical specifications: An application to numerical simulation software.

Mikhail Kazakov, Habib Abdulrab

Proceedings of the 12th IEEE International Conference on Electronics, 2005

2004

Semi-Automated Software Integration: An Approach Based on Logical Inference.

Mikhail Kazakov, Habib Abdulrab

Proceedings of the ICEIS 2004, 2004

A feasibility proof of semi-automated software integration.

Mikhail Kazakov

Proceedings of the IASTED International Conference on Software Engineering, 2004

2003

A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform.

Mikhail Kazakov, Habib Abdulrab

Proceedings of the Metainformatics, International Symposium, 2003

DL-workbench: a metamodeling approach to ontology manipulation.

Mikhail Kazakov, Habib Abdulrab

Proceedings of the EON2003, 2003