John A. van der Poll

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)

Coauthor Index

1	Ashraf Gaffar	[5]
2	Tertia Hörne	[7]
3	Paula Kotzé	[1] [2] [3] [4]
4	Willem Adrian Labuschagne	[2]
5	Ahmed Seffah	[5]
6	Paul S. Steyn	[6]

Colors in the list of coauthors