| $$\hbox {OCL}_\textsf {FO}$$OCLFO: first-order expressive OCL constraints for efficient integrity checking | 0 | 0.34 | 2019 |
| UNiCS - The Ontology for Research and Innovation Policy Making. | 0 | 0.34 | 2018 |
| UNiCS: The Open Data Platform for Research and Innovation. | 0 | 0.34 | 2018 |
| The OBDA-Based "Observatory of Research and Innovation" of the Tuscany Region. | 0 | 0.34 | 2017 |
| GROM: a General Rewriter of Semantic Mappings | 0 | 0.34 | 2016 |
| TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. | 1 | 0.36 | 2016 |
| Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire. | 0 | 0.34 | 2016 |
| Ontology-based mappings | 7 | 0.74 | 2015 |
| AuRUS: explaining the validation of UML/OCL conceptual schemas | 0 | 0.34 | 2015 |
| Knowledge Representation in EPNet. | 1 | 0.36 | 2015 |
| Logic Foundations of the OCL Modelling Language. | 6 | 0.51 | 2014 |
| Semantic-Based Mappings. | 2 | 0.37 | 2013 |
| Validation of schema mappings with nested queries. | 0 | 0.34 | 2013 |
| Incremental mapping compilation in an object-to-relational mapping system | 1 | 0.37 | 2013 |
| Automated reasoning on UML conceptual schemas with derived information and queries. | 3 | 0.40 | 2013 |
| Query containment in entity SQL | 1 | 0.36 | 2013 |
| AuRUS: automated reasoning on UML/OCL schemas | 10 | 0.61 | 2010 |
| MVT: a schema mapping validation tool | 0 | 0.34 | 2009 |
| Validation of mappings between schemas | 40 | 2.21 | 2008 |
| SVTe: a tool to validate database schemas giving explanations | 8 | 0.54 | 2008 |
| Providing Explanations for Database Schema Validation | 8 | 0.54 | 2008 |
| Computing explanations for unlively queries in databases | 5 | 0.50 | 2007 |
| Contención de consultas con valores nulos usando el método CQC | 0 | 0.34 | 2006 |
