@article(BaezErbele-CategoriesInControl,
 author       = {John Baez and Jason Erbele},
 year         = {2015},
 title        = {Categories In Control},
 journal      = {Theory and Application of Categories},
 volume       = {30},
 pages        = {836--881},
)
@inproceedings(BGKSZ-lics16,
 author       = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Soboci\'{n}ski and Fabio Zanasi},
 year         = {2016},
 title        = {Rewriting modulo symmetric monoidal structure},
 booktitle    = {LiCS 2016},
 pages        = {710--719},
 doi          = {10.1145/2933575.2935316},
)
@inproceedings(BGKSZ-esop17,
 author       = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Soboci\'{n}ski and Fabio Zanasi},
 year         = {2017},
 title        = {Confluence of graph rewriting with interfaces},
 booktitle    = {ESOP 2016},
 pages        = {141--169},
 doi          = {10.1007/978-3-662-54434-1},
)
@inproceedings(Bonchi2014b,
 author       = {Filippo Bonchi and Pawel Sobocinski and Fabio Zanasi},
 year         = {2014},
 title        = {A Categorical Semantics of Signal Flow Graphs},
 booktitle    = {CONCUR 2014},
 series       = {LNCS},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {435--450},
 doi          = {10.1007/978-3-662-44584-6},
)
@article(BonchiSZ17,
 author       = {Filippo Bonchi and Pawel Sobocinski and Fabio Zanasi},
 year         = {2017},
 title        = {The Calculus of Signal Flow Diagrams {I:} Linear relations on streams},
 journal      = {Inf. Comput.},
 volume       = {252},
 pages        = {2--29},
 doi          = {10.1016/j.ic.2016.03.002},
)
@inproceedings(Bruni01somealgebraic,
 author       = {Roberto Bruni and Fabio Gadducci},
 year         = {2001},
 title        = {Some algebraic laws for spans},
 series       = {ENTCS},
 volume       = {44},
 pages        = {175--193},
 doi          = {10.1016/S1571-0661(04)80937-X},
)
@article(Bruni2006,
 author       = {Roberto Bruni and Ivan Lanese and Ugo Montanari},
 year         = {2006},
 title        = {A basic algebra of stateless connectors},
 journal      = {Theoretical Computer Science},
 volume       = {366},
 number       = {1--2},
 pages        = {98--120},
 doi          = {10.1016/j.tcs.2006.07.005},
)
@article(Burroni1993,
 author       = {Albert Burroni},
 year         = {1993},
 title        = {Higher dimensional word problems with applications to equational logic},
 journal      = {Theoretical Computer Science},
 volume       = {115},
 number       = {1},
 pages        = {43--62},
 doi          = {10.1016/0304-3975(93)90054},
)
@article(Carboni1987,
 author       = {Aurelio Carboni and R. F. C. Walters},
 year         = {1987},
 title        = {Cartesian Bicategories {I}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {49},
 number       = {1-2},
 pages        = {11--32},
 doi          = {10.1016/0022-4049(87)90121},
)
@inproceedings(Coecke2008,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2008},
 title        = {Interacting Quantum Observables},
 booktitle    = {ICALP 2008},
 series       = {LNCS},
 volume       = {5216},
 publisher    = {Springer},
 pages        = {298--310},
 doi          = {10.1007/978-3-540-70583-3},
)
@incollection(HandbookDPO,
 author       = {A. Corradini and U. Montanari and F. Rossi and H. Ehrig and R. Heckel and M. Loewe},
 year         = {1997},
 title        = {Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach},
 booktitle    = {Handbook of Graph Grammars},
 publisher    = {University of Pisa},
 pages        = {163--246},
)
@inproceedings(CorradiniStaf,
 author       = {Andrea Corradini},
 year         = {2016},
 title        = {On the definition of parallel independence in the algebraic approaches to graph transformation},
 booktitle    = {STAF 2016},
 series       = {LNCS},
 volume       = {9946},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-50230-4},
)
@inproceedings(EhrigHPP04,
 author       = {Hartmut Ehrig and Annegret Habel and Julia Padberg and Ulrike Prange},
 year         = {2004},
 title        = {Adhesive High-Level Replacement Categories and Systems},
 booktitle    = {ICGT 2004},
 series       = {LNCS},
 volume       = {2987},
 publisher    = {Springer},
 pages        = {144--160},
 doi          = {10.1007/978-3-540-30203-2},
)
@conference(Ehrig2004,
 author       = {Hartmut Ehrig and Barbara K\"{o}nig},
 year         = {2004},
 title        = {Deriving Bisimulation Congruences in the {DPO} Approach to Graph Rewriting},
 booktitle    = {FoSSaCS 2004},
 series       = {LNCS},
 volume       = {2987},
 publisher    = {Springer},
 pages        = {151--166},
 doi          = {10.1007/978-3-540-24727-2},
)
@phdthesis(Fon16,
 author       = {Brendan Fong},
 year         = {2016},
 title        = {The Algebra of Open and Interconnected Systems},
 school       = {University of Oxford},
)
@inproceedings(FZ-calco,
 author       = {Brendan Fong and Fabio Zanasi},
 year         = {2017},
 title        = {A Universal construction for (co)relations},
 booktitle    = {Proceedings of {CALCO}'17},
)
@conference(Gadducci1998,
 author       = {Fabio Gadducci and Reiko Heckel},
 year         = {1997},
 title        = {An inductive view of graph transformation},
 booktitle    = {WADT 1997},
 series       = {LNCS},
 volume       = {1376},
 publisher    = {Springer},
 pages        = {223--237},
 doi          = {10.1007/3-540-64299-4},
)
@article(HackneyColouredPROPs15,
 author       = {Philip Hackney and Marcy Robertson},
 year         = {2015},
 title        = {On the Category of Props},
 journal      = {Applied Categorical Structures},
 volume       = {23},
 number       = {4},
 pages        = {543--573},
 doi          = {10.1007/s10485-014-9369-4},
)
@article(KartsaklisSPC14,
 author       = {Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman and Bob Coecke},
 year         = {2014},
 title        = {Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras},
 journal      = {CoRR},
 volume       = {abs/1401.5980},
 url          = {http://arxiv.org/abs/1401.5980},
)
@conference(Katis1997a,
 author       = {Piergiulio Katis and Nicoletta Sabadini and Robert Frank Carslaw Walters},
 year         = {1997},
 title        = {{Span(Graph):} a categorical algebra of transition systems},
 booktitle    = {Proceedings of AMAST '97},
 series       = {LNCS},
 volume       = {1349},
 publisher    = {Springer},
 pages        = {322--336},
 doi          = {10.1007/BFb0000479},
)
@incollection(Street-2cats,
 author       = {G. M. Kelly and Ross Street},
 year         = {1974},
 title        = {Review of the elements of {$2$}-categories},
 booktitle    = {Category {S}eminar ({P}roc. {S}em., {S}ydney, 1972/1973)},
 publisher    = {Springer},
 pages        = {75--103. Lecture Notes in Math., Vol. 420},
 doi          = {10.1016/0022-4049(72)90019-9},
)
@article(KissingerHypergraph,
 author       = {Aleks Kissinger},
 year         = {2014},
 title        = {Finite matrices are complete for (dagger-)hypergraph categories},
 journal      = {CoRR},
 volume       = {abs/1406.5942},
 url          = {http://arxiv.org/abs/1406.5942},
)
@article(Lack2004a,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing {PROPs}},
 journal      = {Theory and Application of Categories},
 volume       = {13},
 number       = {9},
 pages        = {147--163},
)
@article(Lack2005,
 author       = {Stephen Lack and Pawe{\l} Soboci\'{n}ski},
 year         = {2005},
 title        = {Adhesive and quasiadhesive categories},
 journal      = {Theoretical Informatics and Applications},
 volume       = {39},
 number       = {3},
 pages        = {511--546},
 doi          = {10.1051/ita:2005028},
)
@article(MacDonald2009,
 author       = {John MacDonald and Laura Scull},
 year         = {2009},
 title        = {Amalgamations of categories},
 journal      = {Can Math B},
 volume       = {52},
 pages        = {273--284},
 doi          = {10.4153/CMB-2009-030-5},
)
@article(MG17,
 author       = {Dan Marsden and Fabrizio Genovese},
 year         = {2017},
 title        = {Custom hypergraph categories via generalized relations},
 journal      = {arXiv},
 volume       = {abs/1703.01204},
 url          = {http://arxiv.org/abs/1703.01204},
)
@inproceedings(MimramFix,
 author       = {Samuel Mimram},
 year         = {2010},
 title        = {Computing Critical Pairs in 2-Dimensional Rewriting Systems},
 booktitle    = {RTA 2010},
 series       = {LIPIcs},
 volume       = {6},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik},
 pages        = {227--242},
 doi          = {10.4230/LIPIcs.RTA.2010.227},
)
@article(Pavlovic13,
 author       = {Dusko Pavlovic},
 year         = {2013},
 title        = {Monoidal computer {I}: Basic computability by string diagrams},
 journal      = {Information and Computation},
 volume       = {226},
 pages        = {94--116},
 doi          = {10.1016/j.ic.2013.03.007},
)
@incollection(Plump1993,
 author       = {Detlef Plump},
 year         = {1993},
 title        = {Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence},
 booktitle    = {Term Graph Rewriting: Theory and Practice},
 publisher    = {Wiley},
 pages        = {201--213},
)
@inproceedings(Plump10,
 author       = {Detlef Plump},
 year         = {2010},
 title        = {Checking Graph-Transformation Systems for Confluence},
 booktitle    = {Manipulation of Graphs, Algebras and Pictures},
 series       = {{ECEASST}},
 volume       = {26},
 publisher    = {EASST},
)
@article(Rosebrugh2005,
 author       = {Robert Rosebrugh and Nicoletta Sabadini and R. F. C. Walters},
 year         = {2005},
 title        = {Generic Commutative Separable Algebras and Cospans of Graphs},
 journal      = {Theory and Application of Categories},
 volume       = {17},
 number       = {6},
 pages        = {164--177},
)
@article(Selinger2009,
 author       = {Peter Selinger},
 year         = {2011},
 title        = {A survey of graphical languages for monoidal categories},
 journal      = {Springer Lecture Notes in Physics},
 volume       = {13},
 number       = {813},
 pages        = {289--355},
)
@article(MetabolicNetworks,
 author       = {Veeramani and Balaji and  and Joel S Bader},
 year         = {2010},
 title        = {Predicting Functional Associations from Metabolism Using Bi-Partite Network Algorithms},
 journal      = {BMC Systems Biology},
 volume       = {4},
 doi          = {10.1186/1752-0509-4-95},
)
@phdthesis(ZanasiThesis,
 author       = {Fabio Zanasi},
 year         = {2015},
 title        = {Interacting Hopf Algebras: the theory of linear systems},
 school       = {{E}cole Normale Sup\'{e}rieure de Lyon},
)
@conference(Zanasi16,
 author       = {Fabio Zanasi},
 year         = {2016},
 title        = {The Algebra of Partial Equivalence Relations},
 booktitle    = {Mathematical Foundations of Program Semantics (MFPS)},
 volume       = {325},
 pages        = {313--333},
 doi          = {10.1016/j.entcs.2016.09.046},
)