Yusuf Moosa Motara

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 7

Top Topics

Integrity Verification

Functional Programming

Quantifier Elimination

Information Systems

Top Venues

Publications

Yusuf Moosa Motara
High-Level Modelling for Typed Functional Programming. TFP (2021)
Yusuf Moosa Motara
A structural modeling notation for the typed functional paradigm. SAC (2020)
Yusuf Moosa Motara
Obstacles when teaching functional programming. CSERC (2020)
Yusuf Moosa Motara, Karl Van der Schyff
A functional ontology for information systems. South Afr. Comput. J. 31 (2) (2019)
Yusuf Moosa Motara, Karl Van der Schyff
A functional ontology. SAICSIT (2018)
William Thomas Weilbach, Yusuf Moosa Motara
Distributed Ledger Technology to Support Digital Evidence Integrity Verification Processes. ISSA (Revised Selected Papers) (2018)
Yusuf Moosa Motara, Barry Irwin
SHA-1 and the Strict Avalanche Criterion. ISSA (2016)
Yusuf Moosa Motara
Functional Programming and Security CoRR (2012)