Journal of Computing and Information Technology

Donini, Francesco M.

• Vol 11, No 3 (2003): Special Issue on ITI 2003 - Information Technology Interfaces - Special Issue on ITI 2003 - Information Technology Interfaces
  Description Logics Approach to Semantic Matching of Web Services
  Abstract  PDF
• Vol 9, No 3 (2001): Special Issue on ITI 2001 - Information Technology Interfaces - Special Issue on ITI 2001 - Information Technology Interfaces
  Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
  Abstract  PDF