An Intelligent User Interface for a Symbolic Algebra System. - Michael E. Clarkson (Programming Environments for High-Level Scientific Problem Solving, 1991)

Intelligent User Interfaces for Symbolic and Numeric Computation. - Michael E. Clarkson (AISMC, 1992)

Civitas: A Secure Remote Voting System. - Michael E. Clarkson; Stephen Chong; Andrew C. Myers (Frontiers of Electronic Voting, 2007)