Ashikhmin, D.N.; Volkov, M.V.; Zhang, Wen Ting. The finite basis problem for Kiselman monoids. Demonstr. Math. 48, No. 4, 475-492 (2015) : [review] [Online resource]Henno, JaakZentralblatt MATH2016 https://zbmath.org/?t=&s=0&q=06516648

Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 Conference proceedings at Scopus Article at Scopus Article at WOS

Brookes, Matthew D. G. K. Congruences on the partial automorphism monoid of a free group action : [review]Henno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1485.20139

Cain, Alan J.; Maltcev, Victor. Finitely presented monoids with linear Dehn function need not have regular cross-sections. Semigroup Forum 88, No. 2, 300-315 (2014) : [review]Henno, JaakZentralblatt MATH2014 / [1] p

Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 Conference proceedings at Scopus Article at Scopus

Coherence via focusing for symmetric skew monoidal and symmetric skew closed categoriesVeltri, NiccoloJournal of logic and computation2024 / art. exae059, 26 p https://doi.org/10.1093/logcom/exae059

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, MarioarXiv.org2023 / p. 39-53 : ill https://doi.org/10.48550/arXiv.2305.02675

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 Conference proceedings at Scopus Article at Scopus Article at WOS

Concurrent monads for shared stateRivas, Exequiel; Uustalu, TarmoProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming2024 / art. 17 https://doi.org/10.1145/3678232.3678249 Article at Scopus Article at WOS

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

Cornering optics : preprintBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.00842

Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 Conference Proceedings at Scopus Article at Scopus Article at WOS

Distributive laws of directed containersAhman, Danel; Uustalu, TarmoProgress in Informatics2013 / p. 3-18 https://doi.org/10.2201/NiiPi.2013.10.2 Journal metrics at Scopus Article at Scopus

East, J.; Ruškuc, N. Classification of congruences of twisted partition monoids : [review]Henno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1485.20141

East, James; Mitchell, James D.; Ruškuc, Nik; Torpey, Michael. Congruence lattices of finite diagram monoids : [review]Zentralblatt MATH2018 / [1] p https://zbmath.org/?q=an%3A06898934

East, James; Ruškuc, Nik Congruence lattices of ideals in categories and (partial) semigroups Memoirs of the American Mathematical Society 1408. Providence, RI: American Mathematical Society (AMS). vii, 129~p. (2023) : [review]Henno, JaakzbMATH Open2023 / 1 p. https://zbmath.org/1515.20009

Eilenberg-Kelly reloadedUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2020 / p. 233-256 https://doi.org/10.1016/j.entcs.2020.09.012 Journal metrics at Scopus Article at Scopus Article at WOS

Evidential decision theory via partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 14 p. : ill https://doi.org/10.1109/LICS56636.2023.10175776 Conference Proceedings at Scopus Article at Scopus Article at WOS

Experimenting with graded monads:
certified grading-based program transformationsTalvik, Tõnn; Uustalu, Tarmo24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts2018 / p. 82-83 https://types2018.projj.eu/book-of-abstracts/

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

Gray, R.D.; Ruškuc, N. On residual finiteness of monoids, their Schützenberger groups and associated actions. J. Algebra 407, 21-45 (2014) : [review]Henno, JaakZentralblatt MATH2015 / [1] p https://zbmath.org/?t=&s=0&q=06335277

Grensing, Anna-Louise; Mazorchuk, Volodymyr. Categorification of the Catalan monoid. Semigroup Forum 89, No. 1, 155-168 (2014) : [review]Henno, JaakZentralblatt MATH2015 / [1] p

Gusev, Sergey V. Varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive Monatsh. Math. 201, 79-108 (2023) : [review]Henno, JaakzbMATH Open2023 / 1 p. https://zbmath.org/1512.20191

Gusev, Sergey V. ; Vernikov, Boris M. Two weaker variants of congruence permutability for monoid varieties Semigroup Forum 103, No. 1, 106-152 (2021) : [review]Henno, JaakzbMATH Open2022 / 1 p. https://zbmath.org/1484.20100

