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 | 31 | 2019 |
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 | 31 | 2017 |
Health intervention evaluation using semantic explainability and causal reasoning JH Brenas, A Shaban-Nejad IEEE Access 8, 9942-9952, 2020 | 25 | 2020 |
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 | 21 | 2018 |
Ensuring correctness of model transformations while remaining decidable JH Brenas, R Echahed, M Strecker Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016 | 15 | 2016 |
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 | 12 | 2014 |
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 | 11 | 2019 |
Verifying graph transformation systems with description logics JH Brenas, R Echahed, M Strecker Graph Transformation: 11th International Conference, ICGT 2018, Held as Part …, 2018 | 10 | 2018 |
Proving correctness of logically decorated graph rewriting systems JH Brenas, R Echahed, M Strecker 1st International Conference on Formal Structures for Computation and …, 2016 | 10 | 2016 |
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 | 8 | 2016 |
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 | 6 | 2016 |
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 | 5 | 2018 |
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 | 5 | 2018 |
Provably correct graph transformations with small-tALC N Baklanova, JH Brenas, R Echahed, C Percebois, M Strecker, HN Tran ICTERI, 78-93, 2015 | 5 | 2015 |
C2PDLs: A Combination of Combinatory and Converse PDL with Substitutions JH Brenas, M Strecker, E Rachid | 5* | |
Contemporary Ne estimation using temporally spaced data with linked loci TYJ Hui, JH Brenas, A Burt Molecular Ecology Resources 21 (7), 2221-2230, 2021 | 4 | 2021 |
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 | 4 | 2020 |
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 | 4 | 2019 |
Verifying graph transformations with guarded logics JH Brenas, R Echahed, M Strecker 2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018 | 4 | 2018 |
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 | 3 | 2020 |