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

Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, DianaApplied 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

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

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

Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Automata and coalgebras in sategories 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

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

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

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

Bing-CF-IDF+ : a semantics-driven news recommender systemBrocken, Emma; Hartveld, Aron; Koning, Emma de; Hogenboom, Frederik; Frasincar, Flavius; Robal, TarmoAdvanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings2019 / p. 32-47 https://doi.org/10.1007/978-3-030-21290-2_3 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Black-box separations and their adaptability to the non-uniform modelBuldas, Ahto; Niitsoo, MargusInformation security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013 : proceedings2013 / p. 152-167 https://doi.org/10.1007/978-3-642-39059-3_11 Conference Proceedings at Scopus Article at Scopus

Block library driven translation validation for dataflow models in safety critical systemsDieumegard, Arnaud; Toom, Andres; Pantel, MarcCritical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings2016 / p. 117-132 : ill https://doi.org/10.1007/978-3-319-45943-1_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economiesAbodei, Ebizimoh; Norta, Alexander; Azogu, Irene; Udokwu, Chibuzor; Draheim, DirkDigital Transformation for a Sustainable Society in the 21st Century18th IFIP WG 6.11 : Conference on e-Business, e-Services, and e-Society, I3E 2019Trondheim, Norway, September 18–20, 2019 : proceedings2019 / p. 464–475 https://doi.org/10.1007/978-3-030-29374-1_38 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Blockchain technology: Intrinsic technological and socio-economic barriers: FDSE'2020 KeynoteBuldas, Ahto; Draheim, Dirk; Nagumo, Takehiko; Vedešin, AntonFuture Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020 : proceedings2020 / p. 3-27 https://doi.org/10.1007/978-3-030-63924-2_1 Conference Proceedings at Scopus Article at Scopus

A blockchain-assisted hash-based signature schemeBuldas, Ahto; Laanoja, Risto; Truu, AhtoSecure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings2018 / p. 138–153 : ill https://doi.org/10.1007/978-3-030-03638-6_9 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

The BlotPietarinen, Ahti-Veikko; Bellucci, Francesco; Bobrova, Angelina; Haydon, Nathan Joseph; Shafiei, MohammadDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 225-238 : ill https://doi.org/10.1007/978-3-030-54249-8_18 Conference proceedings at Scopus Article at Scopus Article at WOS Conference proceedings at WOS

Boundary state and output feedbacks for underactuated systems of coupled time-fractional PDEs with different space-dependent diffusivityChen, Juan; Tepljakov, Aleksei; Petlenkov, Eduard; Zhuang, BoInternational journal of systems science2020 / p. 2922-2942 https://doi.org/10.1080/00207721.2020.1803442 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Bounded pre-image awareness and the security of hash-tree keyless signaturesBuldas, Ahto; Laanoja, Risto; Laud, Peeter; Truu, AhtoProvable security : 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014 : proceedings2014 / p. 130-145 : ill https://doi.org/10.1007/978-3-319-12475-9_10 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Bringing service design thinking into the public sector to create proactive and user-friendly public servicesSirendi, Regina; Taveter, KuldarHCI in Business, Government, and Organizations : Information Systems : third International Conference, HCIBGO 2016 held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings. Part II2016 / p. 221-230 : ill https://doi.org/10.1007/978-3-319-39399-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Calculational proofs in relational graphical linear algebraPaixao, Joao; Sobocinski, Pawel MariaFormal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings2020 / p. 83-100 https://doi.org/10.1007/978-3-030-63882-5_6 Conference proceedings at Scopus Article at Scopus

Can I have a Mooc2Go, please? On the viability of mobile vs. stationary learningZhao, Yue; Robal, Tarmo; Lofi, Christoph; Hauff, ClaudiaLifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning : EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings2018 / p. 101-115 : ill https://doi.org/10.1007/978-3-319-98572-5_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A canonical algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaFormal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings2021 / p. 63-81 https://doi.org/10.1007/978-3-030-90636-8_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Carroll diagrams : design and manipulationMoktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 32-35 : ill https://doi.org/10.1007/978-3-319-91376-6_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A case study on data protection for a cloud- and AI-based homecare medical deviceBende, Philipp; Vovk, Olga; Caraveo, David; Pechmann, Ludwig; Leucker, MartinTransactions on Petri Nets and Other Models of Concurrency XVII2024 / p. 138 - 161 https://doi.org/10.1007/978-3-662-68191-6_6 Conference Proceedings at Scopus Article at Scopus

Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Certified parsing of regular languagesFirsov, Denis; Uustalu, TarmoCertified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013 / p. 98 - 113 https://doi.org/10.1007/978-3-319-03545-1_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A Characterization of Amenable Groups by Besicovitch PseudodistancesCapobianco, Silvio; Guillon, PierreCellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings2020 / p. 99-110 https://doi.org/10.1007/978-3-030-61588-8_8 Conference proceedings at Scopus Article at Scopus

Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill https://doi.org/10.1016/j.entcs.2014.10.003 Journal metrics at Scopus Article at Scopus

A coalgebraic view of bar recursion and bar inductionCapretta, Venanzio; Uustalu, TarmoFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings2016 / p. 91-106 https://doi.org/10.1007/978-3-662-49630-5_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Coends of higher arityLoregian, Fosco; de Oliveira Santos, TheoApplied categorical structures2022 / p. 173-221 https://doi.org/10.1007/s10485-021-09653-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS

Combining fuzzy and probabilistic reasoning for crowd-sourced categorization and taggingTammet, Tanel; Luberg, AgoWeb Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings2014 / p. 247-248 https://link.springer.com/book/10.1007/978-3-319-11113-1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Competencies required for the offensive cyber operations plannersArik, Marko; Lugo, Ricardo Gregorio; Ottis, Rain; Venables, Adrian NicholasHCI for Cybersecurity, Privacy and Trust : 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II2024 / p. 20-39 https://doi.org/10.1007/978-3-031-61382-1_2 Conference proceedings at Scopus Article at Scopus Article at WOS

Compiling cooperative task management to continuationsNakata, Keiko; Saar, AndriFundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers2013 / p. 95 - 110 https://doi.org/10.1007/978-3-642-40213-5_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Composite surrogate for likelihood-free bayesian optimisation in high-dimensional settings of activity-based transportation modelsKuzmanovski, Vladimir; Hollmén, JaakkoAdvances in Intelligent Data Analysis XIX : 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021 : proceedings2021 / p. 171-183 : ill https://doi.org/10.1007/978-3-030-74251-5_14 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 402-418 https://doi.org/10.1007/978-3-030-54249-8_32 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

A comprehensive approach for designing business-intelligence solutions with multi-agent systems in distributed environmentsQayumi, Karima; Norta, AlexanderTransactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII2018 / p. 113-150 https://doi.org/10.1007/978-3-662-57932-9_4 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

Comprehensive blended learning concept for teaching micro controller technology utilising HomeLab kits and remote labs in a virtual web environmentSeiler, Sven; Sell, RaivoTransactions on Edutainment. X2013 / p. 161-177 : ill https://doi.org/10.1007/978-3-642-37919-2_9 Article collection metrics at Scopus Article at Scopus

Computational intelligence methods based design of closed-loop systemBelikov, Juri; Petlenkov, Eduard; Vassiljeva, Kristina; Nõmm, SvenNeural information processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings. Part I2013 / p. 215-224 : ill https://doi.org/10.1007/978-3-642-42054-2_28 Conference Proceedings at Scopus Article at Scopus

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Cones with convoluted geometry that always scatter or radiateBlåsten, Emilia L.K.; Pohjola, ValterInverse Problems2022 / Art. 125001 https://doi.org/10.1088/1361-6420/ac963c Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Confidences for commonsense reasoning.Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings2021 / p. 507–524 https://doi.org/10.1007/978-3-030-79876-5_29 Conference Proceedings at Scopus Article at Scopus Article at WOS

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Container combinatorics : monads and lax monoidal functorsUustalu, TarmoTopics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings2017 / p. 91-105 : ill https://doi.org/10.1007/978-3-319-68953-1_8 Conference proceedings at Scopus Article at Scopus Article at WOS

