Scheme representation for first-order logic. - Steve Awodey; Spencer Breiner (TACL, 2013)

Modeling the Internet of Things: A Foundational Approach. - Spencer Breiner; Eswaran Subrahmanian; Ram D. Sriram (WoT, 2016)

Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration. - Ryan Wisnesky; Spencer Breiner; Albert T. Jones; David I. Spivak; Eswaran Subrahmanian (J. Comput. Inf. Sci. Eng., 2017)

Compositional Models for the Internet of Everything. - Spencer Breiner; Ram D. Sriram; Eswaran Subrahmanian (AAAI Spring Symposia, 2018)

Parallel Self-Testing of the GHZ State with a Proof by Diagrams. - Spencer Breiner; Amir Kalev; Carl A. Miller (QPL, 2018)

Modeling and Analysis of Indian Carnatic Music Using Category Theory. - Sarala Padi; Spencer Breiner; Eswaran Subrahmanian; Ram D. Sriram (IEEE Trans. Syst. Man Cybern. Syst., 2018)

Categorical models for process planning. - Spencer Breiner; Albert T. Jones; Eswaran Subrahmanian (Comput. Ind., 2019)

Compositional Models for Power Systems. - John S. Nolan; Blake S. Pollard; Spencer Breiner; Dhananjay Anand; Eswaran Subrahmanian (ACT, 2019)

Modeling Hierarchical System with Operads. - Spencer Breiner; Blake S. Pollard; Eswaran Subrahmanian; Olivier Marie-Rose (ACT, 2019)

Graphical Methods in Device-Independent Quantum Cryptography. - Spencer Breiner; Carl A. Miller; Neil J. Ross (Quantum, 2019)

Symmetric Monoidal Categories with Attributes. - Spencer Breiner; John S. Nolan (ACT, 2020)

Operads for complex system design specification, analysis and synthesis. - John D. Foley; Spencer Breiner; Eswaran Subrahmanian; John M. Dusel (CoRR, 2021)