default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn A. van der Poll
Person information
- affiliation: University of South Africa, Graduate School of Business Leadership
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]John Andrew van der Poll
:
The Role of 4IR-5IR Leadership-Management in the Adoption of Formal Methods. Syst. 12(8): 306 (2024)- 2023
- [j12]Natnael Gonfa Berihun, Cyrille Dongmo, John Andrew van der Poll:
The Applicability of Automated Testing Frameworks for Mobile Application Testing: A Systematic Literature Review. Comput. 12(5): 97 (2023) - [j11]Tebogo Mhlongo, John Andrew van der Poll, Tebogo Sethibe:
A Control Framework for a Secure Internet of Things within Small-, Medium-, and Micro-Sized Enterprises in a Developing Economy. Comput. 12(7): 127 (2023) - [j10]Ramakolote Judas Mositsa, John Andrew van der Poll, Cyrille Dongmo:
Towards a Conceptual Framework for Data Management in Business Intelligence. Inf. 14(10): 547 (2023) - [j9]Cyrille Dongmo, John Andrew van der Poll:
An Improved User Requirements Notation (URN) Models' Construction Approach. Syst. 11(6): 301 (2023) - 2022
- [j8]Werner Richardt van Zyl, Sanchen Henning, John Andrew van der Poll:
A Framework for Knowledge Management System Adoption in Small and Medium Enterprises. Comput. 11(9): 128 (2022) - [c30]John Andrew van der Poll:
A Research Agenda for Embedding 4IR Technologies in the Leadership Management of Formal Methods. CSCI 2022: 1837-1842 - 2021
- [c29]Thapedi Malope, John Andrew van der Poll, Ozias Ncube:
Digitalisation Practices in South-African State-Owned Enterprises: A Framework for Rapid Adoption of Digital Solutions. HICSS 2021: 1-10 - [c28]Stephen Kwame Senaya, John Andrew van der Poll, Marthie A. Schoeman:
Towards a Framework to Address Enterprise Resource Planning (ERP) Challenges. ICICT (2) 2021: 57-71 - 2020
- [c27]Michelle Elizabeth Robberts, John Andrew van der Poll, Klarissa Engelbrecht:
The impact of task-technology fit on the organisational commitment of mobile knowledge workers in South Africa. SAICSIT 2020: 110-117
2010 – 2019
- 2019
- [j7]Kobamelo Moremedi, John Andrew van der Poll:
Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations. Int. J. Data Min. Model. Manag. 11(3): 259-283 (2019) - 2018
- [c26]Mark Jonathan Corrigan, John Andrew van der Poll, Emmanuel Samuel Mtsweni:
The Project Management Information System as Enabler for ICT4D Achievement at Capability Maturity Level 2 and Above. IDIA 2018: 295-310 - 2017
- [c25]Zachariah Pabi Gariba, John Andrew van der Poll:
Security Failure Trends of Cloud Computing. CIC 2017: 247-256 - [c24]Michael Kudakwashe Chihande, John Andrew van der Poll:
Post cloud computing implementation benefits and challenges realised for a South African technology company. ICTAS 2017: 1-6 - 2016
- [c23]Mike A. Marin, Hugo Lotriet, John A. van der Poll:
Implementing Deterministic Finite State Machines using Guard-Stage-Milestone. SAICSIT 2016: 22:1-22:10 - 2015
- [c22]Nkosi Kumalo, John Andrew van der Poll:
The Role of Cloud Computing in Addressing SME Challenges in South Africa. ICCCRI 2015: 139-147 - [c21]Nelson Denhere, Tertia Hörne, John Andrew van der Poll:
Managing Globally Distributed Software Development Projects using Virtual Teams: A Middle East Case Study. SAICSIT 2015: 12:1-12:10 - [c20]Mike A. Marin, Hugo Lotriet, John A. van der Poll:
Metrics for the Case Management Modeling and Notation (CMMN) Specification. SAICSIT 2015: 28:1-28:10 - [c19]Mapetlwane Litha Mokwana, John Andrew van der Poll:
Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau. SAICSIT 2015: 29:1-29:10 - 2014
- [j6]Cyrille Dongmo, John Andrew van der Poll:
Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs). Int. J. Softw. Eng. Knowl. Eng. 24(2): 285- (2014) - [c18]Osden Jokonya, Jan H. Kroeze, John A. van der Poll:
A Framework to Assist Organizations with IT Adoption Governance. CloudCom 2014: 1007-1014 - [c17]Olusegun Ademolu Ajigini, John A. van der Poll, Jan H. Kroeze:
Towards a model on security challenges during closed source software to OSS migrations. ICITST 2014: 274-283 - [c16]Devendra Gengan, Marthie A. Schoeman, John A. van der Poll:
An Ant-based Mobile Agent Approach to Resource Discovery in Grid Computing. SAICSIT 2014: 1 - [c15]Mike A. Marin, Hugo Lotriet, John A. van der Poll:
Measuring Method Complexity of the Case Management Modeling and Notation (CMMN). SAICSIT 2014: 209 - 2013
- [c14]Osden Jokonya, Jan H. Kroeze, John A. van der Poll:
A Framework to Analyze E-Government OSS Adoption Benefits. AMCIS 2013 - [c13]Elisha O. Ochola, Mariki M. Eloff, John A. van der Poll:
Democratic detection of malicious behaviour in MANET: A voting process. ISSA 2013: 1-7 - [c12]Kobamelo Moremedi, John Andrew van der Poll:
Transforming Formal Specification Constructs into Diagrammatic Notations. MEDI 2013: 212-224 - [c11]Elisha O. Ochola, Mariki M. Eloff, John A. van der Poll:
The failure of watchdog schemes in MANET security: a case of an intelligent black-hole. SAICSIT 2013: 305-311 - 2012
- [c10]Elisha Oketch Ochola, Mariki M. Eloff, John A. van der Poll:
Mobile Ad-hoc Network Security Challenges Under AODV Routing Protocol. INC 2012: 113-122 - [c9]Osden Jokonya, Jan H. Kroeze, John A. van der Poll:
Towards a framework for decision making regarding IT adoption. SAICSIT 2012: 316-325 - 2011
- [c8]Cyrille Dongmo, John Andrew van der Poll:
Evaluating software specifications by comparison. SAICSIT 2011: 87-96 - [c7]Ayodele A. Adesina-Ojo, John A. van der Poll, Lucas M. Venter:
Towards the formalisation of object-oriented methodologies. SAICSIT 2011: 259-262 - 2010
- [j5]John A. van der Poll:
Formal methods in software development: a road less travelled. South Afr. Comput. J. 45: 40-52 (2010) - [c6]Cyrille Dongmo, John Andrew van der Poll:
A four-way framework for validating a specification. SAICSIT 2010: 48-57
2000 – 2009
- 2009
- [c5]Abraham Mukosi Mukwevho, John Andrew van der Poll, Robert Mark Jolliffe:
A virtual integrated network emulator on XEN (viNEX). SimuTools 2009: 3 - [c4]Cyrille Dongmo, John Andrew van der Poll:
Use Case Maps as an Aid in the Construction of a Formal Specification. MSVVEIS 2009: 3-13 - 2008
- [c3]Tertia Hörne, John A. van der Poll:
Planning as model checking: the performance of ProB vs NuSMV. SAICSIT 2008: 114-123 - 2007
- [c2]Paul S. Steyn, John A. van der Poll:
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS 2007: 43-52 - 2005
- [j4]John A. van der Poll, Paula Kotzé:
Enhancing the established strategy for constructing a Z specification. South Afr. Comput. J. 35: 118-131 (2005) - [j3]Ashraf Gaffar, Ahmed Seffah, John A. van der Poll:
HCI pattern semantics in XML: a pragmatic approach. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - 2004
- [j2]John A. van der Poll, Paula Kotzé, Willem Adrian Labuschagne:
Automated Support for Enterprise Information Systems. J. Univers. Comput. Sci. 10(11): 1519-1539 (2004) - [c1]John A. van der Poll, Paula Kotzé:
Reasoning about the Properties of an Enterprise Information System. VVEIS 2004: 10-19 - 2003
- [j1]John A. van der Poll, Paula Kotzé:
A multi-level marketing case study : specifying forests and trees in Z. South Afr. Comput. J. 30: 17-28 (2003)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
