Towards Computing Distances Between Programs via Scott Domains. - Michael A. Bukatin; Joshua S. Scott (LFCS, 1997)

Partial Metrics and Co-continuous Valuations. - Michael A. Bukatin; Svetlana Yu. Shorina (FoSSaCS, 1998)

Partial Metric Spaces. - Michael A. Bukatin; Ralph Kopperman; Steve Matthews; Homeira Pajoohesh (Am. Math. Mon., 2009)

An Intelligent Theory of Cost for Partial Metric Spaces. - Steve Matthews; Michael A. Bukatin (AGI, 2012)

Some corollaries of the correspondence between partial metrics and multivalued equalities. - Michael A. Bukatin; Ralph Kopperman; Steve Matthews (Fuzzy Sets Syst., 2014)

Linear Models of Computation and Program Learning. - Michael A. Bukatin; Steve Matthews (GCAI, 2015)

Mathematics of Domains. - Michael A. Bukatin (CoRR, 2015)

Almost Continuous Transformations of Software and Higher-order Dataflow Programming. - Michael A. Bukatin; Steve Matthews (CoRR, 2016)

Dataflow Graphs as Matrices and Programming with Higher-order Matrix Elements. - Michael A. Bukatin; Steve Matthews (CoRR, 2016)

Dataflow Matrix Machines as a Generalization of Recurrent Neural Networks. - Michael A. Bukatin; Steve Matthews; Andrey Radul (CoRR, 2016)

Dataflow matrix machines as programmable, dynamically expandable, self-referential generalized recurrent neural networks. - Michael A. Bukatin; Steve Matthews; Andrey Radul (CoRR, 2016)

Programming Patterns in Dataflow Matrix Machines and Generalized Recurrent Neural Nets. - Michael A. Bukatin; Steve Matthews; Andrey Radul (CoRR, 2016)

Notes on Pure Dataflow Matrix Machines: Programming with Self-referential Matrix Transformations. - Michael A. Bukatin; Steve Matthews; Andrey Radul (CoRR, 2016)

Dataflow Matrix Machines as a Model of Computations with Linear Streams. - Michael A. Bukatin; Jon Anthony (CoRR, 2017)

Dataflow Matrix Machines and V-values: a Bridge between Programs and Neural Nets. - Michael A. Bukatin; Jon Anthony (CoRR, 2017)