Login / Signup
David Jaz Myers
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Modal Logic
Extended Abstract
Partially Observable
Prime Implicates
Top Venues
ACT
Foundations of Security, Protocols, and Equational Reasoning
</>
Publications
</>
David Jaz Myers
Double Categories of Open Dynamical Systems (Extended Abstract).
ACT
(2020)
Brendan Fong
,
David Jaz Myers
,
David I. Spivak
Behavioral Mereology: A Modal Logic for Passing Constraints.
ACT
(2020)
Erin Hanna
,
Christopher Lynch
,
David Jaz Myers
,
Corey Richardson
Finding Intruder Knowledge with Cap-Matching.
Foundations of Security, Protocols, and Equational Reasoning
(2019)