Castelluccia, D.; Mongiello, M.; Ruta, M.; Totaro, R. WAVer: a model checking-based tool to verify web application design. (English) Zbl 1273.68080 Mukhopadhyay, Supratik (ed.) et al., Proceedings of the 3rd international workshop on software verification and validation (SVV 2005), Manchester, UK, October 31, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 157, No. 1, 61-76 (2006). MSC: 68N30 68M11 PDFBibTeX XMLCite \textit{D. Castelluccia} et al., Electron. Notes Theor. Comput. Sci. 157, No. 1, 61--76 (2006; Zbl 1273.68080) Full Text: Link
Lasi, G.; Mongiello, C.; Scagliarini, M. Statistical process control for multiple stream processes: problems and solutions in a real case. (Italian. English summary) Zbl 1207.62233 Statistica 64, No. 4, 707-719 (2004). MSC: 62P30 PDFBibTeX XMLCite \textit{G. Lasi} et al., Statistica 64, No. 4, 707--719 (2004; Zbl 1207.62233)
Di Sciascio, E.; Donini, F. M.; Mongiello, M. I-Search: A system for intelligent information search on the web. (English) Zbl 1049.68622 Hacid, Mohand-Saïd (ed.) et al., Foundations of intelligent systems. 13th international symposium, ISMIS 2002, Lyon, France, June 27–29, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43785-1). Lect. Notes Comput. Sci. 2366, 149-157 (2002). MSC: 68T05 68P20 PDFBibTeX XMLCite \textit{E. Di Sciascio} et al., Lect. Notes Comput. Sci. 2366, 149--157 (2002; Zbl 1049.68622) Full Text: Link
Di Sciascio, E.; Donini, F. M.; Mongiello, M. Spatial layout representation for query-by-sketch content-based image retrieval. (English) Zbl 1010.68135 Pattern Recognit. Lett. 23, No. 13, 1599-1612 (2002). MSC: 68T10 68P20 PDFBibTeX XMLCite \textit{E. Di Sciascio} et al., Pattern Recognit. Lett. 23, No. 13, 1599--1612 (2002; Zbl 1010.68135) Full Text: DOI
Di Sciascio, E.; Donini, F. M.; Mongiello, M. Structured knowledge representation for image retrieval. (English) Zbl 1014.68159 J. Artif. Intell. Res. (JAIR) 16, 209-257 (2002). MSC: 68T30 PDFBibTeX XMLCite \textit{E. Di Sciascio} et al., J. Artif. Intell. Res. (JAIR) 16, 209--257 (2002; Zbl 1014.68159) Full Text: arXiv
Di Sciascio, E.; Donini, F. M.; Mongiello, M.; Piscitelli, G. Automatic support for verification of secure transactions in distributed environment using symbolic model checking. (English) Zbl 0995.68521 Kalpić, Damir (ed.) et al., ITI 2001. Proceedings of the 23rd international conference on information technology interfaces, Pula, Croatia, June 19-22, 2001. Zagreb: SRCE Univ. Computing Centre. 447-454 (2001). MSC: 68U99 PDFBibTeX XMLCite \textit{E. Di Sciascio} et al., in: ITI 2001. Proceedings of the 23rd international conference on information technology interfaces, Pula, Croatia, June 19--22, 2001. Zagreb: SRCE Univ. Computing Centre. 447--454 (2001; Zbl 0995.68521)
Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina A description logic for image retrieval. (English) Zbl 0962.68169 Lamma, Evelina (ed.) et al., AI*IA 99: Advances in artificial intelligence. 6th congress of Italian Association for Artificial Intelligence. Bologna, Italy, September 14-17, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1792, 13-24 (2000). MSC: 68U10 68P20 PDFBibTeX XMLCite \textit{E. Di Sciascio} et al., Lect. Notes Comput. Sci. 1792, 13--24 (2000; Zbl 0962.68169)