Jon Ha\"el Brenas
Identifiers
- name variant Jon Ha\"el Brenas 0.60 · backfill
Papers (3)
- A Surveillance Infrastructure for Malaria Analytics: Provisioning Data Access and Preservation of Interoperability cs.CY · 2019 · author #2
- On the Verification of Logically Decorated Graph Transformations cs.LO · 2018 · author #1
- SROIQsigma is decidable cs.LO · 2014 · author #1
Mentions
- 1406.6605 #1 · backfill · confidence 0.70 Jon Ha\"el Brenas
Frequent Coauthors
- Martin Strecker 2 shared papers
- Rachid Echahed 2 shared papers
- Arash Shaban-Nejad 1 shared papers
- Christopher JO Baker 1 shared papers
- Mohammad Sadnan Al Manir 1 shared papers