Knowledge and true belief in Hintikka's epistemic logic. - Michael Byrd (J. Philos. Log., 1973)

Single variable formulas in S4→. - Michael Byrd (J. Philos. Log., 1976)

The extensions of BAlt3. - David Ullrich; Michael Byrd (J. Philos. Log., 1977)

The extensions of BAlt3 - revisited. - Michael Byrd (J. Philos. Log., 1978)

On the Addition of Weakened L-Reduction Axioms to the Brouwer System. - Michael Byrd (Math. Log. Q., 1978)

Sugihara's Criterion and Some Structural Parallels Between E→ and S3→. - Michael Byrd; Dennis Henry (Math. Log. Q., 1978)

A formal interpretation of Łukasiewicz' logics. - Michael Byrd (Notre Dame J. Formal Log., 1979)

Eventual permanence. - Michael Byrd (Notre Dame J. Formal Log., 1980)

Russell, Logicism, and the Choice of Logical Constants. - Michael Byrd (Notre Dame J. Formal Log., 1989)

ConceptDoppler: a weather tracker for internet censorship. - Jedidiah R. Crandall; Daniel Zinn; Michael Byrd; Earl T. Barr; Rich East (CCS, 2007)

Toward a Methodology for Agent-Based Data Mining and Visualization. - Elizabeth Sklar; Chipp Jansen; Jonathan Chan; Michael Byrd (ADMI, 2011)

Cooing, Crying, and Babbling: A Link between Music and Prelinguistic Communication. - Michael Byrd; Casady Bowman; Takashi Yamauchi (CogSci, 2012)

Bayesian regularization of Gaussian graphical models with measurement error. - Michael Byrd; Linh H. Nghiem; Monnie McGee (Comput. Stat. Data Anal., 2021)

Certified simultaneous isotopic approximation of pairs of curves via subdivision. - Michael A. Burr; Michael Byrd (ISSAC, 2023)

Certified simultaneous isotopic approximation of algebraic curves via subdivision. - Michael A. Burr; Michael Byrd (J. Symb. Comput., 2025)

Certified algebraic curve projections by path tracking. - Michael A. Burr; Michael Byrd; Kisun Lee (CoRR, 2025)