Searching - TalTech Research Portal

display

sort

1576

journal article EST / journal article ENG

Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas, Exequiel; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1577

book article EST / book article ENG

Security proofs for hash tree time-stamping using hash functions with small output sizeBuldas, Ahto; Laanoja, RistoInformation security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013 : proceedings2013 / p. 235-250 : ill https://doi.org/10.1007/978-3-642-39059-3_16 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1578

journal article EST / journal article ENG

Security requirements elicitation from airline turnaround processesMatulevičius, Raimundas; Norta, Alexander; Samarütel, SilverBusiness & information systems engineering : BISE ; the international journal of wirtschaftsinformatik2018 / p. 3-20 : ill https://doi.org/10.1007/s12599-018-0518-4 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

1579

book article EST / book article ENG

Security risk management in the aviation turnaround sectorMatulevičius, Raimundas; Norta, Alexander; Udokwu, Chibuzor; Nõukas, ReinFuture Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings2016 / p. 119-140 : ill https://doi.org/10.1007/978-3-319-48057-2_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1580

journal article EST / journal article ENG

A security-aware and LUT-based CAD flow for the physical synthesis of hASICsAbideen, Zain Ul; Perez, Tiago Diadami; Martins, Mayler; Pagliarini, Samuel NascimentoIEEE transactions on computer-aided design of integrated circuits and systems2023 / p. 3157-3170 : ill https://doi.org/10.1109/TCAD.2023.3244879 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina

1581

book article EST / book article ENG

Selection of a green logical data warehouse schema by anti-monotonicity constraintGhabri, Issam; Bellatreche, Ladjel; Ben Yahia, SadokSOFSEM 2020: Theory and Practice of Computer Science : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020 : Proceedings2020 / p. 350-361 https://doi.org/10.1007/978-3-030-38919-2_29 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

1582

journal article EST / journal article ENG

Selective performance of sol–gel synthesised titanium dioxide photocatalysts in aqueous oxidation of various-type organic pollutantsKlauson, Deniss; Budarnaja, Olga; Stepanova, Kristina; Kritševskaja, Marina; Dedova, Tatjana; Käkinen, Aleksandr; Preis, SergeiKinetics and catalysis2014 / p. 47-55 : ill https://doi.org/10.1134/S0023158414010030 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1583

book article EST / book article ENG

Self assessment tool to bridge the gap between XR Technology, SMEs, and HEIsKöse, Ahmet; Tepljakov, Aleksei; Alsaleh, Saleh Ragheb Saleh; Petlenkov, EduardExtended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part I2022 / p. 296–311 : ill https://doi.org/10.1007/978-3-031-15546-8_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at Scopus

book article EST / book article ENG

1584

journal article EST / journal article ENG

Self-aware cyber-physical systemsBellman, K.; Landauer, C.; Dutt, N.; Tammemäe, KalleACM transactions on cyber-physical systems2020 / p. 1−26 https://doi.org/10.1145/3375716 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1585

book article EST / book article ENG

Self-aware smart contracts with legal relevanceNorta, Alexander2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4113-4120 : ill https://doi.org/10.1109/IJCNN.2018.8489235 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1586

book article EST / book article ENG

Self-evaluation of pedagogical competencies of academic staff in the context of career managementRüütmann, Tiia; Lõhmus, Merle; Sell, Raivo; Stõun, Ija; Pihel, MareTeaching and Learning in a Digital World : proceedings of the 20th International Conference on Interactive Collaborative Learning. Volume 22018 / p. 436-446 https://link.springer.com/chapter/10.1007/978-3-319-73204-6_48 https://doi.org/10.1007/978-3-319-73204-6_48 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1587

journal article EST / journal article ENG

Self-reproduction and doubling time limits of different cellular subsystemsAbner, Kristo; Šverns, Peter; Arold, Janar; Morell, Indrek; Lints, Taivo; Medri, Sander; Seiman, Andrus; Adamberg, Kaarel; Vilu, Raivonpj systems biology and applications2023 / art. 44, 10 p. : ill https://doi.org/10.1038/s41540-023-00306-4 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1588

book article EST / book article ENG

A semantic method of automatic composition of E-government servicesMaigre, Riina; Grigorenko, Pavel; Haav, Hele-Mai; Kalja, AhtoDatabases and information systems VII : selected papers from the Tenth International Baltic Conference, DB&IS 20122013 / p. 204 - 217 https://doi.org/10.3233/978-1-61499-161-8-204 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1589

