Searching - TalTech Research Portal

display

sort

451

book article EST / book article ENG

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

book article EST / book article ENG

452

book article EST / book article ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

453

journal article EST / journal article ENG

A study into elevator passenger in-cabin behaviour on a smart-elevator platformRobal, Tarmo; Basov, Kevin; Reinsalu, Uljana; Leier, MairoBaltic Journal of Modern Computing2022 / p. 665-688 : ill https://doi.org/10.22364/bjmc.2022.10.4.05 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

454

book article EST / book article ENG

A study on immediate automatic usability evaluation of web application user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 257-271 : ill https://doi.org/10.1007/978-3-319-40180-5_18 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

455

book article EST / book article ENG

Success and success factors of the Estonian E-Residency from the state and entrepreneur perspectiveSallam, Mohammed Saber H. A.; Lips, Silvia; Draheim, DirkElectronic Governance and Open Society: Challenges in Eurasia : 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24-25, 2021 : proceedings2022 / p. 291-304 https://doi.org/10.1007/978-3-031-04238-6_22 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik

456

book article EST / book article ENG

Success in eVoting - success in eDemocracy? The Estonian paradoxToots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings2016 / p. 55-66 : ill https://doi.org/10.1007/978-3-319-45074-2_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

457

journal article EST / journal article ENG

Super twisting sliding mode control strategy for input series output parallel convertersGuler, Naki; Bayhan, Sertac; Fesli, Ugur; Blinov, Andrei; Vinnikov, DmitriIEEE Access2023 / p. 107394 - 107403 https://doi.org/10.1109/ACCESS.2023.3320178 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

458

journal article EST / journal article ENG

Supply chain and ICT issues of Estonia: survey findingsKiisler, Ain; Solakivi, Tomi; Hilmola, Olli-Pekka KristianProcedia computer science2020 / p. 828-837 https://doi.org/10.1016/j.procs.2020.09.078 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

459

journal article EST / journal article ENG

Survey on architectural attacks : a unified classification and attack modelGhasempouri, Tara; Raik, Jaan; Reinbrecht, Cezar; Hamdioui, Said; Hamdioui, SaidACM Computing Surveys2023 / art. 42 https://doi.org/10.1145/3604803 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

460

journal article EST / journal article ENG

A survey on split manufacturing : attacks, defenses, and challengesPerez, Tiago Diadami; Pagliarini, Samuel NascimentoIEEE Access2020 / p. 184013-184035 https://doi.org/10.1109/ACCESS.2020.3029339 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees

461

journal article EST / journal article ENG

A survey on the roles of communication technologies in IoT-based personalized healthcare applicationsAlam, Muhammad Mahtab; Malik, Hassan; Khan, Muhidul Islam; Pardy, Tamas; Kuusik, Alar; Le Moullec, YannickIEEE Access2018 / p. 36611-36631 : ill https://doi.org/10.1109/ACCESS.2018.2853148 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

462

book article EST / book article ENG

Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

463

book article EST / book article ENG

Synthesis of implementations for divide-and-conquer specificationsBortin, MaksymFormal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings2022 / p. 73-88 https://doi.org/10.1007/978-3-031-22476-8_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

464

book article EST / book article ENG

System for determination of legal responsibility/penalty for a cybersecurity breachHovorushchenko, Tetiana; Herts, Alla; Boyarchuk, Artem; Pavlova, OlgaITTAP 2022 - Proceedings of the 2nd International Workshop on Information Technologies: Theoretical and Applied Problems2022 / p. 233-240 https://ceur-ws.org/Vol-3309/short9.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

465

book article EST / book article ENG

A systematic approach to define requirements and engineer the ontology for semantically merging data sets for personal-Centric healthcare systemsKormiltsõn, AleksandrCAiSE 2018 Doctoral Consortium2018 / p. 91 - 99 https://ceur-ws.org/Vol-2114/paper11.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

466

journal article EST / journal article ENG

A systematic assessment of numerical association rule mining methodsKaushik, Minakshi; Sharma, Rahul; Arakkal Peious, Sijo; Shahin, Mahtab; Ben Yahia, Sadok; Draheim, DirkSN Computer Science2021 / art. 348 https://doi.org/10.1007/s42979-021-00725-2 Journal metrics at Scopus Article at scopus

journal article EST / journal article ENG

Seotud publikatsioonid 1

Generalized association rule mining – dimensional unsupervised learning = Üldistatud assotsiatsioonireeglite kaevandamine – dimensiooniline juhendamata õpe

467

book article EST / book article ENG

Systematic digital signing in Estonian e-Government processes : influencing factors, technologies, change managementPappel, Ingrid; Pappel, Ingmar; Tepandi, Jaak; Draheim, DirkTransactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering2017 / p. 31-51 : ill https://doi.org/10.1007/978-3-662-56266-6_2 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

468

book article EST / book article ENG

Systematic literature review of methods for maintaining data integrityKask, Marten; Piho, Gunnar; Ross, PeeterAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 259–268 https://doi.org/10.1007/978-3-030-87657-9_20 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

469

book article EST / book article ENG

Taking updates seriouslyAhman, Danel; Uustalu, Tarmo6th International Workshop on Bidirectional Transformations, BX 2017 : Uppsala, Sweden, 29 April 20172017 / p. 59-73 : ill http://ceur-ws.org/Vol-1827/paper11.pdf Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

470

book article EST / book article ENG

Task-based mobile learning ISC-system: built-in Coronavirus immunity confirmedUdal, Andres; Jaanus, Martin; Piho, GunnarEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 22021 / p. 604-616 https://doi.org/10.1007/978-3-030-68201-9_59 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

471

book article EST / book article ENG

Teaching project risk management in a BIM-enabled learning environmentWitt, Emlyn David Qivitoq; Olowa, Theophilus Oluwarotimi Olatunde; Lill, IreneEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 162-173 https://doi.org/10.1007/978-3-030-68198-2_14 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Facilitating BIM-enabled learning in construction education = BIM’i kasutamine ehitusinseneride koolituses

472

book article EST / book article ENG

Technology and the reincarnation cycles of softwareJaakkola, Hannu; Henno, Jaak; Mäkelä, JukkaSixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications : SQAMIA 2017 : Belgrade, Serbia, 11-13.09.2017 : proceedings2017 / p. 5:1-5:10 : ill http://ceur-ws.org/Vol-1938/paper-jak.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

473

book article EST / book article ENG

Temporal multi-view contracts for efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertDigital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings2022 / p. 136–151 https://doi.org/10.1007/978-3-031-09850-5_10 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

474

journal article EST / journal article ENG

Temporal multi-view contracts help developing efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertBaltic journal of modern computing2022 / p. 710-737 https://doi.org/10.22364/bjmc.2022.10.4.07 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

475

book article EST / book article ENG

Ten years of the e-Health system in EstoniaMetsallik, Janek; Ross, Peeter; Draheim, Dirk; Piho, GunnarProceedings of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems : Bergen, Norway, June 13th, 20182018 / p. 6-15 : ill https://www.scopus.com/inward/record.uri?eid=2-s2.0-85063545781&partnerID=40&md5=f41245c5435512866e6bcbaf5a03ba85 http://ceur-ws.org/Vol-2336/ Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

Arvutiteadus. Üldine arvutiteadus (category)

types of item

subject term 2