(2021). Semantics of multiway dataflow constraint systems. Journal of Logical and Algebraic Methods in Programming. 26 pages.
(2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —. Communications in Computer and Information Science. 1-26.
(2021). Padding in the Mathematics of Arrays. 12 pages.
(2021). Axiom Based Testing for Fun and Pedagogy. Communications in Computer and Information Science. 27-57.
(2019). The Efficacy of ICT in Weather Forecast Information Dissemination: Evidence from Farming Communities in Mbale and Rakai Districts, Uganda. Climate Change Management. 23 pages.
(2019). Secure Programming: What we do (not) teach our students.
(2019). Mismatch between programmer intuition and program semantics:
An education related vulnerability.
(2019). Finite difference methods fengshui: alignment through a mathematics of arrays
. 12 pages.
(2019). Abstracting Scientific Array-Based Computations in High-Performance Computing Environments.
More information in national current research information system (CRIStin)