Searching - TalTech Research Portal

display

sort

276

book article EST / book article ENG

Stenmap : framework for evaluating cybersecurity-related skills based on computer simulationsMäses, Sten; Randmann, Liina; Maennel, Olaf Manuel; Lorenz, BirgyLearning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II2018 / p. 492-504 https://doi.org/10.1007/978-3-319-91152-6_38 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

277

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

278

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

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

279

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

280

journal article EST / journal article ENG

Surjective cellular automata far from the Garden of EdenCapobianco, Silvio; Guillon, Pierre; Kari, JarkkoDiscrete mathematics and theoretical computer science2013 / p. 41-60 : ill https://www.researchgate.net/publication/264932675_Surjective_cellular_automata_far_from_the_Garden_of_Eden https://doi.org/10.46298/dmtcs.618 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

281

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

282

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

283

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

284

journal article EST / journal article ENG

A systematic literature review on hardware reliability assessment methods for deep neural networksAhmadilivani, Mohammad Hasan; Taheri, Mahdi; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimACM Computing Surveys2024 / art. 141, 39 p. : ill https://doi.org/10.1145/3638242 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

285

book article EST / book article ENG

The beauty of graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 9-12 https://doi.org/10.1007/978-3-319-91376-6_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

286

book article EST / book article ENG

The data quality framework for the Estonian public sector and its evaluation : establishing a systematic process-oriented viewpoint on cross-organizational data qualityTepandi, Jaak; Lauk, Mihkel; Linros, Janar; Raspel, Priit; Piho, Gunnar; Pappel, Ingrid; Draheim, DirkTransactions on large-scale data- and knowledge-centered systems XXXV2017 / p. 1-26 : ill https://doi.org/10.1007/978-3-662-56121-8_1 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

287

book article EST / book article ENG

The digital archiving process in Estonia - assessment and future perspectivesPappel, Ingrid; Oolu, Karin; Saarevet, Koit; Lauk, Mihkel; Draheim, DirkFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 472-481 : ill https://doi.org/10.1007/978-3-319-70004-5_34 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

288

book article EST / book article ENG

The future of the once-only principle in EuropeKrimmer, Robert Johannes; Prentza, Andriana; Mamrot, Szymon; Schmidt, Carsten; Cepilovs, AleksandrsThe once-only principle : The TOOP project2021 / p. 225–236 https://doi.org/10.1007/978-3-030-79851-2_12 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

book article EST / book article ENG

289

book article EST / book article ENG

The potential of the Estonian e-Governance infrastructure in supporting displaced Estonian residentsThurnay, Lörinc; Klasche, Benjamin; Nyman-Metcalf, Katrin Merike; Pappel, Ingrid; Draheim, DirkElectronic Government and the Information Systems Perspective : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017 : proceedings2017 / p. 236-250 https://doi.org/10.1007/978-3-319-64248-2_17 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

290

book article EST / book article ENG

The technical challenges in OOP application across the European Union and the TOOP OOP architectureTepandi, Jaak; Rotuna, Carmen; Sellitto, Giovanni Paolo; Fieten, Sander; Prentza, AndrianaThe once-only principle : The TOOP project2021 / p. 141−163 https://doi.org/10.1007/978-3-030-79851-2_8 Collection metrics at Scopus Article at Scopus Collection metrics at WOS Article at WOS

book article EST / book article ENG

291

book article EST / book article ENG

Theoretical aspects of symbolic automataTamm, Hellis; Veanes, MargusSOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings2018 / p. 428-441 https://doi.org/10.1007/978-3-319-73117-9_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

292

journal article EST / journal article ENG

Theory of átomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill https://doi.org/10.1016/j.tcs.2014.04.016 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

293

book article EST / book article ENG

3DLaneNAS : neural architecture search for accurate and light-weight 3D lane detectionZoljodi, Ali; Loni, Mohammad; Abadijou, Sadegh; Alibeigi, Mina; Daneshtalab, MasoudArtificial Neural Networks and Machine Learning - ICANN 2022 : proceedings. Part I2022 / p. 404-415 https://doi.org/10.1007/978-3-031-15919-0_34 Conference Proceedings at scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

294

journal article EST / journal article ENG

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

journal article EST / journal article ENG

295

book article EST / book article ENG

To i-vote or not to i-vote: drivers and barriers to the implementation of internet votingLicht, Nathan; Duena Cid, David; Krivonosova, Iuliia; Krimmer, Robert JohannesElectronic voting : 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5–8, 2021, Proceedings2021 / p. 91-105 : ill https://doi.org/10.1007/978-3-030-86942-7_7 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

296

book article EST / book article ENG

A tool for design-time usability evaluation of web user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoAdvances in databases and information systems 21st European Conference, ADBIS 2017 Nicosia, Cyprus, September 24-27, 2017 : proceedings2017 / p. 394-407 : ill https://doi.org/10.1007/978-3-319-66917-5_26 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

297

book article EST / book article ENG

TOOP trust architectureBoldrin, Luca; Sellitto, Giovanni Paolo; Tepandi, JaakThe once-only principle : The TOOP project2021 / p. 126–140 https://doi.org/10.1007/978-3-030-79851-2_7 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

book article EST / book article ENG

298

book article EST / book article ENG

Top-K formal concepts for identifying positively and negatively correlated biclustersHouari, Amina; Ben Yahia, SadokModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 156-172 https://doi.org/10.1007/978-3-030-78428-7_13 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

299

book article EST / book article ENG

Towards an architecture for e-learning infrastructures on a national level : a case study of AfgRENSaay, Mohammad Salim; Norta, Alexander; Laanpere, MartCurrent Developments in Web Based Learning : ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015 : revised selected papers2016 / p. 98-107 : ill https://doi.org/10.1007/978-3-319-32865-2_11 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

300

book article EST / book article ENG

Towards assessment of behavioral patterns in a virtual reality environmentKöse, Ahmet; Tepljakov, Aleksei; Abel, Mihkel; Petlenkov, EduardAugmented Reality, Virtual Reality, and Computer Graphics : 6th International Conference, AVR 2019 :Santa Maria al Bagno, Italy, June 24–27, 2019 : Proceedings. Part I2019 / p. 237–253 : ill https://doi.org/10.1007/978-3-030-25965-5_18 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

Mathematics. Theoretical computer science (category)

types of item

keyword 24

subject term 1