Contextual equivalence for signal flow graphsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioFoundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings2020 / p. 77-96 https://doi.org/10.1007/978-3-030-45231-5_5 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Contractive signatures with recursive types, type parameters, and abstract typesIm, Hyeonseung; Nakata, Keiko; Park, SungwooAutomata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II2013 / p. 299 - 311 https://doi.org/10.1007/978-3-642-39212-2_28 Conference Proceedings at Scopus Article at Scopus

Convolutional neural networks for false positive reduction of automatically detected cilia in low magnification TEM imagesGupta, Anindya; Suveer, Amit; Lindblad, Joakim; Dragomir, Anca; Sintorn, Ida-Maria; Sladoje, NatašaImage Analysis, 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017 : proceedings, Part I2017 / p. 407-418 : ill https://doi.org/10.1007/978-3-319-59126-1_34 Conference proceedings at Scopus Article at Scopus Article at WOS

Covering concept lattices with concept chainsTorim, Ants; Mets, Marko; Raun, KristoGraph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019 : Marburg, Germany, July 1–4, 2019 : proceedings2019 / p. 190-203 : ill https://doi.org/10.1007/978-3-030-23182-8_14 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Creating and detecting IPv6 transition mechanism-based information exfiltration covert channelsBlumbergs, Bernhards; Pihelgas, Mauno; Kont, Markus; Maennel, Olaf Manuel; Vaarandi, RistoSecure IT Systems : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings2016 / p. 85-100 : ill https://doi.org/10.1007/978-3-319-47560-8_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Cyber hygiene : the big pictureMaennel, Kaie; Mäses, Sten; Maennel, Olaf ManuelSecure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings2018 / p. 291-305 : ill https://doi.org/10.1007/978-3-030-03638-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

CyberPin - Challenges on recognizing youngest cyber talentsLorenz, Birgy; Kikkas, Kaido; Talisainen, Aleksei; Eomäe, TaaviHCI for Cybersecurity, Privacy and Trust : Third International Conference, HCI-CPT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings2021 / p. 326-336 https://doi.org/10.1007/978-3-030-77392-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Aricle at WOS

Cybersecurity within the curricula of informatics : the Estonian perspectiveLorenz, Birgy; Kikkas, Kaido; Sõmer, Tiia; Laugasson, EdmundInformatics in Schools. New Ideas in School Informatics :12th International Conference on Informatics in Schools : Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019 : proceedings2019 / p. 159-171 https://doi.org/10.1007/978-3-030-33759-9_13 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Data augmentation and teacher-student training for LF-MMI based robust speech recognitionUllah, Asad; Alumäe, TanelText, Speech, and Dialogue : 21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018 : proceedings2018 / p. 403-410 https://doi.org/10.1007/978-3-030-00794-2_43 Conference Proceedings at Scopus Article at Scopus Article at WOS

Data exchange for digital government: Where are we heading? ADBIS2021 KeynoteDraheim, DirkAdvances in Databases and Information Systems : 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021 : proceedings2021 / p. 7-12 https://doi.org/10.1007/978-3-030-82472-3_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Dealing with data streams: Complex event processing vs. data stream miningLange, Moritz; Koschel, Arne; Astrova, IrinaComputational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV2020 / p. 3-14 https://doi.org/10.1007/978-3-030-58811-3_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

The delay monad and restriction categoriesUustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings2017 / p. 32-50 https://doi.org/10.1007/978-3-319-67729-3_3 Conference proceedings at Scopus Article at Scopus Article at WOS

Design concept and microarchitecture of network-on-chip with best-effort and guaranteed-throughput servicesSamman, Faizal; Hollstein, ThomasInternational journal of innovative computing, informationand control2019 / p. 305–319 : ill https://doi.org/10.24507/ijicic.15.01.305 http://www.ijicic.net/ http://www.ijicic.net/servlet/Download?contentID=CONT5b67c7cbc23142feade914ceeabbdf4d Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

The design of the Estonian governmental document exchange classification frameworkDraheim, Dirk; Koosapoeg, Kaarel; Lauk, Mihkel; Pappel, Ingrid; Pappel, Ingmar; Tepandi, JaakElectronic Government and the Information Systems Perspective : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016 : proceedings2016 / p. 33-47 : ill http://link.springer.com/chapter/10.1007/978-3-319-44159-7_3 http://www.ester.ee/record=b4645628*est https://doi.org/10.1007/978-3-319-44159-7_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Designing an effective long-term identity management strategy for a mature e-stateLips, Silvia; Aas, Krista; Pappel, Ingrid; Draheim, DirkElectronic Government and the Information Systems Perspective : 8th International Conference, EGOVIS 2019 : Linz, Austria, August 26–29, 2019 : proceedings2019 / p. 221-234 : ill https://doi.org/10.1007/978-3-030-27523-5_16 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Designing proactive business event services : a case study of the Estonian company registration portalKõrge, Helena; Erlenheim, Regina; Draheim, DirkElectronic Participation : 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings2019 / p. 73 - 84 https://doi.org/10.1007/978-3-030-27397-2_7 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Detecting Simpson’s paradox : a machine learning perspectiveSharma, Rahul; Garayev, Huseyn; Kaushik, Minakshi; Arakkal Peious, Sijo; Tiwari,Prauag; Draheim, DirkDatabase and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings. Part I2022 / p. 323-335 : ill https://doi.org/10.1007/978-3-031-12423-5_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Developing cross-border E-governance: exploring interoperability and cross-border integrationKrimmer, Robert Johannes; Dedovic, Stefan; Schmidt, Carsten; Corici, Andreea-AncutaElectronic participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7–9, 2021 : proceedings2021 / p. 107-124 : ill https://doi.org/10.1007/978-3-030-82824-0_9 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Development of children's cyber security competencies in EstoniaLorenz, Birgy; Kikkas, Kaido; Osula, KairiLearning 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. 473–482 https://doi.org/10.1007/978-3-319-91152-6_36 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Devising an urban learning centre for municipalities in Eastern Partnership countriesSchuch de Azambuja, Luiza; Soe, Ralf-MartinNew Sustainable Horizons in Artificial Intelligence and Digital Solutions : 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Curitiba, Brazil, November 9–11, 2023, Proceedings2023 / p. 403-417 https://doi.org/10.1007/978-3-031-50040-4_30 Conference proceedings at Scopus Article at Scopus

Diagnostic test generation for statistical bug localization using evolutionary computationGaudesi, Marco; Jenihhin, Maksim; Raik, Jaan; Tihhomirov, Valentin; Ubar, Raimund-JohannesApplications of Evolutionary Computation : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014 : revised selected papers2014 / p. 425-436 : ill https://doi.org/10.1007/978-3-662-45523-4_35 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Digital support in logistics of home-care nurses for disabled and elderly peopleReinhold, Karin; Tint, Piia; Traumann, AdaHuman Interaction and Emerging Technologies : proceedings of the 1st International Conference on Human Interaction and Emerging Technologies (IHIET 2019), August 22–24, 2019, Nice, France2020 / p. 563-568 https://doi.org/10.1007/978-3-030-25629-6_87 Conference proceedings at Scopus Article at Scopus

Distributed scalable association rule mining over Covid-19 dataShahin, Mahtab; Inoubli, Wissem; Shah, Syed Attique; Ben Yahia, Sadok; Draheim, DirkFuture Data and Security Engineering : 8th International Conference, FDSE 2021, Virtual Event, November 24–26, 2021 : proceedings2021 / p. 39-52 https://doi.org/10.1007/978-3-030-91387-8_3 Conference Proceedings at Scopus Article at Scopus

A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill https://doi.org/10.1016/j.jlamp.2016.06.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Drivers for and barriers to the cross-border implementation of the once-only principleLeosk, Nele; Põder, Irma; Schmidt, Carsten; Kalvet, Tarmo; Krimmer, Robert JohannesThe once-only principle : The TOOP project2021 / p. 38–60 https://doi.org/10.1007/978-3-030-79851-2_3 Collection metrics at Scopus Article at Scopus Collection metrics at WOS Article at WOS

