Coalgebras in a category of classes. - Michael A. Warren (Ann. Pure Appl. Log., 2007)

Lawvere - Tierney sheaves in Algebraic Set Theory. - Steven Awodey; Nicola Gambino; Peter LeFanu Lumsdaine; Michael A. Warren (J. Symb. Log., 2009)

Homotopy type theory and Voevodsky's univalent foundations - Álvaro Pelayo; Michael A. Warren (CoRR, 2012)

Martin-Löf complexes. - Steven Awodey; Pieter J. W. Hofstra; Michael A. Warren (Ann. Pure Appl. Log., 2013)

Combinatorial realizability models of type theory. - Pieter J. W. Hofstra; Michael A. Warren (Ann. Pure Appl. Log., 2013)

A preliminary univalent formalization of the p-adic numbers - Álvaro Pelayo; Vladimir Voevodsky; Michael A. Warren (CoRR, 2013)

A univalent formalization of the p-adic numbers. - Álvaro Pelayo; Vladimir Voevodsky; Michael A. Warren (Math. Struct. Comput. Sci., 2015)

The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories. - Peter LeFanu Lumsdaine; Michael A. Warren (ACM Trans. Comput. Log., 2015)

Introspection Learning. - Chris R. Serrano; Michael A. Warren (CoRR, 2019)

RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. - Christopher R. Serrano; Pape M. Sylla; Sicun Gao; Michael A. Warren (SP (Workshops), 2020)

Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems. - Chris R. Serrano; Pape M. Sylla; Michael A. Warren (CoRR, 2020)

Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. - Alexei Kopylov; Stefan Mitsch; Aleksey Nogin; Michael A. Warren (FM, 2021)

Formal verification of octorotor flight envelope using barrier functions and SMT solving. - Byron Heersink; Pape M. Sylla; Michael A. Warren (CoRR, 2021)

Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving. - Byron Heersink; Pape M. Sylla; Michael A. Warren (IEEE Control. Syst. Lett., 2022)

Assured Point Cloud Perception. - Christopher R. Serrano; Aleksey Nogin; Michael A. Warren (ICAA, 2023)

Self-Satisfied: An end-to-end framework for SAT generation and prediction. - Christopher R. Serrano; Jonathan Gallagher; Kenji Yamada; Alexei Kopylov; Michael A. Warren (CoRR, 2024)

Provably effective detection of effective data poisoning attacks. - Jonathan Gallagher; Yasaman Esfandiari; Callen MacPhee; Michael A. Warren (CoRR, 2025)