Jon Haël Brenas

ORCID

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 18

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Jon Haël Brenas, Arash Shaban-Nejad
Proving the Correctness of Knowledge Graph Update: A Scenario From Surveillance of Adverse Childhood Experiences. Frontiers Big Data 4 (2021)
Jon Haël Brenas, Arash Shaban-Nejad
Health Intervention Evaluation Using Semantic Explainability and Causal Reasoning. IEEE Access 8 (2020)
Jon Haël Brenas, Eun Kyong Shin, Arash Shaban-Nejad
Adverse Childhood Experiences Ontology for Mental Health Surveillance, Research, and Evaluation: Advanced Knowledge Representation and Semantic Web Techniques. CoRR (2019)
Jon Haël Brenas, Eun Kyong Shin, Arash Shaban-Nejad
A Hybrid Recommender System to Guide Assessment and Surveillance of Adverse Childhood Experiences. ICIMTH (2019)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Reasoning Formally About Database Queries and Updates. FM (2019)
Jon Haël Brenas, Eun Kyong Shin, Arash Shaban-Nejad
An Ontological Framework to Improve Surveillance of Adverse Childhood Experiences (ACEs). EFMI-STC (2019)
Mohammad Sadnan Al Manir, Jon Haël Brenas, Christopher J. O. Baker, Arash Shaban-Nejad
A Surveillance Infrastructure for Malaria Analytics: Provisioning Data Access and Preservation of Interoperability. CoRR (2019)
Jon Haël Brenas, Mohammad Sadnan Al Manir, Kate Zinszer, Christopher J. O. Baker, Arash Shaban-Nejad
Exploring Semantic Data Federation to Enable Malaria Surveillance Queries. MIE (2018)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
On the Verification of Logically Decorated Graph Transformations. CoRR (2018)
Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access 6 (2018)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformations with Guarded Logics. TASE (2018)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformation Systems with Description Logics. ICGT (2018)
Jon Haël Brenas, Mohammad Sadnan Al Manir, Christopher J. O. Baker, Arash Shaban-Nejad
A Malaria Analytics Framework to Support Evolution and Interoperability of Global Health Surveillance Systems. IEEE Access 5 (2017)
Jon Haël Brenas, Mohammad Sadnan Al Manir, Christopher J. O. Baker, Arash Shaban-Nejad
A Change Management Dashboard for the SIEMA Global Malaria Surveillance Infrastructure. ISWC (Posters, Demos & Industry Tracks) (2017)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS (2017)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
On the Closure of Description Logics under Substitutions. Description Logics (2016)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD (2016)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC (2016)
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably Correct Graph Transformations with Small-tALC. ICTERI (2015)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
SROIQsigma is decidable. CoRR (2014)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS (2014)

Jon Haël Brenas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jon Haël Brenas