Driving forces and design of the TTÜ e-Governance technologies and services master's programPappel, Ingrid; Oolu, Karin; Pappel, Ingmar; Draheim, DirkElectronic Government and the Information Systems Perspective : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017 : proceedings2017 / p. 278-293 : ill https://doi.org/10.1007/978-3-319-64248-2_20 Conference proceedings at Scopus Article at Scopus Article at WOS

Dynamic and distributed security management for NoC Based MPSoCsAzad, Siavoosh Payandeh; Jervan, Gert; Sepulveda, JohannaComputational Science - ICCS 2019 : 19th International Conference, Faro, Portugal, June 12-14, 2019 : Proceedings, Part II2019 / p. 649–662 : ill https://doi.org/10.1007/978-3-030-22741-8_4 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

EcoLight : Eco-friendly traffic signal control driven by urban noise predictionOunoughi, Chahinez; Touibi, Ghofrane; Ben Yahia, SadokDatabase and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings, Part I2022 / p. 205–219 https://doi.org/10.1007/978-3-031-12423-5_16 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

E-government services migration to the public cloud : experiments and technical findingsKotka, Taavi; Johnson, Bruce; Cebul, Tomaz; Lovosevic, Luka; Liiv, InnarElectronic Government and the Information Systems Perspective : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016 : proceedings2016 / p. 62-76 : ill https://doi.org/10.1007/978-3-319-44159-7_5 http://www.ester.ee/record=b4645628*est Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Eilenberg-Kelly reloadedUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2020 / p. 233-256 https://doi.org/10.1016/j.entcs.2020.09.012 Journal metrics at Scopus Article at Scopus Article at WOS

Emerging technologies and spaceCarlo, Antonio; Roux, LucilleModelling and Simulation for Autonomous Systems : 8th International Conference, MESAS 2021, Virtual Event, October 13–14, 20212022 / p. 494-508 https://doi.org/10.1007/978-3-030-98260-7_32 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Enhancing semantics-driven recommender systems with visual featuresBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoAdvanced Information Systems Engineering34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings2022 / p. 443–459 https://doi.org/10.1007/978-3-031-07472-1_26 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Enterprise security analysis and training experienceOjamaa, Andres; Tõugu, EnnCritical Information Infrastructures Security : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014 : revised selected papers2016 / p. 200-208 : ill https://doi.org/10.1007/978-3-319-31664-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Establishing distributed governance infrastructures for enacting cross-organization collaborationsNorta, AlexanderService-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers2016 / p. 24-35 https://doi.org/10.1007/978-3-662-50539-7_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Estonian e-residency : benefits, risk and lessons learnedKotka, Taavi; Vargas Alvarez del Castillo, Carlos Ivan; Korjus, KasparElectronic Government and the Information Systems Perspective : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016 : proceedings2016 / p. 3-15 : ill https://doi.org/10.1007/978-3-319-44159-7_1 http://www.ester.ee/record=b4645628*est Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Euler diagrams through the looking glass : from extent to intentStapleton, Gem; Moktefi, Amirouche; Howse, John; Burton, JimDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 365-381 : ill https://doi.org/10.1007/978-3-319-91376-6_34 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Event detection based on open information extraction and ontologySahnoun, Sihem; Elloumi, Samir; Ben Yahia, SadokComputational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019 : proceedings, part I2019 / p. 244-255 : ill https://doi.org/10.1007/978-3-030-28377-3_20 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

E-voting – an overview of the development in the past 15 years and current discussionsKrimmer, Robert Johannes; Volkamer, Melanie; Duenas Cid, DavidElectronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings2019 / p. 1-13 https://doi.org/10.1007/978-3-030-30625-0_1 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

E-Voting System evaluation based on the Council of Europe recommendations: nVotesMarcos del Blanco, David Yeregui; Duenas Cid, David; Alaiz Moreton, HectorFifth International Joint Conference on Electronic Voting : E-Vote-ID 2020, 6-9 October 2020 : proceedings2020 / p. 138-154 : ill https://digikogu.taltech.ee/et/Item/593d1e1a-9bbc-439b-afdc-f72abfcc8afa Article at Scopus Conference proceedings at Scopus Conference proceedings at WOS Article at WOS

Expected vs. unexpected : selecting right measures of interestingnessSharma, Rahul; Kaushik, Minakshi; Arakkal Peious, Sijo; Ben Yahia, Sadok; Draheim, DirkBig Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14–17, 2020 : proceedings2020 / p. 38-47 https://doi.org/10.1007/978-3-030-59065-9_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

The experience of a selfassessment tool for enhancing XR technology adoption in SMEs and HEIs across EuropeKöse, Ahmet; Tepljakov, Aleksei; Alsaleh, Saleh Ragheb Saleh; Petlenkov, EduardExtended Reality: International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I2023 / p. 184-197 https://doi.org/10.1007/978-3-031-43401-3_12 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 Conference Proceedings at Scopus Article at Scopus Article at WOS

Exploiting factory telemetry to support virtual reality simulation in robotics cellKuts, Vladimir; Modoni, Gianfranco E.; Terkaj, Walter; Tähemaa, Toivo; Sacco, Marco; Otto, TaunoAugmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12–15, 2017 : proceedings. Part I2017 / p. 212-221 : ill https://doi.org/10.1007/978-3-319-60922-5_16 Conference proceedings at Scopus Article at Scopus Article at WOS

Exploratory analysis of collective intelligence projects developed within the EU-Horizon 2020 frameworkSuran, Shweta; Pattanaik, Vishwajeet; Ben Yahia, Sadok; Draheim, DirkComputational Collective Intelligence 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II2019 / p. 285-296 https://doi.org/10.1007/978-3-030-28374-2_25 Conference proceeding at Scopus Article at Scopus Confernce proceeding at WOS Article at WOS

Extensions of Euler diagrams in Peirce's four manuscripts on logical graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings2016 / p. 139-154 : ill https://doi.org/10.1007/978-3-319-42333-3_11 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Extraction of the index of refraction by embedding multiple small inclusionsAlsaedi, Ahmed; Alzahrani, Faris; Challa, Durga Prasad; Kirane, Mokhtar; Sini, MouradInverse problems2016 / art. 045004, p. 1-18 : ill http://iopscience.iop.org/0266-5611/32/4/045004 https://doi.org/10.1088/0266-5611/32/4/045004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Factors affecting e-ID public acceptance : a literature reviewTsap, Valentyna; Pappel, Ingrid; Draheim, DirkElectronic Government and the Information Systems Perspective : 8th International Conference, EGOVIS 2019 : Linz, Austria, August 26–29, 2019 : proceedings2019 / p. 176-188 : tab https://doi.org/10.1007/978-3-030-27523-5_13 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

FARMUR: fair adversarial retraining to mitigate unfairness in robustnessMousavi, Seyed Ali; Mousavi, Hamid; Daneshtalab, MasoudAdvances in Databases and Information Systems: 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023 : proceedings2023 / p. 133-145 https://doi.org/10.1007/978-3-031-42914-9_10 Conference proceedings at Scopus Article at Scopus

Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS

FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2013 / p. 260-265 : ill https://doi.org/10.1007/978-3-642-39611-3_24 Conference Proceedings at Scopus Article at Scopus

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A framework for data-driven public service co-productionToots, Maarja; McBride, Keegan David Braun; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Government : 16th IFIP WG 8.5 International Conference : EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings2017 / p. 264-275 : ill https://doi.org/10.1007/978-3-319-64677-0_22 Conference proceedings at Scopus Article at Scopus Article at WOS

Framework for peer-to-peer data sharing over Web browsersPattanaik, Vishwajeet; Sharvadze, Ioane; Draheim, DirkFuture Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings2019 / p. 207-225 : ill https://doi.org/10.1007/978-3-030-35653-8_14 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of NigeriaAkaba, Temofe Isaac; Norta, Alexander; Udokwu, Chibuzor; Draheim, DirkResponsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I2020 https://doi.org/10.1007/978-3-030-44999-5_1 Conference Proceedings at Scopus Article at Scopus

