A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (IFIP TCS, 2014)

SROIQsigma is decidable. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (CoRR, 2014)

Provably Correct Graph Transformations with Small-tALC. - Nadezhda Baklanova; Jon Haël Brenas; Rachid Echahed; Christian Percebois; Martin Strecker; Hanh Nhi Tran (ICTERI, 2015)

On the Closure of Description Logics under Substitutions. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (Description Logics, 2016)

Ensuring Correctness of Model Transformations While Remaining Decidable. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (ICTAC, 2016)

Proving Correctness of Logically Decorated Graph Rewriting Systems. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (FSCD, 2016)

Hoare-like verification of graph transformation. (Raisonnement sur les transformations de graphes). - Jon Haël Brenas (2016)

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 (ISWC (Posters, Demos & Industry Tracks), 2017)

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (SCSS, 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)

Verifying Graph Transformation Systems with Description Logics. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (ICGT, 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 (MIE, 2018)

Verifying Graph Transformations with Guarded Logics. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (TASE, 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)

On the Verification of Logically Decorated Graph Transformations. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (CoRR, 2018)

An Ontological Framework to Improve Surveillance of Adverse Childhood Experiences (ACEs). - Jon Haël Brenas; Eun Kyong Shin; Arash Shaban-Nejad (EFMI-STC, 2019)

Reasoning Formally About Database Queries and Updates. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (FM, 2019)

A Hybrid Recommender System to Guide Assessment and Surveillance of Adverse Childhood Experiences. - Jon Haël Brenas; Eun Kyong Shin; Arash Shaban-Nejad (ICIMTH, 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)

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)

Health Intervention Evaluation Using Semantic Explainability and Causal Reasoning. - Jon Haël Brenas; Arash Shaban-Nejad (IEEE Access, 2020)

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)