Jon Haël Brenas

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Proving the Correctness of Knowledge Graph Update: A Scenario From Surveillance of Adverse Childhood Experiences.

Jon Haël Brenas, Arash Shaban-Nejad

Frontiers Big Data, 2021

2020

Health Intervention Evaluation Using Semantic Explainability and Causal Reasoning.

Jon Haël Brenas, Arash Shaban-Nejad

IEEE Access, 2020

2019

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

Jon Haël Brenas, Eun Kyong Shin, Arash Shaban-Nejad

CoRR, 2019

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

Mohammad Sadnan Al Manir, Jon Haël Brenas, Christopher J. O. Baker, Arash Shaban-Nejad

CoRR, 2019

A Hybrid Recommender System to Guide Assessment and Surveillance of Adverse Childhood Experiences.

Jon Haël Brenas, Eun Kyong Shin, Arash Shaban-Nejad

Proceedings of the Health Informatics Vision: From Data via Information to Knowledge, 2019

Reasoning Formally About Database Queries and Updates.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

An Ontological Framework to Improve Surveillance of Adverse Childhood Experiences (ACEs).

Jon Haël Brenas, Eun Kyong Shin, Arash Shaban-Nejad

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.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

CoRR, 2018

Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance.

Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad

IEEE Access, 2018

Verifying Graph Transformations with Guarded Logics.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Exploring Semantic Data Federation to Enable Malaria Surveillance Queries.

Jon Haël Brenas, Mohammad Sadnan Al Manir, Kate Zinszer, Christopher J. O. Baker, Arash Shaban-Nejad

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.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Graph Transformation - 11th International Conference, 2018

2017

A Malaria Analytics Framework to Support Evolution and Interoperability of Global Health Surveillance Systems.

Jon Haël Brenas, Mohammad Sadnan Al Manir, Christopher J. O. Baker, Arash Shaban-Nejad

IEEE Access, 2017

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the SCSS 2017, 2017

A Change Management Dashboard for the SIEMA Global Malaria Surveillance Infrastructure.

Jon Haël Brenas, Mohammad Sadnan Al Manir, Christopher J. O. Baker, Arash Shaban-Nejad

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).

Jon Haël Brenas

PhD thesis, 2016

Proving Correctness of Logically Decorated Graph Rewriting Systems.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Ensuring Correctness of Model Transformations While Remaining Decidable.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

On the Closure of Description Logics under Substitutions.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Provably Correct Graph Transformations with Small-tALC.

Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran

Proceedings of the 11th International Conference on ICT in Education, 2015

2014

SROIQsigma is decidable.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

CoRR, 2014

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Theoretical Computer Science, 2014