Next generation ICT policy in South Africa: Towards a human development-based ICT policy. - Walter Brown; Irwin Brown (HCC, 2008)

Towards a research framework for a human development-based "bottom of the pyramid" ICT development strategy in South Africa. - Walter Brown; Irwin Brown (ECIS, 2009)

Innovations for digital inclusion: Leveraging next generation networks for human development from the bottom of the pyramid. - Walter Brown (Kaleidoscope, 2009)

Arithmetic Bit-Level Verification Using Network Flow Model. - Maciej J. Ciesielski; Walter Brown; André Rossi (Haifa Verification Conference, 2013)

Function Extraction from Arithmetic Bit-Level Circuits. - Maciej J. Ciesielski; Walter Brown; Duo Liu; André Rossi (ISVLSI, 2014)

Verification of gate-level arithmetic circuits by function extraction. - Maciej J. Ciesielski; Cunxi Yu; Walter Brown; Duo Liu; André Rossi (DAC, 2015)

Verification of arithmetic datapath designs using word-level approach - A case study. - Cunxi Yu; Walter Brown; Maciej J. Ciesielski (ISCAS, 2015)

Logic Debugging of Arithmetic Circuits. - Samaneh Ghandali; Cunxi Yu; Duo Liu; Walter Brown; Maciej J. Ciesielski (ISVLSI, 2015)

Formal Verification of Arithmetic Circuits by Function Extraction. - Cunxi Yu; Walter Brown; Duo Liu; André Rossi; Maciej J. Ciesielski (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)