Bing-CSF-IDF+: a semantics-driven recommender system for newsHuijsduijnen, Lies Hooft van; Hoogmoed, Thom; Keulers, Geertje; Langendoen, Edmar; Langendoen, Sanne; Vos, Tim; Hogenboom, Frederik; Frasincar, Flavius; Robal, TarmoNew trends in databases and information systems : ADBIS 2020 short papers, Lyon, France, August 25–27, 2020 : proceedings2020 / p. 143−153 https://doi.org/10.1007/978-3-030-54623-6_13 Conference proceeding at Scopus Article at Scopus

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

Formalizingπ-calculus in guarded cubical agdaVeltri, Niccolo; Vezzosi, AndreaEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

Kas masin võtab lihtsa kohtupidamise üle? Tehisintellektist saab peagi Eesti juristide abimeesKallas, RiinaDirector. Inseneeria2017 / lk. 112-116 : fot http://www.ester.ee/record=b1519314*est

Semantic data lineage and impact analysis of data warehouse workflows = Semantiline andmevoogude- ja mõjuanalüüs andmelao keskkonnasTomingas, Kalle2018 https://digi.lib.ttu.ee/i/?9926

Systematic support for full knowledge management lifecycle by advanced semantic annotation across information system boundariesPattanaik, Vishwajeet; Norta, Alexander; Felderer, Michael; Draheim, DirkInformation Systems in the Big Data Era : CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings2018 / p. 66−73 https://doi.org/10.1007/978-3-319-92901-9_7 Conference proceedings at Scopus Article at Scopus Article at WOS

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Time semantics of executable activity diagrams for relativized conformance testingIqbal, Junaid; Truscan, Dragos; Vain, JüriMODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings2020 / p. 251-256 https://doi.org/10.1145/3417990.3421399

A type-theoretic potpourri: towards final coalgebrasof accessible functorsBasold, Henning; Veltri, NiccoloEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

Using market basket analysis to find semantic duplicates in ontologyAstrova, Irina; Koschel, Arne; Lee, Su LingComputational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV2020 / p. 197-211 https://doi.org/10.1007/978-3-030-58811-3_14 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS