Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill

Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMsAhman, Danel; Kääramees, MarkoEPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 20122012 / p. 115-129 : ill

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

Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5

Distributive laws of directed containers : [extended abstract]Ahman, Danel; Uustalu, Tarmo11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions2012 / [p. 1-3]

Taking updates seriouslyAhman, Danel; Uustalu, Tarmo6th International Workshop on Bidirectional Transformations, BX 2017 : Uppsala, Sweden, 29 April 20172017 / p. 59-73 : ill http://ceur-ws.org/Vol-1827/paper11.pdf

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoFoundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of The European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings2012 / p. 74-88 : ill https://artiklid.elnet.ee/record=b2491247*est

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill