• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182311545&origin=inward&txGid=42ccf2a4fc7032e17d3e0dca7aaadae8 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900002
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927626955&origin=inward&txGid=209c8a0cd5ce04a0802a387bf150e19f
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117482051&origin=inward&txGid=26701c4376c40303ee23cb27b193b556 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000876648000012
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85166611165&origin=inward&txGid=e463dc30d9837a966345b1e72819eb65 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900012
• 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 https://www.scopus.com/record/display.uri?eid=2-s2.0-85204905488&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1145%2F3678232.3678249%29&sessionSearchId=82ea1e262e947a553c0dfd040e2059dd&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001324686900017
• Context-Free Languages of String DiagramsEarnshaw, Matthew David; Román, 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169476401&origin=inward&txGid=5281a5ad4cfbd60b461a9fc2944a33d0 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000006
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101209607&origin=inward&txGid=45c295cc30341949924cd0b96b4a6bdf https://www.webofscience.com/wos/woscc/full-record/WOS:001035994800003
• Distributive laws of directed containersAhman, Danel; Uustalu, TarmoProgress in Informatics2013 / p. 3-18 https://doi.org/10.2201/NiiPi.2013.10.2 https://www.scopus.com/sourceid/144630 https://www.scopus.com/record/display.uri?eid=2-s2.0-84877657005&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.2201%2FNiiPi.2013.10.2%29
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101225913&origin=inward&txGid=7bb4aeed17a0b67933551cc07f692192 https://www.webofscience.com/wos/woscc/full-record/WOS:000582228200012
• 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 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85165998581&origin=inward&txGid=b5207f0830a476756850b676366a5d94 https://www.webofscience.com/wos/woscc/full-record/WOS:001036707700045
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172739781&origin=inward&txGid=69b31d5927977a48af9ad30e7401575f
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174229571&origin=inward&txGid=6d89c61a12c25efc210fc1c1a18d8c5c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001083845100001
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169440941&origin=inward&txGid=7857f291e697d23757c0161e9e5d4c23 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000016
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101207257&origin=inward&txGid=9eed95d5f0f7b038bc730d43c0ff9135 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200005
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182523880&origin=inward&txGid=69e581b3fdf84dc320b5a065c2a0c1f0 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900016
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169423973&origin=inward&txGid=c7f003716672f084856e0b710e57736f https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000020
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101268643&origin=inward&txGid=3b643d8f15203d885507ba2ca79e8b59 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200016
• 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 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137593461&origin=inward&txGid=a48c4f25a2657cb2d41c28f255b51505
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85189029411&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Regular+planar+monoidal+languages%22%29&sessionSearchId=a8f0a943e59e9ac836047baed6d1091c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001219761900001
• 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
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85191660878&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Semi-substructural+logics+with+additives%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=1 https://www.webofscience.com/wos/woscc/full-record/WOS:001313392600006
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85058062732&origin=inward&txGid=a098673aae50e82c85aea4122a0b82ac https://www.webofscience.com/wos/woscc/full-record/WOS:000452898800017
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142933767&origin=inward&txGid=aa703bff0532a11a2db3446f14ca2ddd https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300009
• 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 https://www.scopus.com/sourceid/144641 https://www.scopus.com/record/display.uri?eid=2-s2.0-85150476245&origin=resultslist&sort=plf-f&src=s&sid=2f6521f66136a16cc4250bbbe569d174&sot=b&sdt=b&s=DOI%2810.1007%2Fs10270-023-01092-7%29&sl=23&sessionSearchId=2f6521f66136a16cc4250bbbe569d174 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTW%20SYST%20MODEL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000957065300001
• 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 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436
• 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
• 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 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85185217929&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22The+produoidal+algebra+of+process+decomposition%22%29&sessionSearchId=d07c77c718047b6144759fe6ff06e437&relpos=2 https://www.webofscience.com/wos/woscc/full-record/WOS:001300390800025