Propositional Representation of Arithmetic Proofs (Preliminary Version) - Martin Dowd (STOC, 1978)

Propositional representation of arithmetic proofs. - Martin Dowd (1979)

The Balanced Sorting Network. - Martin Dowd; Yehoshua Perl; Michael E. Saks (PODC, 1983)

On the Structure of Armstrong Relations for Functional Dependencies. - Catriel Beeri; Martin Dowd; Ronald Fagin; Richard Statman (J. ACM, 1984)

An example RISC vector machine architecture. - Martin Dowd (SIGARCH Comput. Archit. News, 1987)

Questions Related to the Erdös-Turan Conjecture. - Martin Dowd (SIAM J. Discret. Math., 1988)

RISC vector CPU's and crossbars in desktops. - Martin Dowd (SIGARCH Comput. Archit. News, 1988)

The periodic balanced sorting network. - Martin Dowd; Yehoshua Perl; Larry Rudolph; Michael E. Saks (J. ACM, 1989)

An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment. - Martin Dowd (Math. Log. Q., 1989)

An Integer Program for Codes. - Martin Dowd (SIAM J. Discret. Math., 1991)

Erratum: An Integer Program for Codes. - Martin Dowd (SIAM J. Discret. Math., 1991)

Generic Oracles, Uniform Machines, and Codes - Martin Dowd (Inf. Comput., 1992)

Remarks on Levy's Reflection Axiom. - Martin Dowd (Math. Log. Q., 1993)

Higher Type Categories. - Martin Dowd (Math. Log. Q., 1993)

A Well-Behaved Enumeration of Star Graphs. - Nader Bagherzadeh; Martin Dowd; Shahram Latifi (IEEE Trans. Parallel Distributed Syst., 1995)

Average distance and routing algorithms in the star-connected cycles interconnection network. - Marcelo M. de Azevedo; Nader Bagherzadeh; Martin Dowd; Shahram Latifi (SPDP, 1996)

Some Topological Properties of Star Connected Cycles. - Marcelo M. de Azevedo; Nader Bagherzadeh; Martin Dowd; Shahram Latifi (Inf. Process. Lett., 1996)

Embedding an Arbitrary Binary Tree into the Star Graph. - Nader Bagherzadeh; Martin Dowd; Nayla Nassif (IEEE Trans. Computers, 1996)

Faster column operations in star networks. - Nader Bagherzadeh; Martin Dowd; Shahram Latifi (Telecommun. Syst., 1998)

A Computer Search for N1L-Configurations - Martin Dowd (CoRR, 2008)