Han, Bin Bin; Zhang, Wen Ting; Li, Jian Rong Finite basis problem for the variety generated by all monoids of order five Commun. Algebra 51, 424-439 (2023) : [review]Henno, JaakzbMATH Open2023 / 1 p. https://zbmath.org/1512.20192

Hashuga, Mara; Herbine, Megan; Jensen, Alathea Numerical semigroups generated by quadratic sequences Semigroup Forum 104, 330-357 (2022) : [review]Henno, JaakzbMATH Open2023 / 1 p. https://zbmath.org/1515.20296

Hemelaer, Jens ; Rogers, Morgan. Solution to a problem of FitzGerald. Semigroup Forum 103, No. 1, 153-164 (2021).Henno, JaakzbMATH Open2022 / 2 p. https://zbmath.org/1484.20111

Jantanan, Wichayaporn; Jumnongphan, Chinnawat; Jaichot, Natthawut; Chinram, Ronnason. Semigroups in which the radical of every interior ideal is a subsemigroupQuasigroups Relat. Syst. 31, No. 1, 65-74 (2023) : [review)Henno, JaakZentralblatt MATH2023 / 1 p. https://zbmath.org/1512.20202

Juhász, Arye. Solution of the membership problem of the prefix monoid in certain one-relator groups. Semigroup Forum 89, No. 3, 479-490 (2014) : [review]Henno, JaakZentralblatt MATH2015 / [1] p https://zbmath.org/?t=&s=0&q=06425946

Lee, Edmond W. H. A minimal pseudo-complex monoid : [review]Henno, JaakZentralblatt MATH2023 / 1 p. https://zbmath.org/1512.20194

Li, Jian-Rong; Luo, Yan-Feng. Classification of finitely based words in a class of words over a 3-letter alphabet. Semigroup Forum 91, No. 1, 200-212 (2015) : [review] [Online resource]Henno, JaakZentralblatt MATH2016 https://zbmath.org/?t=&s=0&q=06518151

Logics of skew categorical structuresUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanLogic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts2022 / p. 81-82 https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf

Masuda, Ariane M.; Quoos, Luciane; Steinberg, Benjamin. Character theory of monoids over an arbitrary field. J. Algebra 431, 107-126 (2015) : [review]Henno, JaakZentralblatt MATH2015 / [1] p

Maximally multi-focused proofs for skew non-commutative MILLVeltri, NiccolòLogic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings2023 / p. 377-393 https://doi.org/10.1007/978-3-031-39784-4_24 Conference proceedings at Scopus Article at Scopus

Monoidal context theory = Monoidiliste kontekstide teooriaRoman Garcia, Mario2023 https://doi.org/10.23658/taltech.54/2023 https://digikogu.taltech.ee/et/Item/034fb7d2-c41f-4d12-81a9-4dd792504995 https://www.ester.ee/record=b5645423*est

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

Monoidal width = Monoidiline laiusDi Lavore, Elena2023 https://doi.org/10.23658/taltech.55/2023 https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502 https://www.ester.ee/record=b5645383*est

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

Optics for premonoidal categoriesHefford, James; Roman Garcia, MarioarXiv.org2023 / p. 152-171 : ill https://doi.org/10.48550/arXiv.2305.02906

Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 Conference proceedings at Scopus Article at Scopus Article at WOS

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Roman Garcia, MarioarXiv.org2023 / 56 p. : ill https://doi.org/10.48550/arXiv.2301.11867

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

Promonads and string diagrams for effectful categories : preprintRoman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.07664

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Semi-substructural logics with additivesVeltri, Niccolò; Wan, Cheng-SyuanProceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 20232024 / p. 63-80 https://doi.org/10.4204/EPTCS.402.8 Conference proceedings at Scopus Article at Scopus Article at WOS

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11

Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 Conference Proceedings at Scopus Article at Scopus Article at WOS

Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Stepanova, A.A. ; Chekanov, S.G. Congruence-permutable S-actsHenno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1485.20143

String diagrammatic trace theoryEarnshaw, Matthew David; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 Conference proceeding at Scopus Article at Scopus

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings Article at Scopus Article at WOS