book article EST / book article ENG

A semantic model for product configuration in timber industryHaav, Hele-Mai; Maigre, RiinaDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 143-158 https://doi.org/10.3233/978-1-61499-941-6-143 https://www.ester.ee/record=b5203991*est Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1590

book article EST / book article ENG

Semi-automated generation of DSL meta models from formal domain ontologiesOjamaa, Andres; Haav, Hele-Mai; Penjam, JaanModel and Data Engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings2015 / p. 3-15 https://doi.org/10.1007/978-3-319-23781-7_1 Conference Proceedings at Scopus Article at Scopus Journal metrics at WOS Article at WOS

book article EST / book article ENG

1591

journal article EST / journal article ENG

Semi-automated integration of domain ontologies to DSL meta-modelsHaav, Hele-Mai; Ojamaa, AndresInternational journal of intelligent information and database systems2017 / p. 94-116 :ill https://doi.org/10.1504/IJIIDS.2017.086198 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1592

book article EST / book article ENG

Semi-parametric approach to random forests for high-dimensional bayesian optimisationKuzmanovski, Vladimir; Hollmén, JaakkoDiscovery Science : 25th International Conference, DS 2022, Montpellier, France, October 10–12, 2022, Proceedings2022 / p. 418 - 428 https://doi.org/10.1007/978-3-031-18840-4_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1593

book article EST / book article ENG

Semi-Substructural Logics à la LambekWan, Cheng-SyuanProceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)2024 / p. 195–213 https://doi.org/10.4204/EPTCS.415.18 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

1594

book article EST / book article ENG

Semi-substructural logics with additivesVeltri, Niccolo; Wan, Cheng-SyuanProceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 20232024 / p. 63-80 https://doi.org/10.4204/EPTCS.402.8 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

1595

journal article EST / journal article ENG

Sensitivity analysis for multi-objective optimization of switched reluctance motorsAndriushchenko, Ekaterina; Kallaste, Ants; Mohammadi, M. Hossain; Lowther, David Alister; Heidari, HamidrezaMachines2022 / art. 559, 16 p. : ill https://doi.org/10.3390/machines10070559 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Design optimization methods of additively manufactured Switched Reluctance Motor = Kihtlisandustehnoloogia abil toodetud samm-mootori optimeerimise meetodid

1596

book article EST / book article ENG

Sensor Fusion Desynchronization AttacksFinkenzeller, Andreas; Roberts, Andrew James; Bellone, Mauro; Maennel, Olaf Manuel; Hamad, Mohammad; Steinhorst, Sebastian37th Euromicro Conference on Real-Time Systems (ECRTS 2025), July 8–11, 2025, Brussels, Belgium2025 / art. 6, p. 6:1–6:22 : ill https://doi.org/10.4230/DARTS.11.1.1 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1597

journal article EST / journal article ENG

Sensor-location-specific joint acquisition of peripheral artery bioimpedance and photoplethysmogram for wearable applicationsMetshein, Margus; Abdullayev, Anar; Gautier, Antoine; Larras, Benoit; Frappe, Antoine; Cardiff, Barry; Annus, Paul; Land, Raul; Märtens, OlevSensors2023 / art. 7111 https://doi.org/10.3390/s23167111 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1598

book article EST / book article ENG

Sentence writing test for Parkinson disease modeling: comparing predictive ability of classifiersNetšunajev, Aleksei; Nõmm, Sven; Toomela, Aaro; Medijainen, Kadri; Taba, PilleIntelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020 : proceedings, Part I2020 / p. 345-357 https://doi.org/10.1007/978-3-030-41964-6_30 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1599

journal article EST / journal article ENG

Sentiment analysis for hotel reviews : a systematic literature reviewAmeur, Asma; Hamdi, Sana; Ben Yahia, SadokACM Computing Survey2023 / art. 51 https://doi.org/10.1145/3605152 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1600

journal article EST / journal article ENG

Sequence to sequence hybrid Bi-LSTM model for traffic speed predictionOunoughi, Chahinez; Ben Yahia, SadokExpert systems with applications2024 / art. 121325 https://doi.org/10.1016/j.eswa.2023.121325 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Urban traffic : data fusion and vehicle flow prediction in smart cities = Linnaliiklus : andmete ühtesulamine ja sõidukite voo prognoosimine nutikates linnades

Arvutiteadus (category)

types of item

subject term 1