Modelling and validating office information systems: an object and logic oriented approach. - Pericles Loucopoulos; Vassileios Karakostas (Softw. Eng. J., 1989)

Rule-Based Requirements Specification and Validation. - Aphrodite Tsalgatidou; Vassileios Karakostas; Pericles Loucopoulos (CAiSE, 1990)

Modelling and maintenance software systems at the teleological level. - Vassileios Karakostas (J. Softw. Maintenance Res. Pract., 1990)

A teleological perspective of software and its application to large scale reuse and maintenance. - Vassileios Karakostas (1990)

Automated business knowledge acquisition from programs. - Vassileios Karakostas (ICTAI, 1991)

Intelligent search and acquisition of business knowledge from programs. - Vassileios Karakostas (J. Softw. Maintenance Res. Pract., 1992)

Automatic Transformation of Hybrid Object and Logic Specification to C++ Code. - Vassileios Karakostas; L. Pourkashani (TOOLS (13), 1994)

Combined use of languages in object-oriented software construction. - Vassileios Karakostas; L. Pourkashani (OOPS Messenger, 1994)

Business-Object Semantics Communication Model in Distributed Environment. - Hei-Chia Wang; Vassileios Karakostas (ECOOP Workshops, 1998)