Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance
Brenas, Jon Haël, Strecker, Martin, Echahed, Rachid, Shaban-Nejad, Arash
Published in IEEE access (2018)
Published in IEEE access (2018)
Get full text
Journal Article
Verifying Graph Transformations with Guarded Logics
Brenas, Jon Hael, Echahed, Rachid, Strecker, Martin
Published in 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.08.2018)
Published in 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.08.2018)
Get full text
Conference Proceeding
Mechanisms of transcriptional regulation in Anopheles gambiae revealed by allele-specific expression
Dyer, Naomi A., Lucas, Eric R., Nagi, Sanjay C., McDermott, Daniel P., Brenas, Jon H., Miles, Alistair, Clarkson, Chris S., Mawejje, Henry D., Wilding, Craig S., Halfon, Marc S., Asma, Hasiba, Heinz, Eva, Donnelly, Martin J.
Published in Proceedings of the Royal Society. B, Biological sciences (18.09.2024)
Published in Proceedings of the Royal Society. B, Biological sciences (18.09.2024)
Get full text
Journal Article
Contemporary Ne estimation using temporally spaced data with linked loci
Hui, Tin‐Yu J., Brenas, Jon Haël, Burt, Austin
Published in Molecular ecology resources (01.10.2021)
Published in Molecular ecology resources (01.10.2021)
Get full text
Journal Article
Whole-genome sequencing of major malaria vectors reveals the evolution of new insecticide resistance variants in a longitudinal study in Burkina Faso
Kientega, Mahamadi, Clarkson, Chris S, Traoré, Nouhoun, Hui, Tin-Yu J, O'Loughlin, Samantha, Millogo, Abdoul-Azize, Epopa, Patric Stephane, Yao, Franck A, Belem, Adrien M G, Brenas, Jon, Miles, Alistair, Burt, Austin, Diabaté, Abdoulaye
Published in Malaria journal (17.09.2024)
Published in Malaria journal (17.09.2024)
Get full text
Journal Article
A Semantic Platform for Surveillance of Adverse Childhood Experiences
Brenas, John Hael Simon, Shin, Eun Kyong, Shaban-Nejad, Arash
Published in Online journal of public health informatics (30.05.2019)
Published in Online journal of public health informatics (30.05.2019)
Get full text
Journal Article
On the Verification of Logically Decorated Graph Transformations
Get full text
Paper
Journal Article