2006 |
31 | EE | Francesco M. Donini,
Marina Mongiello,
Michele Ruta,
Rodolfo Totaro:
A Model Checking-based Method for Verifying Web Application Design.
Electr. Notes Theor. Comput. Sci. 151(2): 19-32 (2006) |
30 | EE | Daniela Castelluccia,
Marina Mongiello,
Michele Ruta,
Rodolfo Totaro:
WAVer: A Model Checking-based Tool to Verify Web Application Design.
Electr. Notes Theor. Comput. Sci. 157(1): 61-76 (2006) |
29 | EE | Marina Mongiello:
Finite-state verification of the ebXML protocol.
Electronic Commerce Research and Applications 5(2): 147-169 (2006) |
2005 |
28 | EE | Marina Mongiello,
Rodolfo Totaro:
Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment.
EC-Web 2005: 21-30 |
27 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Rodolfo Totaro,
Daniela Castelluccia:
Design Verification of Web Applications Using Symbolic Model Checking.
ICWE 2005: 69-74 |
26 | EE | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.
Electronic Commerce Research and Applications 4(4): 345-361 (2005) |
25 | EE | Gennaro Boggia,
Pietro Camarda,
L. Mazzeo,
Marina Mongiello:
Performance of batching schemes for multimedia-on-demand services.
IEEE Transactions on Multimedia 7(5): 920-931 (2005) |
2004 |
24 | | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Giacomo Piscitelli,
Gianvito Rossi:
An Agency for Semantic-Based Automatic Discovery of Web Services.
AIAI 2004: 315-328 |
23 | EE | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN.
Description Logics 2004 |
22 | | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.
ECAI 2004: 975-976 |
21 | EE | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Marina Mongiello,
Francesco M. Donini:
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.
ICEC 2004: 41-50 |
20 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A knowledge based system for content-based retrieval of Scalable Vector Graphics documents.
SAC 2004: 1040-1044 |
19 | EE | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Giacomo Piscitelli:
Semantic-based Approach to Task Assignment of Individual Profiles.
J. UCS 10(6): 723-730 (2004) |
18 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A Logic for SVG Documents Query and Retrieval.
Multimedia Tools Appl. 24(2): 125-153 (2004) |
17 | EE | Eugenio Di Sciascio,
Marina Mongiello,
Francesco M. Donini,
L. Allegretti:
Retrieval by spatial similarity: an algorithm and a comparative evaluation .
Pattern Recognition Letters 25(14): 1633-1645 (2004) |
2003 |
16 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Giacomo Piscitelli:
Web Applications Design and Maintenance Using Symbolic Model Checking.
CSMR 2003: 63-72 |
15 | EE | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Concept Abduction and Contraction in Description Logics.
Description Logics 2003 |
14 | | Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Abductive Matchmaking using Description Logics.
IJCAI 2003: 337-342 |
13 | | Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Semantic Matchmaking in a P-2-P Electronic Marketplace.
SAC 2003: 582-586 |
12 | EE | Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A system for principled matchmaking in an electronic marketplace.
WWW 2003: 321-330 |
11 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach.
WWW (Posters) 2003 |
10 | EE | Simona Colucci,
Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Marco Mottola:
A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions.
J. UCS 9(12): 1437-1454 (2003) |
2002 |
9 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
I-Search: A System for Intelligent Information Search on the Web.
ISMIS 2002: 149-157 |
8 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Giacomo Piscitelli:
AnWeb: a sytem for automatic support to web application verification.
SEKE 2002: 609-616 |
7 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Using Computation Tree Logic for Intelligent Information Search on the Web.
International Journal of Computational Intelligence and Applications 2(3): 245-253 (2002) |
6 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Structured Knowledge Representation for Image Retrieval.
J. Artif. Intell. Res. (JAIR) 16: 209-257 (2002) |
5 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Spatial layout representation for query-by-sketch content-based image retrieval.
Pattern Recognition Letters 23(13): 1599-1612 (2002) |
2000 |
4 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Semantic Indexing for Image Retrieval Using Description Logics.
VISUAL 2000: 372-383 |
1999 |
3 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A Description Logic for Image Retrieval.
AI*IA 1999: 13-24 |
2 | EE | Eugenio Di Sciascio,
G. Mingolla,
Marina Mongiello:
Content-Based Image Retrieval over the Web Using Query by Sketch and Relevance Feedback.
VISUAL 1999: 123-130 |
1 | | Eugenio Di Sciascio,
Marina Mongiello:
Query by Sketch and Relevance Feedback for Content-Based Image Retrieval over the Web.
J. Vis. Lang. Comput. 10(6): 565-584 (1999) |