Searching - TalTech Research Portal

display

sort

501

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

502

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

503

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

504

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

505

book EST / book ENG

Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers2016 https://doi.org/10.1007/978-3-662-50539-7 Conference Proceedings at Scopus Article at Scopus

book EST / book ENG

506

journal article EST / journal article ENG

Shape classification using hydrodynamic detection via a sparse large-scale 2D-sensitive artificial lateral lineWolf, Ben J.; Pirih, Primoz; Kruusmaa, Maarja; Van Netten, Sietse M.IEEE Access2020 / p. 11393 - 11404 https://doi.org/10.1109/ACCESS.2020.2965316 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

507

book article EST / book article ENG

Signature-based approach to detecting malicious outgoing trafficPetliak, Nataliia; Klots, Yurii; Titova, Vira; Cheshun, Viktor; Boyarchuk, ArtemIntelITSIS 2023: Intelligent Information Technologies & Systems of Information Security 2023 : proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 22-24, 20232023 / p. 486 - 506 https://ceur-ws.org/Vol-3373/paper33.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

508

book article EST / book article ENG

Simple infeasibility certificates for attack treesBuldas, Ahto; Lenin, Aleksandr; Villemson, Jan; Charnamord, AntonAdvances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings2017 / p. 39-55 : ill https://doi.org/10.1007/978-3-319-64200-0_3 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

509

journal article EST / journal article ENG

A simple space vector modulation method with DC-link voltage balancing and reduced common-mode voltage strategy for a three-level T-type quasi-Z source inverterMayorga, Nicolas; Roncero-Clemente, Carlos; Llor, Ana M.; Husev, OleksandrIEEE Access2021 / art. 9447724, p. 82747-82760 https://doi.org/10.1109/ACCESS.2021.3087035 Journal metricsc at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

510

book article EST / book article ENG

Simultaneous road edge and road surface markings detection using convolutional neural networksPihlak, Rene; Riid, AndriDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 / p. 109-121 https://doi.org/10.1007/978-3-030-57672-1_9 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

511

journal article EST / journal article ENG

Single-experiment observability decomposition of discrete-time analytic systemsKawano, Yu; Kotta, ÜlleSystems & control letters2016 / p. 193-199 https://doi.org/10.1016/j.sysconle.2016.09.016 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

512

book article EST / book article ENG

Situational states influence on team workload demands in cyber defense exerciseAsk, Torvald F.; Sütterlin, Stefan; Knox, Benjamin James; Lugo, Ricardo GregorioHCI International 2021 - late breaking papers : cognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings2021 / p. 3-20 : ill https://doi.org/10.1007/978-3-030-90328-2_1 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

513

book article EST / book article ENG

Small languages and big models : using ML to generate Norwegian language social media content for training purposesAasen, Ole Joachim Arnesen; Lugo, Ricardo Gregorio; Knox, Benjamin JamesAugmented Cognition : 18th International Conference, AC 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part II2024 / p. 103-121 https://doi.org/10.1007/978-3-031-61572-6_8 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

514

book article EST / book article ENG

A small-scale, low-budget semi-immersive virtual environment for scientific visualization and researchPastorelli, Emiliano; Herrmann, Heiko2013 International Conference on Virtual and Augmented Reality in Education2013 / p. 14-22 https://doi.org/10.1016/j.procs.2013.11.003 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

515

book article EST / book article ENG

Smart cyber-physical system for pattern recognition of illegal 3D designs in 3D printingVedešin, Anton; Dogru, John Mehmet Ulgar; Liiv, Innar; Ben Yahia, Sadok; Draheim, DirkSmart Applications and Data Analysis : Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25-26, 2020 : proceedings2020 / p. 74-85 https://doi.org/10.1007/978-3-030-45183-7_6 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

516

journal article EST / journal article ENG

Smart Energy and power systems modelling: an IoT and Cyber-Physical Systems perspective, in the context of Energy InformaticsBordin, Chiara; Hakansson, Anne; Mishra, SambeetProcedia computer science2020 / p. 2254−2263 https://doi.org/10.1016/j.procs.2020.09.275 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

517

book article EST / book article ENG

Sniper line-of sight calculations for route planning in asymmetric military environmentsKreison, Ove; Ruuben, ToomasModelling and Simulation for Autonomous Systems : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers2016 / p. 359-370 : ill https://doi.org/10.1007/978-3-319-47605-6_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

518

book article EST / book article ENG

Social media services ecosystem for marginalized youth to access adult educationPata, Kai; Paas, SilleLearning Technology for Education Challenges : 8th International Workshop, LTEC 2019, Zamora, Spain, July 15–18, 2019, proceedings2019 / p. 369-380 https://doi.org/10.1007/978-3-030-20798-4_32 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

519

book article EST / book article ENG

Software business : A short history and trends for the futureYrjönkoski, Katariina; Jaakkola, Hannu; Systä, Kari; Mikkonen, Tommi; Henno, JaakEighth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications : SQAMIA 2019 : Ohrid, North Macedonia, 22 - 25. 09. 2019 : proceedings2019 / p. 18-18:18 https://perun.pmf.uns.ac.rs/pracner/down/sqamia2019/sqamia2019-proc.pdf https://ceur-ws.org/Vol-2508/paper-yrj.pdf Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

520

book article EST / book article ENG

A Software Prototype for Multidimensional Design of Data Warehouses Using OntologiesZekri, Manel; Ben Yahia, Sadok; Hilali-Jaghdam, InesComputational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019 : proceedings, part II2019 / p. 273-284 : ill https://doi.org/10.1007/978-3-030-28374-2_24 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

521

book article EST / book article ENG

Solar collection multi-isosurface method : computational design advanced method for the prediction of direct solar access in urban environmentsDe Luca, Francesco; Voll, HendrikComputer-Aided Architectural Design : Future Trajectories : 17th International Conference, CAAD Futures 2017, Istanbul, Turkey, July 12-14, 2017 : selected papers2017 / p. 170-187 : ill https://doi.org/10.1007/978-981-10-5197-5_10 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

522

journal article EST / journal article ENG

Spatial representation of self-driving vehicle for virtual entity of digital twinRassõlkin, Anton; Maksimkins, Pavels; Stupans, Andrejs; Rjabtšikov, Viktor; Šenfelds, Armands; Kuts, VladimirComputer2024 / p. 58-66 https://doi.org/10.1109/MC.2023.3319108 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

523

book article EST / book article ENG

Specification and verification of a linear-time temporal logic for graph transformationGadducci, Fabio; Laretto, Andrea; Trotta, DavideGraph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings2023 / p. 22-42 : ill https://doi.org/10.1007/978-3-031-36709-0_2 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

524

journal article EST / journal article ENG

Specification of the data warehouse for the decision-making dimension of the bid process information systemZekri, Manel; Zahaf, Sahbi; Ben Yahia, SadokProcedia computer science2019 / p. 756 - 763 https://doi.org/10.1016/j.procs.2019.09.231 Conference proceeding at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

525

journal article EST / journal article ENG

Stabilization and stability robustness of coupled non-constant parameter time fractional PDEsChen, Juan; Tepljakov, Aleksei; Petlenkov, EduardIEEE Access2019 / p. 163969 - 163980 : ill https://doi.org/10.1109/ACCESS.2019.2951058 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Computer science. General computer science (category)

types of item

keyword 148

subject term 6

TalTech department 3

author 1