| 2008 |
|---|
| 7 | EE | Tertia Hörne,
John A. van der Poll:
Planning as model checking: the performance of ProB vs NuSMV.
SAICSIT Conf. 2008: 114-123 |
| 2007 |
|---|
| 6 | | Paul S. Steyn,
John A. van der Poll:
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.
MSVVEIS 2007: 43-52 |
| 2005 |
|---|
| 5 | EE | Ashraf Gaffar,
Ahmed Seffah,
John A. van der Poll:
HCI pattern semantics in XML: a pragmatic approach.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 4 | | John A. van der Poll,
Paula Kotzé:
Enhancing the established strategy for constructing a Z specification.
South African Computer Journal 35: 118-131 (2005) |
| 2004 |
|---|
| 3 | | John A. van der Poll,
Paula Kotzé:
Reasoning about the Properties of an Enterprise Information System.
VVEIS 2004: 10-19 |
| 2 | EE | John A. van der Poll,
Paula Kotzé,
Willem Adrian Labuschagne:
Automated Support for Enterprise Information Systems.
J. UCS 10(11): 1519-1539 (2004) |
| 2003 |
|---|
| 1 | | John A. van der Poll,
Paula Kotzé:
A multi-level marketing case study : specifying forests and trees in Z.
South African Computer Journal 30: 17-28 (2003) |
