• 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
• 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 https://www.semanticscholar.org/paper/Constraint-Based-Heuristic-On-line-Test-Generation-Ahman-K%C3%A4%C3%A4ramees/c798ef6753277479b79652be2a5921a1db94c74c
• 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
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84991629033&origin=inward&txGid=ae8ee1c337b0ae6717ea67b1fbcf86af https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400006
• Distributive laws of directed containersAhman, Danel; Uustalu, TarmoProgress in Informatics2013 / p. 3-18 https://doi.org/10.2201/NiiPi.2013.10.2 https://www.scopus.com/sourceid/144630 https://www.scopus.com/record/display.uri?eid=2-s2.0-84877657005&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.2201%2FNiiPi.2013.10.2%29
• 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] https://cs.ioc.ee/~danel/papers/cmcs12.pdf
• 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 https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85019214713&origin=inward&txGid=f7cf9e7fcee9fd3a08ff8c3fcb366d30
• Update monads: Cointerpreting directed containersAhman, Danel; Uustalu, Tarmo19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 1-23 : ill https://doi.org/10.4230/LIPIcs.TYPES.2013.1 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907731424&origin=inward&txGid=17140a8449c63582385a4010066b6385
• 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 https://doi.org/10.2168/LMCS-10(3:14)2014 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908291183&origin=inward&txGid=3a9bf44be0ff74f7f537c2f41be9a2a6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000347714800024