Marina Mongiello

	2006
31		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		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		Marina Mongiello: Finite-state verification of the ebXML protocol. Electronic Commerce Research and Applications 5(2): 147-169 (2006)
	2005
28		Marina Mongiello, Rodolfo Totaro: Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment. EC-Web 2005: 21-30
27		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		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		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		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		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		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		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		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		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		Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: Web Applications Design and Maintenance Using Symbolic Model Checking. CSMR 2003: 63-72
15		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		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		Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. WWW (Posters) 2003
10		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		Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: I-Search: A System for Intelligent Information Search on the Web. ISMIS 2002: 149-157
8		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		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		Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Structured Knowledge Representation for Image Retrieval. J. Artif. Intell. Res. (JAIR) 16: 209-257 (2002)
5		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		Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Semantic Indexing for Image Retrieval Using Description Logics. VISUAL 2000: 372-383
	1999
3		Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Description Logic for Image Retrieval. AI*IA 1999: 13-24
2		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)

Coauthor Index

1	L. Allegretti	[17]
2	Gennaro Boggia	[25]
3	Pietro Camarda	[25]
4	Daniela Castelluccia	[27] [30]
5	Simona Colucci	[10] [15] [19] [21] [22] [23] [24] [26]
6	Francesco M. Donini	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27] [31]
7	L. Mazzeo	[25]
8	G. Mingolla	[2]
9	Marco Mottola	[10]
10	Tommaso Di Noia	[10] [12] [13] [14] [15] [19] [21] [22] [23] [24] [26]
11	Giacomo Piscitelli	[8] [16] [19] [24]
12	Gianvito Rossi	[24]
13	Michele Ruta	[30] [31]
14	Eugenio Di Sciascio	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27]
15	Rodolfo Totaro	[27] [28] [30] [31]