• A semantic method of automatic composition of e-government servicesMaigre, Riina; Grigorenko, Pavel; Haav, Hele-Mai; Kalja, AhtoDatabases and information systems : tenth international Baltic conference on databases and information systems : local proceedings, materials of doctoral consortium : Vilnius, Lithuania, July 8-11, 20122012 / p. 182
• Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979619802&origin=inward&txGid=ac9399787ae9356d280d813630adb3f9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000005
• Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
• Almeida, Jorge; Klíma, Ondřej. Representations of relatively free profinite semigroups, irreducibility, and order primitivity : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an%3A1443.20085
• Application of machine learning for assessment of HS code correctnessSpitšakova, Margarita; Haav, Hele-MaiBaltic journal of modern computing2020 / p. 698-718 https://doi.org/10.22364/bjmc.2020.8.4.13 https://www.scopus.com/sourceid/21100983350 https://www.scopus.com/record/display.uri?eid=2-s2.0-85099189374&origin=inward&txGid=383898f96e142dc6039ac00f63f5f625 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BALT%20J%20MOD%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000601605000015
• Arvamus sõnade omand ja omandus semantikast ning rakendatavusest : Eesti Keele Instituudi ekspertarvamuse teemalMereste, UnoÕiguskeel1995 / 3, lk. 35-38
• Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr
• Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr https://artiklid.elnet.ee/record=b2039570*est
• Berkeley, mysteries, and meaning : a critique of the non-cognitivist interpretationJakapi, Roomet2002 http://dspace.ut.ee/handle/10062/43434
• Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / art. 104767, 22 p https://doi.org/10.1016/j.ic.2021.104767 https://www.scopus.com/sourceid/25509 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109004037&origin=inward&txGid=8982598f8a6bd1e70aeb24b273b85c90 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000721215200017
• Build, augment and destroy, universallyGhani, Neil; Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings2004 / p. 327-347 https://www.researchgate.net/publication/221323363_Build_Augment_and_Destroy_Universally
• Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84954516018&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4204%2FEPTCS.137.6%29&sessionSearchId=b54b8b263198aa2b467a2e833e85bb3b
• Combining semantic parsing frameworks for automated knowledge base constructionVerrev, MartinAI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence2022 https://ceur-ws.org/Vol-3354/paper1.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85150484275&origin=resultslist&sort=plf-f&src=s&sid=6356880f96040ef48a9472bd2aca24a1&sot=a&sdt=a&s=TITLE-ABS-KEY%28%22combining+semantic%22%29+AND+PUBYEAR+%3D+2022&sl=54&sessionSearchId=6356880f96040ef48a9472bd2aca24a1&relpos=25
• A compositional approach to signal flow graphsSobocinski, Pawel Maria31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 2 https://doi.org/10.23658/taltech.nwpt/2019
• Computing data lineage and business semantics for data warehouseTomingas, Kalle; Järv, Priit; Tammet, TanelKnowledge Discovery, Knowledge Engineering and Knowledge Management :8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers2019 / p. 101-124 https://doi.org/10.1007/978-3-319-99701-8_5 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85057204982&origin=inward&txGid=5fad229c9f20bb6020eaabcc383a2b45
• Contextual semantic : a context-aware approach for semantic web based data extraction from scientific articlesKumlander, DenissInnovations in computing sciences and software engineering2010 / p. 241-244
• 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
• Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana-Maria5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169429815&origin=inward&txGid=64272195c9477aa9215f82f729a2f73b https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000007
• 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 polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122436640&origin=inward&txGid=1ac53b706c7113a7337d5c3be607b569
• Digital health data capture with a controlled natural languageKankainen, Kristian Juha Ismo; Listenmaa, Inari; Piho, Gunnar; Ross, PeeterCaring is sharing – exploiting the value in data for health and innovation : proceedings of MIE 20232023 / p. 829 - 830 https://doi.org/10.3233/SHTI230280 https://www.scopus.com/sourceid/19582 https://www.scopus.com/record/display.uri?eid=2-s2.0-85159760254&origin=inward&txGid=922f0ccb38c558fda52ae29aaf0cc4d8 https://www.webofscience.com/wos/woscc/full-record/WOS:001071432900218
• Dong, L.; Guo, Q.; Wu, W.; Satpute, M. N. A semantic relatedness preserved subset extraction method for language corpora based on pseudo-Boolean optimization : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://www.zbmath.org/?q=an:07239083
• The early π-calculus in ticked cubical type theoryVeltri, Niccolo; Vezzosi, Andrea31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 77-80 https://doi.org/10.23658/taltech.nwpt/2019
• Eesti keele grammatika : süntaksi II osa ja semasioloogia : keskkooli X klassile, õpetajate seminaridele ja õpetajate instituutideleKure, Kristjan1950 https://www.ester.ee/record=b1453273*est
• Eesti Wordnet'i struktuuri analüüsistLohk, Ahti; Võhandu, LeoEesti Rakenduslingvistika Ühingu aastaraamat 2012 = Estonian papers in applied linguistics 20122012 / lk. 139-151 : ill https://www.ester.ee/record=b2033361*est
• Efficient semantics of parallel and serial models of attack trees = Ründepuude paralleel- ja jadamudelite efektiivsed semantikadJürgenson, Aivo2010 https://www.ester.ee/record=b2604924*est
• Emergence of language : hidden states and local environmentsHenno, JaakInformation modelling and knowledge bases XIX2008 / p. 170-181 https://ebooks.iospress.nl/volumearticle/3990
• Enhancing semantics-driven recommender systems with visual featuresBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoAdvanced Information Systems Engineering34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings2022 / p. 443–459 https://doi.org/10.1007/978-3-031-07472-1_26 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85132742589&origin=inward&txGid=ac79633a46b93b7b2567e75097802ead https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000871751200026
• Euroopa rakendussemantika Mustpeade Majas : [14.-16. apr. 2004 toimus TTÜ Küberneetika Instituudi korraldatud rahvusvaheline workshop APPSEM'04 programmikeelte semantikast ja selle rakendustest]Uustalu, TarmoMente et Manu2004 / 13. mai, lk. 2 : fot https://www.ester.ee/record=b1242496*est
• Experiences of lexicographers and computer scientists in validating Estonian Wordnet with test patternsLohk, Ahti; Orav, Heili; Vare, Kadri; Võhandu, LeoProceedings of the Eighth Global WordNet Conference : Bucharest, Romania, January 27-30, 20162016 / p. 184-191 : ill http://gwc2016.racai.ro/
• An experiment : finding parents for parentless synsets by means of CILILohk, Ahti; Rebane, Martin; Orav, HeiliGWC 2023 : proceedings of the 12th Global Wordnet Conference, 23–27 Jan, 2023, Donostia-San Sebastian, Basque Country2023 / p. 295–302 https://aclanthology.org/2023.gwc-1.36
• Extended clusters of vertical polysemy : an explorative study of eleven wordnetsLohk, Ahti; Vainik, Ene; Paulsen, Geda; Rebane, Martin; Bond, FrancisEesti Rakenduslingvistika Ühingu aastaraamat 2021 = Estonian Papers in Applied Linguistics 20212021 / p. 193-210 : ill https://doi.org/10.5128/ERYa17.11 https://www.ester.ee/record=b2033361*est https://www.scopus.com/sourceid/5800207863 https://www.scopus.com/record/display.uri?eid=2-s2.0-85120362443&origin=inward&txGid=664d467590c1eca5a2028cdf0231e862
• Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814
• Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814
• A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261
• 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
• Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalizationDraheim, Dirk2017 https://doi.org/10.1007/978-3-319-69868-7
• Higher-order attribute semantics of flat declarative languagesGrigorenko, Pavel20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 37-39 : ill https://artiklid.elnet.ee/record=b1072901*est
• Higher-order attribute semantics of flat languagesGrigorenko, PavelInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 97-100 : ill
• Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantikaGrigorenko, Pavel2010 https://digi.lib.ttu.ee/i/?510 https://www.ester.ee/record=b2637394*est
• How the apriori algorithm can help to find semantic duplicates in ontologyAstrova, Irina; Koschel, Arne; Lee, Su LingKnowledge-Based Software Engineering: 2020 : Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 20202020 / p. 178-191 https://doi.org/10.1007/978-3-030-53949-8_16
• Intelligent information technology for organizing swimming competitionsHnatchuk, Yaroslav; Hnatchuk, Alina; Hlukhov, Ivan; Karatnyk, Ivan; Boyarchuk, ArtemIntelITSIS 2022 : Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 23-25, 20222022 / p. 294-304 https://ceur-ws.org/Vol-3156/paper22.pdf https://ceur-ws.org/Vol-3156/ https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85133633894&origin=inward&txGid=c6b358428c833a6ac4679fdc4569803d
• Kuidas me mõistame mõisteid?Vainik, Ene; Kirt, ToomasEesti Rakenduslingvistika Ühingu aastaraamat. 42008 / lk. 225-245 : ill https://artiklid.elnet.ee/record=b2117016*est
• Let us investigate! Dynamic conjecture-making as the formal logic of abductionMa, Minghui; Pietarinen, Ahti-VeikkoJournal of philosophical logic2018 / [33] p. : ill https://doi.org/10.1007/s10992-017-9454-x https://www.scopus.com/sourceid/4700152621 https://www.scopus.com/record/display.uri?eid=2-s2.0-85040787592&origin=inward&txGid=b897f6662cf53cc98b58435da6c3d89a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20PHILOS%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000450016600001
• Loogikaprogrammi minimaalne semantikaHenno, JaakТезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 19881988 / с. 37-38 https://www.ester.ee/record=b1229448*est
• Meaning and affect in the placebo effectChiffi, Daniele; Pietarinen, Ahti-Veikko; Grecucci, AlessandroThe Journal of Medicine and Philosophy : A Forum for Bioethics and Philosophy of Medicine2021 / p. 313–329 https://doi.org/10.1093/jmp/jhab002 https://www.scopus.com/sourceid/15982 https://www.scopus.com/record/display.uri?eid=2-s2.0-85107924737&origin=inward&txGid=1ef12319e7645edfe7f534f9f3821754 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20MED%20PHILOS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000671131100004
• Mechatronics modeling methodology and semantic orientated knowledge baseSell, Raivo; Seiler, SvenAnnals of DAAAM for 2009 & proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation : Focus on Theory, Practice and Education" : 25-28th November 2009, Vienna, Austria2009 / p. 1723-1724 : ill
• Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85068045398&origin=inward&txGid=d6e07206c224cb13ed521680b7153e70
• Naatan Kvarki raamaturiiulAgur, UstusHorisont1975 / lk. 34 https://www.ester.ee/record=b1072243*est http://www.digar.ee/id/nlib-digar:291316 https://www.ester.ee/record=b1177613*est
• 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
• Normalization by evaluation for lambda 2Altenkirch, Thorsten; Uustalu, TarmoFunctional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings2004 / p. [260]-275
• 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
• An ontology engineering case study for advanced digital forensic analysisChikul, Pavel; Bahsi, Hayretdin; Maennel, Olaf ManuelModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 67–74 https://doi.org/10.1007/978-3-030-78428-7_6 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111350619&origin=inward&txGid=380c3d4cd94eff5530d7704bb66d1831
• Ontology merging using the weak unification of conceptsKuusik, Norman; Vain, JüriBig Data and Cognitive Computing2024 / art. 98 https://doi.org/10.3390/bdcc8090098 https://www.scopus.com/sourceid/21101020112 https://www.scopus.com/pages/publications/85204940537?inward https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BIG%20DATA%20COGN%20COMPUT&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001323313400001
• Ontology-based development of location based servicesHaav, Hele-Mai; Kaljuvee, Aivi; Luts, Martin; Vajakas, ToivoDatabases and Information Systems : proceedings of the Ninth International Baltic Conference, Baltic DB&IS 2010 : Riga, Latvia, July 5-7, 20102010 / p. 11-26 : ill
• Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
• Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, Tarmo31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 40-43 https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
• Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85104417236&origin=inward&txGid=06cb22366fc447c4b2b53c7efef0f855 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000653017200003
• Personalized context-aware recommendations in SMARTMUSEUM : combining semantics with statisticsLiiv, Innar; Tammet, Tanel; Ruotsalo, Tuukka; Kuusik, AlarProceedings of the Third International Conference on Advances in Semantic Processing (SEMAPRO 2009) : Sliema, Malta, October 20092009 / p. 50-55 https://ieeexplore.ieee.org/document/5291537
• Preserving semantics of the whole-part relationships in the object-relational databasesEessaar, ErkiAdvances in Information Systems development. New Methods and practice for the Networked Society. 22007 / p. 1-11
• Preserving semantics of the whole-part relationships in the object-relational databasesEessaar, Erki15th International Conference on Information Systems Development : Budapest, Hungary, 31 August - 2 September 20062006 / ? p https://link.springer.com/chapter/10.1007/978-0-387-70802-7_1
• Rakendusi reaal- ja humanitaarteaduste sümbioosistMeister, Einar; Penjam, Jaan; Tõugu, EnnTeadusmõte Eestis : tehnikateadused2002 / lk. 77-81 : ill
• Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148
• Reflective constraint writing : a symbolic viewpoint of modeling languagesDraheim, DirkTransactions on large-scale data- and knowledge-centered systems XXIV : special issue on database- and expert-systems applications2016 / p. 1-60 : ill http://dx.doi.org/10.1007/978-3-662-49214-7_1
• Runners for interleaving algebraic effectsVoorneveld, NielsTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 407-424 https://doi.org/10.1007/978-3-031-17715-6_26 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140722139&origin=inward&txGid=96cc2f1b9302cb61a501c22dde4551f9
• SARI - a system for semantical information retrievalTaveter, KuldarERCIM news1998 / p. 14-15 https://www.ercim.eu/publication/Ercim_News/enw35/taveter.html
• Scene parsing using Fully Convolutional Network for Semantic SegmentationAli, Nisar; Ijaz, Ali Zeeshan; Ali, Raja Hashim; Abideen, Zain Ul; Bais, Abdul2023 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE), Regina, SK, Canada, 20232023 / p. 180-185 https://doi.org/10.1109/CCECE58730.2023.10288934
• Semantic interoperability framework for Estonian public sector’s e-services integrationTomingas, Kalle; Luts, MartinORES-2010 : Ontology Repositories and Editors for the Semantic Web : Proceedings of the 1st Workshop on Ontology Repositories and Editors for the Semantic Web : Hersonissos, Crete, Greece, May 31st, 20102010 / [5] p
• Semantic interoperability framework for Estonian public sector's e-services integrationTammet, Tanel; Tomingas, Kalle; Luts, MartinProceedings of the 11th European Conference on Knowledge Management : Universidade Lusíada de Vila Nova, de Famalicão, Portugal, 2-3 September2010 / p. 988-995
• Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semanticsDraheim, Dirk2017 https://doi.org/10.1007/978-3-642-55198-7 http://www.ester.ee/record=b4671951*est
• Semantics on mobile robot algorithms developmentSeiler, Sven; Sell, Raivo7th International Conference Mechatronics Systems and Materials MSM 2011 : Kaunas, Lithuania, 7-9 July, 2011 : abstracts book and full papers CD2011 / p. 52-53 https://www.academia.edu/14380281/Semantics_on_Mobile_Robot_Algorithms_Development
• Semantilise koosvõime arhitektuur riigi infosüsteemisHaav, Hele-Mai; Kalja, Ahto; Küngas, Peep; Luts, MartinA & A2008 / lk. 32-42 : ill https://artiklid.elnet.ee/record=b1022736*est
• Software architecture for modern telehome care systemsKuusik, Alar; Reilent, Enar; Lõõbas, Ivor; Parve, MarkoProceedings of the 6th International Conference on Networked Computing (INC 2010) : Gyeongju, Korea, May 11-13, 20102010 / p. 326-331 : ill https://ieeexplore.ieee.org/document/5484807
• Specification and verification of a linear-time temporal logic for graph transformationGadducci, Fabio; Laretto, Andrea; Trotta, DavideGraph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings2023 / p. 22-42 : ill https://doi.org/10.1007/978-3-031-36709-0_2 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169055503&origin=inward&txGid=d01bf8688497e36023144cc6082c2fda
• Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 https://doi.org/10.1016/j.entcs.2015.12.024 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-84951730054&origin=inward&txGid=f9778112c5d584f3a973699dac5c8f18
• Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140468970&origin=inward&txGid=8adb6c04961f5456aaa5df2ad7e557d0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000866537100008
• A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / p. 29–56 https://doi.org/10.1007/978-3-030-81701-5_2 https://www.scopus.com/sourceid/19400157163 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112539110&origin=inward&txGid=b4a34a2ba2d4e3c16c55bb175870f5a7
• The role of semantic ties in cloze-type item-solving strategyKokkota, ValmarIII Regional Seminar "Theoretical Problems of Language Testing", Tallinn, February 16-17, 1988 : summaries1988 / p. 54-56 https://www.ester.ee/record=b1238663*est
• The role of semantic ties in reading comprehensionKokkota, ValmarAILA World Congress Publications1990 / p. 561-562
• 2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est
• Towards user-centered and legally relevant smart-contract development : a systematic literature reviewDixit, Abhishek; Deval, Vipin; Dwivedi, Vimal Kumar; Draheim, DirkJournal of Industrial Information Integration2022 / art. 100314 ; 18 p https://doi.org/10.1016/j.jii.2021.100314 https://www.scopus.com/sourceid/21100787106 https://www.scopus.com/record/display.uri?eid=2-s2.0-85123032227&origin=inward&txGid=f0067005acec57c021c2f0f967e39c18 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20IND%20INF%20INTEGR&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000814522400003
• Tähenduse reflektsioonist kuuetuhande altLuts, MartinA & A2008 / 6, lk. 3-4
• A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140780525&origin=inward&txGid=eaace2b9291a459cc8c277324c839832
• Using a rule language for capturing semantics in web-based systemsTammet, Tanel; Haav, Hele-Mai; Kadarpik, Vello; Kääramees, MarkoDatabases and Information Systems IV : selected papers from the Seventh International Conference DBAMPIS'20062007 / p. 249-259
• Using machine learning for automated assessment of misclassification of goods for fraud detectionSpitšakova, Margarita; Haav, Hele-MaiDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 / p. 144-158 https://doi.org/10.1007/978-3-030-57672-1_12 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85089720660&origin=inward&txGid=b14438a348e6821ba420b2cfcad8558f
• Virtual academy platform supported by a semantic knowledge baseSeiler, Sven; Sell, RaivoProceedings of the 7th International Conference of DAAAM Baltic Industrial Engineering : 22-24th April 2010, Tallinn, Estonia. [II]2010 / p. 566-571 : ill
• A visual-semantic approach for building content-based recommender systemsBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoInformation systems2023 / art. 102243, 12 p. : ill https://doi.org/10.1016/j.is.2023.102243 https://www.scopus.com/sourceid/12305 https://www.scopus.com/record/display.uri?eid=2-s2.0-85166661585&origin=inward&txGid=4432893361749018f0665fa3114bbd12 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20SYST&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001027654900001
• Абстрактные атрибутные грамматикиVooglaid, Aare; Meriste, MerikПрограммирование1982 / с. 17-27 https://www.ester.ee/record=b2150732*est
• Абстрактные типы данныхPungar, PeeterПроблемы базы данных, построения трансляторов и анализа данных1981 / с. 45-50 https://www.ester.ee/record=b1317426*est
• Атрибуты на разреженном дереве программыLepp, MargeПроблемы базы данных, построения трансляторов и анализа данных1981 / с. 61-69 : илл https://www.ester.ee/record=b1317426*est
• Исследование роли семантических связей в понимании текстаKokkota, ValmarПарадигматические и синтагматические исследования германских языков = Paradigmatic and syntagmatic investigations in germanic languages = Paradigmatik und Syntagmatik in den Germanischen Sprachen : тезисы докладов республиканской научной конференции, Вильнюс, 11-15 мая 1989 г.1989 / с. 152-154
• Метод задания абстрактных типов данныхPungar, PeeterТезисы конференции "Теоретические и прикладные вопросы математики" : 11-12 сентября 19801980 / с. 47-48 https://www.ester.ee/record=b1275697*est
• Минимальная семантика логических программHenno, JaakII Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г. : тезисы докладов1988 / с. 231-232 https://www.ester.ee/record=b2681097*est
• О важности учёта семантики при обучении грамматикеSoonpere, JüriРусский язык в эстонской школе : РЯ : журнал Министерства просвещения ЭССР1988 https://www.ester.ee/record=b1707454*est
• О передаче семантической осложненности текста на эстонский язык : (на материале перевода романа А.Н. Толстого "Петр I")Semjonova, OlgaТруды по филологии. 11967 / с. 57-74 https://www.ester.ee/record=b1564656*est https://digikogu.taltech.ee/et/Item/94edfb9a-fac8-41d3-b5d0-876fecab67f7
• Реализация семантики нечетких высказывании методом фреймовLandrat, S.; Unt, M.; Jakobson, GabrielСемантика естественных и искусственных языков в специализированных системах : тезисы докладов конференции, Ленинград, 1-2 октября 1979 г1979 / с. 93-95 https://www.ester.ee/record=b2633439*est
• Роль семантических связей в стратегии запопления пропусков тестов типа КлоузKokkota, ValmarНаучный семинар ЛГК им. П. Стучки "Приемы интенсификации потенциального словаря на базе типовых контекстов", Рига, 20-21 апреля 1989 г. : тезисы докладов1989 / с. 34-37 https://www.ester.ee/record=b3855401*est
• Семантико-стилистическая система цикла "Сказки об Италии"Semjonova, OlgaСловоупотребление и стиль М. Горького : описание семантико-стилистической системы писателя : сборник статей1968 / с. [?] https://www.ester.ee/record=b2649336*est
• Семантическое равенство распознавателей, работающих на грамматике LR(k) и грамматике предшествования с (1/1) ограниченным каноническим контекстомVooglaid, AareВопросы исследования графов, грамматик, функций1976 / с. 39-56 https://www.ester.ee/record=b1433013*est https://digikogu.taltech.ee/et/Item/ab9b20b3-9208-4a18-88a2-da1e0f43137f
• Система построения эффективных многопроходных трансляторов с LR(k) семантикойVooglaid, Aare; Tombak, MatiПрограммирование1976 / lk. 28-38 https://www.ester.ee/record=b2150732*est
• Тропы как средство семантизации безэквивалентной лексики в художественном текстеPanova, GalinaСемантика в преподавании русского языка как иностранного. Вып. 3. Часть 21990 / с. 242-244