Spencer Breiner

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 10

Top Topics

Semantic Attributes

Quantifier Free

Mazurkiewicz Traces

Database Integration

Top Venues

AAAI Spring Symposia

Publications

John D. Foley, Spencer Breiner, Eswaran Subrahmanian, John M. Dusel
Operads for complex system design specification, analysis and synthesis. CoRR (2021)
Spencer Breiner, John S. Nolan
Symmetric Monoidal Categories with Attributes. ACT (2020)
John S. Nolan, Blake S. Pollard, Spencer Breiner, Dhananjay Anand, Eswaran Subrahmanian
Compositional Models for Power Systems. ACT (2019)
Spencer Breiner, Albert T. Jones, Eswaran Subrahmanian
Categorical models for process planning. Comput. Ind. 112 (2019)
Spencer Breiner, Blake S. Pollard, Eswaran Subrahmanian, Olivier Marie-Rose
Modeling Hierarchical System with Operads. ACT (2019)
Spencer Breiner, Amir Kalev, Carl A. Miller
Parallel Self-Testing of the GHZ State with a Proof by Diagrams. QPL (2018)
Sarala Padi, Spencer Breiner, Eswaran Subrahmanian, Ram D. Sriram
Modeling and Analysis of Indian Carnatic Music Using Category Theory. IEEE Trans. Syst. Man Cybern. Syst. 48 (6) (2018)
Spencer Breiner, Ram D. Sriram, Eswaran Subrahmanian
Compositional Models for the Internet of Everything. AAAI Spring Symposia (2018)
Ryan Wisnesky, Spencer Breiner, Albert T. Jones, David I. Spivak, Eswaran Subrahmanian
Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration. J. Comput. Inf. Sci. Eng. 17 (2) (2017)
Spencer Breiner, Eswaran Subrahmanian, Ram D. Sriram
Modeling the Internet of Things: A Foundational Approach. WoT (2016)
Steve Awodey, Spencer Breiner
Scheme representation for first-order logic. TACL (2013)