David Jaz Myers

According to our database, David Jaz Myers authored at least 5 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Compositionality of Lyapunov functions via assume-guarantee reasoning.

Matteo Capucci, David Jaz Myers

CoRR, April, 2026

2024

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products.

Matteo Capucci, David Jaz Myers

CoRR, 2024

2020

Behavioral Mereology: A Modal Logic for Passing Constraints.

Brendan Fong, David Jaz Myers, David I. Spivak

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Double Categories of Open Dynamical Systems (Extended Abstract).

David Jaz Myers

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

2019

Finding Intruder Knowledge with Cap-Matching.

Erin Hanna, Christopher Lynch, David Jaz Myers, Corey Richardson

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019