Finding Intruder Knowledge with Cap-Matching. - Erin Hanna; Christopher Lynch; David Jaz Myers; Corey Richardson (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Double Categories of Open Dynamical Systems (Extended Abstract). - David Jaz Myers (ACT, 2020)

Behavioral Mereology: A Modal Logic for Passing Constraints. - Brendan Fong; David Jaz Myers; David I. Spivak (ACT, 2020)

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products. - Matteo Capucci; David Jaz Myers (CoRR, 2024)