• Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill https://doi.org/10.1016/j.entcs.2014.10.003 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908384283&origin=inward&txGid=d4363c11cd6b22935a6315e99ca27f32
• Decomposing comonad morphismsAhman, Danel; Uustalu, Tarmo8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 20192019 / art. 14 ; 20 p https://doi.org/10.4230/LIPIcs.CALCO.2019.14 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076039926&origin=resultslist&sort=plf-f&src=s&sid=9b24b7b6b96b099e1e9afdd88e8e3155&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CALCO.2019.14%29&sl=32&sessionSearchId=9b24b7b6b96b099e1e9afdd88e8e3155&relpos=0
• The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85185217929&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22The+produoidal+algebra+of+process+decomposition%22%29&sessionSearchId=d07c77c718047b6144759fe6ff06e437&relpos=2 https://www.webofscience.com/wos/woscc/full-record/WOS:001300390800025