Searching - TalTech Research Portal

display

sort

251

book article EST / book article ENG

Regex decision procedures in extended RE#Varatalu, Ian Erik; Veanes, Margus; Zhuchko, Ekaterina; Ernits, Juhan-PeepComputer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III2025 / p. 106-129 : ill https://link.springer.com/chapter/10.1007/978-3-031-98682-6_7 https://doi.org/10.1007/978-3-031-98682-6_7 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

252

journal article EST / journal article ENG

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

253

book article EST / book article ENG

Representing uncertainty with expanded ueberweg diagramsMoktefi, Amirouche; Bhattacharjee, Reetu; Lemanski, JensDiagrammatic Representation and Inference : 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024 : proceedings2024 / p. 207-214 https://doi.org/10.1007/978-3-031-71291-3_17 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

254

book article EST / book article ENG

Residuation in existential graphsHaydon, Nathan Joseph; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 229−237 https://doi.org/10.1007/978-3-030-86062-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

255

book article EST / book article ENG

Revisiting Peirce’s rules of transformation for Euler-Venn diagramsBhattacharjee, Reetu; Moktefi, AmiroucheDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 166–182 : ill https://doi.org/10.1007/978-3-030-86062-2_14 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

256

book article EST / book article ENG

Re-voting Under Surveillance: National eID Transaction Logs as a Threat to Coercion Resistance in Estonian Internet VotingTreier, TarvoElectronic Voting : 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025 : Proceedings2025 / p. 191–207 https://doi.org/10.1007/978-3-032-05036-6_12 Conference proceedings at Scopus Article at Scopus Congerence proceedings at WOS Article at WOS

book article EST / book article ENG

257

book article EST / book article ENG

Rewriting for Traced Monoidal Closed CategoriesDi Giorgio, Alessandro; Ghica, Dan R.; Zanasi, FabioGraph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings2025 / p. 24–43 : ill https://doi.org/10.1007/978-3-031-94706-3_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

258

journal article EST / journal article ENG

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 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

The role of digital transformation in fostering transparency : an e-court system case studyAhmed, Rozha Kamal; Ahmed, Omer; Pappel, Ingrid; Reitsakas, Aleksander; Draheim, DirkThe Role of Digital Technologies in Shaping the Post-Pandemic World : 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022 : proceedings2022 / p. 219–230 https://doi.org/10.1007/978-3-031-15342-6_17 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Digital transformation of court processes : driving forces, success factors, regulations and technology acceptance = Kohtuprotsesside digitaalne ümberkujundamine : liikumapanevad jõud, edu tegurid, regulatsioonid ja tehnoloogia vastuvõtmine

260

journal article EST / journal article ENG

Rule algebras for adhesive categoriesBehr, Nicolas; Sobocinski, Pawel MariaLogical methods in computer science2020 / p. 2:1−2:38 https://doi.org/10.23638/LMCS-16(3:2)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

261

book article EST / book article ENG

Runners for interleaving algebraic effectsVoorneveld, Niels Frits WillemTheoretical 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

book article EST / book article ENG

262

book article EST / book article ENG

Scalable medical viewer for virtual reality environmentsRicciardi, Francesco; Pastorelli, Emiliano; De Paolis, Lucio Tommaso; Herrmann, HeikoAugmented and Virtual Reality : second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015 : proceedings2015 / p. 233-243 : ill https://doi.org/10.1007/978-3-319-22888-4_17 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

263

journal article EST / journal article ENG

SCARF : securing chips with a robust framework against fabrication-time hardware trojansEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoIEEE Transactions on Computers2024 / p. 2761-2775 https://doi.org/10.1109/TC.2024.3449082 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprint

264

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

265

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

266

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

267

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

268

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

269

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

270

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

271

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

272

journal article EST / journal article ENG

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

273

book article EST / book article ENG

A server-assisted hash-based signature schemeBuldas, Ahto; Laanoja, Risto; Truu, AhtoSecure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings2017 / p. 3-17 : ill https://doi.org/10.1007/978-3-319-70290-2_1 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

274

book article EST / book article ENG

Server-supported decryption for mobile devicesKirss, Johanna Maria; Laud, Peeter; Snetkov, Nikita; Vakarjuk, JelizavetaSecurity and Trust Management : 18th International Workshop, STM 2022 Copenhagen, Denmark, September 29, 2022 : proceedings2023 / p. 71-81 https://doi.org/10.1007/978-3-031-29504-1_4 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

275

book article EST / book article ENG

Server-supported RSA signatures for mobile devicesBuldas, Ahto; Kalu, Aivo; Laud, Peeter; Oruaas, MartComputer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11–15, 2017 : proceedings, part I2017 / p. 315-333 : ill https://doi.org/10.1007/978-3-319-66402-6_19 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Matemaatika. Teoreetiline arvutiteadus (category)

types of item

subject term 7