Contractive signatures with recursive types, type parameters, and abstract typesIm, Hyeonseung; Nakata, Keiko; Park, SungwooAutomata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II2013 / p. 299 - 311 https://doi.org/10.1007/978-3-642-39212-2_28 Conference Proceedings at Scopus Article at Scopus

Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 https://doi.org/10.1007/978-3-030-57672-1

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings2018 https://doi.org/10.1007/978-3-319-91376-6

Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 Conference Proceedings at Scopus Article at Scopus Article at WOS

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

New polysemy structures in Wordnets induced by vertical polysemyLohk, Ahti; Orav, Heili; Vare, Kadri; Bond, Francis; Vaik, RasmusProceedings of the 10th Global WordNet Conference : GWC 2019, July 23–27, 2019, Wroclaw, Poland2019 / p. 394-403 https://clarin-pl.eu/dspace/handle/11321/718 "scopus"

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

On using a semiotic quality framework to evaluate the quality of conceptual database schemasEessaar, ErkiEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 103-115 https://doi.org/10.1007/978-1-4614-3558-7_9 Conference Proceedings at Scopus Article at Scopus

Rule-based impact analysis for enterprise business intelligenceTomingas, Kalle; Tammet, Tanel; Kliimask, MargusArtificial Intelligence Applications and Innovations : AIAI 2014 Workshops : CoPA, MHDW, IIVC, and MT4BD, Rhodes, Greece, September 19-21, 2014 : proceedings2014 / p. 302-309 : ill https://doi.org/10.1007/978-3-662-44722-2_32 Conference proceedings at Scopus Article at Scopus

Software architecture for modern telehealth care systemsKuusik, Alar; Reilent, Enar; Lõõbas, Ivor; Parve, MarkoAdvances on information sciences and service sciences2011 / p. 141-151