Otsing - TalTech Publikatsioonid

kuva

reasta

1

artikkel kogumikus

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, USA, 12-16 July 20212021 / 15 phttps://doi.org/10.48550/arXiv.2101.09100

artikkel kogumikus

2

artikkel kogumikus

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−68https://doi.org/10.48550/arXiv.2102.00096

artikkel kogumikus

3

raamat

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

raamat

4

artikkel ajakirjas

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

artikkel ajakirjas

5

artikkel ajakirjas

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, p. 1–28https://doi.org/10.1145/3434338

artikkel ajakirjas

6

artikkel kogumikus

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−202https://doi.org/10.1007/978-3-030-78946-6_10

artikkel kogumikus

7

artikkel ajakirjas

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

artikkel ajakirjas

teaviku laadid

autor 1

CV 1