Jon Haël Brenas

Orcid: 0000-0001-9395-9365

According to our database1, Jon Haël Brenas authored at least 22 papers between 2014 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Proving the Correctness of Knowledge Graph Update: A Scenario From Surveillance of Adverse Childhood Experiences.
Frontiers Big Data, 2021

2020
Health Intervention Evaluation Using Semantic Explainability and Causal Reasoning.
IEEE Access, 2020

2019
Adverse Childhood Experiences Ontology for Mental Health Surveillance, Research, and Evaluation: Advanced Knowledge Representation and Semantic Web Techniques.
CoRR, 2019

A Surveillance Infrastructure for Malaria Analytics: Provisioning Data Access and Preservation of Interoperability.
CoRR, 2019

A Hybrid Recommender System to Guide Assessment and Surveillance of Adverse Childhood Experiences.
Proceedings of the Health Informatics Vision: From Data via Information to Knowledge, 2019

Reasoning Formally About Database Queries and Updates.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

An Ontological Framework to Improve Surveillance of Adverse Childhood Experiences (ACEs).
Proceedings of the ICT for Health Science Research - Proceedings of the EFMI 2019 Special Topic Conference, 2019

2018
On the Verification of Logically Decorated Graph Transformations.
CoRR, 2018

Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance.
IEEE Access, 2018

Verifying Graph Transformations with Guarded Logics.
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Exploring Semantic Data Federation to Enable Malaria Surveillance Queries.
Proceedings of the Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth, 2018

Verifying Graph Transformation Systems with Description Logics.
Proceedings of the Graph Transformation - 11th International Conference, 2018

2017
A Malaria Analytics Framework to Support Evolution and Interoperability of Global Health Surveillance Systems.
IEEE Access, 2017

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.
Proceedings of the SCSS 2017, 2017

A Change Management Dashboard for the SIEMA Global Malaria Surveillance Infrastructure.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

2016
Hoare-like verification of graph transformation. (Raisonnement sur les transformations de graphes).
PhD thesis, 2016

Proving Correctness of Logically Decorated Graph Rewriting Systems.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Ensuring Correctness of Model Transformations While Remaining Decidable.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

On the Closure of Description Logics under Substitutions.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
Provably Correct Graph Transformations with Small-tALC.
Proceedings of the 11th International Conference on ICT in Education, 2015

2014
SROIQsigma is decidable.
CoRR, 2014

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.
Proceedings of the Theoretical Computer Science, 2014


  Loading...