This page shows the publications appeared in journals, collections, conference proceedings,
and books whose authors are currently affiliated with the Institute. The publications
are grouped by research topic.
 INFORMATION SYSTEMS
JOURNALS
- De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Parametric Similarity Method: Comparative Experiments based on Semantically Annotated Large Datasets, Journal of Web Semantics 76, 2023
- Anna Formica, Francesco Taglino: Semantic Relatedness in DBpedia: A Comparative and Experimental Assessment, Information Sciences 621, 474-505, 2023
- Anna Formica, Francesco Taglino: Semantic Similarity in a Taxonomy by Evaluating the Relatedness of Concept Senses with the Linked Data Semantic Distance, Transactions on Large-scale Data and Knowledge-Centered Systems LIII, LNCS 13840, 2023
- Anna Formica: Concept Similarity in Formal Concept Analysis, Journal of Mathematical and Computational Science 12, 2022
- Anna Formica: Concept Similarity in Formal Concept Analysis with many-valued contexts, Computing and Informatics 40(V), 1001-1020, 2021
- Anna Formica, Francesco Taglino: An Enriched Information-Theoretic Definition of Semantic Similarity in a Taxonomy, IEEE Access 9, 100583-100593, 2021
- Pecoraro F, Luzi D, Pourabbas E., Ricci L. F.: A system of concepts to support the integration of Health and social care and assistive domotics services: the Health@Home project, Informatics for Health and Social Care DOI: 10.1080/17538157.2021.1895167, Taylor & Francis Group, 2021
- Pourabbas E., Parretti C., Rolli F., Pecoraro F.: Entropy-based Assessment of Nonfunctional Requirements in Axiomatic Design, IEEE Access, DOI: 10.1109/ACCESS.2021.3128686, https://ieeexplore.ieee.org/abstract/document/9617456, 2021
- Anna Formica, Barbagallo A.: Integrating semantic search in e-learning technologies: the ELSE system, Information Technologies and Learning Tools 78, 237-248, 2020
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate query answering based on topological neighborhood and semantic similarity in OpenStreetMap, IEEE Access, DOI:10.1109/ACCESS.2020.2992202, https://ieeeaccess.ieee.org/, 2020
- Anna Formica, Pourabbas E., Francesco Taglino: Semantic Search Enhanced with Rating Scores, Future Internet, 12 (4), DOI: https://doi.org/10.3390/fi12040067, https://www.mdpi.com/1999-5903/12/4/67, 2020
- Mauro Mazzei: AN APPROACH ADOPTED FOR SMART DATA GENERATION AND VISUALIZATION PROBLEMS, Interactive Learning Environments, 2020
- Ida Mele, Tonellotto N, Frieder O, Perego R: Topical Result Caching in Web Search Engines, Information Processing & Management, https://www.sciencedirect.com/science/article/abs/pii/S0306457319307253, 2020
- Pourabbas E.: Providing accurate answers to OLAP queries based on standardized moments of data cubes, Information Systems 94, 2020
- Anna Formica: Similarity reasoning in formal concept analysis: from one- to many-valued contexts, Knowledge and Information Systems 60(2), 715-739, 2019
- Ida Mele, Bahrainian S A, Crestani F: Event Mining and Timeliness Analysis from Heterogeneous News Streams, Information Processing & Management, https://www.sciencedirect.com/science/article/abs/pii/S0306457318303455, 2019
- Anna Formica: Integrating Fuzzy Formal Concept Analysis and Rough Set Theory for the Semantic Web, Bulletin of Computational Applied Mathematics (CompAMa) 6(2), 65-84, 2018
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate Answering of Queries Involving Polyline-Polyline Topological Relationships, Information Visualization 17(2), 128-145, 2018
- Barbagallo A., Anna Formica: ELSE: an ontology-based system integrating semantic search and e-learning technologies, Interactive Learning Environments 25(5), 650-666, 2017
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Enriching the semantics of the Directed Polyline-Polygon Topological Relationships: the DLP-Intersection Matrix, International Journal of Geographical Systems 19(2), 175-196, 2017
- Daniele Santoni, Pourabbas E.: Automatic Detection of Words Associations in Texts based on Joint Distribution of Words Occurrence, Computational Intelligence 32(4), 535-560, 2016
- Anagnostopoulos A, Becchetti L, Bordino I, Leonardi S, Ida Mele, Sankowski P: Stochastic Query Covering for Fast Approximate Document Retrieval, ACM Transactions on Information Systems, 2015
- D'Uffizi Antonio, Simonetti Marco, Giuseppe Stecca, Confessore G.: A Simulation Study of Logistics for Disaster Relief Operations, Procedia CIRP, 33, http://www.sciencedirect.com/science/article/pii/S2212827115006721, 2015
- Pourabbas E., Shoshani A.: The Composite Data Model: A Unified Approach for Combining and Querying Multiple Data Models, IEEE Transactions on Knowledge and Data Engineering DOI: 10.1109/TKDE.2014.2365815, 1424-1437, 2015
- Mauro Mazzei, Ferri F., Grifoni P., Caschera M.C., D'Ulizia A.: MIS: Multimodal Interaction Services in a cloud perspective, Journal of Next Generation Information Technology, 2014
- Mauro Mazzei, Palma A.L.: Evaluating Principal Components Analysis of Particular Spatial Statistical Models, International journal on advances in intelligent systems 7, 24-30, 2014
- Smith F., Bianchini D.: Selection, Ranking and Composition of Semantically Enriched Business Processes, Computers in Industry 65(9), 1253-1263, 2014
- Diamantini C., Potena D., Maurizio Proietti, Smith F., Storti E., Francesco Taglino: A Semantic Framework for Knowledge Management in Virtual Innovation Factories, International Journal of Information System Modeling and Design Vol 4(4), 70-92, 2013
- Anna Formica: Similarity Reasoning for the Semantic Web based on Fuzzy Concept Lattices: an informal approach, Information Systems Frontiers 15 (3), 511-520, 2013
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: Supporting Customer Choice with Semantic Similarity Search and Explanation, Lecture Notes in Business Information Processing 148, 317-328, 2013
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for matching user requests with profiled enterprises, Computers in Industry 64 (3), 191-202, 2013
- Anna Formica, Pourabbas E., Rafanelli M.: Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages, Computer Science and Information Systems 10 (3), 1053-1075, 2013
- Graefe G., Nica A., Stolze K., Neumann T., Eavis T., Petrov I., Pourabbas E., Fekete D.: Elasticity in Cloud Databases and Their Query Processing, International Journal of Data Warehousing and Mining 9(2), 1-20, 2013
- Mauro Mazzei, Palma A.L.: Spatial Statistical Models for the Evaluation of the Landscape, Lecture Notes in Computer Science 7974, 2013
- Anna Formica: Semantic Web search based on Rough Sets and Fuzzy Formal Concept Analysis, Knowledge-Based Systems 26, 40-47, 2012
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F., Solazzi M.: The role of asymmetric information in the market of university-industry research collaboration, The Journal of Technology Transfer, 2011
- De Nicola A., Michele Missikoff, Smith F.: Towards a Method for Business Process and Informal Business Rules Compliance, Journal of Software Maintenance and Evolution: Research and Practice, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Testing the trade-off between productivity and quality in research activities, Journal of the American Society for Information Science and Technology. 61(2), 2010
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Solazzi M.: Assessing public-private research collaboration: is it possible to compare university performance?, Scientometrics, 2010
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Solazzi M.: National research assessment exercises: a measure of the distortion of performance rankings when labor input is treated as uniform, Scientometrics, 2010
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: A robust benchmark for the h and g indexes, Journal of the American Society for Information Science and Technology., 2010
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: Peer review research assessment: a sensitivity analysis of performance rankings to the share of research product evaluated, Scientometrics, 2010
- Barkmeyer E., Ivezic N., Kulvatunyou B., Marjanovic Z., Miletic I., Michele Missikoff, Francesco Taglino, Vujasinovic M.: Semantic Mediation for Standard-Based B2B Interoperability, IEEE Internet Computing 14, 52-63, 2010
- Anna Formica: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, International Journal of Uncertainty Fuzziness and Knowledge-Based Systems 18(2), 153-167, 2010
- Pourabbas E., Shoshani A.: Improving Estimation Accuracy of Aggregate Queries on Data Cubes, Data & Knowledge Engineering 69, 50-72, 2010
- Giovanni Abramo, Caprasecca A., Ciriaco Andrea D'Angelo: The contribution of star scientists to overall sex differences in research productivity, Scientometrics, 2009
- Giovanni Abramo, Caprasecca A., Ciriaco Andrea D'Angelo: Allocative efficiency in public research funding: can bibliometrics help?, Research Policy 38(1), 2009
- Giovanni Abramo, Caprasecca A., Ciriaco Andrea D'Angelo: Gender Differences in Research Productivity: a Bibliometric Analysis of the Italian Academic System, Scientometrics 79(3), 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Assessing the Technical and Cost Efficiency of Research Activities: A Case Study of the Italian University System, Research Evaluation 18(1),, 61-70, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo: The Alignment of Public Research Supply and Industry Demand for Effective Technology Transfer: the Case of Italy, Science & Public Policy 36(1, 2-14, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A decision support system for public research organizations participating in national research assessment exercises, Journal of the American Society for Information Science and Technology., 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F: Mapping excellence in national research systems: the case of Italy, Evaluation Review 33(2), 159-188, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Research collaboration and productivity: is there correlation?, Higher Education 57(2),, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F., Solazzi M.: University-industry collaboration in Italy a bibliometric examination, Technovation 29(6-7), 2009
- D'Ulizia A., Ferri F., Anna Formica, Grifoni P.: Approximating Geographical Queries, Journal of Computer Science and Technology 24(6), 2009
- De Nicola A., Michele Missikoff, Navigli R.: A Software Engineering Approach to Ontology Building, Information Systems 34, Issue 2, 258-275, 2009
- Anna Formica: Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach, Communications of the Acm 52(3), 145-149, 2009
- Anna Formica, Pourabbas E.: Content Based Similarity of Geographic Classes organized as Partition Hierarchies, Knowledge and Information Systems 20(2), 221-241, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Assessment of sectoral aggregation distortion in research productivity measurements, Research Evaluation 17(2), 2008
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Pugini F.: The Measurement of Italian Universities' Research Productivity by a Non Parametric-Bibliometric Methodology, Scientometrics 76(2), 2008
- Avenali A., Batini C., Paola Bertolazzi, Missier P.: Brokering infrastructure for minimum cost data procurement based on quality-quantity models, Decision Support Systems 45, 95-109, 2008
- Barkmeyer E., Ivezic N., Kulvatunyou B., Marjanovic Z., Miletic I., Michele Missikoff, Francesco Taglino, Vujasinovic M.: Semantic-Mediation for Standards-based B2B Interoperability, IEEE Internet Computing IC-2008-05-0103.R2, 2008
- Barkmeyer E., Ivezic N., Kulvatunyou B., Marjanovic Z., Miletic I., Michele Missikoff, Francesco Taglino, Vujasinovic M.: A Semantic-Mediation Architecture for Interoperable Supply-chain Applications, International Journal of Computer Integrated Manufacturing TCIM-2008-IJCIM-0021.R3, 2008
- Anna Formica: Similarity of XML-Schema Elements: a Structural and Information Content Approach, Computer Journal 51 (2), 240-254, 2008
- Anna Formica: Concept Similarity in Formal Concept Analysis: an Information Content Approach, Knowledge-Based Systems 21 (1), 80-87, 2008
- Pourabbas E., Shoshani A.: Efficient Estimation of Joint Queries from Multiple OLAP Databases, ACM Transactions on Database Systems 32(1), 1-43, 2007
- Anna Formica: Similarity of XML-Schema Elements supported by Domain Ontologies, International Journal of Software Engineering and Knowledge Engineering 15 (1), 117-130, 2005
- Anna Formica: Legality of XML-Schema Type Hierarchies, Computer Journal 47 (5), 591-601, 2004
- Anna Formica, Michele Missikoff: Inheritance Processing and Conflicts in Structural Generalization Hierarchies, ACM Computing Surveys 36 (3), 1-28, 2004
- d'Onofrio A., Pourabbas E.: Modelling Temporal Thematic Map Contents, Sigmod Record 32, 34-41, 2003
- Anna Formica: Satisfiability of Object-Oriented Database Constraints with Set and Bag Attributes, Information Systems 28 (3), 213-224, 2003
- Anna Formica, Michele Missikoff: Concept Similarity in SymOntos: an Enterprise Ontology Management Tool, Computer Journal 45 (6), 583-594, 2002
- Pourabbas E., Rafanelli M.: A Pictorial Query Language for Querying Geographic Databases using Positional and OLAP Operators, Sigmod Record 31, 22-27, 2002
- Paola Bertolazzi, Di Serio P., Michele Missikoff: Techniche diagrammatiche nella rappresentazione della conoscenza d'impresa, AICA Rivista di Informatica 31, 2001
- Paola Bertolazzi, Di Serio P., Michele Missikoff: Tecniche diagrammatiche per la modellazione di impresa: una panoramica, AIIA Notizie 13, 24-33, 2000
- Beeri C., Anna Formica, Michele Missikoff: Inheritance Hierarchy Design in Object-Oriented Databases, Data & Knowledge Engineering 30 (3), 191-216, 1999
- Ferri F., Pourabbas E., Rafanelli M., Sindoni G.: A System to Define and Allocate Health Care Resources on a Territory to Improve the Life Quality of the Populations in Developing Countries, Journal of Biomedical Informatics (formerly Computers and Biomedical Research) 30/5, 379-402, 1997
- Paola Bertolazzi, Di Battista G., Liotta G.: Parametric Graph Drawing, IEEE Transactions on Software Engineering 21, 662-673, 1995
- Anna Formica, Michele Missikoff: A comparative study of Object-Oriented databases and terminological knowledge bases, AIIA Notizie Anno V, N.2, 1992
COLLECTIONS
- Parretti C., Pourabbas E., Rolli F., Pecoraro F.: Robust Privacy Assessment in Transnational Healthcare, IOP Conference Series: Materials Science and Engineering, Volume 1174, The 14th International Conference on Axiomatic Design (ICAD 2021) 23rd-25th June 2021, Lisbon, Portugal, 2021
- Mauro Mazzei: A Machine Learning Platform for NLP in Big Data, in the Proceedings of Intelligent Systems and Applications, 1251, 2020
- Mauro Mazzei: A Machine Learning Platform in Healthcare with Actor Model Approach, in the Proceedings of Advances in Intelligent Systems and Computing, 1229, 2020
- Ida Mele, Muntean C I, Nardini F M, Perego R, Tonellotto N, Frieder O: Topic Propagation in Conversational Search, ACM-SIGIR Conference, 2020
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F, Rossi Mori Angelo: Extending Contsys Standard with Social Care Concepts: A Methodology Proposed by the UNINFO Working Group in Italy, 2020 European Federation for Medical Informatics (EFMI), Studies in Health Technology and Informatics, Digital Personalized Health and Medicine, 270, 2020
- Bahrainian S A, Zarrinkalam F, Ida Mele, Crestani F: Predicting the Topic of your Next Query for Just-in-Time IR, 2019
- De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search., in the Proceedings of Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, ICAART, 2019
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Querying Distributed GIS with GeoPQLJ based on GeoJSON, in the Proceedings of Proceedings of the 5th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2019, Heraklion, Crete, Greece, May 3-5, 2019, 2019
- Ida Mele, Crestani F: A Multi-Source Collection of Event-Labeled News Documents, International Conference on Theory of Information Retrieval, 2019
- Parretti C., Pourabbas E., Rolli F., Pecoraro F., Citti P., Giorgretti A.: Robust design of web services supporting the home administration of drug infusion in pediatric oncology, in the Proceedings of MATEC Web of Conferences 301, 00013 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Liu A., Foley J. T. eds., 2019
- Rolli F., Pecoraro F., Luzi D., Ricci F. L., Pourabbas E., Parretti C.: Clinical risk evaluation of medical device software: an axiomatic design-based methodology, in the Proceedings of MATEC Web of Conferences 301, 00005 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Foley J. T., Liu A., Puik E.C.N. eds., 2019
- Bahrainian S A, Ida Mele, Crestani F: Predicting Topics in Scholarly Papers, European Conference on Information Retrieval, 2018
- Giachanou A, Ida Mele, Crestani F: Emotional Reactions Prediction of News Posts, Italian Information Retrieval Workshop, 2018
- Giachanou A, Rosso P, Ida Mele, Crestani F: Early Commenting Features for Emotional Reactions Prediction, International Symposium on String Processing and Information Retrieval, 2018
- Giachanou A, Rosso P, Ida Mele, Crestani F: Emotional Influence Prediction of News Posts, International AAAI Conference on Web and Social Media, 2018
- Parretti C., Rolli F, Pourabbas E., Citti P.: Axiomatic Selection of Health and Social Care Web Services on the Basis of Use Cases, in the Proceedings of 12th International Conference on Axiomatic Design (ICAD 2018), MATEC Web of Conferences, 223, 01013, 2018
- Aliannejadi M, Ida Mele, Crestani F: A Cross-Platform Collection for Contextual Suggestion, ACM-SIGIR Conference, 2017
- Aliannejadi M, Ida Mele, Crestani F: Personalized ranking for context-aware venue suggestion, ACM Symposium on Applied Computing (SAC), 2017
- Bahrainian S A, Ida Mele, Crestani F: Modeling Discrete Dynamic Topics, ACM Symposium on Applied Computing (SAC), 2017
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: A Bayesian Approach for Semantic Search based on DAG-Shaped Ontologies, Lecture Notes in Computer Science vol. 10439, 28th International Conference on Database and Expert Systems - DEXA 2017, pp. 126–140, 2017
- Giachanou A, Gonzalo J, Ida Mele, Crestani F: Sentiment Propagation for Predicting Reputation Polarity, European Conference on Information Retrieval, 2017
- Giachanou A, Ida Mele, Crestani F: A Collection for Detecting Triggers of Sentiment Spikes, ACM-SIGIR Conference, 2017
- Giachanou A, Ida Mele, Crestani F: USI Participation at SMERP 2017 Text Retrieval Task, 1st International Workshop on Exploitation of Social Media for Emergency Relief and Preparedness, SMERP@ECIR 2017, 2017
- Giachanou A, Ida Mele, Crestani F: USI Participation at SMERP 2017 Text Summarization Task, 1st International Workshop on Exploitation of Social Media for Emergency Relief and Preparedness, SMERP@ECIR 2017, 2017
- Hui K, Berberich K, Ida Mele: Dealing with Incomplete Judgments in Cascade Measures, International Conference on Theory of Information Retrieval, 2017
- Ida Mele, Bahrainian S A, Crestani F: Linking news across multiple streams for timeliness analysis, ACM International Conference on Information and Knowledge Management, 2017
- Ida Mele, Crestani F: Event Detection for Heterogeneous News Streams, International Conference on Applications of Natural Language to Information Systems, 2017
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A methodology to Identify Health and Social Care Web Services on the basis of Case Stories, IEEE International Conference on e-Health and Bioengineering, Sinaia-Romania, 10.1109/EHB.2017.7995400, 2017
- Pourabbas E., D'Uffizi A, Mauro Mazzei, Ricci F: SICS: A Social Network based Information System for the Inclusive Community, IEEE 4th Annual Conference on Computational Science and Computational Intelligence-CSCI 2017, pp. 846-851, 2017
- Pourabbas E., D'Uffizi A, Ricci F: A Conceptual Approach for Modelling Social Care Services: the INSPIRE project, Schneider Reinhard, Da Silveira Marcos, Pruski Cédric eds., Lecture Notes in Computer Science, 10649 LNBI, Springer, 53-66, 2017
- Alawad N, Anagnostopoulos A, Leonardi S, Ida Mele, Silvestri F: Network-Aware Recommendations of Novel Tweets, ACM-SIGIR Conference, 2016
- Aliannejadi M, Ida Mele, Crestani F: User Model Enrichment for Venue Recommendation, 2016
- Aliannejadi M, Ida Mele, Crestani F: Venue Appropriateness Prediction for Contextual Suggestion, Proceedings of The Twenty-Fifth Text REtrieval Conference (TREC), 2016
- Biega J, Gummadi K, Ida Mele, Milchevski D, Tryfonopoulos C, Weikum G: R-Susceptibility: An IR-Centric Approach to Assessing Privacy Risks for Users in Online Communities, ACM-SIGIR Conference, 2016
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Bayesian Approach for Weighted Ontologies and Semantic Search, Filipe Joaquim, Fred Ana, Dietz Jan, Aveiro David, Liu Kecheng, Bernardino Jorge eds., 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-KEOD 2016, p. 171-178, ISBN: 978-989-758-203-5, 2016
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A Conceptual Model for Integrating Social and Health Care Services At Home: The H@H Project, IEEE 18th International Conference on E-health Networking, Applications & Services (Healthcom'16), p. 375-380, 14-17 September 2016, Munich-Germany, 2016
- Anagnostopoulos A, Becchetti L, Fazzone A, Ida Mele, Riondato M: The Importance of Being Expert: Efficient Max-Finding in Crowdsourcing, SIGMOD International Conference on Management of Data, 2015
- Anand A, Ida Mele, Bedathur S, Berberich K: Phrase Query Optimization on Inverted Indexes, ACM International Conference on Information and Knowledge Management, 2014
- Biega J, Ida Mele, Weikum G: Probabilistic Prediction of Privacy Risks in User Search Histories, 1st International Workshop on Privacy and Security of Big Data, PSBD@CIKM2014, 2014
- Mauro Mazzei, Palma A.L.: Comparative Analysis of Models of Location and Spatial Interaction, in the Proceedings of Computational Science and Its Applications ICCSA 2014, Lecture Notes in Computer Science, 8582, 2014
- Maurizio Proietti, Smith F.: Reasoning on Data-Aware Business Processes with Constraint Logic, in the Proceedings of Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), CEUR-WS, 1293, 2014
- Smith F., Maurizio Proietti: Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework, in: Agents and Artificial Intelligence, Communications in Computer and Information Science, 449, Springer, 293-313, 2014
- Smith F., Storti E., Francesco Taglino: Towards Semantic Collective Awareness Platforms for Business Innovation, in: Advanced Information Systems Engineering Workshops, Lecture Notes in Artificial Intelligence, 178, Springer, 226-237, 2014
- Smith F., Francesco Taglino: Semantics-based Social Media for Collaborative Open Innovation, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
- Francesco Taglino, Smith F.: Triggering Creativity through Semantic Cross-domain Web Crawling and Routing, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Linked Data Based Approach to Similarity Reasoning, Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, 2013
- Ludovici V, Smith F., Francesco Taglino: Collaborative Ontology Building in Virtual Innovation Factories, in the Proceedings of 2013 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2013
- Ida Mele: Web usage mining for enhancing search-result delivery and helping users to find interesting web content, ACM International Conference on Web Search and Data Mining, 2013
- Smith F., De Sanctis D., Maurizio Proietti: A Platform for Managing Business Process Knowledge Bases via Logic Programming, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 247-251, 2013
- Smith F., Maurizio Proietti: Rule-Based Behavioural Reasoning on Semantic Business Processes, in the Proceedings of 5th International Conference on Agents and Artificial Intelligence, ICAART, pp. 130-143, 2013
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, in the Proceedings of Proc. of Int. Cross-Domain Conf. and Workshop on Availability, Reliability, and Security, CD-ARES 2012,, Quirchmayr G. ed., Lecture Notes in Computer Science, 7465, 2012
- Ida Mele, Bonchi F, Gionis A: The early-adopter graph and its application to web-page recommendation, ACM International Conference on Information and Knowledge Management, 2012
- Pourabbas E., Shoshani A., Wu K.: Minimizing Index Size by Reordering Rows and Columns, Bowers Shawn, Ailamaki Anastasi eds., 24th Internaional Conference on Scientific and Statistical Database Management-SSDBM 2012, Lecture Notes in Computer Science 7338, 2012
- Pourabbas E., Francesco Taglino: A Semantic Platform for Enterprise Knowledge Interoperability, Poler Raul, Doumeingts Guy, Katzy Bernhard, Chalmeta Ricardo eds., Proceedings of the I-ESA Conferences 6, I-ESA 2012, Enterprise Interoperability V, Shaping Enterprise Interoperability in the Future Internet, 5, 2012
- Smith F., Bianchini D.: Semi-Automatic Process Composition via Semantics- Enabled Sub-Process Selection and Ranking, in: Proceedings of the 6th International Conference on Interoperability for Enterprise Systems and Applications, Enterprise Interoperability, Volume 5, Springer, 177-187, 2012
- Smith F., Michele Missikoff, Maurizio Proietti: Ontology-Based Querying of Composite Services, in: Business System Management and Engineering, Lecture Notes in Computer Science, 7350, Springer Berlin, 159-180, 2012
- Francesco Taglino, Smith F., Maurizio Proietti: Knowledge-Based Support to Business Innovation, in: New Generation Enterprise and Business Innovation Systems 2012 (NGEBIS 2012), CEUR-WS, 864, 37-44, 2012
- Francesco Taglino, Smith F., Maurizio Proietti: A Software Platform for Semantics-based Enterprise Knowledge Management, in: Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, Complexity of Interoperability, CEUR-WS, 915, 43-50, 2012
- Amodeo G., Amati G., Gambosi G.: On relevance, time and query expansion, in the Proceedings of 20th, ACM International Conference on Information and Knowledge Management, 2011
- Amodeo G., Brefeld U, Blanco R.: Hybrid models for future event prediction, in the Proceedings of 20th, ACM International Conference on Information and Knowledge Management, 2011
- Anagnostopoulos A, Becchetti L, Leonardi S, Ida Mele, Sankowski P: Stochastic query covering, ACM International Conference on Web Search and Data Mining, 2011
- Del Grosso E., Smith F., Suttner H, Francesco Taglino: Innovative EI Services, in: The COIN Book: Enterprise Collaboration and Interoperability, Verlag-Mainz, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying Semantically Enriched Business Processes, in: 22nd International Conference on Database and Expert Systems Applications (DEXA 2011), Lecture Notes in Computer Science, 6861, Springer Berlin Heidelberg, 294-302, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 19th Italian Symposium on Advanced Database Systems, SEBD 2011, Maratea, Italy, 2011
- Amati G., Amodeo G., Capozio V., Carlo Gaibisso, Gambosi G.: On performance of Topical Opinion Retrieval, in the Proceedings of 33rd international ACM SIGIR conference on Research and development in information retrieval, ACM-SIGIR Conference, 2010
- Amati G., Amodeo G., Capozio V., Carlo Gaibisso, Gambosi G.: A study on the evaluation of opinion retrieval systems, in the Proceedings of First Italian Information Retrieval Workshop, Italian Information Retrieval Workshop, 1st, 2010
- Amati G., Amodeo G., Capozio V., Gambosi G., Carlo Gaibisso: Assessing the quality of opinion retrieval systems, in the Proceedings of The First International Workshop on Opinion Mining for Business Intelligence, IEEE Computer Society Press, 2010
- Barbagallo A., De Nicola A., Michele Missikoff: eGovernment Ontologies: Social Participation in Building and Evolution, in the Proceedings of Forty-Third Annual Hawaii International Conference on System Sciences, IEEE Computer Society Press, 2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for Business Process Knowledge Base Management, in the Proceedings of 18th Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, 2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: An Open Platform for Business Process Modeling and Verification, in the Proceedings of International Conference on Database and Expert Systems Applications, DEXA, September 2010, Lecture Notes in Computer Science, 6261, 2010
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic Search for Enterprises Competencies Management, in the Proceedings of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 2010
- Gmati I., Michele Missikoff, Nurcan S.: A Systematic Method for the Intentional Modelling and Verification of Business Applications, itAIS Conference on Information Technology and Innovation Trends, 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: A Business Process Knowledge Base for Composite Services Development, in the Proceedings of International Workshop on Business System Management and Engineering, BSME, Malaga, 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: Reasoning on Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 3rd Interop-Vlab.It Workshop, CEUR-WS, 653, 2010
- Michele Missikoff, Smith F., Francesco Taglino: Semantic Services for Business Documents Reconciliation, in: Interoperability in Digital Public Services and Administration: Bridging E-Government and E-Business, Charalabidis Y. ed., 279-299, 2010
- Angelucci D., Barbagallo A., Di Mascio T., Michele Missikoff, Francesco Taglino: A platform for Social Ontology Building and Evolution (SOBE), in the Proceedings of 2nd Interop Vlab.It Workshop, De Nicola A. ed., 2009
- Banzato A., D'Atri A., D'Atri E., De Nicola A., Di Mascio T., Imbriglio M., Michele Missikoff, Francesco Taglino, Tarantino L., Za S.: EagleVox: piattaforma semantica per la partecipazione sociale alla ricostruzione dell'Aquila, in the Proceedings of Second Interop Vlab.It Workshop, De Nicola A. ed., 2009
- Barbagallo A., De Nicola A., Michele Missikoff: Social Validation in the Ontology Evolution Process, in the Proceedings of itAIS 2009, 6th Conference of the Italian Chapter of AIS, 2009
- Bianchini D., De Antonellis V., De Nicola A., Michele Missikoff: Towards a Service-Oriented e-Learning Framework Based on Semantics, in the Proceedings of 8th European Conference on e-Learning, Remenyi D. ed., 2009
- Carrez C., Del Grosso E., Karacan O., Francesco Taglino: Towards Cross-organisational Innovative Business Process Interoperability Services, in the Proceedings of 2nd IFIP WG5.8 International Workshop on Enterprise Interoperability (IWEI09), van Sinderen M., Poler R., Sanchis R. eds., 2009
- Chimienti M., Dassisti M., De Nicola A., Michele Missikoff: Evaluation of ontology building methodologies: a method based on balanced scorecards, in the Proceedings of 1st International Conference on Knowledge Engineering and Ontology Development (KEOD), Dietz J.L.G. ed., 2009
- De Nicola A., Michele Missikoff: A Semantics-based Approach to Support eParticipation of Citizens, in the Proceedings of eChallenges e-2009 Conference, Cunningham M., Cunningham P. eds., 2009
- Del Grosso E., Michele Missikoff, Smith F., Francesco Taglino: Semantic Services for Business Documents Reconciliation, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- Del Grosso E., Michele Missikoff, Smith F., Francesco Taglino: Semantic Services for Business Documents Reconciliation, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Adding Concept Weights to Ontologies for Semantic Search, in the Proceedings of 17th Italian Symposium on Advanced Database Systems (SEBD 09), Guerrini G., Catania B., De Antonellis V., Castano S. eds., 2009
- Michele Missikoff, Smith F., Francesco Taglino: Towards Automatic Support to Mapping discovery in eBusiness resources Exchange, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- Smith F., Michele Missikoff, Francesco Taglino: Towards Automatic Support to Mapping discovery in eBusiness resources Exchange, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- Amati G., Amodeo G., Bianchi M., Carlo Gaibisso, Gambosi G.: FUB, IASI-CNR and University of Tor Vergata at TREC 2008 Blog Track, in the Proceedings of The Seventeenth Text REtrieval Conference (TREC 2008) Proceedings, Voorhees E. M., Buckland L. P. eds., NIST Special Publication, SP 500-277, 2008
- Ambrosi E., Amati G., Bianchi M., Carlo Gaibisso, Gambosi G.: Automatic construction of an opinion-term vocabulary for ad hoc retrieval, in the Proceedings of 30th European Conference on IR Research (ECIR 2008), Lecture Notes in Computer Science, 4956, 2008
- D'Atri A., De Nicola A., Missikoff O.: A Business Ontology for Supporting Cross Border Cooperation Between European Chambers of Commerce, in the Proceedings of European and Mediterranean Conference on Information Systems 2008 (EMCIS2008), 2008
- De Nicola A., Lezoche M., Di Mascio T., Francesco Taglino: Semantic Lifting of Business Process Models, in the Proceedings of 12th Enterprise Distributed Object Computing Conference Workshops, 2008, 2008
- De Nicola A., Michele Missikoff, Tininini L.: Ad-Hoc Maintenance Program Composition: an Ontological Approach, in: Interdisciplinary Aspects of Information Systems Studies, Casalino N., D'Atri A., De Marco M. eds., Business and Economics, Physica-Verlag HD, 319-326, 2008
- De Nicola A., Michele Missikoff, Tininini L.: Process Composition in Logistics: an Ontological Approach, in: Enterprise Interoperability III, Xu X., Mertins K., Ruggaber R., Popplewell K. eds., Engineering, Springer London, 571-581, 2008
- Amati G., Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G.: FUB, IASI-CNR and University of Tor Vergata at TREC, in the Proceedings of The Sixteenth Text REtrieval Conference (TREC 2007) Proceedings, Voorhees E. M., Buckland L. P. eds., NIST Special Publication, SP 500-274, 2007
- D'Ulizia A., Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Structural similarity in geographical queries to improve query answering, ACM Symposium on Applied Computing (SAC), 2007
- De Nicola A., Kabilan V., Michele Missikoff, Mojtahed V.: Practical Issues in Ontology Modeling: The Case of Defence Conceptual Modeling Framework-Ontology, in: Enterprise Interoperability, Morel G., Doumeingts G., Muller J., Vallespir B. eds., Engineering, Springer London, 265-274, 2007
- Sindoni G., Tininini L.: Statistical Dissemination Systems and the Web, in: Handbook of Research on Public Information Technology, Khosrow-Pour M., Garson G.D. eds., Information Science Reference, 578-591, 2007
- Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G.: JASMINA: An observing behaviours experiment of java threads migration mechanisms over JXTA, in the Proceedings of Proceedings of the IEEE 2006 International Conference on Hybrid Information Technology (ICHIT 06), 9-11 November, 2006, Cheju Island, Korea., 2006
- De Francisci S., Sindoni G., Tininini L.: Multidimensional Statistical Data Dissemination on the Web, in the Proceedings of Joint UNECE/Eurostat/OECD Seminar on the Management of Statistical Information Systems (MSIS), 2006
- Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Query Approximation by Semantic Similarity in GeoPQL, in the Proceedings of OTM Workshops (2), Lecture Notes in Computer Science, 4278, 2006
- Pourabbas E., Shoshani A.: The Composite OLAP-Object Data Model: Removing an Unnecessary Barrier, in the Proceedings of SSDBM 2006, 18th International Conference on Scientific and Statistical Database Management, 2006
- Sindoni G., Tininini L.: Statistical Warehousing on the Web: navigating troubled waters, in the Proceedings of International Conference on Internet and Web Applications and Services (ICIW '06), 2006
- Sindoni G., Tininini L.: Statistical Warehousing on the Web: navigating troubled waters, in the Proceedings of Fourteenth Italian Symposium on Advanced Database Systems (SEBD 2006), 241-248, 2006
- Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G.: A description logic based grid inferential monitoring and discovery framework, in the Proceedings of Proceedings of the 2005 International Conference on Grid Computing and Applications (GCA'05), June 13-15, 2005, Las Vegas, Nevada, USA., 2005
- Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: Transparent Java threads migration protocol over P2P, in the Proceedings of Proceedings of Third International Symposium on Parallel and Distributed Processing and Applications (ISPA'05), 2-5 November, 2005, Nanjing, China., Dongarra J., Pan Y., Chen D., Guo M., Cao J. eds., Lecture Notes in Computer Science, 3578, 2005
- Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: Extending the UDDI API for service instance ranking, in the Proceedings of Proceedings of the International Symposium on Web Services (ISWS'05), June 27-30, 2005, Las Vegas, Nevada, USA., 2005
- Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: A system for predicting the run-time behavior of Web services, in the Proceedings of Proceedings of the 2nd IEEE International Conference on Services Systems and Services Management (ICSSSM'05), June 13-15, 2005, Chongqing University , China., 2005
- De Nicola A., Michele Missikoff, Misceo F.: A Core Business Ontology for eProcurement: a First Proposal, in the Proceedings of itAIS 2005, 2nd Conference of the Italian Chapter of AIS, 2005
- Malvestuto F.M., Pourabbas E.: Local Computation of Answers to Table Queries on Summary Databases, in the Proceedings of 17th International Conference on Scientific and Statistical Database Management-SSDBM, June 27-29, Santa Barbara, USA, 263-270, 2005
- Pourabbas E.: Hierarchies in Multidimensional Databases, in: Encyclopedia of Information Science and Technology, III, 1327-1332, 2005
- Pourabbas E.: Cooperation of Geographic and Multidimensional Databases, in: Encyclopedia of Information Science and Technology, I, 596-602, 2005
- Avenali A., Batini C., Paola Bertolazzi, Missier P.: A Formulation of the Data Quality Optimization Problem in Cooperative Information Systems, in the Proceedings of CAiSE Workshops (2), Grundspenkis J., Kirikova M. eds., 49-63, 2004
- Bianchi M., Carlo Gaibisso, Gambosi G.: Enhancing Dynamic Selection of Web Services Access Point, in the Proceedings of Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems, November 9-11, 2004, Cambridge, MA, USA, Gonzalez T. ed., 2004
- De Nicola A., Paola Bertolazzi, Michele Missikoff: Una Core Enterprise Ontology per l'organizzazione ed i sistemi di e-Business, in the Proceedings of 5{\textordmasculine} Workshop dei Docenti e Ricercatori di Organizzazione Aziendale, Roma 5-6 Febbraio, 2004, 2004
- Malvestuto F.M., Pourabbas E.: Customized Answers to Summary Queries via Aggregate Views, in the Proceedings of 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June, Santorini Island, Greece, IEEE Computer Society, 193-202, 2004
- Renzetti M., Sindoni G., Tininini L., Urbano A.: The Italian judicial statistical information system, in the Proceedings of 16th Symposium of the International Association for Statistical Computation (Compstat 2004), 2004
- Sindoni G., Tininini L.: A Statistical Web Warehouse System, in the Proceedings of European Conference on Quality and Methodology in Official Statistics (Q2004), Magonza, 2004
- Sindoni G., Tininini L.: Web-enabled statistical Data Warehouses, in the Proceedings of the Workshop Symposium on Knowledge-Based Services for the Public Sector, Bonn, 2004
- Pourabbas E.: Chapter 13: Cooperation with Geographical Databases, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., 393-432, 2003
- Pourabbas E., Rafanelli M.: Chapter 4. Hierarchies, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 91-115, 2003
- Pourabbas E., Shoshani A.: Answering Joint Queries from Multiple Aggregate OLAP Databases, Lecture Notes in Computer Science, 2737, 24-34, 2003
- Ferri F., Pourabbas E., Rafanelli M.: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of Proceedings of the 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 10-14 March, 2002, Madrid, Spain, ACM, 432-437, 2002
- Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in: 8th International Conference on Extending Database Technology (EDBT 2001), Lecture Notes in Computer Science, 2287, Springer-Verlag, 307-316, 2002
- Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in the Proceedings of Tenth Italian Symposium on Advanced Database Systems (SEBD 2002), 2002
- Paola Bertolazzi, Krusich C., Michele Missikoff: An Approach to the Definition of a Core Enterprise Ontology: CEO, in the Proceedings of OES-SEO'01 International Workshop, 2001
- Paola Bertolazzi, Scannapieco M.: Introducing Data Quality in a Cooperative Context, in the Proceedings of Sixth International Conference on Information Quality, Mit Press Boston, MA, USA, 431-444, 2001
- Ferri F., Pourabbas E., Rafanelli M.: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 2001
- Sindoni G., De Francisci S., Paolucci M., Tininini L.: Experiences in Developing a Spatio-temporal Information System, in the Proceedings of the International Conference on New Techniques and Technologies for Statistics, Exchange of Technology and Know-how (ETK-NTTS 2001), 2001
- Sindoni G., Tininini L., Ambrosetti A., Bedeschi C.: SIT-IN: a Real-Life Spatio-temporal Information System, in the Proceedings of the 27-th International Conference on Very Large Data Bases (VLDB 2001), 2001
- Paola Bertolazzi, Fugini M.G., Pernici B.: Information System Design based on Reuse of Conceptual Components, in: Information Modelling in the Next Millenium, Rossi M. ed., IDEA group, 2000
- Paolucci M., Sindoni G., De Francisci S., Tininini L.: SIT-IN on Heterogeneous Data with Java, HTTP and Relations, in the Proceedings of the International Workshop on Java and Databases: Persistence Options (in NetObject.Days 2000), 2000
- Pourabbas E., Rafanelli M.: A Voice Driven System to support Disables People for using Computers, in the Proceedings of 15th IFIP World Computer Congress, Vienna, Austria and Budapest, Hungary, Edwards A.D.N., others eds., 455-464, 1998
BOOKS
- Missikoff M, Anna Formica, Pourabbas E., Francesco Taglino: Enriching semantic search with preference and quality scores, Encyclopedia with Semantic Computing and Robotic Intelligence, 01(01), DOI: 10.1142/S0000000016500023, World Scientific, 2017
- Pourabbas E. ed.: Geographical Information Systems: Trends and Technologies, CRC Press Inc/ Taylor & Francis Group: http://www.crcpress.com/product/isbn/9781466596931 ISBN 9781466596931, 2014
- Pourabbas E.: Semantic Similarity based on Weighted Ontology, Geographical Information Systems: Trends and Technologies, Elaheh Pourabbas (ed.), CRC Press Inc/ Taylor & Francis Group, ISBN 9781466596931, 2014
- Bhullar G., Neil M., Michele Missikoff, Smith F. eds.: Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, CEUR-WS, 1006, 2013
- Michele Missikoff, Smith F.: Proceedings of the First Workshop on New Generation Enterprise and Business Innovation Systems (NGEBIS-2012), CEUR-WS, 864, 2012
- Amati G., Amodeo G., Bianchi M., Carlo Gaibisso, Gambosi G.: A uniform theoretic approach to opinion and information retrieval, Studies in Computational Intelligence, Intelligent Information Access, Springer, 2010
- Giovanni Abramo, Mancuso P.: Esercizi di Microeconomia e Analisi degli Investimenti, Economia, III edizione, Texmat Via di Tor Vergata 93, 00133 Roma, 2008
SELECTED REPORTS
- Smith F., Maurizio Proietti: Rule-Based Behavioral Reasoning on Semantic Business Processes, IASI-CNR, R. 12-21, 2012
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 12-12, 2012
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for collaborative competency management in networked enterprises, IASI-CNR, R. 11-15, 12/2011
- Anna Formica, Pourabbas E., Rafanelli M.: Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 11-04, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying semantically annotated business processes, IASI-CNR, R. 10-22, 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: Linking Ontologies to Business Process Schemas, IASI-CNR, R. 10-20, 2010
- Anna Formica: Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis, IASI-CNR, R. 10-16, 12/2010
- Vetrini L.: Egovernment in Europa: verso una cultura della valutazione dei risultati, IASI-CNR, R. 10-14, 2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-09, 2009
- Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: A framework for the smart dynamic selection of web service access points, IASI-CNR, R. 608, 2/2004
JOURNALS
- De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Parametric Similarity Method: Comparative Experiments based on Semantically Annotated Large Datasets, Journal of Web Semantics 76, 2023
- Anna Formica, Francesco Taglino: Semantic Relatedness in DBpedia: A Comparative and Experimental Assessment, Information Sciences 621, 474-505, 2023
- Anna Formica, Francesco Taglino: Semantic Similarity in a Taxonomy by Evaluating the Relatedness of Concept Senses with the Linked Data Semantic Distance, Transactions on Large-scale Data and Knowledge-Centered Systems LIII, LNCS 13840, 2023
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Revealing the scientific comparative advantage of nations: Common and distinctive features, Journal of Informetrics 16(1), 2022
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Ida Mele: Impact of Covid-19 on research output by gender across countries, Scientometrics, 2022
- Anna Formica: Concept Similarity in Formal Concept Analysis, Journal of Mathematical and Computational Science 12, 2022
- Giovanni Abramo, Aksnes D.W., Ciriaco Andrea D'Angelo: Gender differences in research performance within and between countries: Italy vs Norway, Journal of Informetrics 15(2), 2021
- Giovanni Abramo, Apponi F., Ciriaco Andrea D'Angelo: Public-private research collaborations: longitudinal field-level analysis of determinants, frequency and impact, Journal of Economic Surveys 35(5), 1405-1427, 2021
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Drivers of academic engagement in public-private research collaboration: an empirical study, Journal of Technology Transfer, 2021
- Giovanni Abramo, Ciriaco Andrea D'Angelo: The different responses of Italian universities to introduction of performance-based research funding, Research Evaluation 30(4), 514-528, 2021
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A bibliometric methodology to unveil territorial inequities in the scientific wealth to combat COVID-19, Scientometrics 126(8), 6601-6624, 2021
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: The scholarly impact of private sector research a multivariate analysis, Journal of Informetrics 15(3), 2021
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: On the relation between the degree of internationalization of cited and citing publications: A field level analysis, including and excluding self-citations, Journal of Informetrics 15(1), 2021
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Grilli L.: The effects of citation-based research evaluation schemes on self-citation behaviour, Journal of Informetrics 15(4), 2021
- Giovanni Abramo, Oxley L.: Scientometric-based analysis in business and economics: Introduction, examples, and guidelines, Journal of Economic Surveys 35(5), 1261-1270, 2021
- Anna Formica: Concept Similarity in Formal Concept Analysis with many-valued contexts, Computing and Informatics 40(V), 1001-1020, 2021
- Anna Formica, Francesco Taglino: An Enriched Information-Theoretic Definition of Semantic Similarity in a Taxonomy, IEEE Access 9, 100583-100593, 2021
- Pecoraro F, Luzi D, Pourabbas E., Ricci L. F.: A system of concepts to support the integration of Health and social care and assistive domotics services: the Health@Home project, Informatics for Health and Social Care DOI: 10.1080/17538157.2021.1895167, Taylor & Francis Group, 2021
- Pourabbas E., Parretti C., Rolli F., Pecoraro F.: Entropy-based Assessment of Nonfunctional Requirements in Axiomatic Design, IEEE Access, DOI: 10.1109/ACCESS.2021.3128686, https://ieeexplore.ieee.org/abstract/document/9617456, 2021
- Giovanni Abramo: Women join Italy’s all male coronavirus task force, Nature 582, 184-184, 2020
- Giovanni Abramo, Aksnes D.W., Ciriaco Andrea D'Angelo: Comparison of research productivity of Italian and Norwegian professors and universities, Journal of Informetrics 14(2), 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Were the Italian policy reforms to contrast favoritism and foster effectiveness in faculty recruitment successful?, Science & Public Policy 47(5), 604-615, 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo: The domestic localization of knowledge flows as evidenced by publication citation: The case of Italy, Scientometrics 125(2), 1305-1329, 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A novel methodology to assess the scientific standing of nations at field level, Journal of Informetrics 14(1), 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Knowledge spillovers: does the geographic proximity effect decay over time? A discipline-level analysis, accounting for cognitive proximity, with and without self-citations., Journal of Informetrics 14(4), 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Does the geographic proximity effect on knowledge spillovers vary across research fields?, Scientometrics 123(2), 1021-1036, 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: The role of geographic proximity in knowledge diffusion, measured by citations to scientific literature, Journal of Informetrics 14(1), 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Giovanni Felici: Informed peer review for publication assessments: Are improved impact accuracy measures worth the hassle?, Quantitative Science Studies 1(3), 1321-1333, 2020
- Anna Formica, Barbagallo A.: Integrating semantic search in e-learning technologies: the ELSE system, Information Technologies and Learning Tools 78, 237-248, 2020
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate query answering based on topological neighborhood and semantic similarity in OpenStreetMap, IEEE Access, DOI:10.1109/ACCESS.2020.2992202, https://ieeeaccess.ieee.org/, 2020
- Anna Formica, Pourabbas E., Francesco Taglino: Semantic Search Enhanced with Rating Scores, Future Internet, 12 (4), DOI: https://doi.org/10.3390/fi12040067, https://www.mdpi.com/1999-5903/12/4/67, 2020
- Mauro Mazzei: AN APPROACH ADOPTED FOR SMART DATA GENERATION AND VISUALIZATION PROBLEMS, Interactive Learning Environments, 2020
- Pourabbas E.: Providing accurate answers to OLAP queries based on standardized moments of data cubes, Information Systems 94, 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A nation’s foreign and domestic professors: which have better research performance? (The Italian case), Higher Education, 2019
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Carloni M.: The balance of knowledge flows, Journal of Informetrics, 2019
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: The collaboration behavior of top scientists, Scientometrics, 2019
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Authorship analysis of specialized vs diversified research output, Journal of Informetrics, 2019
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Diversification versus specialization in scientific research: which strategy pays off?, Technovation, 2019
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: A gender analysis of top scientists’ collaboration behavior: evidence from Italy, Scientometrics, 2019
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: When research assessment exercises leave room for opportunistic behavior by the subjects under evaluation., Journal of Informetrics, 2019
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Reale E.: Peer review vs bibliometrics: which method better predicts the scholarly impact of publications?, Scientometrics, 2019
- Anna Formica: Similarity reasoning in formal concept analysis: from one- to many-valued contexts, Knowledge and Information Systems 60(2), 715-739, 2019
- Giuffrida C., Giovanni Abramo, Ciriaco Andrea D'Angelo: Are all citations worth the same? Valuing citations by the value of the citing items, Journal of Informetrics, 2019
- Giovanni Abramo: Revisiting the scientometric conceptualization of impact and its measurement., Journal of Informetrics, 2018
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Who benefits from a country’s scientific research?, Journal of Informetrics, 2018
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: The effect of multidisciplinary collaborations on research diversification, Scientometrics, 2018
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: The effects of gender, age and academic rank on research diversification., Scientometrics, 2018
- Giovanni Abramo, D'Angelo C.A., Zhang Lin: A comparison of two approaches for measuring interdisciplinary research output: the disciplinary diversity of authors vs the disciplinary diversity of the reference list., Journal of Informetrics 12, 1182-1193, 2018
- Anna Formica: Integrating Fuzzy Formal Concept Analysis and Rough Set Theory for the Semantic Web, Bulletin of Computational Applied Mathematics (CompAMa) 6(2), 65-84, 2018
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate Answering of Queries Involving Polyline-Polyline Topological Relationships, Information Visualization 17(2), 128-145, 2018
- Giovanni Abramo: Bibliometric evaluation of research performance: where do we stand?, Educational Studies Moscow 1, 112-127, 2017
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Does your surname affect the citability of your publications?, Journal of Informetrics 11, 121-127, 2017
- Giovanni Abramo, D'Angelo C.A.: On tit for tat: Franceschini and Maisano versus ANVUR regarding the Italian research assessment exercise VQR 2011-2014., Journal of Informetrics 11(3), 783-787, 2017
- Giovanni Abramo, D'Angelo C.A.: Response to comments on: “Does your surname affect the citability of your publications?, Journal of Informetrics 11(3), 855-858, 2017
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Do interdisciplinary research teams deliver higher gains to science?, Scientometrics 111, 317-336, 2017
- Giovanni Abramo, D'Angelo C.A., Murgia G.: The relationship among research performance, research collaboration, and their determinants, Journal of Informetrics, 1016-1030, 2017
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Soldatenkova A.: How long do top scientists maintain their stardom? An analysis by region, gender and discipline: evidence from Italy, Scientometrics 110, 867-877, 2017
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Soldatenkova A.: An investigation on the skewness patterns and fractal nature of research productivity distributions at field and discipline level, Journal of Informetrics 11, 324-335, 2017
- Barbagallo A., Anna Formica: ELSE: an ontology-based system integrating semantic search and e-learning technologies, Interactive Learning Environments 25(5), 650-666, 2017
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Enriching the semantics of the Directed Polyline-Polygon Topological Relationships: the DLP-Intersection Matrix, International Journal of Geographical Systems 19(2), 175-196, 2017
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A farewell to the MNCS and like size-independent indicators: Rejoinder, Journal of Informetrics 10, 679-683, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A farewell to the MNCS and like size-independent indicators, Journal of Informetrics 10, 646-651, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A comparison of university performance scores and ranks by MNCS and FSS, Journal of Informetrics 10, 889-901, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Refrain from adopting the combination of citation and journal metrics to grade publications, as used in the Italian national research assessment exercise (VQR 2011–2014), Scientometrics 109, 2053-2065, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: The effect of a country’s name in the title of a publication on its visibility and citability, Scientometrics 109, 1895-1909, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Grilli L.: From rankings to funnel plots: The question of accounting for uncertainty when assessing university research performance, Journal of Informetrics 10, 854-862, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Murgia G.: The combined effects of age and seniority on research performance of full professors, Science & Public Policy 43, 301-319, 2016
- Giovanni Abramo, D'Angelo C.A., Rosati F.: A methodology to measure the effectiveness of academic recruitment and turnover, Journal of Informetrics 10(1), 31-42, 2016
- Giovanni Abramo, D'Angelo C.A., Rosati F.: Gender bias in academic recruitment, Scientometrics 106(1), 119-141, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: The north–south divide in the Italian higher education system, Scientometrics 109, 2093-2117, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Soldatenkova A.: The ratio of top scientists to the academic staff as an indicator of the competitive strength of universities, Journal of Informetrics 10, 596-605, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Soldatenkova A.: The dispersion of the citation distribution of top scientists’ publications, Scientometrics 109, 1711-1724, 2016
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: Should the research performance of scientists be distinguished by gender?, Journal of Informetrics 9, 25-38, 2015
- Giovanni Abramo, D'Angelo C.A.: Ranking research institutions by the number of highly- cited articles per scientist, Journal of Informetrics 9(4), 915-923, 2015
- Giovanni Abramo, D'Angelo C.A.: The relationship between the number of authors of a publication, its citations and the impact factor of the publishing journal: Evidence from Italy, Journal of Informetrics 9(4), 746-761, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Accounting for gender research performance differences in ranking universities, Current Science 109, 1783-1789, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Evaluating university research: Same performance indicator, different rankings, Journal of Informetrics 9, 514-525, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo: A methodology to compute the territorial productivity of scientists: The case of Italy, Journal of Informetrics 9, 675-685, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo: The VQR, Italy's second national research assessment: Methodological failures and ranking distortions, Journal of the Association for Information Science and Technology 66, 2202-2214, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo: An assessment of the first “scientific habilitation” for university appointments in Italy, Economia Politica-Journal of Analytical and Institutional Economics 32, 329-357, 2015
- Giovanni Abramo, D'Angelo C.A., Di Costa F.: A new approach to measure the scientific strengths of territories, Journal of the Association for Information Science and Technology 66(6), 1167-1177, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Grilli L.: Funnel plots for visualizing uncertainty in the research performance of institutions, Journal of Informetrics 9, 954-961, 2015
- Giovanni Abramo, D'Angelo C.A., Murgia G.: The combined effects of age and seniority on research performance of full professors, Science & Public Policy 0, 0-0, 2015
- Giovanni Abramo, D'Angelo C.A., Rosati F.: The determinants of academic career advancement: evidence from Italy, Science & Public Policy 42(6), 761-774, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: Selection committees for academic recruitment: Does gender matter?, Research Evaluation 24, 392-404, 2015
- Pourabbas E., Shoshani A.: The Composite Data Model: A Unified Approach for Combining and Querying Multiple Data Models, IEEE Transactions on Knowledge and Data Engineering DOI: 10.1109/TKDE.2014.2365815, 1424-1437, 2015
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: Are the authors of highly-cited articles also the most productive ones?, Journal of Informetrics 8, 88-97, 2014
- Giovanni Abramo, Costa C., Ciriaco Andrea D'Angelo: A multivariate stochastic model to assess research performance, Scientometrics 102(2), 1755-1772, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo: How do you define and measure research productivity?, Scientometrics 101, 1129-1144, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Assessing national strengths and weaknesses in research fields. Journal of Informetrics, Journal of Informetrics 8(3), 766-775, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Variability of research performance across disciplines within universities in non-competitive higher education systems., Scientometrics 98, 777-795, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Inefficiency in selecting products for submission to national research assessment exercises. Scientometrics, 98(3), 2069-2086, Scientometrics 98, 2069-2086, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: A new bibliometric approach to assess the scientific specialization of regions, Research Evaluation 23(2), 183-194, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Murgia G.: Variation in research collaboration patterns across academic ranks., Scientometrics 98, 2275-2294, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: Career advancement and scientific performance in universities., Scientometrics 98, 891-907, 2014
- Mauro Mazzei, Ferri F., Grifoni P., Caschera M.C., D'Ulizia A.: MIS: Multimodal Interaction Services in a cloud perspective, Journal of Next Generation Information Technology, 2014
- Smith F., Bianchini D.: Selection, Ranking and Composition of Semantically Enriched Business Processes, Computers in Industry 65(9), 1253-1263, 2014
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: The impact of non-productive and top scientists on overall university research performance, Journal of Informetrics 7, 166-175, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Murgia G.: Gender differences in research collaboration, Journal of Informetrics 7, 811-822, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: Measuring institutional research productivity for the life sciences: the importance of accounting for the order of authors in the byline., Scientometrics 97, 779-795, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: Assessing the accuracy of the h- and g-indexes for measuring researchers' productivity., Journal of the American Society for Information Science and Technology. 64, 1224-1234, 2013
- Ciriaco Andrea D'Angelo, Viel F., Giovanni Abramo: The suitability of h and g indexes for measuring the research performance of institutions., Scientometrics 97, 555-570, 2013
- Diamantini C., Potena D., Maurizio Proietti, Smith F., Storti E., Francesco Taglino: A Semantic Framework for Knowledge Management in Virtual Innovation Factories, International Journal of Information System Modeling and Design Vol 4(4), 70-92, 2013
- Anna Formica: Similarity Reasoning for the Semantic Web based on Fuzzy Concept Lattices: an informal approach, Information Systems Frontiers 15 (3), 511-520, 2013
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: Supporting Customer Choice with Semantic Similarity Search and Explanation, Lecture Notes in Business Information Processing 148, 317-328, 2013
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for matching user requests with profiled enterprises, Computers in Industry 64 (3), 191-202, 2013
- Anna Formica, Pourabbas E., Rafanelli M.: Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages, Computer Science and Information Systems 10 (3), 1053-1075, 2013
- Graefe G., Nica A., Stolze K., Neumann T., Eavis T., Petrov I., Pourabbas E., Fekete D.: Elasticity in Cloud Databases and Their Query Processing, International Journal of Data Warehousing and Mining 9(2), 1-20, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Ferretti M, Parmentola A: An individual-level assessment of the relationship between spin-off activities and research performance in universities., R&D Management 42(3), 225-242, 2012
- Anna Formica: Semantic Web search based on Rough Sets and Fuzzy Formal Concept Analysis, Knowledge-Based Systems 26, 40-47, 2012
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: The dangers of performance-based research funding in non-competitive higher education systems, Scientometrics 87(3), 641-654, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo: National-scale research performance assessment at the individual level, Scientometrics 86(2), 347-364, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Evaluating research: from informed peer review to bibliometrics, Scientometrics 87(3), 499-514, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: A national-scale cross-time analysis of university research performance, Scientometrics 87(2), 399-413, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: University-industry research collaboration: a model to assess university capability, Higher Education 62(2), 163-181, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: National research assessment exercises: the effects of changing the rules of the game during the game, Scientometrics 88, 229-238, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Research productivity: are higher academic ranks more productive than lower ones?, Scientometrics 88, 915-928, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F., Solazzi M.: The role of asymmetric information in the market of university-industry research collaboration, The Journal of Technology Transfer, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Solazzi M.: The relationship between scientists' research performance and the degree of internationalization of their research, Scientometrics 86(3), 629-643, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: The field-standardized average impact of national research systems compared to world average: the case of Italy, Scientometrics 88, 599-615, 2011
- De Nicola A., Michele Missikoff, Smith F.: Towards a Method for Business Process and Informal Business Rules Compliance, Journal of Software Maintenance and Evolution: Research and Practice, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F: Citations vs journal impact factor as proxy of quality: could the latter ever be preferable?, Scientometrics 84(3), 821-833, 2010
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Testing the trade-off between productivity and quality in research activities, Journal of the American Society for Information Science and Technology. 61(2), 2010
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Solazzi M.: Assessing public-private research collaboration: is it possible to compare university performance?, Scientometrics, 2010
- Anna Formica: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, International Journal of Uncertainty Fuzziness and Knowledge-Based Systems 18(2), 153-167, 2010
- Pourabbas E., Shoshani A.: Improving Estimation Accuracy of Aggregate Queries on Data Cubes, Data & Knowledge Engineering 69, 50-72, 2010
- Giovanni Abramo, Caprasecca A., Ciriaco Andrea D'Angelo: The contribution of star scientists to overall sex differences in research productivity, Scientometrics, 2009
- Giovanni Abramo, Caprasecca A., Ciriaco Andrea D'Angelo: Allocative efficiency in public research funding: can bibliometrics help?, Research Policy 38(1), 2009
- Giovanni Abramo, Caprasecca A., Ciriaco Andrea D'Angelo: Gender Differences in Research Productivity: a Bibliometric Analysis of the Italian Academic System, Scientometrics 79(3), 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Assessing the Technical and Cost Efficiency of Research Activities: A Case Study of the Italian University System, Research Evaluation 18(1),, 61-70, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo: The Alignment of Public Research Supply and Industry Demand for Effective Technology Transfer: the Case of Italy, Science & Public Policy 36(1, 2-14, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F: Mapping excellence in national research systems: the case of Italy, Evaluation Review 33(2), 159-188, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Research collaboration and productivity: is there correlation?, Higher Education 57(2),, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F., Solazzi M.: University-industry collaboration in Italy a bibliometric examination, Technovation 29(6-7), 2009
- D'Ulizia A., Ferri F., Anna Formica, Grifoni P.: Approximating Geographical Queries, Journal of Computer Science and Technology 24(6), 2009
- De Nicola A., Michele Missikoff, Navigli R.: A Software Engineering Approach to Ontology Building, Information Systems 34, Issue 2, 258-275, 2009
- Anna Formica: Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach, Communications of the Acm 52(3), 145-149, 2009
- Anna Formica, Pourabbas E.: Content Based Similarity of Geographic Classes organized as Partition Hierarchies, Knowledge and Information Systems 20(2), 221-241, 2009
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Assessment of sectoral aggregation distortion in research productivity measurements, Research Evaluation 17(2), 2008
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Pugini F.: The Measurement of Italian Universities' Research Productivity by a Non Parametric-Bibliometric Methodology, Scientometrics 76(2), 2008
- Barkmeyer E., Ivezic N., Kulvatunyou B., Marjanovic Z., Miletic I., Michele Missikoff, Francesco Taglino, Vujasinovic M.: Semantic-Mediation for Standards-based B2B Interoperability, IEEE Internet Computing IC-2008-05-0103.R2, 2008
- Barkmeyer E., Ivezic N., Kulvatunyou B., Marjanovic Z., Miletic I., Michele Missikoff, Francesco Taglino, Vujasinovic M.: A Semantic-Mediation Architecture for Interoperable Supply-chain Applications, International Journal of Computer Integrated Manufacturing TCIM-2008-IJCIM-0021.R3, 2008
- Anna Formica: Similarity of XML-Schema Elements: a Structural and Information Content Approach, Computer Journal 51 (2), 240-254, 2008
- Anna Formica: Concept Similarity in Formal Concept Analysis: an Information Content Approach, Knowledge-Based Systems 21 (1), 80-87, 2008
- Anna Formica: Ontology-based concept similarity in Formal Concept Analysis, Information Sciences 176 (18), 2624-2641, 2006
- Anna Formica: Similarity of XML-Schema Elements supported by Domain Ontologies, International Journal of Software Engineering and Knowledge Engineering 15 (1), 117-130, 2005
- Anna Formica: Legality of XML-Schema Type Hierarchies, Computer Journal 47 (5), 591-601, 2004
- Anna Formica, Michele Missikoff: Inheritance Processing and Conflicts in Structural Generalization Hierarchies, ACM Computing Surveys 36 (3), 1-28, 2004
- Anna Formica: Satisfiability of Object-Oriented Database Constraints with Set and Bag Attributes, Information Systems 28 (3), 213-224, 2003
- Michele Missikoff, Velardi P., Fabriani P.: Text Mining Techniques to Automatically Enrich a Domain Ontology, Applied Artificial Intelligence 18, 323-340, 2003
- Anna Formica: Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas, IEEE Transactions on Knowledge and Data Engineering 14 (1), 123-139, 2002
- Anna Formica, Frank H.: Consistency of the Static and Dynamic Components of Object-Oriented Specifications, Data & Knowledge Engineering 40 (2), 195-215, 2002
- Anna Formica, Michele Missikoff: Concept Similarity in SymOntos: an Enterprise Ontology Management Tool, Computer Journal 45 (6), 583-594, 2002
- Michele Missikoff: Harmonise: an Ontology-based Approach for Semantic Interoperability, ERCIM News 51, 33-34, 2002
- Michele Missikoff, Navigli R., Velardi P.: An Integrated Approach for Web Ontology Learning and Engineering, IEEE Computer Group News 35 (11), 60-63, 2002
- Paola Bertolazzi, Di Serio P., Michele Missikoff: Techniche diagrammatiche nella rappresentazione della conoscenza d'impresa, AICA Rivista di Informatica 31, 2001
- Michele Missikoff: Knowledge Management, AIIA Notizie 13, 5-7, 2000
- Beeri C., Anna Formica, Michele Missikoff: Inheritance Hierarchy Design in Object-Oriented Databases, Data & Knowledge Engineering 30 (3), 191-216, 1999
- Anna Formica, Michele Missikoff: Integrity Constraints and Structural Modeling in Object-Oriented Databases: a Unified Approach, International Journal of Computers and Applications 21, 89-99, 1999
- Michele Missikoff: La convergenza delle tecnologie WWW e basi di dati, Rivista di Informatica (AICA) 29, 177-181, 1999
- Anna Formica, Groger H.D., Michele Missikoff: An Efficient Method For Checking Object-Oriented Database Schema Correctness, ACM Transactions on Database Systems 23, 333-369, 1998
- Michele Missikoff: An object-oriented approach to an information and decision support system for railway traffic control, Engineering Applications of Artificial Intelligence 11, 25-40, 1998
- Michele Missikoff, Pizzicannella R.: An Object-Oriented Database Model for Business Entities and Processes, ERCIM News, 28-29, 1998
- Anna Formica, Groger H.D., Michele Missikoff: Object-Oriented Database Schema Analysis and Inheritance Processing: a Graph-Theoretic Approach, Data & Knowledge Engineering 24, 157-181, 1997
- Anna Formica, Michele Missikoff: A Verification Algorithm for Inheritance Hierarchies in Object-Oriented Databases, Information Processing Letters 62, 269-279, 1997
- Michele Missikoff, Pizzicannella R.: A Deductive Approach to Object-Oriented Diagramming for Information System Analysis, Machine Graphics and Vision 6, 129-151, 1997
- Michele Missikoff, Pizzicannella R.: A Visual Approach to Object-Oriented Analysis based on Abstract Diagrams, ACM SIGCHI 8 (3), 56-64, 1996
- Costabile M.F., Michele Missikoff: ICONIT: an Environment for the Design and Prototyping of Iconic Interfaces, International Journal of Visual Languages and Computing 5, 151-174, 1994
- Michele Missikoff, Vazzana S.: An Object Oriented Approach to Structural Knowledge-Bases, International Journal of Control and Computers 21 (2), 52-60, 1993
- Cesarini F., Michele Missikoff, Soda G.: An Expert System Approach to Database Application Tuning, Data & Knowledge Engineering 8 (1), 35-55, 1992
- Anna Formica, Michele Missikoff: An Algorithm for Type Subsumption in Object-Oriented Databases, Journal of Management Systems and Machines 8 (1), 103-111, 1992
- Anna Formica, Michele Missikoff: A comparative study of Object-Oriented databases and terminological knowledge bases, AIIA Notizie Anno V, N.2, 1992
- Michele Missikoff, Vazzana S.: An Object Oriented Approach to Terminological Knowledge-Bases, International Journal of Control and Computers, 1992
- Michele Missikoff: Database Technology, Encyclopedia of Computer Science and Technology 24 (9), 51-84, 1991
- Sodaica A., Michele Missikoff: An Algorithm for Type Subsumption in Object-Oriented Databases, Journal of Management Systems and Machines 20 (1), 25-33, 1991
- Michele Missikoff: New Trends in the Conception and Use of Databases, Sistemi Urbani Quartely 2 (3), 263-278, 1987
- Michele Missikoff, Pagli L.: Optimal Allocation of Files in a Symmetric and Omogeneous Network, Information Systems 5 (2), 1980
COLLECTIONS
- Parretti C., Pourabbas E., Rolli F., Pecoraro F.: Robust Privacy Assessment in Transnational Healthcare, IOP Conference Series: Materials Science and Engineering, Volume 1174, The 14th International Conference on Axiomatic Design (ICAD 2021) 23rd-25th June 2021, Lisbon, Portugal, 2021
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F, Rossi Mori Angelo: Extending Contsys Standard with Social Care Concepts: A Methodology Proposed by the UNINFO Working Group in Italy, 2020 European Federation for Medical Informatics (EFMI), Studies in Health Technology and Informatics, Digital Personalized Health and Medicine, 270, 2020
- Giovanni Abramo, Ciriaco Andrea D'Angelo: The regional balance of knowledge flows, 17th International Society of Scientometrics and Informetrics Conference, 2019
- Ciriaco Andrea D'Angelo, Giovanni Abramo: The correlation between the level of internationalization of a country’s scientific production and that of relevant citing publications, 17th International Society of Scientometrics and Informetrics Conference, 2019
- De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search., in the Proceedings of Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, ICAART, 2019
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Querying Distributed GIS with GeoPQLJ based on GeoJSON, in the Proceedings of Proceedings of the 5th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2019, Heraklion, Crete, Greece, May 3-5, 2019, 2019
- Parretti C., Pourabbas E., Rolli F., Pecoraro F., Citti P., Giorgretti A.: Robust design of web services supporting the home administration of drug infusion in pediatric oncology, in the Proceedings of MATEC Web of Conferences 301, 00013 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Liu A., Foley J. T. eds., 2019
- Rolli F., Pecoraro F., Luzi D., Ricci F. L., Pourabbas E., Parretti C.: Clinical risk evaluation of medical device software: an axiomatic design-based methodology, in the Proceedings of MATEC Web of Conferences 301, 00005 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Foley J. T., Liu A., Puik E.C.N. eds., 2019
- D'Angelo C.A., Giovanni Abramo, Zhang Lin: Measuring diversity of research output: do the authors’ field classification and the reference list approaches converge?, The 23rd International Conference on Science and Technology Indicators, 2018
- Parretti C., Rolli F, Pourabbas E., Citti P.: Axiomatic Selection of Health and Social Care Web Services on the Basis of Use Cases, in the Proceedings of 12th International Conference on Axiomatic Design (ICAD 2018), MATEC Web of Conferences, 223, 01013, 2018
- Giovanni Abramo, D'Angelo C.A.: Gender differences in research diversification behavior, 16th International Society of Scientometrics and Informetrics Conference - (ISSI - 2017), 2017
- Cappelli E, Weitschek E.: Extending the Genomic Data Model and the Genometric Query Language with Domain Taxonomies, in the Proceedings of International Conference on Web Engineering, Lecture Notes in Computer Science, 10360, 2017
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: A Bayesian Approach for Semantic Search based on DAG-Shaped Ontologies, Lecture Notes in Computer Science vol. 10439, 28th International Conference on Database and Expert Systems - DEXA 2017, pp. 126–140, 2017
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A methodology to Identify Health and Social Care Web Services on the basis of Case Stories, IEEE International Conference on e-Health and Bioengineering, Sinaia-Romania, 10.1109/EHB.2017.7995400, 2017
- Pourabbas E., D'Uffizi A, Mauro Mazzei, Ricci F: SICS: A Social Network based Information System for the Inclusive Community, IEEE 4th Annual Conference on Computational Science and Computational Intelligence-CSCI 2017, pp. 846-851, 2017
- Pourabbas E., D'Uffizi A, Ricci F: A Conceptual Approach for Modelling Social Care Services: the INSPIRE project, Schneider Reinhard, Da Silveira Marcos, Pruski Cédric eds., Lecture Notes in Computer Science, 10649 LNBI, Springer, 53-66, 2017
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Bayesian Approach for Weighted Ontologies and Semantic Search, Filipe Joaquim, Fred Ana, Dietz Jan, Aveiro David, Liu Kecheng, Bernardino Jorge eds., 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-KEOD 2016, p. 171-178, ISBN: 978-989-758-203-5, 2016
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A Conceptual Model for Integrating Social and Health Care Services At Home: The H@H Project, IEEE 18th International Conference on E-health Networking, Applications & Services (Healthcom'16), p. 375-380, 14-17 September 2016, Munich-Germany, 2016
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Publication rates in 192 research fields of the hard sciences, 2015
- Maurizio Proietti, Smith F.: Reasoning on Data-Aware Business Processes with Constraint Logic, in the Proceedings of Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), CEUR-WS, 1293, 2014
- Smith F., Maurizio Proietti: Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework, in: Agents and Artificial Intelligence, Communications in Computer and Information Science, 449, Springer, 293-313, 2014
- Smith F., Storti E., Francesco Taglino: Towards Semantic Collective Awareness Platforms for Business Innovation, in: Advanced Information Systems Engineering Workshops, Lecture Notes in Artificial Intelligence, 178, Springer, 226-237, 2014
- Francesco Taglino, Smith F.: Triggering Creativity through Semantic Cross-domain Web Crawling and Routing, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Rethinking research evaluation indicators and methods from an economic perspective: the FSS indicator as a proxy of productivity, in the Proceedings of ISSI 14th International Society of Scientometrics and Informetrics Conference, Vienna, 15 July, 2013, Gorraiz J. ed., ISSI 14th International Society of Scientometrics and Informetrics Conference, 2013
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Linked Data Based Approach to Similarity Reasoning, Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, 2013
- Ludovici V, Smith F., Francesco Taglino: Collaborative Ontology Building in Virtual Innovation Factories, in the Proceedings of 2013 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2013
- Smith F., De Sanctis D., Maurizio Proietti: A Platform for Managing Business Process Knowledge Bases via Logic Programming, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 247-251, 2013
- Smith F., Maurizio Proietti: Rule-Based Behavioural Reasoning on Semantic Business Processes, in the Proceedings of 5th International Conference on Agents and Artificial Intelligence, ICAART, pp. 130-143, 2013
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, in the Proceedings of Proc. of Int. Cross-Domain Conf. and Workshop on Availability, Reliability, and Security, CD-ARES 2012,, Quirchmayr G. ed., Lecture Notes in Computer Science, 7465, 2012
- Pourabbas E., Shoshani A., Wu K.: Minimizing Index Size by Reordering Rows and Columns, Bowers Shawn, Ailamaki Anastasi eds., 24th Internaional Conference on Scientific and Statistical Database Management-SSDBM 2012, Lecture Notes in Computer Science 7338, 2012
- Pourabbas E., Francesco Taglino: A Semantic Platform for Enterprise Knowledge Interoperability, Poler Raul, Doumeingts Guy, Katzy Bernhard, Chalmeta Ricardo eds., Proceedings of the I-ESA Conferences 6, I-ESA 2012, Enterprise Interoperability V, Shaping Enterprise Interoperability in the Future Internet, 5, 2012
- Smith F., Bianchini D.: Semi-Automatic Process Composition via Semantics- Enabled Sub-Process Selection and Ranking, in: Proceedings of the 6th International Conference on Interoperability for Enterprise Systems and Applications, Enterprise Interoperability, Volume 5, Springer, 177-187, 2012
- Smith F., Michele Missikoff, Maurizio Proietti: Ontology-Based Querying of Composite Services, in: Business System Management and Engineering, Lecture Notes in Computer Science, 7350, Springer Berlin, 159-180, 2012
- Francesco Taglino, Smith F., Maurizio Proietti: Knowledge-Based Support to Business Innovation, in: New Generation Enterprise and Business Innovation Systems 2012 (NGEBIS 2012), CEUR-WS, 864, 37-44, 2012
- Francesco Taglino, Smith F., Maurizio Proietti: A Software Platform for Semantics-based Enterprise Knowledge Management, in: Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, Complexity of Interoperability, CEUR-WS, 915, 43-50, 2012
- Del Grosso E., Smith F., Suttner H, Francesco Taglino: Innovative EI Services, in: The COIN Book: Enterprise Collaboration and Interoperability, Verlag-Mainz, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying Semantically Enriched Business Processes, in: 22nd International Conference on Database and Expert Systems Applications (DEXA 2011), Lecture Notes in Computer Science, 6861, Springer Berlin Heidelberg, 294-302, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 19th Italian Symposium on Advanced Database Systems, SEBD 2011, Maratea, Italy, 2011
- Barbagallo A., De Nicola A., Michele Missikoff: eGovernment Ontologies: Social Participation in Building and Evolution, in the Proceedings of Forty-Third Annual Hawaii International Conference on System Sciences, IEEE Computer Society Press, 2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for Business Process Knowledge Base Management, in the Proceedings of 18th Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, 2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: An Open Platform for Business Process Modeling and Verification, in the Proceedings of International Conference on Database and Expert Systems Applications, DEXA, September 2010, Lecture Notes in Computer Science, 6261, 2010
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic Search for Enterprises Competencies Management, in the Proceedings of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: A Business Process Knowledge Base for Composite Services Development, in the Proceedings of International Workshop on Business System Management and Engineering, BSME, Malaga, 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: Reasoning on Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 3rd Interop-Vlab.It Workshop, CEUR-WS, 653, 2010
- Angelucci D., Barbagallo A., Di Mascio T., Michele Missikoff, Francesco Taglino: A platform for Social Ontology Building and Evolution (SOBE), in the Proceedings of 2nd Interop Vlab.It Workshop, De Nicola A. ed., 2009
- Banzato A., D'Atri A., D'Atri E., De Nicola A., Di Mascio T., Imbriglio M., Michele Missikoff, Francesco Taglino, Tarantino L., Za S.: EagleVox: piattaforma semantica per la partecipazione sociale alla ricostruzione dell'Aquila, in the Proceedings of Second Interop Vlab.It Workshop, De Nicola A. ed., 2009
- Barbagallo A., De Nicola A., Michele Missikoff: Social Validation in the Ontology Evolution Process, in the Proceedings of itAIS 2009, 6th Conference of the Italian Chapter of AIS, 2009
- Bianchini D., De Antonellis V., De Nicola A., Michele Missikoff: Towards a Service-Oriented e-Learning Framework Based on Semantics, in the Proceedings of 8th European Conference on e-Learning, Remenyi D. ed., 2009
- Carrez C., Del Grosso E., Karacan O., Francesco Taglino: Towards Cross-organisational Innovative Business Process Interoperability Services, in the Proceedings of 2nd IFIP WG5.8 International Workshop on Enterprise Interoperability (IWEI09), van Sinderen M., Poler R., Sanchis R. eds., 2009
- Chimienti M., Dassisti M., De Nicola A., Michele Missikoff: Evaluation of ontology building methodologies: a method based on balanced scorecards, in the Proceedings of 1st International Conference on Knowledge Engineering and Ontology Development (KEOD), Dietz J.L.G. ed., 2009
- De Nicola A., Michele Missikoff: A Semantics-based Approach to Support eParticipation of Citizens, in the Proceedings of eChallenges e-2009 Conference, Cunningham M., Cunningham P. eds., 2009
- Del Grosso E., Michele Missikoff, Smith F., Francesco Taglino: Semantic Services for Business Documents Reconciliation, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- Del Grosso E., Michele Missikoff, Smith F., Francesco Taglino: Semantic Services for Business Documents Reconciliation, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- Giovanni Felici, Caramia M.: Data Mining in Web Search Engine, Wang J. ed., Encyclopedia of Data Warehousing and Mining, II Edition., Idea Group Inc. Hershey PA 17033, 2009
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Adding Concept Weights to Ontologies for Semantic Search, in the Proceedings of 17th Italian Symposium on Advanced Database Systems (SEBD 09), Guerrini G., Catania B., De Antonellis V., Castano S. eds., 2009
- Michele Missikoff, Smith F., Francesco Taglino: Towards Automatic Support to Mapping discovery in eBusiness resources Exchange, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- Smith F., Michele Missikoff, Francesco Taglino: Towards Automatic Support to Mapping discovery in eBusiness resources Exchange, in the Proceedings of Workshop Interoperability through Semantic Data and Service Integration (ISDSI 09), 2009
- D'Atri A., De Nicola A., Missikoff O.: A Business Ontology for Supporting Cross Border Cooperation Between European Chambers of Commerce, in the Proceedings of European and Mediterranean Conference on Information Systems 2008 (EMCIS2008), 2008
- De Nicola A., Lezoche M., Di Mascio T., Francesco Taglino: Semantic Lifting of Business Process Models, in the Proceedings of 12th Enterprise Distributed Object Computing Conference Workshops, 2008, 2008
- De Nicola A., Michele Missikoff, Tininini L.: Ad-Hoc Maintenance Program Composition: an Ontological Approach, in: Interdisciplinary Aspects of Information Systems Studies, Casalino N., D'Atri A., De Marco M. eds., Business and Economics, Physica-Verlag HD, 319-326, 2008
- De Nicola A., Michele Missikoff, Tininini L.: Process Composition in Logistics: an Ontological Approach, in: Enterprise Interoperability III, Xu X., Mertins K., Ruggaber R., Popplewell K. eds., Engineering, Springer London, 571-581, 2008
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Weighted Ontology for Semantic Search, Lecture Notes in Computer Science, 5332, Springer Berlin / Heidelberg, 1289-1303, 2008
- Lezoche M., Michele Missikoff, Tininini L.: Business Process Evolution: a Rule-based Approach, in the Proceedings of the 9th Workshop on Business Process Modeling, Development, and Support (BPMDS'08), 2008
- De Nicola A., Kabilan V., Michele Missikoff, Mojtahed V.: Practical Issues in Ontology Modeling: The Case of Defence Conceptual Modeling Framework-Ontology, in: Enterprise Interoperability, Morel G., Doumeingts G., Muller J., Vallespir B. eds., Engineering, Springer London, 265-274, 2007
- De Nicola A., Lezoche M., Michele Missikoff: An Ontological Approach to Business Process Modeling , in the Proceedings of IICAI-07, 2007
- De Nicola A., Michele Missikoff, Francesco Taglino: A Semantic Cooperation Platform for the Interoperability of European Chambers of Commerce , in the Proceedings of eChallenges2007, Cunningham P., Cunningham M. eds., IOS Press, 2007
- Bagnato A., Coscia E., Michele Missikoff, Pondrelli L., Francesco Taglino: Semantic Reconciliation of Business Documents in a SOA Framework, in the Proceedings of eChallenges 2007, 2006
- Bianchini D., Castano S., D'Antonio F., De Antonellis V., Harzallah M., Michele Missikoff, Montanelli S.: Digital resource discovery: semantic annotation and matchmaking techniques, in the Proceedings of IESA06, 2006
- Bottoni P., D'Antonio F., Michele Missikoff: Towards a unified view of model mapping and transformation, in the Proceedings of EMOI06 within Caise06, 2006
- D'Antonio F., Michele Missikoff, Bottoni P., Hahn A., Hausmann K.: An ontology for describing model mapping/transformation tools and methodologies the MoMo ontology, in the Proceedings of EMOI06 within Caise06, 2006
- D'Antonio F., Michele Missikoff, Bottoni P., Hahn A., Hausmann K.: Towards a recommendation system for model mapping/transformations tasks, in the Proceedings of Pro-VE conference, 2006
- De Nicola A., Chimienti M., Dassisti M., Michele Missikoff: Benchmarking Criteria to Evaluate Ontology Building Methodologies, in the Proceedings of EMOI-INTEROP 2006, 2006
- Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Query Approximation by Semantic Similarity in GeoPQL, in the Proceedings of OTM Workshops (2), Lecture Notes in Computer Science, 4278, 2006
- De Nicola A., Michele Missikoff, Misceo F.: A Core Business Ontology for eProcurement: a First Proposal, in the Proceedings of itAIS 2005, 2nd Conference of the Italian Chapter of AIS, 2005
- De Nicola A., Michele Missikoff, Navigli R.: A proposal for a Unified Process for Ontology building: UPON, in the Proceedings of DEXA 05 - International Conference on Database and Expert Systems Applications - Copenaghen, Lecture Notes in Computer Science, 3588, 655-664, 2005
- De Nicola A., Navigli R., Michele Missikoff: Building an eProcurement Ontology with UPON methodology, in the Proceedings of E-CHALLENGE 2005., 2005
- Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Evaluating semantic similarity using GML in Geographic Information Systems, in the Proceedings of SebGIS'05, First Intern. Workshop on Semantic-based Geographical Information Systems, Agia Napa, Cyprus, 30 October - 4 November, Lecture Notes in Computer Science, 3762, 1009-1019, 2005
- Michele Missikoff, Schiappelli F.: A Method for Ontology Modeling in the Business Domain, in the Proceedings of Proc. of INTEROP Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI), in the 17th International Conference on Advanced Information Systems Engineering (CAiSE 2005), Porto, Portugal, June 13-14th, 209-222, 2005
- De Nicola A., Paola Bertolazzi, Michele Missikoff: Una Core Enterprise Ontology per l'organizzazione ed i sistemi di e-Business, in the Proceedings of 5{\textordmasculine} Workshop dei Docenti e Ricercatori di Organizzazione Aziendale, Roma 5-6 Febbraio, 2004, 2004
- De Nicola A., Michele Missikoff, Schiappelli F.: Il ruolo delle ontologie nella costruzione e fruizione di corsi e-Learning, in the Proceedings of Web Learning per la qualità del capitale umano, Ferrara 12 maggio 2004, Camana A., Lariccia S. eds., 2004
- De Nicola A., Michele Missikoff, Schiappelli F.: Towards an Ontological Support for e-Learning Courses, in the Proceedings of Workshop on Ontologies, Semantics and e-Learning, Larnaca, Cipro, Lecture Notes in Computer Science, 3292, 2004
- Michele Missikoff, Lenzerini M.: Ontologies for Interoperability: A Tutorial, in the Proceedings of Proceedings of the Internaational Workshop on Enterprise Modeling and Ontologies for Interoperability - EMOI'04, Riga. June 2004, Missikoff M. ed., 100-100, 2004
- Michele Missikoff, Navigli R., Velardi P.: Web Ontology Learning and Engineering: an Integrated Approach,, in: Intelligent Technologies for Information Analysis, Liu J., Zhong N. eds., 2004
- Michele Missikoff, Schiappelli F.: Enriching Ontology Languages Adequacy for eBusiness Domain, in the Proceedings of Proceedings of the Internaational Workshop on Enterprise Modeling and Ontologies for Interoperability - EMOI'04 Riga, June 2004, Missikoff M. ed., 343-348, 2004
- Michele Missikoff, Schiappelli F.: A Method for Ontology Modeling in the eCommerce Domain, in the Proceedings of Proceedings of SWEB - International Workshop on Semantic Web Technologies in eBusiness. Berlin, 11-13 Oct, Eckstein R., Tolksdorf R. eds., 149-163, 2004
- Michele Missikoff, Francesco Taglino: The Architecture of an Ontology-based Platform for Semantic interoperability, in: Handbook on Ontologies, Staab S., Studer R. eds., Handbooks in Information Systems, Springer, 617-634, 2004
- De Nicola A., Michele Missikoff, Schiappelli F.: Verso un supporto ontologico per la creazione di corsi eLearning, in the Proceedings of I Workshop progetto Web Learning per la qualità del capitale umano, Trento, Italy, Editore Università Elettronica, 52-64, 2003
- Kalinichenko L.A., Michele Missikoff, Schiappelli F.: Ontological Modeling, in the Proceedings of RCDL 2003, 5th Russian Conference on Digital Libraries, St. Petesburg, Russia, 52-64, 2003
- Michele Missikoff, Missikoff O.: Le PMI e la Net Economy: un quadro di riferimento organizzativo e tecnologico, in the Proceedings of IV Workshop di Organizzazione Aziendale, Florence, Italy, Editore Università Elettronica, 52-64, 2003
- Michele Missikoff, Schiappelli F.: Semantic Annotation for Enterprise Interoperability, in the Proceedings of IICAI'03, 1st Indian International Conference On Artificial Intelligence, Hyderabad, India, IEEE Computer Society, 80-86, 2003
- Michele Missikoff, Schiappelli F., Francesco Taglino: A Controlled Language for Semantic Annotation and Interoperability in e-Business Applications, in the Proceedings of ISWC'03, 2nd International Semantic Web Conference, Semantic Integration Workshop, Sanibel, Florida, Springer-Verlag Heidelberg, 80-86, 2003
- Michele Missikoff, Francesco Taglino: Symontox: A Web-Ontology Tool for eBusiness Domains , in the Proceedings of WISE'03, 4th International Conference on Web Information Systems Engineering, Roma, Italy, IEEE Computer Society, 343-346, 2003
- Michele Missikoff, Francesco Taglino: The Architecture of Harmonise: an Ontology-based Platform for Semantic Interoperability, in the Proceedings of SEBD'03, Eleventh Italian Symposium on Advanced Database Systems, Cetraro, Italy, Rubettino Editore, 335-346, 2003
- Michele Missikoff, Wertner H., Fodor O.: Harmonise - Towards Interoperability in the Tourism Domain, in the Proceedings of ENTER Conference on Information Technology and Travel \& Tourism, Helsinki, Finland, Springer Wien, New York, 58-66, 2003
- Pourabbas E.: Chapter 13: Cooperation with Geographical Databases, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., 393-432, 2003
- Pourabbas E., Rafanelli M.: Chapter 4. Hierarchies, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 91-115, 2003
- Michele Missikoff, Francesco Taglino: Business and Enterprise Ontology Management with SymOntoX, in the Proceedings of Proceedings of the International Semantic Web Conference (ISWC-2002), Sardinia, June 9-12, 1, Springer Verlag, 442-447, 2002
- Basili R., Michele Missikoff, Velardi P.: Extracting Concepts and Relations from Texts to Build a Domain Ontology, in the Proceedings of ACL-2001 workshop on Human Language Technology, 2001
- Paola Bertolazzi, Krusich C., Michele Missikoff: An Approach to the Definition of a Core Enterprise Ontology: CEO, in the Proceedings of OES-SEO'01 International Workshop, 2001
- Eder J., Michele Missikoff: Ontologies for Managing Knowledge About Forms for Government Processes, in the Proceedings of International Workshop on Knowledge Management in e-Government, 2001
- Fabriani P., Michele Missikoff, Velardi P.: Using Text Processing Techniques to Automatically enrich a Domain Ontology, in the Proceedings of FOIS-2001, ACM International Conference on Formal Ontology in Information Systems, 2001
- Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, in the Proceedings of XVI Brazilian Symposium on DataBases (SBBD'01), 2001
- Michele Missikoff: Ambient Intelligence: a few technologies and methodologies , in the Proceedings of FP6 Programme Consultation Meeting on Knowledge Technologies, 2001
- Michele Missikoff: Il Web Semantico come fattore di sviluppo della Net Society, in the Proceedings of Intelligenza Artificiale: Immaginario Applicazioni Prospettive, 2001
- Michele Missikoff: Il Web Semantico nei modelli produttivi, in the Proceedings of Verso un Web Semantico, 2001
- Michele Missikoff: La Gestione della Conoscenza d'Impresa: nuovi modelli, tecnologie, applicazioni, in the Proceedings of Seminario AICA, 2001
- Michele Missikoff, Francesco Taglino: SymOntos: a Symbolic Ontology Management System, in the Proceedings of 7$^o$ Congresso Associazione italiana per l'intelligenza artificiale, 2001
- Michele Missikoff, Wang X.F.: A group decision system for collaborative ontology building, in the Proceedings of Int'l Conference on Group Decision and Negotiation 2001, 2001
- Michele Missikoff: Management of Knowledge and Intangible Assets in the Context of Dynamic Business Environments: a Position Paper, in the Proceedings of Consultation Meeting of the DG Information Society, Bruxelles , 2000
- Michele Missikoff, Velardi P.: Mining Texts to Acquire a Tourism Knowledge Base for Semantic Interoperability, in the Proceedings of The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), 2000
- Anna Formica, Pizzicannella R.: On the Reification of Business Processes, in the Proceedings of First International Workshop on Enterprise Management and Resource Planning Systems: Methods, Tools and Architectures (EMRPS'99), Eder J., Maiden N., Missikoff M. eds., 319-328, 1999
- Assogna P., Michele Missikoff: Finite Capacity Scheduler: Knowledge Based Modelling Vs Algorythmic Solution, in the Proceedings of PROLAMAT'98, Trento, Jacucci E., others eds., 1998
- Guerrieri F., Michele Missikoff, Pizzicannella R., Totaro G.: ProForm: a Knowledge based tool for O-O Analysis and Design, in the Proceedings of EDBT'98 Conference, Demo Session, Valencia, Spain, Canos J.H. ed., 31-32, 1998
- Michele Missikoff, Pizzicannella R.: An Object-Oriented Approach to WorkFlow Modeling, in the Proceedings of EDBT Workshop on WorkFlow Management Systems, Valencia, Spain, Bukhres O., Eder J., Salza S. eds., 57-65, 1998
- Michele Missikoff, Pizzicannella R.: Ensuring information quality in a very large Web-based Information Network, in the Proceedings of IFIP WG 8.1 Working Conference on Information Systems in the WWW Environment, Beijing, CHINA, Rolland C., Fang M., Chen Y. eds., 1-22, 1998
- Damiani E., Anna Formica, Fugini M.G., Michele Missikoff, Pizzicannella R.: Reusing Analysis Schemas in ODB Applications: a Chart Based Approach, in the Proceedings of First European Symposium on Advances in Databases and Information Systems, St. Petersburg (Russia), 406-415, 1997
- Anna Formica, Michele Missikoff: A Formal Approach to the Design of Business Agents, in the Proceedings of 4th ModelAge Workshop on Formal Models of Agents, Cesta A., Schobbens P.Y. eds., 299-314, 1997
- Michele Missikoff: An Object-Oriented Approach to an Information and Decision Support System for Railway Traffic Control, in the Proceedings of Proceeding of KES Conference, Jain L.C. ed., IEEE Adelaide (Australia), 633-641, 1997
- Michele Missikoff: Un Approccio Object-Oriented alla integrazione di un sistema informativo e di supporto al Controllo del Traffico Ferroviario, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
- Anna Formica, Michele Missikoff, Terenzi R.: Constraint Satisfiability in Object-Oriented Databases, in the Proceedings of Second International East/West Database Workshop on Extending Information Systems Technology, Eder J., Kalinichenko L. eds., Springer, 48-60, 1995
- Anna Formica, Michele Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemas, in the Proceedings of Advances in Database Technology, Proc. of International Conference EDBT 94, Jarke M., Bubenko J., Jeffery K. eds., Lecture Notes in Computer Science, 779, Springer-Verlag, 231-244, 1994
- Michele Missikoff, Toiati M.: MOSAICO---A System for Conceptual Modeling and Rapid Prototyping of Object-Oriented Database Applications, in the Proceedings of International Conference ACM-SIGMOD, Snodgrass R.T., Winslett M. eds., ACM, 1994
- Michele Missikoff, Toiati M.: Safe Rapid Prototyping of Object-Oriented Database Applications, in the Proceedings of IEEE International Workshop on Rapid System Prototyping, Courtois B. ed., 168-176, 1994
- Michele Missikoff, Toiati M.: On Overview of MINT: an Intelligent System for Railway Traffic Control, in the Proceedings of 13th International Conference on Modelling, Identification and Control, Hamza M.H. ed., ACTA Press, 46-50, 1994
- Anna Formica, Lam H., Michele Missikoff, Toiati M.: MOSAICO: A System for Specification and Rapid Prototyping of Object-Oriented Database Applications, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 257-259, 1993
- Anna Formica, Michele Missikoff: Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 129-146, 1993
- Anna Formica, Michele Missikoff: Integrity Constraint Representation in Object-Oriented Databases, in: Information and Knowledge Management, Finin T.W., Nicholas C.K., Yesha Y. eds., Lecture Notes in Computer Science, 752, Springer-Verlag, 69-85, 1993
- Anna Formica, Michele Missikoff, Toiati M.: A Validation Tool for Object-Oriented Database Specifications, in the Proceedings of ERCIM Database Research Group Workshop, 93-95, 1993
- Lam H., Michele Missikoff: On Semantic Verification of Object-Oriented Database Schemas, in the Proceedings of International Workshop on New Generation Information Technology and Systems, Etzion O., Segev A. eds., 22-29, 1993
- Michele Missikoff, Toiati M.: MOSAICO: an Environment for the Specification and Rapid Prototyping of Object-Oriented Database Applications, in: {EDBT} Summer School on Object-Orientation in the Database World, Spaccapietra S. ed., Ecole Polytechnique Federale de Lausanne, 1-32, 1993
- Camurri F., Michele Missikoff, Sissa G.: Object-Oriented Constraint Representation for Railway Traffic Optimization, in the Proceedings of 3d Int'l Conference COMPRAIL '92, 1992
- Anna Formica, Michele Missikoff: Adding Integrity Constraints to Object-Oriented Databases, in the Proceedings of Int'l Conference on Information and Knowledge Management, 1992
- Anna Formica, Michele Missikoff: Materialization of Recursive Objects in an Object-Oriented Database, in the Proceedings of International Symposium on Applied Informatics, 266-270, 1991
- Anna Formica, Michele Missikoff, Vazzana S.: An Object-Oriented Data Model for Artificial Intelligence Applications, in: Next Generation Information System Technology, Schmidt J.W., Stogny A.A. eds., Lecture Notes in Computer Science, 504, Springer-Verlag, 1991
- Michele Missikoff: Merging the Data Management Capabilities of D.B.S. and the Deductive Capabilities of E.S., in the Proceedings of World Congress on Expert Systems, Orlando, 2913-2915, 1991
- Cinque L., Costabile M.F., Levialdi S., Michele Missikoff: Towards a Formal Specification Methodology for Iconic Interface Design: a Case Study, in the Proceedings of International Workshop on Visual Languages - VL'90, Chang ed., 1990
- Michele Missikoff, Vazzana S.: An Object Oriented Approach to Knowledge Representation, in the Proceedings of IASTED Symposium, Acta Press Calgary, 84-87, 1990
- Cesarini F., Michele Missikoff, Soda G.: X-TUNER: An Expert System for Tuning Applications in a Relational Database Environment, in the Proceedings of CIL 89 Conference, 347-365, 1989
- Michele Missikoff: On the Evolution of Relational Model towards Semantic Data Model, in the Proceedings of IASTED International Symposium on Applied Informatics, 1989
- Michele Missikoff, Scholl M.: An Algorithm for Insertion into a Lattice: Application to Type Classification, in: Foundation of Data Organization and Algorithms, Delobel C. ed., Lecture Notes in Computer Science, 367, Springer-Verlag Heidelberg, 64-82, 1989
- Cesarini F., Michele Missikoff, Soda G.: An Expert System Approach for Tuning Applications in a Relational Database Environment, in the Proceedings of IASTED Int'l Conference on Expert Systems: Theory and Application, 1988
- Michele Missikoff: MOKA: A User Friendly Front-End for Knowledge Acquisition, in the Proceedings of Minnowbrook Workshop on Database Machine and Artificial Intelligence, Berra B. ed., 1987
- Michele Missikoff, Salza S., Terranova M.: DBMAC: A Parallel Relational Database Machine, in: Database Machines, Modern Trends and Applications, Sood A.K., Qureshi A.H. eds., Springer-Verlag Berlin, 85-126, 1986
- Michele Missikoff, Wiederhold G.: Towards a Unified Approach for Expert and Database Systems, in: Expert Database Systems, Kerschberg L. ed., Benjamin Cummings, 383-400, 1986
- Michele Missikoff: Expert Systems Applications: A Methodological Approach for a Classification, in the Proceedings of AI Europa, 1985
- Paola Bertolazzi, Michele Missikoff, Terranova M.: CID: a VLSI Device for Lists Intersection, in: Database machines, Leilich H.O., Missikoff M. eds., Springer-Verlag, 188-204, 1983
- Michele Missikoff: Expert Systems Applications: A Methodological Approach for a Classification, in the Proceedings of Proc. of AI Europa Conference, 1983
- Michele Missikoff, Scholl M.: Relational Queries in a Domain Based Relational System, in the Proceedings of Proc. of ACM-SIGMOD Conference, 1983
- Michele Missikoff, Terranova M.: The Architecture of a Relational Database Computer Known as DBMAC, in: Advanced Database Machine Architectures, Hsiao D. ed., Prentice Hall, 87-108, 1983
- Michele Missikoff: A Domain Based Internal Schema for Relational Database Machines, in the Proceedings of Proc. of ACM-SIGMOD International Conference, 1982
- Michele Missikoff, Terranova M.: The architecture of DBMAC, a relational data base Computer, in the Proceedings of Proceedings of the 2nd International Workshop on Data Base Machines, 127-152, 1982
- Michele Missikoff: A Method for Data Pool Implementation for Parallel Associative Processing, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
- Michele Missikoff, Terranova M.: The logical Architecture of DBMAC, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
- Michele Missikoff, Terranova M.: DBMAC: a Project for a Relational Database Machine, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
- Michele Missikoff, Terranova M.: An Overview of the Project DBMAC for a Relational Data Base Machine, in the Proceedings of Proc. of 6th ACM Workshop on Comp. Architecture for Non Numeric Processing, 1981
BOOKS
- Missikoff M, Anna Formica, Pourabbas E., Francesco Taglino: Enriching semantic search with preference and quality scores, Encyclopedia with Semantic Computing and Robotic Intelligence, 01(01), DOI: 10.1142/S0000000016500023, World Scientific, 2017
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Research evaluation: improvisation or science?, Bibliometrics: Use and Abuse in the Review of Research Performance, PORTLAND PRESS LONDON W1N 3AJ ENGLAND (GBR), 2014
- Pourabbas E. ed.: Geographical Information Systems: Trends and Technologies, CRC Press Inc/ Taylor & Francis Group: http://www.crcpress.com/product/isbn/9781466596931 ISBN 9781466596931, 2014
- Pourabbas E.: Semantic Similarity based on Weighted Ontology, Geographical Information Systems: Trends and Technologies, Elaheh Pourabbas (ed.), CRC Press Inc/ Taylor & Francis Group, ISBN 9781466596931, 2014
- Bhullar G., Neil M., Michele Missikoff, Smith F. eds.: Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, CEUR-WS, 1006, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo: Evaluating Research: From Informed Peer Review to Bibliometrics. Robert Frodeman, J. Britt Holbrook, Carl Mitcham, and Hong Xiaonan (Eds), Peer Review, Research Integrity, and the Governance of Science - Practice, Theory, and Current Discussions, 2012
- Michele Missikoff, Smith F.: Proceedings of the First Workshop on New Generation Enterprise and Business Innovation Systems (NGEBIS-2012), CEUR-WS, 864, 2012
- Giovanni Abramo, Mancuso P.: Esercizi di Microeconomia e Analisi degli Investimenti, Economia, III edizione, Texmat Via di Tor Vergata 93, 00133 Roma, 2008
- Mauro Mazzei, Chiodi S., Pettinato G.: The black stone of Nassiriya, S. IX V. XXII F. 2, Bardi Editore, 2007
- Navigli R., Velardi P., Michele Missikoff eds.: Web Ontology Learning and Engineering: An Integrated Approach, Handbook of Intelligent IT, IOS Press, 2003
- Schmidt J., Ceri S., Michele Missikoff eds.: Advances in Database Technology, Lecture Notes in Computer Science, Springer-Verlag Heidelberg, 1988
- Leilich H.O., Michele Missikoff eds.: Database Machines, Springer-Verlag Heidelberg, 1983
SELECTED REPORTS
- Smith F., Maurizio Proietti: Rule-Based Behavioral Reasoning on Semantic Business Processes, IASI-CNR, R. 12-21, 2012
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 12-12, 2012
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for collaborative competency management in networked enterprises, IASI-CNR, R. 11-15, 12/2011
- Anna Formica, Pourabbas E., Rafanelli M.: Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 11-04, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying semantically annotated business processes, IASI-CNR, R. 10-22, 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: Linking Ontologies to Business Process Schemas, IASI-CNR, R. 10-20, 2010
- Anna Formica: Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis, IASI-CNR, R. 10-16, 12/2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-09, 2009
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-07, 2009
JOURNALS
- De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Parametric Similarity Method: Comparative Experiments based on Semantically Annotated Large Datasets, Journal of Web Semantics 76, 2023
- Anna Formica, Francesco Taglino: Semantic Relatedness in DBpedia: A Comparative and Experimental Assessment, Information Sciences 621, 474-505, 2023
- Anna Formica, Francesco Taglino: Semantic Similarity in a Taxonomy by Evaluating the Relatedness of Concept Senses with the Linked Data Semantic Distance, Transactions on Large-scale Data and Knowledge-Centered Systems LIII, LNCS 13840, 2023
- Anna Formica: Concept Similarity in Formal Concept Analysis, Journal of Mathematical and Computational Science 12, 2022
- Anna Formica: Concept Similarity in Formal Concept Analysis with many-valued contexts, Computing and Informatics 40(V), 1001-1020, 2021
- Anna Formica, Francesco Taglino: An Enriched Information-Theoretic Definition of Semantic Similarity in a Taxonomy, IEEE Access 9, 100583-100593, 2021
- Pecoraro F, Luzi D, Pourabbas E., Ricci L. F.: A system of concepts to support the integration of Health and social care and assistive domotics services: the Health@Home project, Informatics for Health and Social Care DOI: 10.1080/17538157.2021.1895167, Taylor & Francis Group, 2021
- Pourabbas E., Parretti C., Rolli F., Pecoraro F.: Entropy-based Assessment of Nonfunctional Requirements in Axiomatic Design, IEEE Access, DOI: 10.1109/ACCESS.2021.3128686, https://ieeexplore.ieee.org/abstract/document/9617456, 2021
- Conte F, Giulia Fiscon, Licursi V, Bizzarri D, D'Anto' T, Farina L., Paola Paci: A paradigm shift in medicine: A comprehensive review of network-based approaches, BBA - Gene Regulatory Mechanisms, 1863, 2020
- Anna Formica, Barbagallo A.: Integrating semantic search in e-learning technologies: the ELSE system, Information Technologies and Learning Tools 78, 237-248, 2020
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate query answering based on topological neighborhood and semantic similarity in OpenStreetMap, IEEE Access, DOI:10.1109/ACCESS.2020.2992202, https://ieeeaccess.ieee.org/, 2020
- Anna Formica, Pourabbas E., Francesco Taglino: Semantic Search Enhanced with Rating Scores, Future Internet, 12 (4), DOI: https://doi.org/10.3390/fi12040067, https://www.mdpi.com/1999-5903/12/4/67, 2020
- Mauro Mazzei: AN APPROACH ADOPTED FOR SMART DATA GENERATION AND VISUALIZATION PROBLEMS, Interactive Learning Environments, 2020
- Ida Mele, Tonellotto N, Frieder O, Perego R: Topical Result Caching in Web Search Engines, Information Processing & Management, https://www.sciencedirect.com/science/article/abs/pii/S0306457319307253, 2020
- Pourabbas E.: Providing accurate answers to OLAP queries based on standardized moments of data cubes, Information Systems 94, 2020
- Cinzia Volonté, Morello G, Spampinato AG, Amadio S, Apolloni S, D'Agata V, Cavallaro S: Omics-based exploration and functional validation of neurotrophic factors and histamine as therapeutic targets in AL, Ageing Research Review, 62:101121, doi: 10.1016/j.arr.2020.101121, 2020
- Anna Formica: Similarity reasoning in formal concept analysis: from one- to many-valued contexts, Knowledge and Information Systems 60(2), 715-739, 2019
- Licursi V, Conte F, Giulia Fiscon, Paola Paci: MIENTURNET: an interactive web tool for microRNA-target enrichment and network-based analysis, BMC Bioinformatics, 20, 2019
- Celli F, Cumbo F, Weitschek E.: Classification of Large DNA Methylation Datasets for Identifying Cancer Drivers, Big Data Research, https://www.sciencedirect.com/science/article/pii/S2214579617302708, 2018
- Anna Formica: Integrating Fuzzy Formal Concept Analysis and Rough Set Theory for the Semantic Web, Bulletin of Computational Applied Mathematics (CompAMa) 6(2), 65-84, 2018
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Approximate Answering of Queries Involving Polyline-Polyline Topological Relationships, Information Visualization 17(2), 128-145, 2018
- Barbagallo A., Anna Formica: ELSE: an ontology-based system integrating semantic search and e-learning technologies, Interactive Learning Environments 25(5), 650-666, 2017
- Cumbo F, Giulia Fiscon, Ceri S., Masseroli M, Weitschek E.: TCGA2BED: extracting, extending, integrating, and querying The Cancer Genome Atlas, BMC Bioinformatics, 2017
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Enriching the semantics of the Directed Polyline-Polygon Topological Relationships: the DLP-Intersection Matrix, International Journal of Geographical Systems 19(2), 175-196, 2017
- Cestarelli V, Giulia Fiscon, Giovanni Felici, Paola Bertolazzi, Weitschek E.: CAMUR: Knowledge extraction from RNA-seq cancer data through equivalent classification rules, Bioinformatics 32 (5), 697-704, 2016
- Krell J, Stebbing J, Carissimi C, Dabrowska A, de Giorgio A, Frampton A.E., Harding V, Fulci V, Macino G., Colombo T, Castellano L: TP53 regulates miRNA association with AGO2 to remodel the miRNA-mRNA interaction network, Genome Research, 2016
- Anagnostopoulos A, Becchetti L, Bordino I, Leonardi S, Ida Mele, Sankowski P: Stochastic Query Covering for Fast Approximate Document Retrieval, ACM Transactions on Information Systems, 2015
- Bevilacqua V, Gioia U, Di Carlo V, Tortorelli AF, Colombo T, Bozzoni I, Laneve P, Caffarelli E: Identification of linc-NeD125, a novel long non coding RNA that hosts miR-125b-1 and negatively controls proliferation of human neuroblastoma cells, RNA Biology, 2015
- Pourabbas E., Shoshani A.: The Composite Data Model: A Unified Approach for Combining and Querying Multiple Data Models, IEEE Transactions on Knowledge and Data Engineering DOI: 10.1109/TKDE.2014.2365815, 1424-1437, 2015
- Tavolaro S, Colombo T, Chiaretti S, Peragine N, Fulci V, Ricciardi MR, Messina M, Bonina S, Brugnoletti F, Marinelli M, Di Maio V, Mauro FR, Del Giudice I, Macino G, Foa' R ., Guarini A: Increased chronic lymphocytic leukemia proliferation upon IgM stimulation is sustained by the upregulation of miR-132 and miR-212, Genome, 2015
- Giovanni Abramo, Ciriaco Andrea D'Angelo: The spin-off of elite universities in non-competitive, undifferentiated higher education systems: an empirical simulation in Italy., Studies in Higher Education 39(7), 1270-1289, 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Investigating returns to scope of research fields in universities, Higher Education 68(1), 2014
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: Relatives in the same university faculty: nepotism or merit?, Scientometrics 101(1), 737-749, 2014
- Frampton A.E., Castellano L, Colombo T, Giovanetti E., Krell J, Jacob J, Pellegrino L, Roca-Alonso L, Funel N, Gall T.M., de Giorgio A, Pinho FG, Fulci V, Britton DJ, Ahmad R, Habib N.A., Coombes RC, Harding V, Knoesel T, Stebbing J, Jiao LR: MicroRNAs cooperatively inhibit a network of tumor suppressor genes to promote pancreatic tumor growth and progression, Genome, 2014
- Mauro Mazzei, Ferri F., Grifoni P., Caschera M.C., D'Ulizia A.: MIS: Multimodal Interaction Services in a cloud perspective, Journal of Next Generation Information Technology, 2014
- Paola Paci, Colombo T, Farina L.: Computational analysis identifies a sponge interaction network between long non-coding RNAs and messenger RNAs in human breast cancer., BMC Systems Biology, 2014
- Smith F., Bianchini D.: Selection, Ranking and Composition of Semantically Enriched Business Processes, Computers in Industry 65(9), 1253-1263, 2014
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: National peer-review research assessment exercises for the hard sciences can be a complete waste of money: the Italian case. Scientometrics, 95(1), 311-324, Scientometrics 95, 311-324, 2013
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: Individual research performance: a proposal for comparing apples to oranges., Journal of Informetrics 7, 528-539, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Murgia G.: The collaboration behaviors of scientists in Italy: a field level analysis., Journal of Informetrics 7, 442-454, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: The importance of accounting for the number of co-authors and their order when assessing research performance at the individual level in the life sciences., Journal of Informetrics 7, 198-208, 2013
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: Selecting competent referees to assess research projects proposals: a study of referees, Research Evaluation 22, 41-51, 2013
- Anna Formica: Similarity Reasoning for the Semantic Web based on Fuzzy Concept Lattices: an informal approach, Information Systems Frontiers 15 (3), 511-520, 2013
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: Supporting Customer Choice with Semantic Similarity Search and Explanation, Lecture Notes in Business Information Processing 148, 317-328, 2013
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for matching user requests with profiled enterprises, Computers in Industry 64 (3), 191-202, 2013
- Anna Formica, Pourabbas E., Rafanelli M.: Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages, Computer Science and Information Systems 10 (3), 1053-1075, 2013
- Graefe G., Nica A., Stolze K., Neumann T., Eavis T., Petrov I., Pourabbas E., Fekete D.: Elasticity in Cloud Databases and Their Query Processing, International Journal of Data Warehousing and Mining 9(2), 1-20, 2013
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: The dispersion of research performance within and between universities as an indicator of the competitive intensity in higher education systems, Journal of Informetrics 2, 155-168, 2012
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: Revisiting size effects in higher education research productivity. Higher Education, 63(6), 701-717, Higher Education 63(6), 701-717, 2012
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: A sensitivity analysis of research institutions' productivity rankings to the time of citation observation., Journal of Informetrics 6(2), 298-306, 2012
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: Revisiting the scaling of citations for research assessment., Journal of Informetrics 6(4), 470-479, 2012
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: How important is choice of the scaling factor in standardizing citations?, Journal of Informetrics 6(4), 645-654, 2012
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: What is the appropriate length of the publication period over which to assess research performance?, Scientometrics 93(3), 1005-1017, 2012
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: Identifying interdisciplinarity through the disciplinary classification of co-authors of scientific publications., Journal of the American Society for Information Science and Technology. 63(11), 2206-2222, 2012
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Solazzi M.: A bibliometric tool to assess the regional dimension of university-industry research collaborations., Scientometrics 91(3), 955-975, 2012
- Giovanni Abramo, Pugini F.: Assessing the Relative Technology Transfer Performance of Universities and Public Research Laboratories: the Case of Italy, International Journal of Technology Transfer and Commercialisation 11(1-2), 51-69, 2012
- Anna Formica: Semantic Web search based on Rough Sets and Fuzzy Formal Concept Analysis, Knowledge-Based Systems 26, 40-47, 2012
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: A field-standardized application of DEA to national-scale research assessment, Journal of Informetrics 5(4), 618-628, 2011
- Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: Assessing the varying level of impact measurement accuracy as a function of the citation window length, Journal of Informetrics 5(4), 659-667, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo: National-scale research performance assessment at the individual level, Scientometrics 86(2), 347-364, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Solazzi M.: Are researchers that collaborate more at the international level top performers? An investigation on the Italian university system, Journal of Informetrics 5(1), 204-213, 2011
- Ciriaco Andrea D'Angelo, Giuffrida C, Giovanni Abramo: A heuristic approach to author name disambiguation in large-scale bibliometric databases, Journal of the American Society for Information Science and Technology., 257-269, 2011
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: A robust benchmark for the h and g indexes, Journal of the American Society for Information Science and Technology., 2010
- Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: Peer review research assessment: a sensitivity analysis of performance rankings to the share of research product evaluated, Scientometrics, 2010
- Anna Formica: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, International Journal of Uncertainty Fuzziness and Knowledge-Based Systems 18(2), 153-167, 2010
- Pourabbas E., Shoshani A.: Improving Estimation Accuracy of Aggregate Queries on Data Cubes, Data & Knowledge Engineering 69, 50-72, 2010
- D'Ulizia A., Ferri F., Anna Formica, Grifoni P.: Approximating Geographical Queries, Journal of Computer Science and Technology 24(6), 2009
- Anna Formica: Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach, Communications of the Acm 52(3), 145-149, 2009
- Anna Formica, Pourabbas E.: Content Based Similarity of Geographic Classes organized as Partition Hierarchies, Knowledge and Information Systems 20(2), 221-241, 2009
- Avenali A., Batini C., Paola Bertolazzi, Missier P.: Brokering infrastructure for minimum cost data procurement based on quality-quantity models, Decision Support Systems 45, 95-109, 2008
- Anna Formica: Similarity of XML-Schema Elements: a Structural and Information Content Approach, Computer Journal 51 (2), 240-254, 2008
- Anna Formica: Concept Similarity in Formal Concept Analysis: an Information Content Approach, Knowledge-Based Systems 21 (1), 80-87, 2008
- Pourabbas E., Shoshani A.: Efficient Estimation of Joint Queries from Multiple OLAP Databases, ACM Transactions on Database Systems 32(1), 1-43, 2007
- Grumbach S., Rafanelli M., Tininini L.: On the equivalence and rewriting of aggregate queries, Acta Informatica 40, 529-584, 2004
- d'Onofrio A., Pourabbas E.: Modelling Temporal Thematic Map Contents, Sigmod Record 32, 34-41, 2003
- Grumbach S., Tininini L.: On the content of materialized aggregate views, Journal of Computer and System Sciences 66 (1), 133-168, 2003
- Pourabbas E., Rafanelli M.: A Pictorial Query Language for Querying Geographic Databases using Positional and OLAP Operators, Sigmod Record 31, 22-27, 2002
- Pourabbas E., Rafanelli M.: Hierarchies and Relative Operators in the OLAP Environment, Sigmod Record 29, 32-37, 2000
- Ferri F., Pourabbas E., Rafanelli M., Sindoni G.: A System to Define and Allocate Health Care Resources on a Territory to Improve the Life Quality of the Populations in Developing Countries, Journal of Biomedical Informatics (formerly Computers and Biomedical Research) 30/5, 379-402, 1997
- Rafanelli M., Bezenchek A., Tininini L.: The aggregate data problem: a system for their definition and management, Sigmod Record 25, 5-10, 1996
COLLECTIONS
- Parretti C., Pourabbas E., Rolli F., Pecoraro F.: Robust Privacy Assessment in Transnational Healthcare, IOP Conference Series: Materials Science and Engineering, Volume 1174, The 14th International Conference on Axiomatic Design (ICAD 2021) 23rd-25th June 2021, Lisbon, Portugal, 2021
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F, Rossi Mori Angelo: Extending Contsys Standard with Social Care Concepts: A Methodology Proposed by the UNINFO Working Group in Italy, 2020 European Federation for Medical Informatics (EFMI), Studies in Health Technology and Informatics, Digital Personalized Health and Medicine, 270, 2020
- De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search., in the Proceedings of Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, ICAART, 2019
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Querying Distributed GIS with GeoPQLJ based on GeoJSON, in the Proceedings of Proceedings of the 5th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2019, Heraklion, Crete, Greece, May 3-5, 2019, 2019
- Parretti C., Pourabbas E., Rolli F., Pecoraro F., Citti P., Giorgretti A.: Robust design of web services supporting the home administration of drug infusion in pediatric oncology, in the Proceedings of MATEC Web of Conferences 301, 00013 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Liu A., Foley J. T. eds., 2019
- Rolli F., Pecoraro F., Luzi D., Ricci F. L., Pourabbas E., Parretti C.: Clinical risk evaluation of medical device software: an axiomatic design-based methodology, in the Proceedings of MATEC Web of Conferences 301, 00005 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Foley J. T., Liu A., Puik E.C.N. eds., 2019
- Parretti C., Rolli F, Pourabbas E., Citti P.: Axiomatic Selection of Health and Social Care Web Services on the Basis of Use Cases, in the Proceedings of 12th International Conference on Axiomatic Design (ICAD 2018), MATEC Web of Conferences, 223, 01013, 2018
- Cappelli E, Weitschek E.: Extending the Genomic Data Model and the Genometric Query Language with Domain Taxonomies, in the Proceedings of International Conference on Web Engineering, Lecture Notes in Computer Science, 10360, 2017
- Cumbo F, Weitschek E., Paola Bertolazzi, Giovanni Felici: IRIS-TCGA: an information retrieval and integration system for genomic data of cancer, in the Proceedings of Computational Intelligence Methods for Bioinformatics and Biostatistics, Lecture Notes in Computer Science, 10477, 2017
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: A Bayesian Approach for Semantic Search based on DAG-Shaped Ontologies, Lecture Notes in Computer Science vol. 10439, 28th International Conference on Database and Expert Systems - DEXA 2017, pp. 126–140, 2017
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A methodology to Identify Health and Social Care Web Services on the basis of Case Stories, IEEE International Conference on e-Health and Bioengineering, Sinaia-Romania, 10.1109/EHB.2017.7995400, 2017
- Pourabbas E., D'Uffizi A, Mauro Mazzei, Ricci F: SICS: A Social Network based Information System for the Inclusive Community, IEEE 4th Annual Conference on Computational Science and Computational Intelligence-CSCI 2017, pp. 846-851, 2017
- Pourabbas E., D'Uffizi A, Ricci F: A Conceptual Approach for Modelling Social Care Services: the INSPIRE project, Schneider Reinhard, Da Silveira Marcos, Pruski Cédric eds., Lecture Notes in Computer Science, 10649 LNBI, Springer, 53-66, 2017
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Bayesian Approach for Weighted Ontologies and Semantic Search, Filipe Joaquim, Fred Ana, Dietz Jan, Aveiro David, Liu Kecheng, Bernardino Jorge eds., 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-KEOD 2016, p. 171-178, ISBN: 978-989-758-203-5, 2016
- Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A Conceptual Model for Integrating Social and Health Care Services At Home: The H@H Project, IEEE 18th International Conference on E-health Networking, Applications & Services (Healthcom'16), p. 375-380, 14-17 September 2016, Munich-Germany, 2016
- Anagnostopoulos A, Becchetti L, Fazzone A, Ida Mele, Riondato M: The Importance of Being Expert: Efficient Max-Finding in Crowdsourcing, SIGMOD International Conference on Management of Data, 2015
- Anand A, Ida Mele, Bedathur S, Berberich K: Phrase Query Optimization on Inverted Indexes, ACM International Conference on Information and Knowledge Management, 2014
- Bruno Luigi Martino, Federici M: Not Relational Models For The Management of Large Amount of Astronomical Data, 2014
- Maurizio Proietti, Smith F.: Reasoning on Data-Aware Business Processes with Constraint Logic, in the Proceedings of Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), CEUR-WS, 1293, 2014
- Smith F., Maurizio Proietti: Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework, in: Agents and Artificial Intelligence, Communications in Computer and Information Science, 449, Springer, 293-313, 2014
- Smith F., Storti E., Francesco Taglino: Towards Semantic Collective Awareness Platforms for Business Innovation, in: Advanced Information Systems Engineering Workshops, Lecture Notes in Artificial Intelligence, 178, Springer, 226-237, 2014
- Smith F., Francesco Taglino: Semantics-based Social Media for Collaborative Open Innovation, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
- Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Linked Data Based Approach to Similarity Reasoning, Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, 2013
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, in the Proceedings of Proc. of Int. Cross-Domain Conf. and Workshop on Availability, Reliability, and Security, CD-ARES 2012,, Quirchmayr G. ed., Lecture Notes in Computer Science, 7465, 2012
- Pourabbas E., Shoshani A., Wu K.: Minimizing Index Size by Reordering Rows and Columns, Bowers Shawn, Ailamaki Anastasi eds., 24th Internaional Conference on Scientific and Statistical Database Management-SSDBM 2012, Lecture Notes in Computer Science 7338, 2012
- Pourabbas E., Francesco Taglino: A Semantic Platform for Enterprise Knowledge Interoperability, Poler Raul, Doumeingts Guy, Katzy Bernhard, Chalmeta Ricardo eds., Proceedings of the I-ESA Conferences 6, I-ESA 2012, Enterprise Interoperability V, Shaping Enterprise Interoperability in the Future Internet, 5, 2012
- Anagnostopoulos A, Becchetti L, Leonardi S, Ida Mele, Sankowski P: Stochastic query covering, ACM International Conference on Web Search and Data Mining, 2011
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for Business Process Knowledge Base Management, in the Proceedings of 18th Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, 2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: An Open Platform for Business Process Modeling and Verification, in the Proceedings of International Conference on Database and Expert Systems Applications, DEXA, September 2010, Lecture Notes in Computer Science, 6261, 2010
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic Search for Enterprises Competencies Management, in the Proceedings of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: A Business Process Knowledge Base for Composite Services Development, in the Proceedings of International Workshop on Business System Management and Engineering, BSME, Malaga, 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: Reasoning on Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 3rd Interop-Vlab.It Workshop, CEUR-WS, 653, 2010
- Caschera M.C., D'Ulizia A., Tininini L.: Visual Query Languages, Representation Techniques and Data Models, in: Selected Readings on Database Technologies and Applications, Halpin T. ed., Information Science Reference, 174-189, 2008
- Caschera M.C., D'Ulizia A., Tininini L.: Visual Query Languages, Representation Techniques and Data Models, in: Visual Languages for Interactive Computing: Definitions and Formalizations, Ferri F. ed., Information Science Reference, 142-157, 2007
- D'Ulizia A., Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Structural similarity in geographical queries to improve query answering, ACM Symposium on Applied Computing (SAC), 2007
- Sindoni G., Tininini L.: Statistical Dissemination Systems and the Web, in: Handbook of Research on Public Information Technology, Khosrow-Pour M., Garson G.D. eds., Information Science Reference, 578-591, 2007
- De Francisci S., Sindoni G., Tininini L.: Multidimensional Statistical Data Dissemination on the Web, in the Proceedings of Joint UNECE/Eurostat/OECD Seminar on the Management of Statistical Information Systems (MSIS), 2006
- Pourabbas E., Shoshani A.: The Composite OLAP-Object Data Model: Removing an Unnecessary Barrier, in the Proceedings of SSDBM 2006, 18th International Conference on Scientific and Statistical Database Management, 2006
- Sindoni G., Tininini L.: Statistical Warehousing on the Web: navigating troubled waters, in the Proceedings of International Conference on Internet and Web Applications and Services (ICIW '06), 2006
- Sindoni G., Tininini L.: Statistical Warehousing on the Web: navigating troubled waters, in the Proceedings of Fourteenth Italian Symposium on Advanced Database Systems (SEBD 2006), 241-248, 2006
- Tininini L.: Aggregate Query Rewriting in Multidimensional Databases, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., Idea Group Publishing, 28-32, 2006
- Tininini L.: Efficient Computation of Data Cubes and Aggregate Views, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., Idea Group Publishing, 421-426, 2006
- Malvestuto F.M., Pourabbas E.: Local Computation of Answers to Table Queries on Summary Databases, in the Proceedings of 17th International Conference on Scientific and Statistical Database Management-SSDBM, June 27-29, Santa Barbara, USA, 263-270, 2005
- Pourabbas E.: Hierarchies in Multidimensional Databases, in: Encyclopedia of Information Science and Technology, III, 1327-1332, 2005
- Pourabbas E.: Cooperation of Geographic and Multidimensional Databases, in: Encyclopedia of Information Science and Technology, I, 596-602, 2005
- Tininini L.: Querying Multidimensional Data. , in: Encyclopedia of Information Science and Technology, Khosrow-Pour M. ed., Idea Group Publishing, ISBN: 1-59140-553-X, 2392-2396, 2005
- Avenali A., Batini C., Paola Bertolazzi, Missier P.: A Formulation of the Data Quality Optimization Problem in Cooperative Information Systems, in the Proceedings of CAiSE Workshops (2), Grundspenkis J., Kirikova M. eds., 49-63, 2004
- Malvestuto F.M., Pourabbas E.: Customized Answers to Summary Queries via Aggregate Views, in the Proceedings of 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June, Santorini Island, Greece, IEEE Computer Society, 193-202, 2004
- Sindoni G., Tininini L.: A Statistical Web Warehouse System, in the Proceedings of European Conference on Quality and Methodology in Official Statistics (Q2004), Magonza, 2004
- Sindoni G., Tininini L.: Web-enabled statistical Data Warehouses, in the Proceedings of the Workshop Symposium on Knowledge-Based Services for the Public Sector, Bonn, 2004
- Pourabbas E.: Chapter 13: Cooperation with Geographical Databases, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., 393-432, 2003
- Pourabbas E., Rafanelli M.: Chapter 4. Hierarchies, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 91-115, 2003
- Pourabbas E., Shoshani A.: Answering Joint Queries from Multiple Aggregate OLAP Databases, Lecture Notes in Computer Science, 2737, 24-34, 2003
- Tininini L.: Querying Multidimensional Databases, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 252-281, 2003
- Ferri F., Pourabbas E., Rafanelli M.: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of Proceedings of the 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 10-14 March, 2002, Madrid, Spain, ACM, 432-437, 2002
- Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in: 8th International Conference on Extending Database Technology (EDBT 2001), Lecture Notes in Computer Science, 2287, Springer-Verlag, 307-316, 2002
- Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in the Proceedings of Tenth Italian Symposium on Advanced Database Systems (SEBD 2002), 2002
- Paola Bertolazzi, Scannapieco M.: Introducing Data Quality in a Cooperative Context, in the Proceedings of Sixth International Conference on Information Quality, Mit Press Boston, MA, USA, 431-444, 2001
- Ferri F., Pourabbas E., Rafanelli M.: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 2001
- Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of Ninth Italian Symposium on Advanced Database Systems (SEBD 2001), 2001
- Ferri F., Pourabbas E., Rafanelli M., Ricci F.L.: Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data, in the Proceedings of Proceedings of 12th IEEE International Conference on Scientific and Statistical Database Management, SSDBM 2000, IEEE Press, 220-230, 2000
- Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of the Nineteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2000), 2000
- Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of the International Conference on Statistical and Scientific Database Management (SSDBM 2000), 2000
- Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of 8th Italian Symposium on Advanced Database Systems (SEBD 2000), 2000
- Grumbach S., Rafanelli M., Tininini L.: Querying Aggregate Data, in the Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'99), 1999
- Bezenchek A., Rafanelli M., Tininini L.: ADAMO: a conceptual model to describe and to represent aggregate data, in the Proceedings of International Conference on Computational Statistics---COMPSTAT'96, Prat A. ed., 1996
- Bezenchek A., Rafanelli M., Tininini L.: A system for the management of aggregate data, in the Proceedings of 7th International Conference on Database and Expert Systems Applications---DEXA'96, Wagner R.R., Thoma H. eds., Lecture Notes in Computer Science, 1134, Springer-Verlag, 531-543, 1996
- Bezenchek A., Rafanelli M., Tininini L.: A data structure for representing aggregate data, in the Proceedings of 8th International Conference on Scientific and Statistical Database Management - SSDBM'96, French J.C., Svensson P. eds., 1996
BOOKS
- Missikoff M, Anna Formica, Pourabbas E., Francesco Taglino: Enriching semantic search with preference and quality scores, Encyclopedia with Semantic Computing and Robotic Intelligence, 01(01), DOI: 10.1142/S0000000016500023, World Scientific, 2017
- Pourabbas E. ed.: Geographical Information Systems: Trends and Technologies, CRC Press Inc/ Taylor & Francis Group: http://www.crcpress.com/product/isbn/9781466596931 ISBN 9781466596931, 2014
- Pourabbas E.: Semantic Similarity based on Weighted Ontology, Geographical Information Systems: Trends and Technologies, Elaheh Pourabbas (ed.), CRC Press Inc/ Taylor & Francis Group, ISBN 9781466596931, 2014
SELECTED REPORTS
- Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 12-12, 2012
- Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic search for collaborative competency management in networked enterprises, IASI-CNR, R. 11-15, 12/2011
- Anna Formica, Pourabbas E., Rafanelli M.: Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, R. 11-04, 2011
- Anna Formica: Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis, IASI-CNR, R. 10-16, 12/2010
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-09, 2009
JOURNALS
- Alberto Pettorossi: A Historical Account of My Early Research Interests, Electronic Proceedings in Theoretical Computer Science, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, http://dx.doi.org/10.4204/EPTCS.320.1, 2020
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Semantics and controllability of time-aware business processes, Fundamenta Informaticae 165, 2019
- Emanuele De Angelis, Fioravanti F., Palacios A., Alberto Pettorossi, Maurizio Proietti: Property-Based Test Case Generators for Free, Lecture Notes in Computer Science 11823, 186-206, 2019
- Celli F, Cumbo F, Weitschek E.: Classification of Large DNA Methylation Datasets for Identifying Cancer Drivers, Big Data Research, https://www.sciencedirect.com/science/article/pii/S2214579617302708, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Predicate Pairing for Program Verification, Theory and Practice of Logic Programming 18, 126-166, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Predicate pairing with abstraction for relational verification, Lecture Notes in Computer Science 10855, 289-305, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Solving Horn Clauses on Inductive Data Types Without Induction, Theory and Practice of Logic Programming 18, 452-469, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, Fundamenta Informaticae 150 (1), 73-117, 2017
- Maurizio Proietti, Seki H., Woodcock J: Editorial of the Special Issue on LOPSTR'14, Formal Aspects of Computing 29, 1-2, 2017
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Horn Clause Transformation for Program Verification, Newsletter of the Association for Logic Programming, https://www.cs.nmsu.edu/ALP/2016/09, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Relational Verification Through Horn Clause Transformation, Lecture Notes in Computer Science 9837, 147-169, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, Fundamenta Informaticae 140, 329-355, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses, Theory and Practice of Logic Programming 15, 635-650, 2015
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient generation of test data structures using constraint logic programming and program transformation, Journal of Logic and Computation 25, 1263-1283, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program verification via iterated specialization, Science of Computer Programming 95, 149-175, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, Lecture Notes in Computer Science 8318, 182-202, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: VeriMAP: A tool for verifying programs through transformations, Lecture Notes in Computer Science 8413, 568-574, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Constrained Generalization for Software Model Checking, Lecture Notes in Computer Science Vol. 7844, pp. 51-70, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, Theory and Practice of Logic Programming 13, 175-199, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-based Verification, Fundamenta Informaticae 124, 483-502, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Proving Theorems by Program Transformation, Fundamenta Informaticae 127 (1-4), 115-134, 2013
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs Using Answer Set Programming, Fundamenta Informaticae 120, 205-229, 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, Fundamenta Informaticae 119, 281-300, 2012
- Bruno Luigi Martino, Federici M, Ubertini P: AVES: A high performance computer cluster array for the INTEGRAL satellite scientific data analysis, ExperimentalAstronomy 34 issue 1, 105-121, 2012
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, Formal Aspects of Computing 24, 569-594, 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Transformation for Development, Verification, and Synthesis of Programs, Intelligenza Artificiale 5, 119-125, 2011
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformations of Logic Programs on Infinite Lists, Theory and Practice of Logic Programming 10, 383-399, 2010
- Senni V., Alberto Pettorossi, Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, Fundamenta Informaticae 96 (3), 373-393, 2009
- Alberto Pettorossi, Maurizio Proietti: Totally Correct Logic Program Transformations Via Well-Founded Annotations, Higher-Order and Symbolic Computation 21, 193-235, 2008
- Alberto Pettorossi, Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2., Fundamenta Informaticae 69, i-iii, 2006
- Alberto Pettorossi, Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 1, Fundamenta Informaticae 66, i-iii, 2005
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Higher-Order and Symbolic Computation 18 (1-2), 121-210, 2005
- Alberto Pettorossi, Maurizio Proietti: Transformations of logic programs with goals as arguments, Theory and Practice of Logic Programming 4, 495-537, 2004
- Alberto Pettorossi, Maurizio Proietti: The List Introduction Strategy for the Derivation of Logic Programs, Formal Aspects of Computing 13, 233-251, 2002
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs, Theoretical Computer Science, Electronic Notes 30 (2), 2000
- Alberto Pettorossi, Maurizio Proietti: Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs, Journal of Logic Programming 41, 197-230, 1999
- Alberto Pettorossi, Maurizio Proietti: Program Specialization via Algorithmic Unfold/Fold Transformations, ACM Computing Surveys 30, 6-es, 1998
- Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Transforming Functional and Logic Programs, ACM Computing Surveys 28 (2), 360-414, 1996
- Alberto Pettorossi, Maurizio Proietti: Developing Correct and Efficient Logic Programs by Transformation, Knowledge Engineering Review 11 (4), 347-360, 1996
- Maurizio Proietti, Alberto Pettorossi: Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, Theoretical Computer Science 142 (1), 89-124, 1995
- Alberto Pettorossi, Maurizio Proietti: Transformation of Logic Programs: Foundations and Techniques, Journal of Logic Programming 19--20, 261-320, 1994
- Maurizio Proietti, Alberto Pettorossi: An Abstract Strategy for Transforming Logic Programs, Fundamenta Informaticae 18 (2--4), 267-282, 1993
- Maurizio Proietti, Alberto Pettorossi: The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction, Journal of Logic Programming 16 (1--2), 123-161, 1993
COLLECTIONS
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates, in the Proceedings of International Joint Conference on Automated Reasoning IJCAR 2020, Lecture Notes in Computer Science, 12166, 2020
- Emanuele De Angelis, Fioravanti F., Maurizio Proietti: Transformational verification of quicksort, in the Proceedings of 8th International Workshop on Verification and Program Transformation, Electronic Proceedings in Theoretical Computer Science, 320, 2020
- Mauro Mazzei: A Machine Learning Platform for NLP in Big Data, in the Proceedings of Intelligent Systems and Applications, 1251, 2020
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study, in the Proceedings of Seventh International Workshop on Verification and Program Transformation (VPT 2019), Lisitsa A., Nemytykh A. eds., Electronic Proceedings in Theoretical Computer Science, 299, 2019
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification, in the Proceedings of Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019), Electronic Proceedings in Theoretical Computer Science, 296, 2019
- Emanuele De Angelis, Fioravanti F., Palacios A., Alberto Pettorossi, Maurizio Proietti: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs, in the Proceedings of 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), Electronic Proceedings in Theoretical Computer Science, 278, 2018
- Mauro Mazzei: Software development for unsupervised approach to identification of a multi temporal spatial analysis model, in the Proceedings of Proceedings of the 2018 International Conference on Image Processing, Computer Vision, & Pattern Recognition, Muller J. ed., Computer Science, Computer Engineering & Applied Computing, 2018
- Cumbo F, Weitschek E., Paola Bertolazzi, Giovanni Felici: IRIS-TCGA: an information retrieval and integration system for genomic data of cancer, in the Proceedings of Computational Intelligence Methods for Bioinformatics and Biostatistics, Lecture Notes in Computer Science, 10477, 2017
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Enhancing Predicate Pairing with Abstraction for Relational Verification, in the Proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Preliminary version, Fioravanti F, Gallagher J. eds., CoRR, arXiv, 1708-07854, 2017
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verification of Time-Aware Business Processes using Constrained Horn Clauses, in the Proceedings of the International Symposium on Logic-based Program Transformation and Synthesis (LOPSTR 2016), 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Removing unnecessary variables from Horn clause verification conditions, in the Proceedings of 3rd International Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 219, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying relational program properties by transforming constrained Horn clauses, in the Proceedings of Proceedings of the 31st Italian Conference on Computational Logic, CEUR-WS, 1645, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Semantics-based generation of verification conditions by program specialization, ACM Symposium on Principles and Practice of Declarative Programming, 2015
- Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, in the Proceedings of First Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 169, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, in the Proceedings of Proceedings of VPT 2014, EasyChair Proceedings in Computing (EPiC) series, 28, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, in the Proceedings of Partial Evaluation and Program Manipulation (PEPM '13), ACM-SIGPLAN, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs through Transformation of Constraint Logic Programs, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 30-41, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Transforming Constraint Logic Programs, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 83-98, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Constraint Logic Program Transformation, in the Proceedings of SAIRP 2013, Festschrift for Dave Schmidt, Electronic Proceedings in Theoretical Computer Science, Vol 129, pp. 186-210, 2013
- Alberto Pettorossi, Maurizio Proietti: Program Transformation for Program Verification, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 13-14, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Software Model Checking by Program Specialization, in the Proceedings of 27th Italian Conference on Computational Logic (CILC-2012), CEUR-WS, 857, 2012
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Branching Preserving Specialization for Software Model Checking, in the Proceedings of 22nd International Symposium on Logic-Based Program Synhesis and Transformation (LOPSTR 2012), Albert E. ed., 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Using Real Relaxations During Program Specialization, in: Logic-based Program Synthesis and Transformation, Selected papers, Vidal G. ed., Lecture Notes in Computer Science, 7225, Springer Berlin, Heidelberg, 106-122, 2012
- Bruno Luigi Martino, Federici M: An high availability data storage subsystem for the INTEGRAL data analysisis, 2012
- Senni V., Fioravanti F.: Generation of Test Data Structures Using Constraint Logic Programming, in the Proceedings of 6th International Conference on Tests and Proofs (TAP 2012), Lecture Notes in Computer Science, 7305, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs using Answer Set Programming, in the Proceedings of International Workshop on Concurrency, Specification and Programming (CS&P 2011), Pultusk, Poland, 28-30 Sept. 2011, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in: Logic-Based Program Synthesis and Transformation, 20th International Symposium, LOPSTR '10, Revised Selected Papers, Alpuente M ed., Lecture Notes in Computer Science, 6564, Springer Berlin Heidelberg, 164-183, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, in: Reachability Problems (RP 2011), Delzanno G, Potapov I eds., Lecture Notes in Computer Science, 6945, Springer Berlin Heidelberg, 165-179, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-Based Verification, in the Proceedings of 26th Italian Conference on Computational Logic (CILC'11), Fioravanti F ed., CEUR-WS, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Using Real Relaxations During Program Specialization, in the Proceedings of 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), Univ. of Southern Denmark, Odense, Denmark, pp. 96-111, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in the Proceedings of 20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, RISC-Linz Report Series No. 10-14., Alpuente M ed., 2010
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, in: 19th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR '09), Revised Selected Papers, De Schreye D. ed., Lecture Notes in Computer Science, 6037, Springer, 5-21, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: A Transformation Strategy for Verifying Logic Programs on Infinite Lists, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, in: A 25 Year Perspective on Logic Programming, Pontelli E., Dovier A. eds., Lecture Notes in Computer Science, 6125, Springer, 112-135, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, in the Proceedings of 19th International Symposium on Logic Program Synthesis and Transformation (LOPSTR 2009), De Schreye D., Quaresma P. eds., 2009
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Henglein F., Danvy O., Pettorossi A., Mairson H. eds., Automatic Program Development, Springer Heidelberg, 130-177, 2008
- Senni V., Maurizio Proietti, Alberto Pettorossi: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs, in the Proceedings of 24th International Conference on Logic Programming, Garcia de la Banda M., Pontelli E. eds., Lecture Notes in Computer Science, 5366, pp. 284-300, 2008
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Automatic Correctness Proofs for Logic Program Transformations, in the Proceedings of 23rd International Conference on Logic Programming (ICLP '07), Niemela I., Dahl V. eds., Lecture Notes in Computer Science, 4670, pp. 364-379, Springer, 2007
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables, in: Proceedings of the 22nd International Conference on Logic Programming (ICLP '06), Etalle S., Truszczynski M. eds., Lecture Notes in Computer Science, 4079, Springer-Verlag, 179-195, 2006
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automatic Proofs of Protocols via Program Transformation., in: Monitoring, Security, and Rescue Techniques in Multiagent Systems, Advances in Soft Computing Series, Skowron A., Dunin-Keplicz B., Jankowski A., Szczuka M. eds., Advances in Soft Computing, 99-116, 2005
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Parameterized Protocols Using Array Formulas., in the Proceedings of 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), Imperial College, London, UK, September 7-9, Hill P.M ed., Lecture Notes in Computer Science, 2005
- Alberto Pettorossi, Maurizio Proietti: A theory of totally correct logic program transformations, in the Proceedings of 2004 ACM-SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM-SIGPLAN, 2004
- Alberto Pettorossi, Maurizio Proietti: Totally correct logic program transformations using well-founded annotations, in the Proceedings of Italian Conference on Computational Logic, Rossi G.F., Panegai E. eds., Quaderni del Dipartimento di Matematica - Università degli Studi di Parma, 2004
- Alberto Pettorossi, Maurizio Proietti, Fioravanti F.: Transformation rules for locally stratified constraint logic programs, in: Program Development in Computational Logic, Bruynooghe M., Lau K.-K. eds., Lecture Notes in Computer Science, 3049, Springer Heidelberg, 291-339, 2004
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation, in: 12th International Symposium on Logic-based Program Develpment and Transformation, Leuschel M. ed., Lecture Notes in Computer Science, 2664, 160-181, 2003
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Systems Using Program Transformation, in: Logic Based Program Synthesis and Transformation, Pettorossi A. ed., Lecture Notes in Computer Science, 2372, 111-128, 2002
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs, in the Proceedings of SMC'02, 6 - 9 October, 2002, Hammamet, Tunisia, IEEE International Conference on Systems, Man, and Cybernetics, 2002
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching, in the Proceedings of AGP'02, 2002 Joint Conference on Declarative Programming, 16 - 18 September 2002, Madrid, Spain, Moreno-Navarro J.J., Marino-Carballo J. eds., 2002
- Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies, Lecture Notes in Artificial Intelligence, 2407, 273-309, 2002
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, Lecture Notes in Computer Science, 2042, Springer-Verlag, 124-146, 2001
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs, in the Proceedings of ACM-Sigplan International Workshop on Verification and Computational Logic, VCL'2001, Florence, Italy, September 4, 2001, pp. 85-96., 2001
- Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Logic Programs with Goals as Arguments, in the Proceedings of Logic-based Program Synthesis and Transformation, LOPSTR '99, Venezia, Italy, Bossi A. ed., Lecture Notes in Computer Science, 1817, 2000
- Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations, in the Proceedings of First International Conference on Computational Logic, CL'2000, London, 24-28 July, 2000, Lloyd J.W., others eds., Lecture Notes in Artificial Intelligence, 1861, Springer, 613-628, 2000
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs, in the Proceedings of ICLP'99 Workshop on Optimization and Implementation of Declarative Programming Languages, WOID '99, Las Cruces University, New Mexico, USA, December 2--3, Leuschel M. ed., 1999
- Fioravanti F., Maurizio Proietti: Contextual Specialization of Constraint Logic Programs, in the Proceedings of Joint Conference on Declarative Programming, L'Aquila, Italy, Vilares Ferro M., Meo M.C. eds., 1999
- Maurizio Proietti, Alberto Pettorossi: Transforming Inductive Definitions, in the Proceedings of 1999 International Conference on Logic Programming, De Schreye D. ed., Logic Programming Series, 1999
- Alberto Pettorossi, Maurizio Proietti: Transformation of Logic Programs, Hogger C.J., Gabbay D.M., Robinson J.A. eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 5, 697-787, 1998
- Alberto Pettorossi, Maurizio Proietti: Future Directions in Program Transformation, in the Proceedings of Workshop on Strategic Directions in Computing Research, MIT, Cambridge, USA, SIGPLAN Notices, 32/1, ACM Press, 99-102, 1997
- Alberto Pettorossi, Maurizio Proietti: Program Derivation via List Introduction, in the Proceedings of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg, France, Bird R., Meertens L.G.L.T. eds., Chapman \& Hall, 296-323, 1997
- Alberto Pettorossi, Maurizio Proietti: Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization, in the Proceedings of 2nd ACM SIGPLAN Workshop on Continuations, ENS, Paris, France, Danvy O. ed., BRICS Notes Series, N6-93-13, 1997
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, 6th International Workshop, Stockholm, Sweden, Gallagher J. ed., Lecture Notes in Computer Science, 1207, Springer-Verlag, 147-168, 1997
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Reducing Nondeterminism while Specializing Logic Programs, in the Proceedings of 24th ACM Symposium on Principles of Programming Languages, La Sorbonne, Paris, France, SIGPLAN Notices, 1997
- Alberto Pettorossi, Maurizio Proietti: A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties, in the Proceedings of Dagstuhl Seminar on Partial Evaluation, Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
- Alberto Pettorossi, Maurizio Proietti: A Comparative Revisitation of Some Program Transformation Techniques, in the Proceedings of Dagstuhl Seminar on Partial Evaluation., Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
- Alberto Pettorossi, Maurizio Proietti, Renault S.: How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification, in the Proceedings of Joint International Conference and Symposium on Logic Programming, Bonn, Germany, Maher M. ed., Logic Programming Series, 1996
- Lau K.-K., Ornaghi M., Alberto Pettorossi, Maurizio Proietti: Correctness of Logic Program Transformation Based on Existential Termination, in the Proceedings of 1995 International Logic Programming Symposium (ILPS '95), Lloyd J.W. ed., Logic Programming Series, 1995
- Maurizio Proietti, Alberto Pettorossi: Synthesis of Programs from Unfold/Fold Proofs, in the Proceedings of Logic Program Synthesis and Transformation, LOPSTR '93, Louvain-la-Neuve, Belgium, Deville Y. ed., Workshops in Computing, 1994
- Maurizio Proietti, Alberto Pettorossi: Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables, in the Proceedings of Eleventh International Conference on Logic Programming (ICLP '94), S. Margherita Ligure, Italy, June 13--18, Van Hentenryck P. ed., Logic Programming Series, 1994
- Alberto Pettorossi, Pietropoli E., Maurizio Proietti: The Use of the Tupling Strategy in the Development of Parallel Programs, in: Parallel Algorithm Derivation and Program Transformation, Paige R., Reif J., Wachter R. eds., Kluwer Academic Publishers, 111-151, 1993
- Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Program Transformation, in: Formal Program Development, IFIP TC2/WG2.1 State-of-the-Art Report, Schuman S., Möller B., Partsch H. eds., Lecture Notes in Computer Science, 755, Springer-Verlag, 263-304, 1993
- Maurizio Proietti, Alberto Pettorossi: Best-First Strategies for Incremental Transformation of Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, Manchester 1992, Clement T.P., Lau K.-K. eds., Workshops in Computing, 1993
- Maurizio Proietti, Alberto Pettorossi: An Automatic Transformation Strategy for Avoiding Unnecessary Variables in Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, Manchester 1991, Lau K.-K., Clement T.P. eds., Workshops in Computing, 1992
- Maurizio Proietti, Alberto Pettorossi: Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, in: Third International Symposium on Programming Language Implementation and Logic Programming, PLILP '91, Maluszynski J., Wirsing M. eds., Lecture Notes in Computer Science, 528, Springer-Verlag, 347-358, 1991
- Maurizio Proietti, Alberto Pettorossi: Semantics Preserving Transformation Rules for Prolog, in the Proceedings of ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation, PEPM '91, SIGPLAN Notices, pp. 274-285, 1991
- Maurizio Proietti, Alberto Pettorossi: Synthesis of Eureka Predicates for Developing Logic Programs, in the Proceedings of Third European Symposium on Programming, ESOP '90, Jones N. ed., Lecture Notes in Computer Science, 432, 1990
- Maurizio Proietti, Alberto Pettorossi: Construction of Efficient Logic Programs by Loop Absorption and Generalization, in the Proceedings of Second International Workshop on Metaprogramming in Logic, Meta '90, Bruynooghe M. ed., 57-81, 1990
- Alberto Pettorossi, Maurizio Proietti: Decidability Results and Characterization of Strategies for the Development of Logic Programs, in the Proceedings of Sixth International Conference on Logic Programming, Levi G., Martelli M. eds., Logic Programming Series, 1989
- Alberto Pettorossi, Maurizio Proietti: Importing and Exporting Information in Program Development, in the Proceedings of IFIP TC2 Working Conference on Partial and Mixed Computation, Björner D., Ershov A.P. eds., North Holland, 405-426, 1988
BOOKS
- Lisitsa A., Nemytykh A.P., Maurizio Proietti eds.: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017, Electronic Proceedings in Theoretical Computer Science, 253, Elsevier, 2017
- Maurizio Proietti, Seki H. eds.: Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9-11, 2014 Revised Selected Papers, Lecture Notes in Computer Science, 8981, 2015
- Maurizio Proietti ed.: Logic Program Synthesis and Transformation -- LOPSTR '95, Lecture Notes in Computer Science, 1048, Springer-Verlag, 1996
SELECTED REPORTS
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, IASI-CNR, R. 16-09, 2016
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, IASI-CNR, R. 16-08, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, R. 15-09, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, R. 15-08, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Verification of Relational Program Properties, IASI-CNR, R. 15-07, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, IASI-CNR, R. 14-07, 2014
- Maurizio Proietti, Seki H.: Logic-Based Program Synthesis and Transformation, Preliminary Proceedings, IASI-CNR, R. 14-03, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, R. 13-11, 2013
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, R. 13-10, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, R. 12-22, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, R. 12-19, 2012
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, IASI-CNR, R. 11-24, 2011
- Fioravanti F., Maurizio Proietti, Alberto Pettorossi, Senni V.: A Constraint-Based Transformation for Verifying Infinite State Systems, IASI-CNR, R. 11-23, 2011
- Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, IASI-CNR, R. 09-06, 2009
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Infinite State Systems by Specializing Constraint Logic Programs, IASI-CNR, R. 657, 2007
JOURNALS
- Fioravanti F., Gallagher J., Maurizio Proietti: Preface. Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017, Fundamenta Informaticae 173, 2020
- Alberto Pettorossi: A Historical Account of My Early Research Interests, Electronic Proceedings in Theoretical Computer Science, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, http://dx.doi.org/10.4204/EPTCS.320.1, 2020
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Semantics and controllability of time-aware business processes, Fundamenta Informaticae 165, 2019
- Emanuele De Angelis, Fioravanti F., Palacios A., Alberto Pettorossi, Maurizio Proietti: Property-Based Test Case Generators for Free, Lecture Notes in Computer Science 11823, 186-206, 2019
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Predicate Pairing for Program Verification, Theory and Practice of Logic Programming 18, 126-166, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Predicate pairing with abstraction for relational verification, Lecture Notes in Computer Science 10855, 289-305, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Solving Horn Clauses on Inductive Data Types Without Induction, Theory and Practice of Logic Programming 18, 452-469, 2018
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, Lecture Notes in Computer Science 10364, 103-118, 2017
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, Fundamenta Informaticae 150 (1), 73-117, 2017
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, Science of Computer Programming 147, 78-108, 2017
- Maurizio Proietti, Seki H., Woodcock J: Editorial of the Special Issue on LOPSTR'14, Formal Aspects of Computing 29, 1-2, 2017
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Horn Clause Transformation for Program Verification, Newsletter of the Association for Logic Programming, https://www.cs.nmsu.edu/ALP/2016/09, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Relational Verification Through Horn Clause Transformation, Lecture Notes in Computer Science 9837, 147-169, 2016
- Giulia Fiscon, Iannello G, Paola Paci: A perspective on the algorithms predicting and evaluating the RNA secondary structure, Journal of Genetics and Genome Research, 3, 2016
- Amoretti M, Grazioli A, Senni V., Tiezzi F, Zanichelli F: A formalized framework for mobile cloud computing, Service Oriented Computing and Applications 9(3-4), 229-248, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, Fundamenta Informaticae 140, 329-355, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses, Theory and Practice of Logic Programming 15, 635-650, 2015
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient generation of test data structures using constraint logic programming and program transformation, Journal of Logic and Computation 25, 1263-1283, 2015
- Latella D., Loreti M., Massink M., Senni V.: On StocS: A Stochastic Extension of SCEL, Lecture Notes in Computer Science 8950, 619-640, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program verification via iterated specialization, Science of Computer Programming 95, 149-175, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, Lecture Notes in Computer Science 8318, 182-202, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: VeriMAP: A tool for verifying programs through transformations, Lecture Notes in Computer Science 8413, 568-574, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Constrained Generalization for Software Model Checking, Lecture Notes in Computer Science Vol. 7844, pp. 51-70, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, Theory and Practice of Logic Programming 13, 175-199, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-based Verification, Fundamenta Informaticae 124, 483-502, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Proving Theorems by Program Transformation, Fundamenta Informaticae 127 (1-4), 115-134, 2013
- Bistarelli S., Fioravanti F., Peretti P., Santini F.: Evaluation of complex security scenarios using defense trees and economic indexes, Journal of Experimental & Theoretical Artificial Intelligence 24, 161-192, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs Using Answer Set Programming, Fundamenta Informaticae 120, 205-229, 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, Fundamenta Informaticae 119, 281-300, 2012
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, Formal Aspects of Computing 24, 569-594, 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Transformation for Development, Verification, and Synthesis of Programs, Intelligenza Artificiale 5, 119-125, 2011
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformations of Logic Programs on Infinite Lists, Theory and Practice of Logic Programming 10, 383-399, 2010
COLLECTIONS
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates, in the Proceedings of International Joint Conference on Automated Reasoning IJCAR 2020, Lecture Notes in Computer Science, 12166, 2020
- Emanuele De Angelis, Fioravanti F., Maurizio Proietti: Transformational verification of quicksort, in the Proceedings of 8th International Workshop on Verification and Program Transformation, Electronic Proceedings in Theoretical Computer Science, 320, 2020
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study, in the Proceedings of Seventh International Workshop on Verification and Program Transformation (VPT 2019), Lisitsa A., Nemytykh A. eds., Electronic Proceedings in Theoretical Computer Science, 299, 2019
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification, in the Proceedings of Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019), Electronic Proceedings in Theoretical Computer Science, 296, 2019
- Emanuele De Angelis, Fioravanti F., Palacios A., Alberto Pettorossi, Maurizio Proietti: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs, in the Proceedings of 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), Electronic Proceedings in Theoretical Computer Science, 278, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Enhancing Predicate Pairing with Abstraction for Relational Verification, in the Proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Preliminary version, Fioravanti F, Gallagher J. eds., CoRR, arXiv, 1708-07854, 2017
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verification of Time-Aware Business Processes using Constrained Horn Clauses, in the Proceedings of the International Symposium on Logic-based Program Transformation and Synthesis (LOPSTR 2016), 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Removing unnecessary variables from Horn clause verification conditions, in the Proceedings of 3rd International Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 219, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying relational program properties by transforming constrained Horn clauses, in the Proceedings of Proceedings of the 31st Italian Conference on Computational Logic, CEUR-WS, 1645, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Semantics-based generation of verification conditions by program specialization, ACM Symposium on Principles and Practice of Declarative Programming, 2015
- Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, in the Proceedings of First Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 169, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, in the Proceedings of Proceedings of VPT 2014, EasyChair Proceedings in Computing (EPiC) series, 28, 2014
- Amoretti M, Grazioli A, Senni V., Tiezzi F, Zanichelli F: Towards a Formal Approach to Mobile Cloud Computing., in the Proceedings of Proccedings of PDP - Session on Formal Approaches to Parallel and Distributed Systems 2014, IEEE Computer Society Press, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, in the Proceedings of Partial Evaluation and Program Manipulation (PEPM '13), ACM-SIGPLAN, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs through Transformation of Constraint Logic Programs, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 30-41, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Transforming Constraint Logic Programs, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 83-98, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Constraint Logic Program Transformation, in the Proceedings of SAIRP 2013, Festschrift for Dave Schmidt, Electronic Proceedings in Theoretical Computer Science, Vol 129, pp. 186-210, 2013
- Alberto Pettorossi, Maurizio Proietti: Program Transformation for Program Verification, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 13-14, 2013
- Smith F., De Sanctis D., Maurizio Proietti: A Platform for Managing Business Process Knowledge Bases via Logic Programming, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 247-251, 2013
- Smith F., Maurizio Proietti: Rule-Based Behavioural Reasoning on Semantic Business Processes, in the Proceedings of 5th International Conference on Agents and Artificial Intelligence, ICAART, pp. 130-143, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Software Model Checking by Program Specialization, in the Proceedings of 27th Italian Conference on Computational Logic (CILC-2012), CEUR-WS, 857, 2012
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Branching Preserving Specialization for Software Model Checking, in the Proceedings of 22nd International Symposium on Logic-Based Program Synhesis and Transformation (LOPSTR 2012), Albert E. ed., 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Using Real Relaxations During Program Specialization, in: Logic-based Program Synthesis and Transformation, Selected papers, Vidal G. ed., Lecture Notes in Computer Science, 7225, Springer Berlin, Heidelberg, 106-122, 2012
- Giorgetti A, Senni V.: Specification and Validation of Algorithms Generating Planar Lehman Words, in the Proceedings of 8th International Conference on random generation of combinatorial structures (GASCom'12, ), June 25-27, 2012, LaBRI, Bordeaux, 2012
- Senni V., Fioravanti F.: Generation of Test Data Structures Using Constraint Logic Programming, in the Proceedings of 6th International Conference on Tests and Proofs (TAP 2012), Lecture Notes in Computer Science, 7305, 2012
- Smith F., Michele Missikoff, Maurizio Proietti: Ontology-Based Querying of Composite Services, in: Business System Management and Engineering, Lecture Notes in Computer Science, 7350, Springer Berlin, 159-180, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs using Answer Set Programming, in the Proceedings of International Workshop on Concurrency, Specification and Programming (CS&P 2011), Pultusk, Poland, 28-30 Sept. 2011, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in: Logic-Based Program Synthesis and Transformation, 20th International Symposium, LOPSTR '10, Revised Selected Papers, Alpuente M ed., Lecture Notes in Computer Science, 6564, Springer Berlin Heidelberg, 164-183, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, in: Reachability Problems (RP 2011), Delzanno G, Potapov I eds., Lecture Notes in Computer Science, 6945, Springer Berlin Heidelberg, 165-179, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-Based Verification, in the Proceedings of 26th Italian Conference on Computational Logic (CILC'11), Fioravanti F ed., CEUR-WS, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Using Real Relaxations During Program Specialization, in the Proceedings of 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), Univ. of Southern Denmark, Odense, Denmark, pp. 96-111, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying Semantically Enriched Business Processes, in: 22nd International Conference on Database and Expert Systems Applications (DEXA 2011), Lecture Notes in Computer Science, 6861, Springer Berlin Heidelberg, 294-302, 2011
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 19th Italian Symposium on Advanced Database Systems, SEBD 2011, Maratea, Italy, 2011
- Senni V., Ringeissen C.: Modular Termination and Combinability for Superposition Modulo Counter Arithmetic, in: 8th International Symposium Frontiers of Combining Systems FroCoS 2011, Lecture Notes in Artificial Intelligence, 6989, Springer Berlin, 211-226, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in the Proceedings of 20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, RISC-Linz Report Series No. 10-14., Alpuente M ed., 2010
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, in: 19th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR '09), Revised Selected Papers, De Schreye D. ed., Lecture Notes in Computer Science, 6037, Springer, 5-21, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: A Transformation Strategy for Verifying Logic Programs on Infinite Lists, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, in: A 25 Year Perspective on Logic Programming, Pontelli E., Dovier A. eds., Lecture Notes in Computer Science, 6125, Springer, 112-135, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, in the Proceedings of 19th International Symposium on Logic Program Synthesis and Transformation (LOPSTR 2009), De Schreye D., Quaresma P. eds., 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables, in: Proceedings of the 22nd International Conference on Logic Programming (ICLP '06), Etalle S., Truszczynski M. eds., Lecture Notes in Computer Science, 4079, Springer-Verlag, 179-195, 2006
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automatic Proofs of Protocols via Program Transformation., in: Monitoring, Security, and Rescue Techniques in Multiagent Systems, Advances in Soft Computing Series, Skowron A., Dunin-Keplicz B., Jankowski A., Szczuka M. eds., Advances in Soft Computing, 99-116, 2005
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Parameterized Protocols Using Array Formulas., in the Proceedings of 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), Imperial College, London, UK, September 7-9, Hill P.M ed., Lecture Notes in Computer Science, 2005
- Alberto Pettorossi, Maurizio Proietti, Fioravanti F.: Transformation rules for locally stratified constraint logic programs, in: Program Development in Computational Logic, Bruynooghe M., Lau K.-K. eds., Lecture Notes in Computer Science, 3049, Springer Heidelberg, 291-339, 2004
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation, in: 12th International Symposium on Logic-based Program Develpment and Transformation, Leuschel M. ed., Lecture Notes in Computer Science, 2664, 160-181, 2003
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs, in the Proceedings of ACM-Sigplan International Workshop on Verification and Computational Logic, VCL'2001, Florence, Italy, September 4, 2001, pp. 85-96., 2001
- Maurizio Proietti: Connections between Partial Maps Categories and Tripos Theory, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 254-269, 1987
BOOKS
- Lisitsa A., Nemytykh A.P., Maurizio Proietti eds.: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017, Electronic Proceedings in Theoretical Computer Science, 253, Elsevier, 2017
- Alberto Pettorossi: Semantics of Programming Languages. Third Edition, Aracne Editrice Ariccia, Italy, 2016
- Alberto Pettorossi: Elements of Computability, Decidability, and Complexity Fifth edition., Aracne Editrice Ariccia, Italy, 2016
- Alberto Pettorossi, Maurizio Proietti: First Order Predicate Calculus and Logic Programming. Fourth Edition., Aracne Editrice, 2016
- Maurizio Proietti, Seki H. eds.: Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9-11, 2014 Revised Selected Papers, Lecture Notes in Computer Science, 8981, 2015
- Alberto Pettorossi, Maurizio Proietti: First Order Predicate Calculus and Logic Programming, Third Edition, Aracne Editrice Roma, 2013
- Alberto Pettorossi, Maurizio Proietti: First Order Predicate Calculus and Logic Programming, Aracne Roma, 2002
SELECTED REPORTS
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, IASI-CNR, R. 16-09, 2016
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, IASI-CNR, R. 16-08, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, R. 15-09, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, R. 15-08, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Verification of Relational Program Properties, IASI-CNR, R. 15-07, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, IASI-CNR, R. 14-07, 2014
- Maurizio Proietti, Seki H.: Logic-Based Program Synthesis and Transformation, Preliminary Proceedings, IASI-CNR, R. 14-03, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, R. 13-11, 2013
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, R. 13-10, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, R. 12-22, 2012
- Smith F., Maurizio Proietti: Rule-Based Behavioral Reasoning on Semantic Business Processes, IASI-CNR, R. 12-21, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, R. 12-19, 2012
- Fioravanti F., Maurizio Proietti, Alberto Pettorossi, Senni V.: A Constraint-Based Transformation for Verifying Infinite State Systems, IASI-CNR, R. 11-23, 2011
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-07, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, IASI-CNR, R. 09-06, 2009
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Infinite State Systems by Specializing Constraint Logic Programs, IASI-CNR, R. 657, 2007
|
