Michael E. Clarkson

According to our database, Michael E. Clarkson authored at least 3 papers between 1991 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Civitas: A Secure Remote Voting System.

Michael E. Clarkson, Stephen Chong, Andrew C. Myers

Proceedings of the Frontiers of Electronic Voting, 29.07. - 03.08.2007, 2007

1992

Intelligent User Interfaces for Symbolic and Numeric Computation.

Michael E. Clarkson

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1991

An Intelligent User Interface for a Symbolic Algebra System.

Michael E. Clarkson

Proceedings of the Programming Environments for High-Level Scientific Problem Solving, 1991