• Data Types with Symmetries via Action ContainersJoram, Philipp; Veltri, Niccolo30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings2025 / p. 6:1-6:21 https://doi.org/10.4230/LIPIcs.TYPES.2024.6 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/pages/publications/105010339177?origin=resultslist https://www.webofscience.com/wos/woscc/full-record/WOS:001757957800006
• Drivers of railway container transports between China and FinlandHilmola, Olli-Pekka Kristian; Li, WeidongJournal of shipping and trade2023 / 18 p. https://doi.org/10.1186/s41072-023-00151-y
• 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