default search action
Jon Haël Brenas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j4]Jon Haël Brenas, Arash Shaban-Nejad
:
Proving the Correctness of Knowledge Graph Update: A Scenario From Surveillance of Adverse Childhood Experiences. Frontiers Big Data 4: 660101 (2021) - 2020
- [j3]Jon Haël Brenas
Health Intervention Evaluation Using Semantic Explainability and Causal Reasoning. IEEE Access 8: 9942-9952 (2020)
2010 – 2019
- 2019
- [c13]Jon Haël Brenas, Eun Kyong Shin
An Ontological Framework to Improve Surveillance of Adverse Childhood Experiences (ACEs). EFMI-STC 2019: 31-35 - [c12]Jon Haël Brenas, Rachid Echahed
Reasoning Formally About Database Queries and Updates. FM 2019: 556-572 - [c11]Jon Haël Brenas, Eun Kyong Shin
A Hybrid Recommender System to Guide Assessment and Surveillance of Adverse Childhood Experiences. ICIMTH 2019: 332-335 - [i4]Mohammad Sadnan Al Manir, Jon Haël Brenas, Christopher J. O. Baker, Arash Shaban-Nejad:
A Surveillance Infrastructure for Malaria Analytics: Provisioning Data Access and Preservation of Interoperability. CoRR abs/1902.01877 (2019) - [i3]Jon Haël Brenas, Eun Kyong Shin, Arash Shaban-Nejad:
Adverse Childhood Experiences Ontology for Mental Health Surveillance, Research, and Evaluation: Advanced Knowledge Representation and Semantic Web Techniques. CoRR abs/1912.05530 (2019) - 2018
- [j2]Jon Haël Brenas
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access 6: 64728-64741 (2018) - [c10]Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformation Systems with Description Logics. ICGT 2018: 155-170 - [c9]Jon Haël Brenas, Mohammad Sadnan Al Manir, Kate Zinszer, Christopher J. O. Baker, Arash Shaban-Nejad
Exploring Semantic Data Federation to Enable Malaria Surveillance Queries. MIE 2018: 6-10 - [c8]Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformations with Guarded Logics. TASE 2018: 124-131 - [i2]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
On the Verification of Logically Decorated Graph Transformations. CoRR abs/1803.02776 (2018) - 2017
- [j1]Jon Haël Brenas, Mohammad Sadnan Al Manir, Christopher J. O. Baker, Arash Shaban-Nejad
A Malaria Analytics Framework to Support Evolution and Interoperability of Global Health Surveillance Systems. IEEE Access 5: 21605-21619 (2017) - [c7]Jon Haël Brenas, Mohammad Sadnan Al Manir, Christopher J. O. Baker, Arash Shaban-Nejad:
A Change Management Dashboard for the SIEMA Global Malaria Surveillance Infrastructure. ISWC (Posters, Demos & Industry Tracks) 2017 - [c6]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS 2017: 29-41 - 2016
- [b1]Jon Haël Brenas:
Hoare-like verification of graph transformation. (Raisonnement sur les transformations de graphes). Grenoble Alpes University, France, 2016 - [c5]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
On the Closure of Description Logics under Substitutions. Description Logics 2016 - [c4]Jon Haël Brenas, Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC 2016: 315-332 - [c3]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD 2016: 14:1-14:15 - 2015
- [c2]Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Provably Correct Graph Transformations with Small-tALC. ICTERI 2015: 78-93 - 2014
- [c1]Jon Haël Brenas, Rachid Echahed, Martin Strecker
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS 2014: 164-178 - [i1]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
SROIQsigma is decidable. CoRR abs/1406.6605 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: