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 computation2025 / art. exae059 https://doi.org/10.1093/logcom/exae059 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Coinductive streams in monoidal categoriesDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, MarioLogical methods in computer science2025 / p. 18:1–18:52 : ill https://doi.org//10.46298/LMCS-21(3:18)2025 Journal metrics at Scopus Article at Scopus Journal metrics 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

Context-Free Languages of String DiagramsEarnshaw, Matthew David; Roman Garcia, Mario28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025 : proceedings2025 / p. 1–23 : ill https://doi.org/10.1007/978-3-031-90897-2_1

Context-Free Languages of String DiagramsEarnshaw, Matthew David; Roman Garcia, MarioarXiv.org2024 / 24 p. : ill https://doi.org/10.48550/arXiv.2404.10653

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

Functorial semantics for relational theoriesBonchi, Filippo; Pavlovic, Dusko; Sobocinski, Pawel MariaPolynesian Journal of Mathematics2025 / p. 1–56 : ill https://doi.org/10.69763/polyjmath.2.6 https://polyjmath.org/volumes/polyjmath-2-6.pdf

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, NiccoloLogic, 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

Monoid structures on indexed containersDe Pascalis, Michele; Uustalu, Tarmo; Veltri, NiccoloProceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 20252025 / p. 37-54 https://doi.org/10.4204/EPTCS.430.4 Conference proceeding at Scopus Article at Scopus Article at WOS

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, 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

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

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

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 at Scopus Article at Scopus Article at WOS

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

Rewriting for Traced Monoidal Closed CategoriesDi Giorgio, Alessandro; Ghica, Dan R.; Zanasi, FabioGraph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings2025 / p. 24–43 : ill https://doi.org/10.1007/978-3-031-94706-3_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Semi-Substructural Logics à la LambekWan, Cheng-SyuanProceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)2024 / p. 195–213 https://doi.org/10.4204/EPTCS.415.18 Conference proceedings at Scopus Article at Scopus

Semi-substructural logics à la Lambek with symmetryWan, Cheng-SyuanBulletin of the section of logic2026 / p. 519-576 : ill https://doi.org/10.18778/0138-0680.2025.17 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Semi-substructural logics with additivesVeltri, Niccolo; 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, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11

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

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

Skew monoidal structures on actegoriesProchazkova, PavlaTheory and Applications of Categories2025 / p. 1282-1315 : ill http://www.tac.mta.ca/tac/volumes/44/38/44-38abs.html Journal metrics at Scopus Article at Scopus Journal metrics at WOS 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

String diagrams for premonoidal categoriesRoman Garcia, Mario; Sobocinski, Pawel MariaLogical methods in computer science2025 / 20 p. : ill https://lmcs.episciences.org/15593/pdf https://doi.org/10.46298/LMCS-21(2:9)2025 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Süer, Meral. The catenary degree of the saturated numerical semigroups with prime multiplicity : [review]Henno, JaakZentralblatt MATH2023 / 1 p. https://zbmath.org/1515.20299