Follow
Jon Haël Brenas
Jon Haël Brenas
University of Oxford - Big Data Institute
Verified email at bdi.ox.ac.uk
Title
Cited by
Cited by
Year
A malaria analytics framework to support evolution and interoperability of global health surveillance systems
JH Brenas, MS Al-Manir, CJO Baker, A Shaban-Nejad
IEEE Access 5, 21605-21619, 2017
312017
Adverse childhood experiences ontology for mental health surveillance, research, and evaluation: Advanced knowledge representation and semantic web techniques
JH Brenas, EK Shin, A Shaban-Nejad
JMIR mental health 6 (5), e13498, 2019
292019
A surveillance infrastructure for malaria analytics: provisioning data access and preservation of interoperability
MS Al Manir, JH Brenas, CJO Baker, A Shaban-Nejad
JMIR Public Health and Surveillance 4 (2), e10218, 2018
212018
Health intervention evaluation using semantic explainability and causal reasoning
JH Brenas, A Shaban-Nejad
IEEE Access 8, 9942-9952, 2020
192020
Ensuring correctness of model transformations while remaining decidable
JH Brenas, R Echahed, M Strecker
Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016
142016
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs
JH Brenas, R Echahed, M Strecker
IFIP International Conference on Theoretical Computer Science, 164-178, 2014
122014
An ontological framework to improve surveillance of adverse childhood experiences (ACEs).
JH Brenas, EK Shin, A Shaban-Nejad
EFMI-STC, 31-35, 2019
102019
Verifying graph transformation systems with description logics
JH Brenas, R Echahed, M Strecker
Graph Transformation: 11th International Conference, ICGT 2018, Held as Part …, 2018
102018
Proving correctness of logically decorated graph rewriting systems
JH Brenas, R Echahed, M Strecker
1st International Conference on Formal Structures for Computation and …, 2016
102016
On the closure of description logics under substitutions
JH Brenas, R Echahed, M Strecker
29th International Workshop on Description Logics (DL 2016) 1577, 1-12, 2016
82016
Applied graph transformation and verification with use cases in malaria surveillance
JH Brenas, M Strecker, R Echahed, A Shaban-Nejad
IEEE Access 6, 64728-64741, 2018
52018
Exploring semantic data federation to enable malaria surveillance queries
JH Brenas, MS Al Manir, K Zinszer, CJO Baker, A Shaban-Nejad
Building Continents of Knowledge in Oceans of Data: The Future of Co-Created …, 2018
52018
Coding, executing and verifying graph transformations with small-tALCQe
N Baklanova, JH Brenas, A Makhlouf, C Percebois, M Strecker, HN Tran
Université de Vienne (Autriche)-Complang Group, 2016
52016
Provably correct graph transformations with small-tALC
N Baklanova, JH Brenas, R Echahed, C Percebois, M Strecker, HN Tran
ICTERI, 78-93, 2015
52015
A hybrid recommender system to guide assessment and surveillance of adverse childhood experiences
JH Brenas, EK Shin, A Shaban-Nejad
Health Informatics Vision: From Data via Information to Knowledge, 332-335, 2019
42019
Verifying graph transformations with guarded logics
JH Brenas, R Echahed, M Strecker
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
42018
C2PDLs: A Combination of Combinatory and Converse PDL with Substitutions
JH Brenas, M Strecker, E Rachid
4*
Applied ontologies for global health surveillance and pandemic intelligence
CJO Baker, MSA Manir, JH Brenas, K Zinszer, A Shaban-Nejad
Journal of the Washington Academy of Sciences 106 (4), 67-80, 2020
32020
Design and Use of Semantic Resources: Findings from the Section on Knowledge Representation and Management of the 2020 International Medical Informatics Association Yearbook
F Dhombres, J Charlet
Yearbook of medical informatics 29 (01), 163-168, 2020
32020
Semantic network analysis of COVID-19 vaccine related text from reddit
CA Melton, J Bae, OA Olusanya, JH Brenas, EK Shin, A Shaban-Nejad
Multimodal AI in healthcare: A paradigm shift in health intelligence, 257-266, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20