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 http://dx.doi.org/10.1016/j.jlamp.2016.07.001

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 Journal Metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus

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 Conference proceedings at Scopus Article at Scopus

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

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 Conference Proceedings at Scopus Article at Scopus

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

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

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus

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

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

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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/ Conference proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceeding at Scopus Article at Scopus

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 "scopus"

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 Conference Proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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, 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

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

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 Conference Proceedings at Scopus Article at Scopus

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

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 http://dx.doi.org/10.1016/j.entcs.2015.12.024

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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 Article collection metrics at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus

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 Conference proceeding at Scopus Article at Scopus

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 https://doi.org/10.1016/j.is.2023.102243

Абстрактные атрибутные грамматикиVooglaid, Aare; Meriste, MerikПрограммирование1982 / с. 17-27 https://www.ester.ee/record=b2150732*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