David L. Dill

Author: David L. Dill


Publication period start: 1996
Number of co-authors: 27


Number of publications with favourite co-authors
Michael I. Shamos
Moti Yung
Daniel Castro

Productive Colleagues

Most productive colleagues in number of publications
David Lorge Parnas
David Gries
Robert L. Glass


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.