Skip to: Site menu | Main content

sisinflab.poliba.it

Politecnico di Bari via E.Orabona,4
70125 Bari - Italy
Tel. +39 - 0805963515
Fax. +39 - 0805963410

Publications - since 2001

Author: Title: Year:

Select a document type:

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
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
Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace   extended_matchmaking_ecra.pdf
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Electronic Commerce Research and Applications, Volume 4, Number 4, page 345--361 - 2005
Description Logic Based Resource Retrieval   encyclopediakm3.4.pdf
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
The Encyclopedia of Knowledge Management, Idea Group Inc - 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 Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents  
Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 19th Symposium on Applied Computing (SAC'04), page 1040--1044 - 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
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics  
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04), page 975--976 - 2004
An Agency for Semantic-Based Automatic Discovery of Web-Services   aiaipaper 203.pdf
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli, Gianvito Rossi
Artificial Intelligence Applications and Innovations, page 315--328 - 2004
Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace   extended_matchmaking_ecra.pdf
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 6th Intl. Conf. on Electronic Commerce,ICEC'04, page 41--50 - October 2004
Design and Implementation of a Web-Search Engine based on Computation Tree Logic  
Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of MELECON, page 705--708 - 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
Knowledge Based Systems Technology and Applications in Image Retrieval  
Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Intelligent Knowledge-Based Systems, Kluwer Academic Press - 2004
Resource Matchmaking Based on Negotiable and Strict Constraints in the Semantic Web  
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Atti del IX Convegno dell'Associazione Italiana di Intelligenza Artificiale - September 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
Semantic-based Approach to Task Assignment of Individual Profiles   I-know-04.pdf
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Journal of Universal Computer Science (J.UCS), Volume 10, Number 6, page 723--730 - 2004

Display the complete list (48 publications)
1   2   3     »