Spencer Breiner

According to our database, Spencer Breiner authored at least 11 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Operads for complex system design specification, analysis and synthesis.

John D. Foley, Spencer Breiner, Eswaran Subrahmanian, John M. Dusel

CoRR, 2021

2020

Symmetric Monoidal Categories with Attributes.

Spencer Breiner, John S. Nolan

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

2019

Modeling Hierarchical System with Operads.

Spencer Breiner, Blake S. Pollard, Eswaran Subrahmanian, Olivier Marie-Rose

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Compositional Models for Power Systems.

John S. Nolan, Blake S. Pollard, Spencer Breiner, Dhananjay Anand, Eswaran Subrahmanian

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Categorical models for process planning.

Spencer Breiner, Albert T. Jones, Eswaran Subrahmanian

Comput. Ind., 2019

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

Parallel Self-Testing of the GHZ State with a Proof by Diagrams.

Spencer Breiner, Amir Kalev, Carl A. Miller

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Compositional Models for the Internet of Everything.

Spencer Breiner, Ram D. Sriram, Eswaran Subrahmanian

Proceedings of the 2018 AAAI Spring Symposia, 2018

2017

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

2016

Modeling the Internet of Things: A Foundational Approach.

Spencer Breiner, Eswaran Subrahmanian, Ram D. Sriram

Proceedings of the Seventh International Workshop on the Web of Things, 2016

2013

Scheme representation for first-order logic.

Steve Awodey, Spencer Breiner

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013