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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 G.; Knox, Benjamin J.; 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

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

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

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

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

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

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

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

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

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

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 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

An analysis of human perception of partitions of numerical factor domainsKaushik, Minakshi; Sharma, Rahul; Shahin, Mahtab; Peious, Sijo Arakkal; 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 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

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

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

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

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, 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

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

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

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

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

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

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

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

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 Journal metrics at Scopus Article at Scopus

Situational states influence on team workload demands in cyber defense exerciseAsk, Torvald F.; Sütterlin, Stefan; Knox, Benjamin J.; Lugo, Ricardo G.HCI 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

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

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

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

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

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 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 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

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 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

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; Duenas-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

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 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 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

Variable self-efficacy as a measurement for behaviors in cyber security operationsLugo, Ricardo Gregorio; Knox, Benjamin J.; 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

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

Why not to trust big data : discussing statistical paradoxesSharma, Rahul; Kaushik, Minakshi; Peious, Sijo Arakkal; 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

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