A File Server for the Apple Talk Personal Network. - Andrzej M. Goscinski; Peter Nickolas (Angew. Inform., 1987)

The Completeness of Functional Logic. - Peter Nickolas (Formal Aspects Comput., 1994)

The Qu-Prolog Unification Algorithm: Formalisation and Correctness. - Peter Nickolas; Peter J. Robinson 001 (Theor. Comput. Sci., 1996)

Unconditionally Secure Approximate Message Authentication. - Dongvu Tonien; Reihaneh Safavi-Naini; Peter Nickolas; Yvo Desmedt (IWCC, 2009)

Breaking and Repairing an Approximate Message Authentication Scheme. - Dongvu Tonien; Reihaneh Safavi-Naini; Peter Nickolas (Discret. Math. Algorithms Appl., 2011)