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