Frameworks for collective intelligence : a systematic literature reviewSuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkACM computing surveys2020 / art. 14, p. 1−36 https://doi.org/10.1145/3368986 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / p. 3-11 https://doi.org/10.1007/978-3-030-03192-3_1 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / p. 3-19 https://doi.org/10.1007/978-3-030-59003-1_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Future opportunities for systematic AI support in healthcareBertl, Markus; Piho, Gunnar; Draheim, Dirk; Ross, Peeter; Pechmann, Ludwig; Bucciarelli, Nicholas; Sharma, RahulBridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers2024 / p. 203 - 224 https://doi.org/10.1007/978-3-031-73741-1_13 Conference Proceedings at Scopus Article at Scopus

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / p. 300-309 https://doi.org/10.1007/978-3-031-10769-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / p. 538-549 https://doi.org/10.1007/978-3-030-29436-6_32 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Grand reports : a tool for generalizing association rule mining to numeric target valuesArakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Shah, Syed Attique; Ben Yahia, SadokBig Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : Proceedings2020 / p. 28-37 https://doi.org/10.1007/978-3-030-59065-9_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Guest editorial : implementation issues in system-on-chipEllervee, Peeter; Nurmi, JariJournal of signal processing systems2017 / p. 269-270 https://doi.org/10.1007/s11265-017-1242-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

High-performance information processing in distributed computing systemsSklyarov, Valery; Rjabov, Artjom; Skliarova, Iouliia; Sudnitsõn, AleksanderInternational journal of innovative computing, information and control2016 / p. 139-160 : ill https://www.researchgate.net/publication/297047447_High-performance_information_processing_in_distributed_computing_systems Journal metrics at Scopus Article at Scopus

Historio-GraphyMoktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 511-514 https://doi.org/10.1007/978-3-030-54249-8_46 Conference proceedings at Scopus Article at Scopus Article at WOS

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

The how and why to Internet voting an attempt to explain E-StoniaVinkel, Priit; Krimmer, Robert JohannesElectronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings2017 / p. 178-191 : ill https://doi.org/10.1007/978-3-319-52240-1_11 Conference proceedings at Scopus Article at Scopus Article at WOS

How could Snowden attack an election?Wikström, Douglas; Barrat, Jordi; Heiberg, Sven; Krimmer, Robert Johannes; Schürmann, CarstenElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 280-291 https://doi.org/10.1007/978-3-319-68687-5_17 Conference proceedings at Scopus Article at Scopus Article at WOS

How domain engineering can help to raise adoption rates of artificial intelligence in healthcareBertl, Markus; Klementi, Toomas; Piho, Gunnar; Ross, Peeter; Draheim, DirkInformation Integration and Web Intelligence, 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023 : proceedings2023 / p. 490-504 https://doi.org/10.1007/978-3-031-48316-5_1 Conference proceedings at Scopus Article at Scopus

How much does an e-Vote cost? Cost comparison per vote in multichannel elections in EstoniaKrimmer, Robert Johannes; Duenas Cid, David; Krivonosova, Iuliia; Vinkel, Priit; Koitmäe, ArneElectronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2–5, 2018 : proceedings2018 / p. 117-131 https://doi.org/10.1007/978-3-030-00419-4_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Human-human communication in cyber threat situations: a systematic reviewAsk, Torvald F.; Lugo, Ricardo Gregorio; Knox, Benjamin James; Sütterlin, StefanHCI International 2021 - late breaking papers : cognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings2021 / p. 21-43 : ill https://doi.org/10.1007/978-3-030-90328-2_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Hydromast : a bioinspired flow sensor with accelerometersRistolainen, Asko; Tuhtan, Jeffrey Andrew; Kuusik, Alar; Kruusmaa, MaarjaBiomimetic and biohybrid systems : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings2016 / p. 510-517 : ill https://doi.org/10.1007/978-3-319-42417-0_55 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Imagine a round squareMoktefi, Amirouche; Družinina, JelenaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 539-543 https://doi.org/10.1007/978-3-030-54249-8_52 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Impact-driven discretization of numerical factors : case of two- and three-partitioningKaushik, Minakshi; Sharma, Rahul; Arakkal Peious, Sijo; Draheim, DirkBig Data Analytics. BDA 2021 : 9th International Conference, BDA 2021, Virtual Event, December 15-18, 2021 : proceedings2021 / p. 244–260 https://doi.org/10.1007/978-3-030-93620-4_18 Conference Proceedings at Scopus Article at Scopus

Implementation of information security in the EU information systems : an Estonian case studyJärvsoo, Maris; Norta, Alexander; Tsap, Valentyna; Pappel, Ingrid; Draheim, DirkChallenges and Opportunities in the Digital Era : 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society : I3E 2018, Kuwait City, Kuwait, October 30 - November 1, 2018 : proceedings2018 / p. 150-163 https://doi.org/10.1007/978-3-030-02131-3_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Improving and measuring learning effectiveness at cyber defense exercisesMaennel, Kaie; Ottis, Rain; Maennel, Olaf ManuelSecure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings2017 / p. 123-138 : ill https://doi.org/10.1007/978-3-319-70290-2_8 Conference proceedings at Scopus Article at Scopus Article at WOS

Individual deep fake recognition skills are affected by viewer’s political orientation, agreement with content and device usedSütterlin, Stefan; Ask, Torvald F.; Mägerle, Sophia; Glöckler, Sandra; Wolf, Leandra; Schray, Julian; Chandi, Alava; Bursac, Teodora; Khodabakhsh, Ali; Knox, Benjamin JamesAugmented Cognition : 17th International Conference, AC 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023 : proceedings2023 / p. 269-284 : ill https://doi.org/10.1007/978-3-031-35017-7_18 Conference proceedings at Scopus Article at Scopus

Integrating digital migrants : solutions for cross-border identification from e-residency to eIDAS. A case study from EstoniaAavik, Gerli; Krimmer, Robert JohannesElectronic Government : 15th IFIP WG 8.5 International Conference, EGOV 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings2016 / p. 151-163 : ill https://doi.org/10.1007/978-3-319-44421-5_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processesShokri-Manninen, Fatima; Tsiopoulos, Leonidas; Vain, Jüri; Walden, MarinaRigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings2020 / p. 186-202 https://doi.org/10.1007/978-3-030-48077-6_13 Conference proceedings at Scopus Article at Scopus

Intelligent virtual environments with assessment of user experiencesKöse, Ahmet; Tepljakov, Aleksei; Petlenkov, EduardArtificial Intelligence and Soft Computing : 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021 : proceedings, Part I2021 / p. 463−474 : ill https://doi.org/10.1007/978-3-030-87986-0_41 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Internal scales and dispersive properties of microstructured materialsPeets, TanelMathematics and computers in simulation2016 / p. 220-228 : ill https://doi.org/10.1016/j.matcom.2014.03.006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Introduction to the 2nd Workshop on Resource Management in Service-Oriented Computing (RMSOC) 2015Cabanillas, Christina; Norta, Alexander; Resinas, ManuelService-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers2016 / p. XV-XVII https://doi.org/10.1007/978-3-662-50539-7 Conference Proceedings at Scopus Article at Scopus

Introduction to the Proceedings of the Workshop on Intelligent Service Clouds (ISC) 2015Vaculin, Roman; Norta, Alexander; Eshuis, RikService-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers2016 / p. XXII-XXIII https://doi.org/10.1007/978-3-662-50539-7 Conference Proceedings at Scopus Article at Scopus

Introduction to the proceedings of the workshop on Pervasive Analytical Service Clouds for the Enterprise and Beyond (PASCEB) 2013Norta, Alexander; Zhang, Weishan; Chituc, C.M.; Vaculin, RomanService-Oriented Computing–ICSOC 2013, Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium Berlin, Germany, December 2-5, 2013, Revised Selected Papers2014 / p. 379-380 https://doi.org/10.1007/978-3-319-06859-6_33 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Jin Yuelin’s Simplification of Venn DiagramsLiu, Xinwen; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 260-263 https://doi.org/10.1007/978-3-030-86062-2_26 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

