• 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
  • 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
  • Specification and verification of a linear-time temporal logic for graph transformationGadducci, Fabio; Laretto, Andrea; Trotta, DavideGraph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings2023 / p. 22-42 : ill https://doi.org/10.1007/978-3-031-36709-0_2 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169055503&origin=inward&txGid=d01bf8688497e36023144cc6082c2fda