Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Accessibility and presentability in 2-categoriesDi Liberti, Ivan; Loregian, FoscoJournal of pure and applied algebra2023 / art. 107155, 25 p https://doi.org/10.1016/j.jpaa.2022.107155 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

2

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

3

artikkel kogumikus EST / artikkel kogumikus ENG

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

4

artikkel kogumikus EST / artikkel kogumikus ENG

A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

5

raamat

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

raamat

6

artikkel ajakirjas EST / artikkel ajakirjas ENG

Coends of higher arityLoregian, Fosco; de Oliveira Santos, TheoApplied categorical structures2022 / p. 173-221 https://doi.org/10.1007/s10485-021-09653-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

7

artikkel kogumikus EST / artikkel kogumikus ENG

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 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

8

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

9

artikkel kogumikus

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

artikkel kogumikus

10

artikkel kogumikus

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

artikkel kogumikus

11

artikkel kogumikus

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

artikkel kogumikus

12

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

13

artikkel kogumikus

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

artikkel kogumikus

14

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

15

artikkel kogumikus EST / artikkel kogumikus ENG

Nets with mana : a framework for chemical reaction modellingGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleGraph Transformation : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021 : proceedings2021 / p. 185−202 https://doi.org/10.1007/978-3-030-78946-6_10 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

16

artikkel ajakirjas

Profunctor optics : a categorical updateClarke, Bryce; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioarXiv.org2022 / 45 p https://doi.org/10.48550/arXiv.2001.07488

artikkel ajakirjas

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

17

artikkel ajakirjas EST / artikkel ajakirjas ENG

Triangulated factorization systems and t-structuresLoregian, Fosco; Virili, SimoneJournal of algebra2020 / p. 219-241 https://doi.org/10.1016/j.jalgebra.2019.12.021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Loregian, Fosco (autor)

teaviku laadid

autor 1

CV 1