John Cook Wilson's Hanging Plants : a contribution to the History of Early Logic TreesBeisecker, Dave; Moktefi, AmiroucheDiagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings2022 / p. 338-346 https://doi.org/10.1007/978-3-031-15146-0_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Key factors in coping with large-scale security vulnerabilities in the eID fieldLips, Silvia; Pappel, Ingrid; Tsap, Valentyna; Draheim, DirkElectronic Government and the Information Systems Perspective :7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018 : proceedings2018 / p. 60-70 https://doi.org/10.1007/978-3-319-98349-3_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Key success factors in introducing national e-identification systemsTsap, Valentyna; Pappel, Ingrid; Draheim, DirkFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 455-471 : ill https://doi.org/10.1007/978-3-319-70004-5_33 Conference proceedings at Scopus Article at Scopus Article at WOS

Keyless signatures' infrastructure: How to build global distributed hash-treesBuldas, Ahto; Kroonmaa, Andres; Laanoja, RistoSecure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings2013 / p. 313 - 320 https://doi.org/10.1007/978-3-642-41488-6_21 Conference Proceedings at Scopus Article at Scopus

Knowledge retention in oil and gas industry - the case of contract workforceSumbal, Muhammad Saleem Ullah Khan; Irfan, Irfan; Durst, Susanne; Sahibzada, Umar Farooq; Waseem, Muhammad Adnan; Tsui, EricKybernetes2023 / p. 1552-1571 https://doi.org/10.1108/K-06-2021-0458 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A legal framework for digital transformation : a proposal based on a comparative case studyAhmed, Rozha Kamal; Muhammed, Khder H.; Qadir, Awat O.; Arif, Soran I.; Lips, Silvia; Nyman-Metcalf, Katrin Merike; Pappel, Ingrid; Draheim, DirkElectronic Government and the Information Systems Perspective : 10th International Conference, EGOVIS 2021, Virtual Event, September 27–30, 2021 : proceedings2021 / p. 115–128 https://doi.org/10.1007/978-3-030-86611-2_9 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Legally enforceable smart-contract languages : a systematic literature reviewDwivedi, Vimal Kumar; Pattanaik, Vishwajeet; Deval, Vipin; Dixit, Abhishek; Norta, Alexander; Draheim, DirkACM computing surveys2022 / art. 3453475, p. 1–34 https://doi.org/10.1145/3453475 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A lightweight anonymous authentication scheme for secure cloud computing servicesHammami, Hamza; Ben Yahia, Sadok; Obaidat, Mohammad S.The Journal of Supercomputing2021 / p. 1693-1713 https://doi.org/10.1007/s11227-020-03313-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Limiting adversarial budget in quantitative security assessmentLenin, Aleksandr; Buldas, AhtoDecision and Game Theory for Security : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014 : proceedings2014 / p. 155-174 : ill https://doi.org/10.1007/978-3-319-12601-2_9 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Live enrolment for identity documents in EuropeKalvet, Tarmo; Karlzén, Henrik; Hunstad, Amund; Tiits, MarekElectronic Government : 17th IFIP WG 8.5 International Conference : EGOV 2018, Krems, Austria, September 3–5, 2018 : proceedings2018 / p. 29-39 : ill https://doi.org/10.1007/978-3-319-98690-6_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A live virtual simulator for teaching cybersecurity to information technology studentsErnits, Margus; Kikkas, KaidoLearning and Collaboration Technologies : Third International Conference, LCT 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings2016 / p. 474-486 : ill https://doi.org/10.1007/978-3-319-39483-1_43 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Long-term secure commitments via extractable-binding commitmentsBuldas, Ahto; Geihs, Matthias; Buchmann, JohannesInformation Security and Privacy : 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017 : Proceedings, Part I2017 / p. 65-81 https://doi.org/10.1007/978-3-319-60055-0_4 Conference proceedings at Scopus Article at Scopus Article at WOS

Long-term secure time-stamping using preimage-aware hash functions : (short version)Buldas, Ahto; Geihs, Matthias; Buchmann, JohannesProvable Security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23–25, 2017 : proceedings2017 / p. 251-260 : ill http://doi.org/10.1007/978-3-319-68637-0_15 Conference proceedings at Scopus Article at Scopus Article at WOS

Lower bound methods for the size of nondeterministic finite automata revisitedTamm, Hellis; Merwe, Brink van derLanguage and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings2017 / p. 261-272 https://doi.org/10.1007/978-3-319-53733-7_19 Conference proceedings at Scopus Article at Scopus Article at WOS

Making e-government work : learning from the Netherlands and EstoniaBharosa, Nitesh; Lips, Silvia; Draheim, DirkElectronic Participation : 12th IFIP WG 8.5 International Conference, ePart 2020, Linköping, Sweden, August 31 – September 2, 2020 : proceedings2020 / p. 41-53 https://doi.org/10.1007/978-3-030-58141-1_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Making sense of Schopenhauer's diagram of Good and EvilLemanski, Jens; Moktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 721-724 : ill https://doi.org/10.1007/978-3-319-91376-6_67 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Malicious accounts detection from online social networks : a systematic review of literatureBen Sassi, Imen; Ben Yahia, SadokInternational Journal of General Systems2021 / p. 741−814 https://doi.org/10.1080/03081079.2021.1976773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Management of national eID infrastructure as a state-critical asset and public-private partnership : learning from the case of EstoniaLips, Silvia; Tsap, Valentyna; Bharosa, Nitesh; Krimmer, Robert Johannes; Tammet, Tanel; Draheim, DirkInformation Systems Frontiers2023 / p.2439-2456 https://doi.org/10.1007/s10796-022-10363-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Mapping brains on grids of features for schizophrenia analysisPerina, Alessandro; Peruzzo, Denis; Kesa, Maria; Jojic, Nebojsa; Murino, Vittorio; Bellani, Mellani; Brambilla, Paolo; Castellani, UmbertoMedical Image Computing and Computer-Assisted Intervention –MICCAI 2014,17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part II2014 / p. 805-812 : ill https://doi.org/10.1007/978-3-319-10470-6_100 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assuranceLeiding, Benjamin; Norta, AlexanderFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 181-196 : ill https://doi.org/10.1007/978-3-319-70004-5_13 Conference proceedings at Scopus Article at Scopus Article at WOS

Maximally multi-focused proofs for skew non-commutative MILLVeltri, NiccolòLogic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings2023 / p. 377-393 https://doi.org/10.1007/978-3-031-39784-4_24 Conference proceedings at Scopus Article at Scopus

Mental model mapping method for cybersecurityKullman, Kaur; Buchanan, Laurin; Komlodi, Anita; Engel, DonHCI for Cybersecurity, Privacy and Trust : Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : Proceedings2020 / p. 458-470 https://doi.org/10.1007/978-3-030-50309-3_30 Conference Proceedings at Scopus Article at Scopus

Metacognitive processes involved in human robot interaction in the school learning environmentMishra, Deepti; Lugo, Ricardo Gregorio; Parish, Karen; Tilden, SolveigHuman-Computer Interaction : Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023 :proceedings, Part II2023 / p. 85-100 : ill https://doi.org/10.1007/978-3-031-35599-8_6 Conference proceedings at Scopus Article at Scopus

Methods and tools for healthcare data anonymization : a literature reviewVovk, Olga; Piho, Gunnar; Ross, PeeterInternational Journal of General Systems2023 / p. 326-342 : ill https://doi.org/10.1080/03081079.2023.2173749 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Modelling the impact of space situational awareness disruption on the European and Arctic security landscapeCarlo, Antonio; Boschetti, NicoloModelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022 : Revised Selected Papers2023 / p. 299-311 https://doi.org/10.1007/978-3-031-31268-7_18 Journal metrics at Scopus Article at Scopus

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Multi-Agent systems and Blockchain: results from a systematic literature reviewCalvares, Davide; Dubovitskaya, Alevtina; Calbimonte, Jean Paul; Taveter, Kuldar; Schumacher, MichaelAdvances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018 : proceedings2018 / p. 110-126 https://doi.org/10.1007/978-3-319-94580-4_9 Conference Proceedings at Scopus Article at Scopus Article at WOS

