stack photo

Marina

Mongiello

Assistant Professors


It’s magical how something so simple represents so much

(Albus Dumbledore - Harry Potter)

Publications in 2006

A Model Checking-based Method for Verifying Web Application Design. donini_et_al_ENTCS2006.pdf

Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
Electronic Notes on Theoretical Computer Science, Volume 151, Number 2, page 19--32 - 2006


Finite-state verification of the ebXML protocol.

Marina Mongiello
Electronic Commerce Research and Applications, Volume 5, Number 2, page 147--169 - 2006


Modelling and verification of BPEL business processes.

Daniela Castelluccia, Marina Mongiello
MDB/MOMPES 2006, page 144-148 - 2006


WAVer: A Model Checking-based Tool to Verify Web Application Design. castelluccia_et_al_ENTCS2006.pdf

Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro
Electronic Notes on Theoretical Computer Science, Volume 157, Number 1, page 61--76 - 2006


Publications in 2005




Design verification of web applications using symbolic model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
Intl. Conf. on Web Engineering 2005 ICWE 05, Springer-Verlag, Volume 3579, page 69--74 - 2005


Performance of batching schemes for multimedia-on-demand services.

Gennaro Boggia, Pietro Camarda, P. Mazzeo, Marina Mongiello
IEEE Transactions on Multimedia, Volume 7, Number 5, page 920--931 - 2005


Publications in 2004


A Logic for SVG Documents Query and Retrieval. 04070821061724384.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Multimedia Tools and Applications, Volume 24, Number 2, page 125--153 - 2004


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Electronic Commerce, Volume 8, Number 4, page 9--37 - 2004






EbXML verification using Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 26th International Conference on Information Technology Interfaces, page 455--460 - 2004




Retrieval by Spatial Similarity: an Algorithm and a Comparative Evaluation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Luciano Allegretti
Pattern Recognition Letters, Volume 25, Number 14, page 1633--1645 - 2004


Semantic-based Approach to Task Assignment of Individual Profiles. IKnow04.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 4th International Conference on Knowledge Management (I-Know '04), page 285--292 - 2004




Publications in 2003

A formal approach to ontology-based semantic match of skills descriptions. jucs03.ps

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola
Journal of Universal Computer Science (J.UCS), Volume 9, Number 12, page 1437--1454 - Dec. 2003


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Twelfth International World Wide Web Conference WWW 2003 ACM press, page 321--330 - May 2003


Abductive Matchmaking using Description Logics. 651ijcai-03.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, page 337--342 - Aug. 2003


Concept Abduction and Contraction in Description Logics. DL03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 16th International Workshop on Description Logics (DL'03), Volume 81 - Sept. 2003


Description Logics Approach to Semantic Matching of Web Services. CIT03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Computing and Information Technology, Volume 11, Number 3, page 217--224 - 2003


Description Logics Approach to Semantic Matching of Web Services. iti03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 25th Int. Conf. on Information Technology Interfaces, page 545--550 - Jun. 2003



Logic Based Approach to Web Services Discovery and Matchmaking. icec03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the E-Services Workshop at 5th Intl. Conf. on Electronic Commerce, ICEC'03 - Sept. 2003



Semantic Matchmaking in a P2P Electronic Marketplace.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03, page 582--586 - Mar. 2003


Web Applications Design and Maintenance using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering, page 63--72 - Mar. 2003


Publications in 2002

A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A logical framework and an application for matchmaking in e-commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del XL Congresso dell'Associazione Italiana per il Calcolo Automatico - 25--27 September 2002


AnWeb: a System for Automatic Support to Web Application Verification.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference, page 609--616 - July 2002


I-Search: a System for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Foundations of Intelligent Systems, Springer-Verlag, Number 2366, page 149--157 - 2002


Knowledge Representation for Matchmaking in P2P.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale - 11--13 September 2002




Structured Knowledge Representation for Image Retrieval. disciascio02a.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Artificial Intelligence Research(JAIR), Volume 16, page 209--257 - 2002


Using Computation Tree Logic for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Computational Intelligence and Applications, Volume 2, Number 3, page 245--253 - 2002


Publications in 2001

A Knowledge-Based System for Person-to-Person E-Commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001), Volume 44, page 609--616 - 2001





Content-Based Retrieval of Landmark Images using Structured Knowledge Representation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001) - 2001


Verifying integrity constraints on web-based systems using model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico - September 2001


SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy