Guillem Rull

According to our database1, Guillem Rull authored at least 24 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
OCLFO: first-order expressive OCL constraints for efficient integrity checking.
Software and Systems Modeling, 2019

2018
UNiCS: The Open Data Platform for Research and Innovation.
Proceedings of the Posters and Demos Track of the 14th International Conference on Semantic Systems co-located with the 14th International Conference on Semantic Systems (SEMANTiCS 2018), 2018

UNiCS - The Ontology for Research and Innovation Policy Making.
Proceedings of the Formal Ontology in Information Systems, 2018

2017
The OBDA-Based "Observatory of Research and Innovation" of the Tuscany Region.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

2016
Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire.
Eng. Appl. Artif. Intell., 2016

TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server.
Proceedings of the 19th International Conference on Extending Database Technology, 2016

GROM: a General Rewriter of Semantic Mappings.
Proceedings of the 19th International Conference on Extending Database Technology, 2016

2015
AuRUS: explaining the validation of UML/OCL conceptual schemas.
Software and Systems Modeling, 2015

Ontology-based mappings.
Data Knowl. Eng., 2015

A 'historical case' of Ontology-Based Data Access.
Proceedings of the 2015 Digital Heritage, Granada, Spain, September 28 - October 2, 2015, 2015

Knowledge Representation in EPNet.
Proceedings of the New Trends in Databases and Information Systems, 2015

2014
Logic Foundations of the OCL Modelling Language.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013
Automated reasoning on UML conceptual schemas with derived information and queries.
Inf. Softw. Technol., 2013

Validation of schema mappings with nested queries.
Comput. Sci. Inf. Syst., 2013

Query containment in entity SQL.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Incremental mapping compilation in an object-to-relational mapping system.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Semantic-Based Mappings.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

2010
AuRUS: Automated Reasoning on UML/OCL Schemas.
Proceedings of the Conceptual Modeling, 2010

2009
MVT: a schema mapping validation tool.
Proceedings of the EDBT 2009, 2009

2008
Validation of mappings between schemas.
Data Knowl. Eng., 2008

SVTe: a tool to validate database schemas giving explanations.
Proceedings of the 1st International Workshop on Testing Database Systems, 2008

Providing Explanations for Database Schema Validation.
Proceedings of the Database and Expert Systems Applications, 19th International Conference, 2008

2007
Computing explanations for unlively queries in databases.
Proceedings of the Sixteenth ACM Conference on Information and Knowledge Management, 2007

2006
Contención de consultas con valores nulos usando el método CQC.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006


  Loading...