Multi-loop model reference proportional integral derivative controls: design and performance evaluationsAlagoz, Baris Baykant; Tepljakov, Aleksei; Petlenkov, Eduard; Yeroglu, CelaleddinAlgorithms2020 / 26 p. : ill https://doi.org/10.3390/a13020038 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A NARX model reference adaptive control scheme: Improved disturbance rejection fractional-order PID control of an experimental magnetic levitation systemAlimohammadi, Hossein; Alagoz, Baris Baykant; Tepljakov, Aleksei; Vassiljeva, Kristina; Petlenkov, EduardAlgorithms2020 / p. 1-27 https://doi.org/10.3390/a13080201 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Negative terms in Euler diagrams : Peirce's solutionMoktefi, Amirouche; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings2016 / p. 286-288 : ill https://doi.org/10.1007/978-3-319-42333-3_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Nets with mana : a framework for chemical reaction modellingGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleGraph Transformation : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021 : proceedings2021 / p. 185−202 https://doi.org/10.1007/978-3-030-78946-6_10 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Network-on-Chip with equality-of-service : a local fair runtime arbitration method for global fair bandwidth shareSamman, Faizal; Hollstein, ThomasInternational journal of innovative computing, information and control2019 / p. 1821−1834 http://www.ijicic.net/servlet/Download?contentID=CONT34590d01977b424ea4f1cdfbb4c8c264 https://doi.org/10.24507/ijicic.15.05.1821 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A new approach of morphological analysis of arabic syntagmatic units based on a linguistic ontologyEl Abdi, Mariem; Ali, Boutheina Smine Ben; Ben Yahia, SadokComputational Collective Intelligence : 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28–30, 2022, Proceedings2022 / p. 364 - 377 https://doi.org/10.1007/978-3-031-16014-1_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A New approach to constructing digital dignature schemesBuldas, Ahto; Frisov, Denis; Laanoja, Risto; Lakk, Henri; Truu, AhtoAdvances in Information and Computer Security : 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019 : proceedings2019 / p. 363-373 https://doi.org/10.1007/978-3-030-26834-3_21 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

New efficient utility upper bounds for the fully adaptive model of attack treesBuldas, Ahto; Lenin, AleksandrDecision and game theory for security : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013 : proceedings2013 / p. 192-205 : ill https://doi.org/10.1007/978-3-319-02786-9_12 Computer Proceedings metrics at Scopus Article at Scopus

A new test suite reduction approach based on hypergraph minimal transversal miningTrabelsi, Shaima; Bennani, Mohamed Taha; Ben Yahia, SadokFuture Data and Security Engineering : 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27–29, 2019, Proceedings2019 / p. 15-30 https://doi.org/10.1007/978-3-030-35653-8_2 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

A novel efficient and lightweight authentication scheme for secure smart grid communication systemsHammami, Hamza; Ben Yahia, Sadok; Obaidat, Mohammad S.The Journal of Supercomputing2023 / p. 7360 - 7376 https://doi.org/10.1007/s11227-022-04944-z Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A novel imbalanced data classification approach for suicidal ideation detection on social mediaBen Hassine, Mohamed Ali; Abdellatif, Safa; Ben Yahia, SadokComputing2022 / p. 741-765 : ill https://doi.org/10.1007/s00607-021-00984-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Obfuscating the hierarchy of a digital IPBasiashvili, Giorgi; Abideen, Zain Ul; Pagliarini, Samuel NascimentoEmbedded Computer Systems : Architectures, Modeling, and Simulation :22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022 : proceedings2022 / p. 303-314 https://doi.org/10.1007/978-3-031-15074-6_28 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Object detection for rescue operations by high-altitude infrared thermal imaging collected by unmanned aerial vehiclesPolukhin, Andrii; Gordienko, Yuri; Jervan, Gert; Stirenko, SergiiPattern Recognition and Image Analysis : 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27–30, 2023 : proceedings2023 / p. 490-504 https://doi.org/10.1007/978-3-031-36616-1_39 Conference proceedings at Scopus Article at Scopus

An analysis of human perception of partitions of numerical factor domainsKaushik, Minakshi; Sharma, Rahul; Shahin, Mahtab; Arakkal Peious, Sijo; Draheim, DirkLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Vol. 13635 LNCS2022 / p. 137-144 https://doi.org/10.1007/978-3-031-21047-1_13 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

On hidden solitons in KdV related systemsSalupere, AndrusMathematics and computers in simulation2016 / p. 252-262 : ill https://doi.org/10.1016/j.matcom.2014.04.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

On observing patterns of correlations during drill-downArakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Shahin, Mahtab; Draheim, DirkInformation Integration and Web Intelligence, 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023, Proceedings2023 / p. 134-143 : ill https://doi.org/10.1007/978-3-031-48316-5_16 Conference proceedings at Scopus Article at Scopus

On stable cones of polynomials via reduced Routh parametersNurges, Ülo; Belikov, Juri; Artemtšuk, IgorKybernetika2016 / p. 461-477 https://doi.org/10.14736/kyb-2016-3-0461 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

On state-level architecture of digital government ecosystems : from ICT-driven to data-centricDraheim, Dirk; Krimmer, Robert Johannes; Tammet, TanelTransactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII2021 / p. 165–195 https://doi.org/10.1007/978-3-662-63519-3_8 Journal metrics at Scopus Article at Scopus

On the shoulders of giants : colourful argument trees for academic writingKruusmaa, Maarja; Moktefi, Amirouche; Tuhtan, Jeffrey AndrewDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 520-524 https://doi.org/10.1007/978-3-030-54249-8_48 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

The once-only principle : a matter of trustKrimmer, Robert Johannes; Prentza, Andriana; Mamrot, Szymon; Schmidt, CarstenThe once-only principle : The TOOP project2021 / p. 1-8 https://doi.org/10.1007/978-3-030-79851-2_1 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

An ontological approach to knowledge building by data integrationPileggi, Salvatore Flavio; Crain, Hayden; Ben Yahia, SadokComputational Science and Its Applications – ICCSA 2020 : 20th international conference, Amsterdam, The Netherlands, June 3–5, 2020, proceedings, part VII (2020)2020 / p. 479 - 493 https://doi.org/10.1007/978-3-030-50436-6_35 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at Scopus

An ontology engineering case study for advanced digital forensic analysisChikul, Pavel; Bahsi, Hayretdin; Maennel, Olaf ManuelModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 67–74 https://doi.org/10.1007/978-3-030-78428-7_6 Conference Proceedings at Scopus Article at Scopus

Open government data driven co-creation : moving towards citizen-government collaborationMcBride, Keegan David Braun; Toots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Government : 17th IFIP WG 8.5 International Conference : EGOV 2018, Krems, Austria, September 3–5, 2018 : proceedings2018 / p. 184-195 : ill https://doi.org/10.1007/978-3-319-98690-6_16 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

An overview of digital signing and the influencing factors in Estonian local governmentsFelt, Sigrid; Pappel, Ingmar; Pappel, IngridFuture Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings2016 / p. 371-384 : ill https://doi.org/10.1007/978-3-319-48057-2_26 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Partiality and container monadsUustalu, Tarmo; Veltri, NiccoloProgramming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings2017 / p. 406-425 : ill https://doi.org/10.1007/978-3-319-71237-6_20 Conference proceedings at Scopus Article at Scopus Article at WOS

Pavement defect segmentation in orthoframes with a pipeline of three convolutional neural networksLõuk, Roland; Riid, Andri; Pihlak, Rene; Tepljakov, AlekseiAlgorithms2020 / art. 198, 27 p. : ill https://doi.org/10.3390/a13080198 Journal metrics at scopus Article at Scopus Journal metrics at WOS Article at WOS

