| 2017 | AINA | The Need for Audit-Capable E-Voting Systems. | Suzanne Mello-Stark, Edmund A. Lamagna |
| 2016 | AINA | Toward a Forensic Analysis of Voting Systems. | Suzanne Mello-Stark, Edmund A. Lamagna |
| 2015 | AINA | Increasing Trust in Elections via a Simple Receipt Algorithm. | Suzanne Mello-Stark, Edmund A. Lamagna |
| 2011 | COCOON | Summing Symbols in Mutual Recurrences. | Berkeley R. Churchill, Edmund A. Lamagna |
| 1993 | SAC | Error Free Incremental Construction of Voronoi Diagrams in the Plane. | Gary A. Hyslop, Edmund A. Lamagna |
| 1992 | ISSAC | The Design of a User Interface to a Computer Algebra System for Introductory Calculus. | Edmund A. Lamagna, Michael B. Hayden, Catherine W. Johnson |
| 1992 | SAC | An application of the method of Buckets to the selection problem. | Gary A. Hyslop, Edmund A. Lamagna |
| 1989 | ISSAC | Symbolic Summation with Generating Functions. | R. A. Ravenscroft Jr., Edmund A. Lamagna |
| 1986 | ISSAC | Summation of binomial coefficients using hypergeometric functions. | Michael B. Hayden, Edmund A. Lamagna |
| 1974 | FOCS | Combinational Complexity of Some Monotone Functions | Edmund A. Lamagna, John E. Savage |