• 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
• Effectful Mealy Machines: Bisimulation and TraceBonchi, Filippo; Di Lavore, Elena; Roman, Mario2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2025 / p. 541-554 : ill https://doi.org//10.1109/LICS65433.2025.00047