Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach. - S. Kaplan; Amir Pnueli (STACS, 1987)

Algorithmic Complexity of Logic Programs. - S. Kaplan (ICLP/SLP, 1988)

Algebraic Specification of Concurrent Systems. - S. Kaplan (Theor. Comput. Sci., 1989)

Algebraic Semantics of Real-Time Process Specifications. - Gil Zvi Deutsch; S. Kaplan (AMAST, 1991)

RsGDB, the Rhodobacter sphaeroides Genome Database. - M. Choudhary; C. Mackenzie; Nigel J. Mouncey; S. Kaplan (Nucleic Acids Res., 1999)

Towards a software maintenance methodology using Semantic Web techniques and paradigmatic documentation modelling. - David Hyland-Wood; D. Carrington; S. Kaplan (IET Softw., 2008)