• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84880288390&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39212-2_28%29&sessionSearchId=842eff8fafa5da0f4673a77a0030efbc
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85204913636&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-71170-1_24%29&sessionSearchId=45c919fe8ff54496e2ffa842f2ed2798&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001329993800024
• 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 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85099012661&origin=inward&txGid=881fbaa36ca71934205c760f58637ca6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000679806100057
• 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 https://www.scopus.com/record/display.uri?eid=2-s2.0-85082503717&origin=inward&txGid=524982985b71675c08e606ccbb3bad5d
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182526347&origin=inward&txGid=905daf15c25fe7cf8001fda9410b2315 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900014
• 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 https://www.scopus.com/sourceid/19700186822 https://www.scopus.com/record/display.uri?eid=2-s2.0-84865977954&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-1-4614-3558-7_9%29&sessionSearchId=0906e4d58d0c902c55b98263cb85b6ec
• 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 https://www.scopus.com/sourceid/19400157163 https://www.scopus.com/record/display.uri?eid=2-s2.0-84921371421&origin=inward&txGid=138e9968efc13d8884cee1dd3613dc0e
• Software architecture for modern telehealth care systemsKuusik, Alar; Reilent, Enar; Lõõbas, Ivor; Parve, MarkoAdvances on information sciences and service sciences2011 / p. 141-151