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
302019
Health intervention evaluation using semantic explainability and causal reasoning
JH Brenas, A Shaban-Nejad
IEEE Access 8, 9942-9952, 2020
212020
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
Ensuring correctness of model transformations while remaining decidable
JH Brenas, R Echahed, M Strecker
Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium†…, 2016
152016
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
ICT for Health Science Research, 31-35, 2019
112019
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
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
62016
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
Provably correct graph transformations with small-tALC
N Baklanova, JH Brenas, R Echahed, C Percebois, M Strecker, HN Tran
ICTERI, 78-93, 2015
52015
C2PDLs: A Combination of Combinatory and Converse PDL with Substitutions
JH Brenas, M Strecker, E Rachid
5*
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
42020
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
Contemporary Ne estimation using temporally spaced data with linked loci
TYJ Hui, JH Brenas, A Burt
Molecular Ecology Resources 21 (7), 2221-2230, 2021
32021
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
The system can't perform the operation now. Try again later.
Articles 1–20