Searching - TalTech Research Portal

display

sort

251

journal article EST / journal article ENG

SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★Andrici, Cezar-Constantin; Ahman, Danel; Hritcu, Catalin; Icleanu, Ruxandra; Martinez, Guido; Rivas, Exequiel; Winterhalter, TheoProceedings of the ACM on Programming Languages2025 / art 253, p. 510-540 https://doi.org/10.1145/3747522 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

252

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

253

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

254

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

255

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

256

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

257

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

258

journal article EST / journal article ENG

Serverless, FaaS and why organizations need themAstrova, Irina; Koschel, Arne; Schaaf, Marc; Klassen, Samuel; Jdiya, KerimIntelligent decision technologies2021 / p. 825-838 https://doi.org/10.3233/IDT-210194 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

259

book article EST / book article ENG

Sights, titles and tags: mining a worldwide photo database for sightseeingLuberg, Ago; Pindis, Jakob; Tammet, Tanel10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings2020 / p. 149-158 : ill https://doi.org/10.1145/3405962.3405987 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

260

book article EST / book article ENG

Situated transition systemsNester, Chad MitchellarXiv.org2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

261

book article EST / book article ENG

Slice nondeterminismVoorneveld, Niels Frits Willem4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

262

book article EST / book article ENG

Smart city collaboration model : A case study of university-city collaborationSarv, Lill; Kibus, Kristel; Soe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 674−677 https://doi.org/10.1145/3428502.3428601 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

263

journal article EST / journal article ENG

Smart healthcare : disease prediction using the cuckoo-enabled deep classifier in IoT frameworkKumar, Ashwani; Reddy, S. Sai Satyanarayana; Mahommad, Gouse Baig; Khan, Baseem; Sharma, RahulScientific Programming2022 https://doi.org/10.1155/2022/2090681 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

264

book article EST / book article ENG

Smart twin cities via urban operating systemSoe, Ralf-MartinICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 391-400 : ill https://doi.org/10.1145/3047273.3047322 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

265

journal article EST / journal article ENG

Smartgrid-based hybrid digital twins framework for demand side recommendation service provision in distributed power systemsOnile, Abiodun Emmanuel; Petlenkov, Eduard; Levron, Yoash; Belikov, JuriFuture generation computer systems2024 / p. 142-156 : ill https://doi.org/10.1016/j.future.2024.03.018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

266

journal article EST / journal article ENG

Sociotechnical factors and Industry 4.0 : an integrative perspective for the adoption of smart manufacturing technologiesMarcon, Érico; Soliman, Marlon; Gerstlberger, Wolfgang Dieter; Frank, Alejandro G.Journal of Manufacturing Technology Management2022 / p. 259-289 : ill https://doi.org/10.1108/JMTM-01-2021-0017 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

267

book article EST / book article ENG

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

268

journal article EST / journal article ENG

Sound conflict management and resolution for virtual-enterprise collaborationsNarendra, Nanjangud C.; Norta, Alexander; Mahunnah, Msury; Ma, Lixin; Maggi, Fabrizio MariaService-oriented computing and applications2016 / p. 233-251 : ill https://doi.org/10.1007/s11761-015-0183-0 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

269

journal article EST / journal article ENG

Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

270

journal article EST / journal article ENG

Special issue on concept lattices and their applications (CLA 2020)Valverde-Albacete, Francisco José; Trnecka, Martin; Ben Yahia, SadokInternational journal of approximate reasoning2024 / art. 109079, 3 p. https://doi.org/10.1016/j.ijar.2023.109079 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

271

journal article EST / journal article ENG

Special Issue on Digital Twin for Future Networks and Emerging IoT Applications (DT4IoT)Hakiri, Akram; Ben Yahia, Sadok; Gokhale, Aniruddha S.; Mellouli, NédraFuture generation computer systems2024 / p. 81-84 https://doi.org/10.1016/j.future.2024.06.056 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

272

journal article EST / journal article ENG

Split-chip design to prevent IP reverse engineeringPagliarini, Samuel Nascimento; Sweeney, Joseph; Mai, Ken; Blanton, Shawn; Mitra, Subhasish; Pileggi, LarryIEEE Design and Test2020 / p. 109-118 https://doi.org/10.1109/MDAT.2020.3033255 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

273

journal article EST / journal article ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

274

journal article EST / journal article ENG

Stream clustering guided supervised learning for classifying NIDS alertsVaarandi, Risto; Guerra Manzanares, AlejandroFuture generation computer systems2024 / p. 231-244 : ill https://doi.org/10.1016/j.future.2024.01.032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

275

journal article EST / journal article ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Arvutiteadus. Tarkvara (category)

types of item

subject term 96

keyword 1