Peirce’s diagrammatic solutions to ‘Peirce’s Puzzle’Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 246–250 : ill https://doi.org/10.1007/978-3-030-86062-2_23 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Peirce's complex diagramsBhattacharjee, Reetu; Moktefi, AmiroucheDiagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : Proceedings2022 / p. 347-355 https://doi.org/10.1007/978-3-031-15146-0_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Peirce's inclusion diagrams, with application to syllogismsBhattacharjee, Reetu; Moktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 530-533 https://doi.org/10.1007/978-3-030-54249-8_50 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13 Conference proceedings at Scopus Article at Scopus Article at WOS

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Positive-energy D-bar method for acoustic tomography : a computational studyde Hoop, M. V.; Lassas, Matti; Santacesaria, M.; Siltanen, Samuli; Tamminen, Janne Pertti OlaviInverse problems2016 / art, 025003, p. 1-35 : ill https://doi.org/10.1088/0266-5611/32/2/025003 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Post-surjectivity and balancedness of cellular automata over groupsCapobianco, Silvio; Kari, Jarkko; Taati, SiamakDiscrete mathematics and theoretical computer science2017 / art. 3918, p. 1-16 : ill https://doi.org/10.23638/DMTCS-19-3-4 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Predicting psychiatric diseases using autoAI : a performance analysis based on health insurance billing dataBertl, Markus; Ross, Peeter; Draheim, DirkDatabase and Expert Systems Applications : 32nd International Conference, DEXA 2021, Virtual Event, September 27-30, 2021 : proceedings. Part I2021 / p. 104-111 https://doi.org/10.1007/978-3-030-86472-9_9 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

PrefaceAttiogbe, Christian; Ben Yahia, SadokModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. v-vi https://doi.org/10.1007/978-3-030-78428-7 Conference proceeding at Scopus Article at Scopus

PrefaceKrimmer, Robert; Volkamer, MelanieElectronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings2020 / p. v https://link.springer.com/content/pdf/bfm:978-3-030-60347-2/1?pdf=chapter%20toc Conference Proceedings metrics at Scopus Article at Scopus

PrefaceKrimmer, Robert; Prentza, Andriana; Mamrot, SzymonThe once-only principle : The TOOP project2021 / 1 p https://link.springer.com/book/10.1007/978-3-030-79851-2 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS

PrefaceKupferman, Orna; Sobocinski, Pawel MariaFoundations of Software Science and Computation Structures, 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings2023 / p. vii https://doi.org/10.1007/978-3-031-30829-1 Conference proceedings at Scopus Article at Scopus

PrefaceChapman, Peter; Stapleton, Gem; Moktefi, Amirouche; Chapman, Peter; Stapleton, Gem; Moktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018 Edinburgh, UK, June 18–22, 2018 Proceedings2018 / p. V - VI https://link.springer.com/content/pdf/bfm:978-3-319-91376-6/1?pdf=chapter%20toc Conference Proceedings at Scopus Article at Scopus

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Beckert, Bernhard; Küsters, Ralf; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings2019 / p. v https://link.springer.com/book/10.1007/978-3-030-30625-0 Conference Proceedings at Scopus Article at Scopus

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Goré, Rajeev; Hapsara, Manik; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings2018 / p. i-iv https://link.springer.com/book/10.1007/978-3-030-00419-4 Conference Proceedings at Scopus Article at Scopus

PrefacePietarinen, Ahti-Veikko; Chapman, Peter; Bosveld-de Smet, LeonieDiagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. v - vi https://doi.org/10.1007/978-3-030-54249-8 Conference proceedings at Scopus Article at Scopus

PrefaceFischer, Bernd; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 / p. V-VI https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf https://www.ester.ee/record=b5174218*est https://doi.org/10.1007/978-3-030-02508-3 Conference Proceedings at Scopus Article at Scopus

PrefaceKrimmer, Robert; Volkamer, Melanie; Barrat, Jordi; Benaloh, Josh; Goodman, Nicole; Teague, VanessaElectronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings2017 / 1 p https://link.springer.com/book/10.1007/978-3-319-52240-1 Conference proceedings at Scopus Article at Scopus

PrefaceIoannides, Marinos; Magnenat-Thalmann, Nadia; Fink, Eleanor; Žarnić, Roko; Yen, Alex-Yianing; Quak, EwaldDigital Heritage : Progress in Cultural Heritage: Documentation, Preservation,and Protection : 5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014, Proceedings2014 / p. V-VII https://doi.org/10.1007/978-3-319-13695-0 Conference proceedings at Scopus Article at Scopus

Preface of the special issue on advances in data-driven engineeringBen Yahia, Sadok; Attiogbé, ChristianInternational Journal of General Systems2023 / p. 203-205 https://doi.org/10.1080/03081079.2023.2204251 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

The present and future of large-scale systems modeling and engineeringDraheim, DirkFuture Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings2016 / p. 355-370 : ill https://doi.org/10.1007/978-3-319-48057-2_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Purely functional incremental computingFirsov, Denis; Jeltsch, WolfgangProgramming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings2016 / p. 62-77 : ill https://doi.org/10.1007/978-3-319-45279-1_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Quotients and atoms of reversible languagesTamm, HellisFormal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II2020 / p. 443-455 https://doi.org/10.1007/978-3-030-54997-8_28 Conference proceedings at Scopus Article at Scopus

Random forests hydrodynamic flow classification in a vertical slot fishway using a bioinspired artificial lateral line probeFukuda, Shinji; Tuhtan, Jeffrey Andrew; Fuentes-Pérez, Juan Francisco; Schletterer, Martin; Kruusmaa, MaarjaIntelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016 : proceedings. Part II2016 / P. 297-307 : ill https://doi.org/10.1007/978-3-319-43518-3_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Realization of nonlinear input-output equations in controller canonical formKaldmäe, Arvo; Kotta, ÜlleKybernetika2018 / p. 736-747 https://doi.org/10.14736/kyb-2018-4-0736 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Reconstruction of an order of derivative and a source term in a fractional diffusion equation from final measurementsJanno, Jaan; Kinash, NataliiaInverse problems2018 / art. 025007, 19 p. : ill https://doi.org/10.1088/1361-6420/aaa0f0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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

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

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

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

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

Runners for interleaving algebraic effectsVoorneveld, NielsTheoretical 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Special issue on concept lattices and their applications (CLA 2020)Valverde-Albacete, Francisco José; Trnecka, Martin; Ben Yahia, SadokInternational journal of approximate reasoning2024 / art. 109079, 3 p. https://doi.org/10.1016/j.ijar.2023.109079 Journal metrics at Scopus Article at Scopus

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

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

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

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

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

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

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

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

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

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 https://doi.org/10.1145/3638242 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Towards assisting interactive reality : interactive reality for education, data analysis and industryKöse, Ahmet; Tepljakov, Aleksei; Petlenkov, EduardAugmented Reality, Virtual Reality, and Computer Graphics : 5th International Conference : AVR 2018, Otranto, Italy, June 24–27, 2018 : proceedings, Part I2018 / p. 569-588 https://doi.org/10.1007/978-3-319-95282-6_41 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Towards establishing relationships between human arousal level and motion massNõmm, Sven; Kõnnusaar, Tiit; Toomela, AaroNeural Information Processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings. Part 12014 / p. 19-26 : ill https://doi.org/10.1007/978-3-319-12637-1_3 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Towards modeling of finger motions in virtual reality environmentNõmm, Sven; Toomela, Aaro; Kulikov, JaroslavAugmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017 : proceedings. Part I2017 / p. 106-115 : ill https://doi.org/10.1007/978-3-319-60922-5_8 Conference proceedings at Scopus Article at Scopus Article at WOS

Towards the notion of average trajectory of the repeating motion of human limbsNõmm, Sven; Toomela, Aaro; Gaichenja, IliaIntelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings. Part II2017 / p. 582-591 : ill https://doi.org/10.1007/978-3-319-54430-4_56 Conference proceedings at Scopus Article at Scopus Article at WOS

