Searching - TalTech Research Portal

display

sort

1

journal article EST / journal article ENG

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

2

journal article EST / journal article ENG

Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, Diana-MariaApplied categorical structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid

3

journal article EST / journal article ENG

Adaptability, interpretability and rule weights in fuzzy rule-based systemsRiid, Andri; Rüstern, EnnuInformation sciences2014 / p. 301-312 : ill https://doi.org/10.1016/j.ins.2012.12.048 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

4

book article EST / book article ENG

Agile software engineering methodology for information systems' integration projectsTaveter, Kuldar; Norta, AlexanderFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 215-230 : ill https://doi.org/10.1007/978-3-319-70004-5_15 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

5

book article EST / book article ENG

Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, Niels Frits WillemProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

6

book article EST / book article ENG

An "almost dual" to Gottschalk's conjectureCapobianco, Silvio; Kari, Jarkko; Taati, SiamakCellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings2016 / p. 77-89 : ill https://doi.org/10.1007/978-3-319-39300-1_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

7

journal article EST / journal article ENG

An overview of FPGA-inspired obfuscation techniquesAbideen, Zain Ul; Gokulanathan, Sumathi; Aljafar, Muayad J.; Pagliarini, Samuel NascimentoACM computing surveys2024 / art. 299, 35 p. : ill https://doi.org/10.1145/3677118 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

8

book article EST / book article ENG

Analyzing eID public acceptance and user preferences for current authentication options in EstoniaTsap, Valentyna; Lips, Silvia; Draheim, DirkElectronic Government and the Information Systems Perspective : 9th International Conference, EGOVIS 2020, Bratislava, Slovakia, September 14-17, 2020 : proceedings2020 / p. 159-173 https://doi.org/10.1007/978-3-030-58957-8_12 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 2

9

journal article EST / journal article ENG

Analyzing meta-heuristic algorithms for task scheduling in a fog-based IoT applicationRahbari, DadmehrAlgorithms2022 / art. 397 https://doi.org/10.3390/a15110397 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

10

book article EST / book article ENG

Anonymization methods of structured health care data : a literature reviewVovk, Olga; Piho, Gunnar; Ross, PeeterModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 175-189 https://doi.org/10.1007/978-3-030-78428-7_14 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

11

book article EST / book article ENG

Are the current system engineering practices sufficient to meet cyber crime?Buldas, Ahto; Saarepera, MärtHuman Aspects of Information Security, Privacy and Trust : 5th International Conference, HAS 2017 : held as part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017 : proceedings2017 / p. 451-463 https://doi.org/10.1007/978-3-319-58460-7_31 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

12

book article EST / book article ENG

Art and automation of teaching malware reverse engineeringLepik, Toomas; Maennel, Kaie; Ernits, Margus; Maennel, Olaf ManuelLearning 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. 461-472 https://doi.org/10.1007/978-3-319-91152-6_35 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

13

book article EST / book article ENG

Articulation during voice disguise: a pilot studyTavi, Lauri; Kinnunen, Tomi; Meister, Einar; Gonzalez-Hautamäki, Rosa; Malmi, AntonSpeech and Computer : 23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, 2021 : proceedings2021 / p. 680-691 https://doi.org/10.1007/978-3-030-87802-3_61 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

14

book article EST / book article ENG

Artificial intelligence in the defence sectorCarlo, AntonioModelling and Simulation for Autonomous Systems : 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers2021 / p. 269-278 https://doi.org/10.1007/978-3-030-70740-8_17 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

15

book article EST / book article ENG

Aspect-oriented Model-based testing with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GertModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 117-124 https://doi.org/10.1007/978-3-030-78428-7_10 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

16

book article EST / book article ENG

Aspects of personal data protection from state and citizen perspectives - case of GeorgiaTsulukidze, Mariam; Nyman-Metcalf, Katrin Merike; Tsap, Valentyna; Pappel, Ingrid; Draheim, DirkDigital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 : Conference on e-Business, e-Services, and e-Society, I3E 2019 Trondheim, Norway, September 18–20, 2019 : proceedings2019 / p. 476-488 https://doi.org/10.1007/978-3-030-29374-1_39 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

Related publications 1

eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju

17

book article EST / book article ENG

Aspects of using telepresence robot in a higher education STEAM workshopLeoste, Janika; Virkus, Sirje; Kasuk, Tiina; Talisainen, Aleksei; Kangur, Katrin; Tolmos, PiedadInformation Integration and Web Intelligence. iiWAS 20222022 / p. 18-28 https://doi.org/10.1007/978-3-031-21047-1_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

18

book article EST / book article ENG

Assertive and existential graphs : a comparisonPietarinen, Ahti-Veikko; Chiffi, DanieleDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 565-581 https://doi.org/10.1007/978-3-319-91376-6_51 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

19

book article EST / book article ENG

Assessment of aviation security risk management for airline turnaround processesMatulevičius, Raimundas; Norta, Alexander; Udokwu, Chibuzor; Nõukas, ReinTransactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering2017 / p. 109-141 : ill https://doi.org/10.1007/978-3-662-56266-6_6 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

20

book article EST / book article ENG

Assessment of the eID ecosystem as a part of the state’s critical infrastructure : the case of EstoniaBejussova, Karolina; Lips, Silvia; Ahmed, Rozha Kamal; Draheim, DirkElectronic Government and the Information Systems Perspective : 13th International Conference, EGOVIS 2024, Naples, Italy, August 26–28, 2024, Proceedings2024 / p. 88 - 102 https://doi.org/10.1007/978-3-031-68211-7_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

21

book article EST / book article ENG

Attacker profiling in quantitative security assessment based on attack treesLenin, Aleksandr; Willemson, Jan; Sari, Dyan PermataSecure IT Systems : 19th Nordic Conference, NordSec 2014, Tromsø, Norway, October 15–17, 2014, Proceedings2014 https://doi.org/10.1007/978-3-319-11599-3_12 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

22

book article EST / book article ENG

Automata and coalgebras in categories of speciesLoregian, FoscoCoalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : proceedings2024 / p. 65-92 https://doi.org/10.1007/978-3-031-66438-0_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

23

book article EST / book article ENG

Automatization of cross-border customs declaration : potential and challenges : a case study of the Estonian customs authorityLiutkevičius, Markko; Pappel, Karl Ivory; Butt, Sidra Azmat; Pappel, IngridElectronic Government : 19th IFIP WG 8.5 International Conference, EGOV 2020, Linköping, Sweden, August 31 - September 2, 2020 : proceedings2020 / p. 96-109 https://doi.org/10.1007/978-3-030-57599-1_8 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

24

book article EST / book article ENG

Beta assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 525-529 https://doi.org/10.1007/978-3-030-54249-8_49 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

25

journal article EST / journal article ENG

Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / art. 104767, 22 p https://doi.org/10.1016/j.ic.2021.104767 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Mathematics. Theoretical computer science (category)

types of item

keyword 24

subject term 1