Spencer Breiner

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