Towards unification of statistical reasoning, OLAP and association rule mining : semantics and pragmaticsSharma, Rahul; Kaushik, Minakshi; Arakkal Peious, Sijo; Shahin, Mahtab; Draheim, DirkDatabase Systems for Advanced Applications : 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022 : proceedings. Part I2022 / p. 596–603 https://doi.org/10.1007/978-3-031-00123-9_48 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Transnational digital identity as an instrument for Global Digital Citizenship : The case of Estonia’s e-ResidencyTammpuu, Piia; Masso, AnuInformation systems frontiers2019 / p. 621-634 : ill https://doi.org/10.1007/s10796-019-09908-y Professor Anu Masso: e-residentsus taastoodab digitaalset ebavõrdsust Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Tripped at the finishing line : the Åland Islands internet voting projectDuenas Cid, David; Krivonosova, Iuliia; Serrano-Iova, Radu-Antonio; Freire, Marlon; Krimmer, Robert JohannesElectronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020 : proceedings2020 / p. 36-49 : ill https://doi.org/10.1007/978-3-030-60347-2_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

"Trust me, you will need it" : cybersecurity as extracurricular subject at Estonian schoolsLorenz, Birgy; Kikkas, KaidoHCI for Cybersecurity, Privacy and Trust : Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : proceedings2020 / p. 175-188 https://doi.org/10.1007/978-3-030-50309-3_12 Conference proceedings at Scopus Article at Scopus

Two cognitive systems, two implications, and selection tasksBobrova, Angelina; Pietarinen, Ahti-VeikkoSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers2020 / p. 195 - 205 https://doi.org/10.1007/978-3-030-57506-9_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at Scopus Article at WOS

Two implications and dual-process theories of reasoningBobrova, Angelina; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 239-243 https://doi.org/10.1007/978-3-030-54249-8_19 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

A two-layer elastic strip under transverse impact loading : analytical solution, finite element, and finite volume simulationsAdámek, V.; Berezovski, Arkadi; Mračko, Michal; Kolman, RadekMathematics and computers in simulation2021 / p. 126-140 https://doi.org/10.1016/j.matcom.2020.10.007 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 Conference proceedings at Scopus Article at Scopus

Unsatisfiability of comparison-based non-malleability for commitmentsFirsov, Denis; Laur, Sven; Zhuchko, EkaterinaTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 188–194 https://doi.org/10.1007/978-3-031-17715-6_13 Conference Proceedings at Scopus Article at Scopus

User interactions in Virtual Data ExplorerKullman, Kaur; Engel, DonAugmented Cognition : 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022. Virtual Event, June 26 - July 1, 2022, proceedings2022 / p. 333-347 https://doi.org/10.1007/978-3-031-05457-0_26 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Using mandatory concepts for knowledge discovery and data structuringElloumi, Samir; Ben Yahia, Sadok; Al Ja’am, JihadDatabase and Expert Systems Applications : 30th International Conference, DEXA 2019, Linz, Austria, August 26–29, 2019, Proceedings, Part II2019 / p. 362 - 375 https://doi.org/10.1007/978-3-030-27618-8_27 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Using market basket analysis to find semantic duplicates in ontologyAstrova, Irina; Koschel, Arne; Lee, Su LingComputational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV2020 / p. 197-211 https://doi.org/10.1007/978-3-030-58811-3_14 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Using the Estonian electronic identity card for authentication to a machineMorgan, Danielle; Parsovs, ArnisSecure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings2017 / p. 175-191 : ill https://doi.org/10.1007/978-3-319-70290-2_11 Conference proceedings at Scopus Article at Scopus Article at WOS

The utilization of public-private partnership frameworks in the management of eID projectsMander, Stina; Lips, Silvia; Draheim, DirkElectronic Government and the Information Systems Perspective, 12th International Conference, EGOVIS 2023, Penang, Malaysia, August 28–30, 2023, Proceedings2023 / p. 17-32 https://doi.org/10.1007/978-3-031-39841-4_2 Conference proceedings at Scopus Article at Scopus

Variable self-efficacy as a measurement for behaviors in cyber security operationsLugo, Ricardo Gregorio; Knox, Benjamin James; Josok, Oyvind; Sütterlin, StefanAugmented Cognition. Human Cognition and Behavior : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : proceedings, Part II2020 / p. 395-404 https://doi.org/10.1007/978-3-030-50439-7_27 Conference proceedings at Scopus Article at Scopus

A variety theorem for relational universal algebraNester, Chad MitchellRelational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings2021 / p. 362–377 https://doi.org/10.1007/978-3-030-88701-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

Venn diagrams with “Most”: a natural logic approachLiu, Xinwen; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 264−268 : ill https://doi.org/10.1007/978-3-030-86062-2_27 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Verifiability experiences in government online voting systemsPuiggali, Jordi; Cucurull, Jordi; Guasch, Sandra; Krimmer, Robert JohannesElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 248-263 : ill https://doi.org/10.1007/978-3-319-68687-5_15 Conference proceedings at Scopus Article at Scopus Article at WOS

Versatile direct and transpose matrix multiplication with chained operations : an optimized architecture using circulant matricesIakymchuk, Taras; Rosado-Munoz, Alfredo; Mompean, Manuel Bataller; Villora, Jose Vicente Frances; Osimiry, Emmanuel OvieIEEE Transactions on Computers2016 / p. 3470 - 3479 https://doi.org/10.1109/TC.2016.2538235 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

What Are Rules for? A Carroll-Peirce ComparisonMoktefi, Amirouche; Bhattacharjee, ReetuDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 251–254 : ill https://doi.org/10.1007/978-3-030-86062-2_24 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Why not to trust big data : discussing statistical paradoxesSharma, Rahul; Kaushik, Minakshi; Arakkal Peious, Sijo; Shahin, Mahtab; Vidyarthi, Ankit; Tiwari, Prayag; Draheim, DirkDatabase Systems for Advanced Applications : DASFAA 2022, International Workshops BDMS, BDQM, GDMA, IWBT, MATQTDS, and PMBD, Virtual Event, April 11–14, 2022 : proceedings2022 / p. 50-63 : ill https://doi.org/10.1007/978-3-031-11217-1_4 Conference Proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Virtual reality meets intelligence in large scale architectureKöse, Ahmet; Petlenkov, Eduard; Tepljakov, Aleksei; Vassiljeva, KristinaAugmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017 : proceedings. Part II2017 / p. 297-309 : ill https://doi.org/10.1007/978-3-319-60928-7_26 Conference proceedings at Scopus Article at Scopus Article at WOS

Virtual reality visualization for photogrammetric 3d reconstructions of cultural heritageHerrmann, Heiko; Pastorelli, EmilianoAugmented and Virtual Reality First International Conference, AVR 2014, Lecce, Italy, September 17–20, 2014 : Revised Selected Papers2014 / p. 283-295 : ill https://doi.org/10.1007/978-3-319-13969-2_21 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

Voting in e-participation : a set of requirements to support accountability and trust by electoral committeesParycek, Peter; Sachs, Michael; Virkar, Shefali; Krimmer, Robert JohannesElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 42-56 https://doi.org/10.1007/978-3-319-68687-5_3 Conference proceedings at Scopus Article at Scopus Article at WOS

Vulnerability of state-provided electronic identification : the case of ROCA in EstoniaValtna-Dvorak, Astrid; Lips, Silvia; Tsap, Valentyna; Ottis, Rain; Priisalu, Jaan; Draheim, DirkElectronic Government and the Information Systems Perspective : 10th International Conference, EGOVIS 2021, Virtual Event, September 27–30, 2021 : proceedings2021 / p. 73–85 https://doi.org/10.1007/978-3-030-86611-2_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisDescriptional Complexity of Formal Systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings2022 / p. 184-196 : ill https://doi.org/10.1007/978-3-031-13257-5_14 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisTheoretical computer science2024 / art. 114581, 15 p. : ill https://doi.org/10.1016/j.tcs.2024.114581 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS