• Coends of higher arityLoregian, Fosco; de Oliveira Santos, TheoApplied categorical structures2022 / p. 173-221 https://doi.org/10.1007/s10485-021-09653-x https://www.scopus.com/sourceid/28049 https://www.scopus.com/record/display.uri?eid=2-s2.0-85113852400&origin=inward&txGid=4448a1469a67eb34bcd49813511856aa https://jcr.clarivate.com/jcr-jp/journal-profile?journal=APPL%20CATEGOR%20STRUCT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000691204400001
• Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172138941&origin=inward&txGid=ae42bac89932d0db3273c6f40b280962
• Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85100912099&origin=inward&txGid=0b8247f867578b69f043eb5e6fd83971
• Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85147333445&origin=inward&txGid=0a744f0eddab1995132050a08ff1c6c6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000924021300002
• Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169450215&origin=inward&txGid=c87d60ba42f7548a75293f6e60a606c0 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000013
• Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv.org2022 / p. 1-16 : ill https://doi.org/10.48550/arXiv.2207.06765 https://arxiv.org/pdf/2207.06765.pdf
• Fibrational linguistics (FibLang) : first conceptsGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv2022 / 22 p. : ill https://doi.org/10.48550/arXiv.2201.01136 https://arxiv.org/pdf/2201.01136.pdf
• Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101219248&origin=inward&txGid=3db01346a374231e73bdbf13ee3e2a00 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200021
• Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 13 p. https://doi.org/10.1109/LICS56636.2023.10175726 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85162173175&origin=resultslist&sort=plf-f&src=s&sid=ec75abd3251d7087b754becbe52cb944&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Higher-Dimensional+Subdiagram+Matching%22%29&sl=104&sessionSearchId=ec75abd3251d7087b754becbe52cb944&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001036707700023
• Lifting twisted coreflections against delta lensesClarke, Bryce JamesTheory and Applications of Categories2024 / p. 838 - 877 : ill http://www.tac.mta.ca/tac/volumes/41/26/41-26abs.html https://www.scopus.com/sourceid/145268 https://www.scopus.com/record/display.uri?eid=2-s2.0-85202056434&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE%28%22Lifting+twisted+coreflections+against+delta+lenses%22%29&sessionSearchId=05a3cf5736f124aa5e216a7802284d7e&relpos=0
• 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
• On doctrines and Cartesian bicategoriesBonchi, Filippo; Santamaria, Alessio; Seeber, Jens; Sobocinski, Pawel MariaCALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings2021 / p. 10:1−10:7 https://doi.org/10.4230/LIPIcs.CALCO.2021.10 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85120633403&origin=inward&txGid=314c457be65ccb9c6fd1cb2817f12f50
• Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85181915516&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Protocol+choice+and+iteration+for+the+free+cornering%22%29&sessionSearchId=a1950993a8713b95c4defac4e2fbf8c1&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:001154322400001
• Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168762736&origin=inward&txGid=5e1b93c2cbb3a6a75e0b27d158426cee
• String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 https://www.scopus.com/sourceid/23127 https://www.scopus.com/record/display.uri?eid=2-s2.0-85127614327&origin=inward&txGid=289cc957ac27d19b801bd3f9818d2cd6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20ACM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000774368700006
• String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 https://www.scopus.com/sourceid/5000157801 https://www.scopus.com/record/display.uri?eid=2-s2.0-85144368790&origin=resultslist&sort=plf-f&src=s&sid=6615b9fca89328239106ccdf3fbe71fa&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000317%29&sl=30&sessionSearchId=6615b9fca89328239106ccdf3fbe71fa https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000861632300001
• A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / p. 29–56 https://doi.org/10.1007/978-3-030-81701-5_2 https://www.scopus.com/sourceid/19400157163 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112539110&origin=inward&txGid=b4a34a2ba2d4e3c16c55bb175870f5a7
• The formal theory of relative monadsArkor, Nathanael; McDermott, DylanJournal of pure and applied algebra2024 / art. 107676, 107 p. : ill https://doi.org/10.1016/j.jpaa.2024.107676 https://www.scopus.com/sourceid/23968 https://www.scopus.com/record/display.uri?eid=2-s2.0-85189487441&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22The+formal+theory+of+relative+monads%22%29&sessionSearchId=b1f33d3b615491dc7c7d93f57393950c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20PURE%20APPL%20ALGEBRA&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001223882300001