David L. Dill

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1996
Publication period end
2008
Number of co-authors
27

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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.