Fairbanks, Tyler
18  Ergebnisse:
Personensuche X
?
5

Computational category-theoretic rewriting:

Brown, Kristopher ; Patterson, Evan ; Hanks, Tyler.
Journal of Logical and Algebraic Methods in Programming.  134 (2023)  - p. 100888 , 2023
 
?
6

Characterizing Compositionality of LQR from the Categorical..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
She, Baike ; Hanks, Tyler ; Fairbanks, James. - p. 1680-1685 , 2023
 
?
7

Computational Category-Theoretic Rewriting:

, In: Graph Transformation; Lecture Notes in Computer Science,
 
?
10

Testing Nonlinear Transmission Lines Made of Novel Composit..:

, In: 2020 IEEE International Conference on Plasma Science (ICOPS),
 
?
11

Nonlinear Permeability Measurements of Single and Dual Incl..:

, In: 2020 IEEE International Conference on Plasma Science (ICOPS),
 
1-15