Sign in
Tyler Hanks
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 6
Top Topics
Termination Analysis
Rewriting Rules
Queries Using Views
Active Exploration
Top Venues
CoRR
J. Log. Algebraic Methods Program.
CDC
ICGT
</>
Publications
</>
Kristopher Brown
,
Evan Patterson
,
Tyler Hanks
,
James P. Fairbanks
Computational category-theoretic rewriting.
J. Log. Algebraic Methods Program.
134 (2023)
Baike She
,
Tyler Hanks
,
James P. Fairbanks
,
Matthew Hale
Characterizing Compositionality of LQR from the Categorical Perspective.
CDC
(2023)
Baike She
,
Tyler Hanks
,
James P. Fairbanks
,
Matthew Hale
Characterizing Compositionality of LQR from the Categorical Perspective.
CoRR
(2023)
Kristopher Brown
,
Tyler Hanks
,
James P. Fairbanks
Compositional Exploration of Combinatorial Scientific Models.
CoRR
(2022)
Kristopher Brown
,
Evan Patterson
,
Tyler Hanks
,
James P. Fairbanks
Computational Category-Theoretic Rewriting.
ICGT
(2022)
Danielle Ferguson
,
Yan Albright
,
Daniel Lomsak
,
Tyler Hanks
,
Kevin Orr
,
Jay Ligatti
PoCo: A Language for Specifying Obligation-Based Policy Compositions.
ICSCA
(2020)