• Refinement of marine geometric geoid and gravity disturbances using SWOT satellite altimetryKupavõh, Aleksei; Ellmann, Artu; Varbla, Sander; Delpeche-Ellmann, Nicole CamilleIAG Scientific Assembly 2025 : Geodesy for a changing environment : Abstract Book2025 / p. 327 https://eventi.unibo.it/iag2025/final-program/iag_abstract-book.pdf/@@download/file/IAG_abstract-book.pdf
• Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 https://doi.org/10.6092/issn.1972-5787/4389 https://www.scopus.com/sourceid/21100262198 https://www.scopus.com/record/display.uri?eid=2-s2.0-84904630409&origin=inward&txGid=417864a3d23c7ca8e897f9b405dcc50f