Author: David L. Dill

Publication Overview

Publication period start: 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. https://dl.acm.org/doi/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. https://dl.acm.org/doi/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. https://dl.acm.org/doi/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.

Privacy Settings

By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Learn Design and AI From the Best

Get one powerful email each week, like 313,969 others.

Next email in: