A multi-level marketing case study : specifying forests and trees in Z. - John A. van der Poll; Paula Kotzé (South Afr. Comput. J., 2003)

Reasoning about the Properties of an Enterprise Information System. - John A. van der Poll; Paula Kotzé (VVEIS, 2004)

Automated Support for Enterprise Information Systems. - John A. van der Poll; Paula Kotzé; Willem Adrian Labuschagne (J. Univers. Comput. Sci., 2004)

Enhancing the established strategy for constructing a Z specification. - John A. van der Poll; Paula Kotzé (South Afr. Comput. J., 2005)

HCI pattern semantics in XML: a pragmatic approach. - Ashraf Gaffar; Ahmed Seffah; John A. van der Poll (ACM SIGSOFT Softw. Eng. Notes, 2005)

Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. - Paul S. Steyn; John A. van der Poll (MSVVEIS, 2007)

Planning as model checking: the performance of ProB vs NuSMV. - Tertia Hörne; John A. van der Poll (SAICSIT, 2008)

A virtual integrated network emulator on XEN (viNEX). - Abraham Mukosi Mukwevho; John Andrew van der Poll; Robert Mark Jolliffe (SimuTools, 2009)

Use Case Maps as an Aid in the Construction of a Formal Specification. - Cyrille Dongmo; John Andrew van der Poll (MSVVEIS, 2009)

A four-way framework for validating a specification. - Cyrille Dongmo; John Andrew van der Poll (SAICSIT, 2010)

Formal methods in software development: a road less travelled. - John A. van der Poll (South Afr. Comput. J., 2010)

Towards the formalisation of object-oriented methodologies. - Ayodele A. Adesina-Ojo; John A. van der Poll; Lucas M. Venter (SAICSIT, 2011)

Evaluating software specifications by comparison. - Cyrille Dongmo; John Andrew van der Poll (SAICSIT, 2011)

Mobile Ad-hoc Network Security Challenges Under AODV Routing Protocol. - Elisha Oketch Ochola; Mariki M. Eloff; John A. van der Poll (INC, 2012)

Towards a framework for decision making regarding IT adoption. - Osden Jokonya; Jan H. Kroeze; John A. van der Poll (SAICSIT, 2012)

A Framework to Analyze E-Government OSS Adoption Benefits. - Osden Jokonya; Jan H. Kroeze; John A. van der Poll (AMCIS, 2013)

Democratic detection of malicious behaviour in MANET: A voting process. - Elisha O. Ochola; Mariki M. Eloff; John A. van der Poll (ISSA, 2013)

Transforming Formal Specification Constructs into Diagrammatic Notations. - Kobamelo Moremedi; John Andrew van der Poll (MEDI, 2013)

The failure of watchdog schemes in MANET security: a case of an intelligent black-hole. - Elisha O. Ochola; Mariki M. Eloff; John A. van der Poll (SAICSIT, 2013)

A Framework to Assist Organizations with IT Adoption Governance. - Osden Jokonya; Jan H. Kroeze; John A. van der Poll (CloudCom, 2014)

Towards a model on security challenges during closed source software to OSS migrations. - Olusegun Ademolu Ajigini; John A. van der Poll; Jan H. Kroeze (ICITST, 2014)

An Ant-based Mobile Agent Approach to Resource Discovery in Grid Computing. - Devendra Gengan; Marthie A. Schoeman; John A. van der Poll (SAICSIT, 2014)

Measuring Method Complexity of the Case Management Modeling and Notation (CMMN). - Mike A. Marin; Hugo Lotriet; John A. van der Poll (SAICSIT, 2014)

Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs). - Cyrille Dongmo; John Andrew van der Poll (Int. J. Softw. Eng. Knowl. Eng., 2014)

The Role of Cloud Computing in Addressing SME Challenges in South Africa. - Nkosi Kumalo; John Andrew van der Poll (ICCCRI, 2015)

Managing Globally Distributed Software Development Projects using Virtual Teams: A Middle East Case Study. - Nelson Denhere; Tertia Hörne; John Andrew van der Poll (SAICSIT, 2015)

Metrics for the Case Management Modeling and Notation (CMMN) Specification. - Mike A. Marin; Hugo Lotriet; John A. van der Poll (SAICSIT, 2015)

Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau. - Mapetlwane Litha Mokwana; John Andrew van der Poll (SAICSIT, 2015)

Implementing Deterministic Finite State Machines using Guard-Stage-Milestone. - Mike A. Marin; Hugo Lotriet; John A. van der Poll (SAICSIT, 2016)

Security Failure Trends of Cloud Computing. - Zachariah Pabi Gariba; John Andrew van der Poll (CIC, 2017)

Post cloud computing implementation benefits and challenges realised for a South African technology company. - Michael Kudakwashe Chihande; John Andrew van der Poll (ICTAS, 2017)

The Project Management Information System as Enabler for ICT4D Achievement at Capability Maturity Level 2 and Above. - Mark Jonathan Corrigan; John Andrew van der Poll; Emmanuel Samuel Mtsweni (IDIA, 2018)

Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations. - Kobamelo Moremedi; John Andrew van der Poll (Int. J. Data Min. Model. Manag., 2019)

The impact of task-technology fit on the organisational commitment of mobile knowledge workers in South Africa. - Michelle Elizabeth Robberts; John Andrew van der Poll; Klarissa Engelbrecht (SAICSIT, 2020)

Digitalisation Practices in South-African State-Owned Enterprises: A Framework for Rapid Adoption of Digital Solutions. - Thapedi Malope; John Andrew van der Poll; Ozias Ncube (HICSS, 2021)

Towards a Framework to Address Enterprise Resource Planning (ERP) Challenges. - Stephen Kwame Senaya; John Andrew van der Poll; Marthie A. Schoeman (ICICT (2), 2021)

A Research Agenda for Embedding 4IR Technologies in the Leadership Management of Formal Methods. - John Andrew van der Poll (CSCI, 2022)

A Framework for Knowledge Management System Adoption in Small and Medium Enterprises. - Werner Richardt van Zyl; Sanchen Henning; John Andrew van der Poll (Comput., 2022)

The Applicability of Automated Testing Frameworks for Mobile Application Testing: A Systematic Literature Review. - Natnael Gonfa Berihun; Cyrille Dongmo; John Andrew van der Poll (Comput., 2023)

Towards a Conceptual Framework for Data Management in Business Intelligence. - Ramakolote Judas Mositsa; John Andrew van der Poll; Cyrille Dongmo (Inf., 2023)

An Improved User Requirements Notation (URN) Models' Construction Approach. - Cyrille Dongmo; John Andrew van der Poll (Syst., 2023)

A Control Framework for a Secure Internet of Things within Small-, Medium-, and Micro-Sized Enterprises in a Developing Economy. - Tebogo Mhlongo; John Andrew van der Poll; Tebogo Sethibe (Comput., 2023)

The Role of 4IR-5IR Leadership-Management in the Adoption of Formal Methods. - John Andrew van der Poll (Syst., 2024)