Jon Haël Brenas

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