Author of the publication

Verification of Generic, Relational Transition Systems.

, , , and . PMAI@IJCAI, volume 3310 of CEUR Workshop Proceedings, page 93-96. CEUR-WS.org, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Query Answering over Description Logic Ontologies.. JELIA, volume 8761 of Lecture Notes in Computer Science, page 1-17. Springer, (2014)The MASTRO system for ontology-based data access., , , , , , , , and . Semantic Web, 2 (1): 43-53 (2011)Rewriting of Regular Expressions and Regular Path Queries., , , and . J. Comput. Syst. Sci., 64 (3): 443-465 (2002)On simplification of schema mappings., , , and . J. Comput. Syst. Sci., 79 (6): 816-834 (2013)Integrating 3D City Data through Knowledge Graphs., , , , , , , , and . CoRR, (2023)The biggest business process management problems to solve before we die., , , , , , , , , and 32 other author(s). Comput. Ind., (April 2023)Finite model reasoning on UML class diagrams via constraint programming., , , and . Intelligenza Artificiale, 7 (1): 57-65 (2013)Finite Model Reasoning in Description Logics.. KR, page 292-303. Morgan Kaufmann, (1996)OBDA with the Ontop Framework, , , , , , , , and . Proceedings of the 23rd Italian Symposium on Advanced Database Systems (SEBD), (2015)Preface to the Special Issue on Ontology-Based Data Access, , and . Journal of Web Semantics, (2015)