David L. Dill

Personal Homepage

Publication Statistics

Publication period start
Publication period end
Number of co-authors

Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications


Dill, David L., Castro, Daniel (2008): Point/counterpoint: The U.S. should ban paperless electronic voting machines. In Communications of the ACM, 51 (10) pp. 29-33. http://doi.acm.org/10.1145/1400181.1400192

Vora, Poorvi L., Adida, Ben, Bucholz, Ren, Chaum, David, Dill, David L., Jefferson, David, Jones, Douglas W., Lattin, William, Rubin, Aviel D., Shamos, Michael I., Yung, Moti (2004): Evaluation of voting systems. In Communications of the ACM, 47 (11) pp. 144. http://doi.acm.org/10.1145/1029496.1029520

Dill, David L., Schneier, Bruce, Simons, Barbara (2003): Voting and technology: who gets to count your vote?. In Communications of the ACM, 46 (8) pp. 29-31. http://doi.acm.org/10.1145/859670.859692

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.