research
∙
02/18/2022
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Graphs and various graph-like combinatorial structures, such as preorder...
share
research
∙
12/31/2018
Complexity of Linear Operators
Let A ∈{0,1}^n × n be a matrix with z zeroes and u ones and x be an n-di...
research
∙
02/06/2018
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers
Verification of functional correctness of control programs is an essenti...
research
∙
11/06/2017