Jon Haël Brenas
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Reasoning formally about database queries and updates | 2024-03-14 | Paper |
| Verifying graph transformation systems with description logics | 2018-08-24 | Paper |
| Proving correctness of logically decorated graph rewriting systems | 2017-10-17 | Paper |
| Ensuring correctness of model transformations while remaining decidable Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
| A Hoare-like calculus using the \(\mathrm{SROIQ}^{\sigma }\) logic on transformations of graphs Lecture Notes in Computer Science | 2014-09-15 | Paper |
Research outcomes over time
This page was built for person: Jon Haël Brenas
