Alan E. Morkan

According to our database, Alan E. Morkan authored at least 3 papers in 2006.

Collaborative distances:

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

2006

Formal techniques in a remote voting system.

Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers

ACM SIGSOFT Softw. Eng. Notes, 2006

The KOA Remote Voting System: A Summary of Work to Date.

Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Soundness and completeness warnings in ESC/Java2.

Joseph R. Kiniry, Alan E. Morkan, Barry Denby

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006