Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, DianaApplied Categorical Structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Adjoint functor theorems for lax-idempotent pseudomonadsArkor, Nathanael; Di Liberti, Ivan; Loregian, FoscoTheory and Applications of Categories2024 / p. 667-685 http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Automata and coalgebras in sategories of SpeciesLoregian, FoscoCoalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings2024 / p. 65-92 https://doi.org/10.1007/978-3-031-66438-0_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derarXiv.org2020 / 32 p https://doi.org/10.4230/LIPIcs.FSCD.2019.5

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

Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

Categories, automata and splicing systemsKaljulaid, U.; Penjam, JaanProceedings of 9th Nordic Workshop on Programming Theory1997

(Co)end CalculusLoregian, Fosco2021 https://doi.org/10.1017/9781108778657

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

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

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

Cyclic duality for slice and orbit 2-categoriesBoiquayea, John; Joram, Philipp; Krähmer, UlrichHigher Structures2024 / p. 136-162 : ill https://doi.org/10.21136/hs.2024.09

The delay monad and restriction categoriesUustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings2017 / p. 32-50 https://doi.org/10.1007/978-3-319-67729-3_3 Conference proceedings at Scopus Article at Scopus Article at WOS

Differential 2-rigsLoregian, Fosco; Trimble, ToddarXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2103.00938 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4413.pdf

Differential 2-rigsLoregian, Fosco; Trimble, ToddProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 159-182 : ill https://doi.org/10.4204/EPTCS.380.10 Conference proceeding at Scopus Article at Scopus Article at WOS

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

Escrows are opticsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanielearXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2105.10028 https://arxiv.org/pdf/2105.10028.pdf

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

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

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

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

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 skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

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

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS