Marina Mongiello Associate Professor Publications (97) Publications 2019 - Bucchiarone Antonio, Mongiello Marina Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems From Software Engineering to Formal Methods and Tools, and Back 2019: 19-39 DOI: 10.1007/978-3-030-30985-5_3 2022 - Fiore Marco, Carrozzino Federico, Nocera Francesco, Mongiello Marina Key-pair generation using Fingerprint-based seed in Blockchain Systems In Proceedings of 2022 Blockchain and Cryptocurrency Conference (B2C 2022) DOI: 2022 - Fiore Marco, Nocera Francesco, Mongiello Marina A Reward-based Blockchain Platform for Exchanging Goods and Services In Proceedings of 2022 Blockchain and Cryptocurrency Conference (B2C 2022) DOI: 2022 - Nocera Francesco, Abascià Sergio , Fiore Marco, Aziz Shah Awais , Mongiello Marina, Di Sciascio Eugenio, Acciani Giuseppe Cyber-Attack Mitigation in Cloud-Fog Environment Using an Ensemble Machine Learning Model In Proceedings of 2022 7th International Conference on Smart and Sustainable Technologies (SpliTech) DOI: 10.23919/splitech55088.2022.9854372 2022 - Nocera Francesco, Demilito Simone, Ladisa Piergiorgio, Mongiello Marina, Aziz Shah Awais , Di Sciascio Eugenio A User Behavior Analytics (UBA)-based solution using LSTM Neural Network to mitigate DDoS Attack in Fog and Cloud Environment in Proceedings of 2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH) DOI: 10.1109/smarttech54121.2022.00029 2021 - Mastandrea Giuseppe , Mattia Daniele , DOriano Luigi, Rana Giuseppe Rocco , Nocera Francesco, Mongiello Marina IOT data-driven experimental process optimisation for kevlar fiberglass components for aeronautic 2021 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4. 0&IoT) DOI: 10.1109/metroind4.0iot51437.2021.9488447 2020 - Brogi Antonio, Bucchiarone Antonio, Capilla Raphael, Jamshidi Pooyan, Leotta Maurizio, Mann Zoltàn Adàm, Mongiello Marina, Nocera Francesco Ensemble-Based Software Engineering for Modern Computing Platforms ACM SIGSOFT Software Engineering Notes DOI: 10.1145/3375572.3375580 2020 - Pasquale Liliana , Zippo Paola , Curley Cliona, ONeil Brian, Mongiello Marina Digital Age of Consent and Age Verification: Can They Protect Children? IEEE Software DOI: 10.1109/ms.2020.3044872 2019 - Nocera Francesco, Bucchiarone Antonio, Mongiello Marina, Capilla Raphael, Leotta Maurizio, Mann Zoltàn Adàm, Jamshidi Pooyan, Brogi Antonio Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms DOI: 10.1145/3375572.3375580 2019 - Mongiello Marina, Di Sciascio Eugenio, Nocera Francesco, De Palma Pietro Guest Editorial: Industry 4.0: the DIGITAl Transformation in the Engineering findings (DIGITATE) IET JoE Special Issue Industry 4.0: the DIGITAl Transformation in the Engineering findings (DIGITATE) DOI: 10.1007/978-3-030-30985-5_3 2019 - Nocera Francesco, Mongiello Marina, Parchitelli Angelo, Di Sciascio Eugenio, Patrono Luigi A model for Reflective Middleware based on fuzzy rule for context-awareness injection in ubiquitous computing environments Proceedings of IEEE International Conference on Smart and Sustainable Technologies 2019:(SpliTech 2019) DOI: 10.23919/splitech.2019.8783119 2019 - Cavalera Giorgio , Conterosito Roberto, Lacasa Vincenzo, Mongiello Marina, Nocera Francesco, Patrono Luigi, Sergi Ilaria An Innovative Smart System based on IoT Technologies for Fire and Danger Situations Proceedings of IEEE International Conference on Smart and Sustainable Technologies 2019:(SpliTech 2019) DOI: 10.23919/splitech.2019.8783059 2019 - Malavolta Ivano, Nocera Francesco, Lago Patricia , Mongiello Marina Navigation-aware and Personalized Prefetching of Network Requests in Android Apps 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) DOI: 10.1109/icse-nier.2019.00013 2018 - De Meo Claudio, Siena Nicola, Riccardi Luca, Nocera Francesco, Parchitelli Angelo, Mongiello Marina, Di Sciascio Eugenio, Makitalo Niko LiquiDADE: a Liquid-based Distributed Agile and Adaptive Development Environment (DADE) Multi-Device tool Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018) DOI: 10.1145/3281022.3281024 2018 - Mongiello Marina, Nocera Francesco, Di Sciascio Eugenio, Di Noia Tommaso Guest Editorial: Software Architecture for the Web of Things (SAWoT) IET Software Special Issue: Software Architecture for the Web of Things ( SAWoT) DOI: 10.1049/iet-sen.2017.0350 2018 - Mongiello Marina, Makitalo Niko, Nocera Francesco, Palacin Diego Pérez, Di Noia Tommaso, Di Sciascio Eugenio, Bellini Vito, Riccardi Luca Preface of the 2nd International Workshop on Engineering the Web of Things (EnWoT) Current trends in Web Engineering (ICWE 2018 International Workshops) DOI: 10.1007/978-3-030-03056-8_8 2018 - Nocera Francesco, Mongiello Marina, Di Sciascio Eugenio, Di Noia Tommaso MoSAIC: a Middleware-induced Software ArchIteCture design Decision Support System Proceedings of the 12th European Conference on Software Architecture DOI: 10.1145/3241403.3241410 2018 - Mongiello Marina, Nocera Francesco, Parchitelli Angelo, Patrono Luigi, Rametta Piercosimo, Riccardi Luca, Avena Leonardo A Microservices-based IoT Monitoring System to improve the Safety in Public Buildings 3rd International Conference on Smart and Sustainable Technologies ( SpliTech 2018) DOI: 10.23919/splitech.2019.8783059 2018 - Bellini Vito, Di Noia Tommaso, Mongiello Marina, Nocera Francesco, Parchitelli Angelo, Di Sciascio Eugenio Reflective Internet of Things Middleware-enabled a predictive real-time Waste Monitoring System The 18th International Conference on Web Engineering (ICWE 2018) DOI: 10.1007/978-3-319-91662-0_31 2018 - Mongiello Marina, Nocera Francesco, Parchitelli Angelo, Patrono Luigi, Rametta Piercosimo, Riccardi Luca, Sergi Ilaria A Smart IoT-aware System for Crisis Scenarios Management Journal of Communications Software and Systems DOI: 10.24138/jcomss.v14i1.533 2018 - Makitalo Niko, Nocera Francesco, Mongiello Marina, Bistarelli Stefano Architecting the Web of Things for the Fog Computing Era IET Software Journal DOI: 10.1049/iet-sen.2017.0350 2019 - Di Noia Tommaso, Mongiello Marina, Nocera Francesco, Straccia Umberto A Fuzzy Ontology-based Approach for Tool-supported Decision Making in Architectural Design Knowledge and Information Systems (KAIS) DOI: 10.1007/s10115-018-1182-1 2017 - Makitalo Niko, Mongiello Marina, Nocera Francesco, Di Noia Tommaso, Di Sciascio Eugenio, Mikkonen Tommi, Pautasso Cesare, Systä Kari, Taivalsaari Antero Preface of Joint Workshop on Engineering the Web of Things and Liquid Multi-Device Software Current trends in Web Engineering (ICWE 2017 International Workshops) DOI: 10.1109/apsec.2013.68 2017 - Parchitelli Angelo, Nocera Francesco, Iacobellis Giorgio, Mongiello Marina, Di Noia Tommaso, Di Sciascio Eugenio A pre-process clustering methods for the Waste Collection Problem IEEE International Conference on Service Operations, Logistics, and Informatics (SOLI 2017) DOI: 10.1109/soli.2017.8121001 2017 - Nocera Francesco, Di Noia Tommaso, Mongiello Marina, Parchitelli Angelo, Di Sciascio Eugenio, Bistarelli Stefano An adaptive Complex Event Processing-driven SIoT network formal metamodel 3rd Italian Conference on ICT for Smart Cities & Communities (I-CiTies 2017) DOI: 10.1007/978-3-319-74433-9_1 2017 - Mongiello Marina, Patrono Luigi, Di Noia Tommaso, Nocera Francesco, Parchitelli Angelo, Sergi Ilaria , Rametta Piercosimo A Complex Event Processing (CEP)-based aid system for fire and danger management The 7th IEEE International Workshop on Advances in Sensors and Interfaces (IWASI 2017) DOI: 10.1109/iwasi.2017.7974210 2017 - Bistarelli Stefano , Di Noia Tommaso, Mongiello Marina, Nocera Francesco PrOnto: an Ontology Driven Business Process Mining Tool 21st International Conference on Knowledge Based and Intelligent Information and Engineering Systems ( KES 2017) DOI: 10.1016/j.procs.2017.08.002 2017 - Nocera Francesco, Di Noia Tommaso, Mongiello Marina, Di Sciascio Eugenio Semantic IoT Middleware-enabled Mobile Complex Event Processing for Integrated Pest Management 7th International Conference on Cloud Computing and Services Science (CLOSER 2017) DOI: 10.5220/0006369506380645 2017 - Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Nocera Francesco A formal model for user-centered adaptive mobile devices IET Software DOI: 10.1049/iet-sen.2016.0169 2016 - Di Noia Tommaso, Mongiello Marina, Nocera Francesco, Di Sciascio Eugenio Ontology-based reflective Iot middleware-enabled agriculture Decision Support System 9th International Semantic Web Applications and tools for life sciences Conference (SWAT4LS 2016) DOI: 10.5220/0006369506380645 2016 - Mongiello Marina, Colucci Simona, Vogli Elvis, Grieco L. Alfredo , Sciancalepore Massimo Runtime Architectural Modeling for Future Internet Applications Complex and Intelligent Systems DOI: 10.1007/s40747-016-0020-x 2016 - Mongiello Marina, Di Noia Tommaso, Nocera Francesco, Di Sciascio Eugenio, Parchitelli Angelo Context-aware design of reflective middleware in the Internet of Everything 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) - Co-located with Software Technologies: Applications and Foundations (STAF 2016) DOI: 10.1007/978-3-319-50230-4_33 2016 - Di Noia Tommaso, Ragone Azzurra, Maurino Andrea, Mongiello Marina, Marzocca Maria Paola, Cultrera Giuseppe, Bruno Mauro Paolo Linking data in digital libraries: the case of Puglia Digital Library 1st Workshop on Humanities in the Semantic Web - WHiSe -- Co-located with the 13th Extended Semantic Web Conference (ESWC 2016) DOI: 10.6017/ital.v19i2.10082 2016 - Di Noia Tommaso, Mongiello Marina, Nocera Francesco, Di Sciascio Eugenio Persistence on different databases via reflective IoT Middleware 24th Italian Symposium on Advanced Database Systems (SEBD 2016) DOI: 10.5220/0006369506380645 2016 - Colucci Simona, Mongiello Marina Pushing the Role of Information in ICN Proccedings of the 23th International Conference on Telecommunications DOI: 10.1109/ict.2016.7500381 2016 - Scandurra Patrizia, Mongiello Marina, Colucci Simona, Grieco L. Alfredo Towards a goal-oriented approach to adaptable re-deployment of cloud-based applications 5th International Conference on Cloud Computing and Services Science (Closer 2016) DOI: 10.5220/0005861602530260 2016 - Mongiello Marina, Boggia Gennaro, Di Sciascio Eugenio ReIOS: Reflective Architecting in the Internet of Objects 4th International Conference on Model-driven Engineering and Software Development (Modelsward 2016) DOI: 10.5220/0005800603840389 2016 - Mongiello Marina, Di Noia Tommaso, Nocera Francesco, Di Sciascio Eugenio Case-based reasoning and Knowledge-graph based metamodel for runtime adaptive architectural modeling The 31st ACM/SIGAPP Symposium on Applied Computing DOI: 10.1145/2851613.2851767 2015 - Mongiello Marina, Grieco L. Alfredo , Sciancalepore Massimo, Vogli Elvis Adaptive architectural model for Future internet applications 5th International Workshop on Adaptive services for future internet DOI: 10.1007/978-3-319-33313-7_10 2015 - Di Noia Tommaso, Mongiello Marina, Di Sciascio Eugenio Model checking based query and retrieval in OpenStreetMap Ismis 2015 DOI: 10.1007/978-3-319-25252-0_22 2015 - Di Noia Tommaso, Mongiello Marina, Straccia Umberto Fuzzy Description Logics for component selection in software design SCART2015 1st Int. Workshop on the “ART” of Software Composition (SCART 2015) - 13th SEFM DOI: 10.1007/978-3-662-49224-6_19 2015 - Mongiello Marina, Di Noia Tommaso, Di Sciascio Eugenio A Temporal Logic-based approach to query Open Street Map SEBD 2015 DOI: 10.1006/jvlc.1999.0145 2006 - Castelluccia Daniela, Mongiello Marina Modelling and verification of BPEL business processes MDB/MOMPES 2006 DOI: 10.1109/mbd-mompes.2006.22 2005 - Mongiello Marina, Totaro Rodolfo Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment EC-Web 2005 DOI: 10.1007/11545163_3 2014 - Di Noia Tommaso, Mongiello Marina, Di Sciascio Eugenio A Computational Model for Mapreduce Job Flow. Cilc 2014 DOI: 10.15439/2017f258 2015 - Mongiello Marina, Pelliccione Patrizio, Sciancalepore Massimo AC-contract: Run-time verification of context-aware applications 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015 DOI: 10.1109/seams.2015.11 2014 - Di Noia Tommaso, Mongiello Marina, Di Sciascio Eugenio A semantic-based framework for non-functional requirements and design patterns classification SEBD 2014 DOI: 10.1007/978-3-642-33203-6_2 2014 - Di Noia Tommaso, Mongiello Marina, Di Sciascio Eugenio Ontology-driven pattern selection and matching in software design Software Architecture - 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings. DOI: 10.1007/978-3-319-09970-5_8 2013 - Loseto Giuseppe, Ruta Michele, Scioscia Floriano, Di Sciascio Eugenio, Mongiello Marina Mining the user profile from a smartphone: a multimodal agent framework 14th Workshop From Objects to Agents (WOA 2013) DOI: 2006 - Mongiello Marina Finite-state verification of the ebXML protocol Electronic Commerce Research and Applications DOI: 10.1016/j.elerap.2005.09.002 2006 - Donini Francesco M., Mongiello Marina, Ruta Michele, Totaro Rodolfo A Model Checking-based Method for Verifying Web Application Design Electronic Notes on Theoretical Computer Science DOI: 10.1016/j.entcs.2005.07.034 2006 - Castelluccia Daniela, Mongiello Marina, Ruta Michele, Totaro Rodolfo WAVer: A Model Checking-based Tool to Verify Web Application Design Electronic Notes on Theoretical Computer Science DOI: 10.1016/j.entcs.2006.01.023 2005 - Boggia Gennaro, Camarda Pietro, Mazzeo P., Mongiello Marina Performance of batching schemes for multimedia-on-demand services IEEE Transactions on Multimedia DOI: 10.1109/tmm.2005.854383 2005 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Totaro Rodolfo, Castelluccia Daniela Design verification of web applications using symbolic model checking Intl. Conf. on Web Engineering 2005 ICWE 05 DOI: 10.1007/11531371_12 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo AnWeb: a System for Automatic Support to Web Application Verification SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference DOI: 10.1145/568760.568866 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Meeting in the Agorà: A Description Logic Approach to Peer-to-Peer E-Commerce 24th Int. Conf. on Information Technology Interfaces DOI: 10.1109/iti.2002.1024693 2005 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Description Logic Based Resource Retrieval The Encyclopedia of Knowledge Management DOI: 10.4018/978-1-59140-573-3.ch014 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Knowledge Representation for Matchmaking in P2P Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale DOI: 10.1007/978-3-540-72667-8_30 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A logical framework and an application for matchmaking in e-commerce Atti del XL Congresso dell'Associazione Italiana per il Calcolo Automatico DOI: 10.2753/jec1086-4415120200 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A Logic for SVG Documents Query and Retrieval Multimedia Tools and Applications DOI: 10.1023/b:mtap.0000036840.61778.04 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A Logic for SVG Documents Query and Retrieval Multimedia Tools and Applications DOI: 10.1023/b:mtap.0000036840.61778.04 2003 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Description Logics Approach to Semantic Matching of Web Services Journal of Computing and Information Technology DOI: 10.1109/iti.2003.1225400 2003 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Web Applications Design and Maintenance using Symbolic Model Checking Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering DOI: 10.1109/csmr.2003.1192411 2003 - Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Semantic Matchmaking in a P2P Electronic Marketplace Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03 DOI: 10.1145/952532.952649 2004 - Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A System for Principled Matchmaking in an Electronic Marketplace International Journal of Electronic Commerce DOI: 10.1080/10864415.2004.11044308 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace Proceedings of the 6th Intl. Conf. on Electronic Commerce,ICEC'04 DOI: 10.1016/j.elerap.2005.06.004 2003 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach Proceedings of Twelfth International World Wide Web Conference WWW-03 DOI: 10.1145/967900.968113 2003 - Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Abductive Matchmaking using Description Logics Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03 DOI: 10.1007/978-3-642-33203-6_2 2003 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Mottola Marco Finding skills through Ranked Semantic Match of Descriptions Journal of Universal Computer Science (J.UCS) DOI: 10.1016/j.procs.2011.07.118 2003 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Logic Based Approach to Web Services Discovery and Matchmaking Proceedings of the E-Services Workshop at 5th Intl. Conf. on Electronic Commerce, ICEC'03 DOI: 10.1007/978-3-319-24309-2_28 2003 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Concept Abduction and Contraction in Description Logics Proceedings of the 16th International Workshop on Description Logics (DL'03) DOI: 10.1016/j.elerap.2005.06.004 2003 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Description Logics Approach to Semantic Matching of Web Services Journal of Computing and Information Technology DOI: 10.1109/iti.2003.1225400 2003 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Mottola Marco A formal approach to ontology-based semantic match of skills descriptions Journal of Universal Computer Science (J.UCS) DOI: 10.4018/978-1-59904-343-2.ch013 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Resource Matchmaking Based on Negotiable and Strict Constraints in the Semantic Web Atti del IX Convegno dell'Associazione Italiana di Intelligenza Artificiale DOI: 10.1145/1151454.1151489 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents Proceedings of the 19th Symposium on Applied Computing (SAC'04) DOI: 10.1145/967900.968113 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Design and Implementation of a Web-Search Engine based on Computation Tree Logic Proceedings of MELECON DOI: 10.1109/melcon.2004.1347027 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo, Rossi Gianvito An Agency for Semantic-Based Automatic Discovery of Web-Services Artificial Intelligence Applications and Innovations DOI: 10.1007/1-4020-8151-0_28 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN Proceedings of the 17th International Workshop on Description Logics (DL 04) DOI: 10.1016/j.elerap.2005.06.004 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Semantic-based Approach to Task Assignment of Individual Profiles Journal of Universal Computer Science (J.UCS) DOI: 10.5220/0005861602530260 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina I-Search: a System for Intelligent Information Search on the Web Foundations of Intelligent Systems DOI: 10.1007/3-540-48050-1_18 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo EbXML verification using Model Checking Proceedings of 26th International Conference on Information Technology Interfaces DOI: 10.2498/cit.2001.03.03 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace Proceedings of the 6th Intl. Conf. on Electronic Commerce,ICEC'04 DOI: 10.1016/j.elerap.2005.06.004 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04) DOI: 10.1016/j.elerap.2005.06.004 2004 - Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A System for Principled Matchmaking in an Electronic Marketplace International Journal of Electronic Commerce DOI: 10.1080/10864415.2004.11044308 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Knowledge Based Systems Technology and Applications in Image Retrieval Intelligent Knowledge-Based Systems DOI: 10.1007/978-1-4020-7829-3_11 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A Logic for SVG Documents Query and Retrieval Multimedia Tools and Applications DOI: 10.1023/b:mtap.0000036840.61778.04 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Structured Knowledge Representation for Image Retrieval Journal of Artificial Intelligence Research(JAIR) DOI: 10.1613/jair.902 2004 - Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Semantic-based Approach to Task Assignment of Individual Profiles Journal of Universal Computer Science (J.UCS) DOI: 10.5220/0005861602530260 2004 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Allegretti Luciano Retrieval by Spatial Similarity: an Algorithm and a Comparative Evaluation Pattern Recognition Letters DOI: 10.1117/12.263436 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Spatial Layout Representation for Query by Sketch Content Based Image Retrieval Pattern Recognition Letters DOI: 10.1016/s0167-8655(02)00124-1 2002 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Using Computation Tree Logic for Intelligent Information Search on the Web International Journal of Computational Intelligence and Applications DOI: 10.1142/s1469026802000579 2001 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina A System for Content-Based Semantic Indexing of Images Using Description Logics Proceedings of Content-based Multimedia Indexing (CBMI 2001) DOI: 10.1007/3-540-40053-2_33 2001 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Content-Based Retrieval of Landmark Images using Structured Knowledge Representation Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001) DOI: 10.1117/12.333876 2001 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Automatic Support for Verification of Secure Transactions in Distributed Environments using Symbolic Model Checking Proceedings of 23rd International Conference on Information Technology Interfaces DOI: 10.2498/cit.2001.03.03 2001 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking Journal of Computing and Information Technology DOI: 10.2498/cit.2001.03.03 2001 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo A Knowledge-Based System for Person-to-Person E-Commerce Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001) DOI: 10.1145/1593254.1593257 2001 - Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo Verifying integrity constraints on web-based systems using model checking Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico DOI: 10.1007/978-3-319-25252-0_22