• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979619802&origin=inward&txGid=ac9399787ae9356d280d813630adb3f9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000005
• Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, DianaApplied Categorical Structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x https://www.scopus.com/sourceid/28049 https://www.scopus.com/record/display.uri?eid=2-s2.0-85206565383&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2Fs10485-024-09784-x%29&sessionSearchId=e1befdb1cf15a568da5cda41fe0f6fd4&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=APPL%20CATEGOR%20STRUCT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001333606900001
• 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 https://www.scopus.com/sourceid/15134 https://www.scopus.com/record/display.uri?eid=2-s2.0-84888642058&origin=inward&txGid=9af6f26cc062ebf2a8e8219ddaab4d2d https://www.webofscience.com/wos/woscc/full-record/WOS:000329003200022
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036466932&origin=inward&txGid=7e99f4cefb9af885dedf695d21872baf https://www.webofscience.com/wos/woscc/full-record/WOS:000440851600015
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85097654344&origin=inward&txGid=15f03951ce93b9fdadc37869d09e5de1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000916297300010
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979021721&origin=inward&txGid=23dee431fc6ea2369faa311b42e1f9e2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=All%20years https://www.webofscience.com/wos/woscc/full-record/WOS:000389798900007
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091333121&origin=inward&txGid=3cae110d80b24457caeea87d0278d6c5 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769447500012
• Analyzing meta-heuristic algorithms for task scheduling in a fog-based IoT applicationRahbari, DadmehrAlgorithms2022 / art. 397 https://doi.org/10.3390/a15110397 https://www.scopus.com/sourceid/21100199795 https://www.scopus.com/record/display.uri?eid=2-s2.0-85141637234&origin=inward&txGid=2c77109bb878fa19e5f2f5c0151ea9dd https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ALGORITHMS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000880695700001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111380154&origin=inward&txGid=85429f2ada2cc482f5b46120f2194c1e
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85025149036&origin=inward&txGid=07b6c88214d330c6d639ab561f7fb408 https://www.webofscience.com/wos/woscc/full-record/WOS:000431846800031
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85050480031&origin=inward&txGid=180a4e0d3d2e2565eae1bfe93814447d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000554414000035
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85116348422&origin=inward&txGid=c7f5a90fa446b22e30ee0a869a8c172e
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85103592033&origin=inward&txGid=93f01528c52516932e1e942556392e33 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000763018100017
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111374940&origin=inward&txGid=a8e8c27dc616676de1ff54b83a071155
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85072886866&origin=inward&txGid=42399245e1b8a5195eb8117db459d944 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000611600800039
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85145008127&origin=inward&txGid=14a032b58c2c1deef8c5a79c28482abe https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000927884900002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048604194&origin=inward&txGid=a18651fec69de46b852d4d1f11125c4b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000051
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85037831734&origin=inward&txGid=21f3b4622e1c36992c20babb046b0f93 https://www.webofscience.com/wos/woscc/full-record/WOS:000450903400006
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85202145689&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-68211-7_8%29&sessionSearchId=9d2463a4c393c098eafee8de7d14eac0&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:001308540600008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84910045330&origin=inward&txGid=3d1414578a64d0fd80bb52dd53b7eb53
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85200661139&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-66438-0_4%29&sessionSearchId=9d2463a4c393c098eafee8de7d14eac0&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:001313560900004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85096505129&origin=inward&txGid=67d4c4d35c74a530b16842815de197b9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000767967000008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090024440&origin=inward&txGid=c4a1c310ddc967bb1e2ef87178c16c2f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500049
• 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 https://www.scopus.com/sourceid/25509 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109004037&origin=inward&txGid=8982598f8a6bd1e70aeb24b273b85c90 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000721215200017
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85067345359&origin=inward&txGid=ae20133ec1697e54b4a86ac9a8fe0042 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000495359000003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84884494636&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39059-3_11%29&sessionSearchId=08e7c58f88aea92900d731f06ee215ed
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84990061196&origin=inward&txGid=8047028471b8db4c9da3fdba5decaef2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389230800008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85072882553&origin=inward&txGid=d76be2b9222c8effaccfd853e768b8b5 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000611600800038
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85097418727&origin=inward&txGid=649a91a1f1c7940efb472b193b338f3c
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85057389311&origin=inward&txGid=fd51dbfcc69a03bad0e943e6636039ca https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000509939800009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090036559&origin=inward&txGid=94da968ad253a40905c8a32ac4606210 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500018
• 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 https://www.scopus.com/sourceid/12419 https://www.scopus.com/record/display.uri?eid=2-s2.0-85089253635&origin=inward&txGid=d1307e58bb8eb8d5d2619496492ef98b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20SYST%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000557970100001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84909996429&origin=inward&txGid=169ee69b6719d63921e27252844094cf https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000345592800010
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978841990&origin=inward&txGid=f674887e9fdf8b8f163b56b1cd592818 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389807900021
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85097299136&origin=inward&txGid=34f639bb8dbd7024ff651d3fb65013dc
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85053200112&origin=inward&txGid=2b4a5dcc8b3e1ad05976978420baf8fd https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000552686200008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85119830813&origin=inward&txGid=3d230471a215d29c8d34aabc508a1816 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000763101000004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048604625&origin=inward&txGid=77683e4c4642428d0d5f697bc152a89a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000007
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85177214900&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-662-68191-6_6%29&sessionSearchId=6f0429515de55d50d863151c9bcc2fae
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85045305218&origin=inward&txGid=007628a170b6b4778af303c95e08ec54 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000518166700021
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84893051683&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-319-03545-1_7%29 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000440498800007
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85096516802&origin=inward&txGid=eb5abfda30f5caafd6077d8044e930a8
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908384283&origin=inward&txGid=d4363c11cd6b22935a6315e99ca27f32
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84961761094&origin=inward&txGid=42e9522f3c334dab6fc1a70b570a546e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000401936500006
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060190543&origin=inward&txGid=1fcc624b45f06172a481c80ebb9737d6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000452745300024
• Coends of higher arityLoregian, Fosco; de Oliveira Santos, TheoApplied categorical structures2022 / p. 173-221 https://doi.org/10.1007/s10485-021-09653-x https://www.scopus.com/sourceid/28049 https://www.scopus.com/record/display.uri?eid=2-s2.0-85113852400&origin=inward&txGid=4448a1469a67eb34bcd49813511856aa https://jcr.clarivate.com/jcr-jp/journal-profile?journal=APPL%20CATEGOR%20STRUCT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000691204400001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117482051&origin=inward&txGid=26701c4376c40303ee23cb27b193b556 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000876648000012
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85114396355&origin=inward&txGid=6bbcedf06f7ea01f97b557e59f46f476 https://www.webofscience.com/wos/woscc/full-record/WOS:000582228200013
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030861382&origin=inward&txGid=287f1a1488910cabfb21b8e4092601e7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000348927200025
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85195842543&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Competencies+required+for+the+offensive+cyber+operations+planners%22%29&sessionSearchId=ed618b134c0fb2d5f24ddd03004379ff&relpos=1 https://www.webofscience.com/wos/woscc/full-record/WOS:001285575300002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84886384579&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-40213-5_7%29 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000440497900007
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105887493&origin=inward&txGid=b766e0b39ee6feeb6dd1de80e9bf5505 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000722625800014
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090039526&origin=inward&txGid=6fc319eb47570a543b9192dc1b5057fb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500032
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051213608&origin=resultslist&sort=plf-f&src=s&sid=d3165076dbffd3ff5593f8cbf12a29a2&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-662-57932-9_4%29&sl=32&sessionSearchId=d3165076dbffd3ff5593f8cbf12a29a2&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000476995300005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84893363159&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-37919-2_9%29&sessionSearchId=842eff8fafa5da0f4673a77a0030efbc
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84893351469&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-42054-2_28%29
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85147333445&origin=inward&txGid=0a744f0eddab1995132050a08ff1c6c6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000924021300002
• 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 https://www.scopus.com/sourceid/28497 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140336659&origin=inward&txGid=1db320d279f69c1e28b66341176bdb05 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INVERSE%20PROBL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000869317000001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112266351&origin=inward&txGid=32325353469a1a301980b7dab39eecff https://www.webofscience.com/wos/woscc/full-record/WOS:000693448800029
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105276320&origin=inward&txGid=4bb9fffc1179ed99e1a594a36418aceb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000658731000009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032485332&origin=inward&txGid=ca4da2f481192215ed3d267fc8773376 https://www.webofscience.com/wos/woscc/full-record/WOS:000449994500008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084115850&origin=inward&txGid=10684cc6eb9c1ff0b78adf91ec1d0c3c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000719283800005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84880288390&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39212-2_28%29&sessionSearchId=842eff8fafa5da0f4673a77a0030efbc
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020429653&origin=inward&txGid=b9bd57654115e3fcec67073a7e49fd70 https://www.webofscience.com/wos/woscc/full-record/WOS:000454359300034
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85068620847&origin=inward&txGid=a7eba88fdd280a522aa81759ffe8d03b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711930200018
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84994528724&origin=inward&txGid=f3c8d7828fd57d3e5cfbe90f31e5330a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452458200006
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85057361477&origin=inward&txGid=d5b5bcb259ba4874d5ffaec97b6198be https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000509939800018
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112185561&origin=inward&txGid=92d2d0e25bf85740607912360917027b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000697279100021
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85078566523&origin=inward&txGid=8b5160ded0859b57c6ede3aa92211611 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000612998300013
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85053877008&origin=inward&txGid=07fddea3b512509b9363e01172a9a0d9 https://www.webofscience.com/wos/woscc/full-record/WOS:000611532300043
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115187097&origin=inward&txGid=c8a2885c98add7e42cffb3be4b4a85a1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/summary/faafdd9f-ffa9-4000-8f73-145ad81348aa-e15b373b/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092253668&origin=inward&txGid=382600e76767f399ed18faaddd19f025 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000722380600001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85031432824&origin=inward&txGid=326d24058c62d369f52d7a2fefa400ae https://www.webofscience.com/wos/woscc/full-record/WOS:000516829800003
• 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 https://www.scopus.com/sourceid/12000154489 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060435017&origin=inward&txGid=839df23b53e98076448c7da8fb797b9b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20INNOV%20COMPUT%20I&year=2022 https://www.webofscience.com/wos/woscc/summary/82b4278e-50d5-41df-ae43-6fa19fc290ea-c7a2c890/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84981516024&origin=inward&txGid=d6746342a1f9ed161068a438ac3a0a8c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769074300003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077119815&origin=inward&txGid=dca57dd1daff9fce38aae50b43edb8d3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769392400016
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077118298&origin=inward&txGid=6096e86b6778d34e7c7d02ce0d358dcc https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000776450900007
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85135778064&origin=inward&txGid=0f5ea199fc6b15bece1ea9804ec75a28 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/summary/d0dbd519-f790-4c75-9f1e-440eca742ac1-b973d860/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115252259&origin=inward&txGid=f1d39588c1c2204aa46e9b65baef5160 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000773913900009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85050499532&origin=inward&txGid=cf1a41623862c35876f7740659b97a45 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000554414000036
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85180555939&origin=inward&txGid=535241f85c8562fce432114fd33f810f
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84915820861&origin=inward&txGid=1dcdfb62ebe3d70eabd3a376299d4605 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000354874300035
• 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 https://www.scopus.com/sourceid/5100152904 https://www.scopus.com/record/display.uri?eid=2-s2.0-85069992310&origin=inward&txGid=0c792227a116c3f970d514fa86fdac12
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85121143505&origin=inward&txGid=b599e3fc3ba58faf2d4c54cee671344d
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978390183&origin=inward&txGid=2a6171454c1bafb68bdb41c08ff941bc https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000384382000018
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109811711&origin=inward&txGid=608dc479c1e6629f38465c055998f60a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000894547800005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85028470995&origin=inward&txGid=b0fa764a079562e4a97fd617740a7076 https://www.webofscience.com/wos/woscc/full-record/WOS:000431898800020
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85067702894&origin=inward&txGid=a2b61e312da8739de4a11bd2bea7f959 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000589290600046
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85135823367&origin=inward&txGid=f415d46c5a8bbc8af7ae041eca31f946 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000877013800016
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84981500086&origin=inward&txGid=bb51ec6d69bdce7cadc63d33d65d7b38 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769074300005
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101225913&origin=inward&txGid=7bb4aeed17a0b67933551cc07f692192 https://www.webofscience.com/wos/woscc/full-record/WOS:000582228200012
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85128736985&origin=inward&txGid=e4246a78a3a0b9d9dd5176b044044663 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000787774900032
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85132742589&origin=inward&txGid=ac79633a46b93b7b2567e75097802ead https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000871751200026
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84962339704&origin=inward&txGid=93705dc9e805a0d31ab488dfd81dcaec https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000515658100021
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84964893943&origin=inward&txGid=f4bebf5442eed92055639bb3079177b3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389727100003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84981554516&origin=inward&txGid=f8b54999119cd2adcecb40a8490aee86 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769074300001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048630030&origin=inward&txGid=ed7e6fe06fd94168aaf2ecd585ef8dea https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000034
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85072851151&origin=inward&txGid=9f5bfcba101e3b397894bcdb21b7979d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000611678800020
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076117494&origin=inward&txGid=900327107aca33b308c382edbd741c41 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000534259700001
• 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 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092132524&origin=inward&txGid=f766ba0a54d2540a1f711769fb2bd740 https://www.scopus.com/sourceid/25674 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000713804000010
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091486892&origin=inward&txGid=2e94def5d38f8bbd90a5cb9bdbb9f595 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000886528600004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172180000&origin=inward&txGid=31d6e32b60e1f59d88466742e450c75c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:001156975100012
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85204913636&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-71170-1_24%29&sessionSearchId=45c919fe8ff54496e2ffa842f2ed2798&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001329993800024
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021192493&origin=inward&txGid=b35bd3542a89d34ecbafd69b9a1e238b https://www.webofscience.com/wos/woscc/full-record/WOS:000440461200016
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85072859065&origin=inward&txGid=6f8997c8f520798b402d8c3e604f5516 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000611590600025
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979587679&origin=inward&txGid=fed35b25e4e30cc917dca2082677074d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389720300011
• 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 https://www.scopus.com/sourceid/28497 https://www.scopus.com/record/display.uri?eid=2-s2.0-84961924618&origin=inward&txGid=b6b3bb60f2495a935d259cf203240218 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INVERSE%20PROBL&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000372371800004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077112240&origin=inward&txGid=74315fbc22e4ecafb9979fa65db7f940 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769392400013
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85190517138&origin=inward&txGid=d37dc9a1c5aa19f558a625f60a5071da
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140428749&origin=inward&txGid=0712da53c080031f95e8629816495dd9 https://www.webofscience.com/wos/woscc/full-record/WOS:000866537100004 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84880729810&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39611-3_24%29&sessionSearchId=34385ac6d8e7d4f5a83143ddce81b33e
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091595918&origin=inward&txGid=fba8bfe6cc92cf937970ed1d0fc27606 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000722446400003
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146099127&origin=inward&txGid=e753cd9810cba002d855b9a491c660f7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001022300300001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85029458340&origin=inward&txGid=e6a9dab3fe6d0af6eea206f86460e240 https://www.webofscience.com/wos/woscc/full-record/WOS:000769669600022
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077042426&origin=inward&txGid=12c91289ecee38369a202bae5d1b7642 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000573279300014
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084921510&origin=inward&txGid=28d998b331ac952c26dfaee9ec75ec53
• 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 https://www.scopus.com/sourceid/23038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85079573543&origin=inward&txGid=4c2d05d315fdc31dcbaa5c0ed4585695 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20COMPUT%20SURV&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000582585800014
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85082436620&origin=resultslist&sort=plf-f&src=s&sid=0af0cfa339b6ddbe539a2cb0d98ebec0&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-030-03192-3_1%29&sl=108&sessionSearchId=0af0cfa339b6ddbe539a2cb0d98ebec0&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000521734200001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091514021&origin=inward&txGid=e15e0ec3b33ab243b46a649e346ade72 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000716713200001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85208605851&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-73741-1_13%29&sessionSearchId=9a261a124a4e95257082f88f23bb8eeb&relpos=0
• Generalization of the double-reversal method of finding a canonical residual finite state automatonTamm, HellisDescriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings2015 / p. 268 - 279 https://doi.org/10.1007/978-3-319-19225-3_23 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84949008979&origin=inward&txGid=d494d69cf7fafb5fa63fd0829d79998a
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85135778481&origin=inward&txGid=a5d208377be4a601dd1f683172171e86 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/summary/fb779a09-3f60-434f-9106-b8029727c7b2-b939b804/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077009626&origin=inward&txGid=04fabb89f3b1c42f599d321ee8380ad8 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000693450800032
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091524337&origin=inward&txGid=55a36caa612e234b3124e0d4bf475689 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000886528600003
• 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 https://www.scopus.com/sourceid/11400153333 https://www.scopus.com/record/display.uri?eid=2-s2.0-85017177298&origin=inward&txGid=476200af2e160e293e1f7e574b0a4f44 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20SIGNAL%20PROCESS%20SYS&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000399451800001
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021667822&origin=inward&txGid=d522754df60b9687387a7a2dd226b959 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000001
• 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 https://www.scopus.com/sourceid/12000154489 https://www.scopus.com/record/display.uri?eid=2-s2.0-84957052837&origin=inward&txGid=06bd5da572b307c2f5d17c0ad3e1564c
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090051228&origin=inward&txGid=9a025602ed5525160c35138c727814eb https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500046
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927614414&origin=inward&txGid=471be739e46f27856bce1949cd06219a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85011579165&origin=inward&txGid=cafcf3362926ffde219d8bc543d65ddd https://www.webofscience.com/wos/woscc/full-record/WOS:000413067500011
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032467272&origin=inward&txGid=9cdfd4b1cb2fa1175b73601532d7f912 https://www.webofscience.com/wos/woscc/full-record/WOS:000612986000017
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85178666935&origin=inward&txGid=c49fcc464c99e4c773aaee6a35f79f94
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054713399&origin=inward&txGid=f6c1a7889b36454d1c9967cce8989e3a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000477761600008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85119845944&origin=inward&txGid=2fd33497f6ec27d79d84f440c89f5a25 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000765928500002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978890819&origin=inward&txGid=763066351eb2ac1d2af6f8da05c228eb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389727000055
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090036661&origin=inward&txGid=f509470ee7c0276035971d0f8b56793d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500052
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122580898&origin=inward&txGid=15bb38d4ded468a239b7ede274bb5937
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85055853635&origin=inward&txGid=2d63f16c6ab637bb90480e53a6b6dcf1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000515675500015
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85034211753&origin=inward&txGid=1517116306474ed336532406336864c1 https://www.webofscience.com/wos/woscc/full-record/WOS:000454482600009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85171451444&origin=inward&txGid=0c1fbcad7d0ba20896f039ed46869d26
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84984923976&origin=inward&txGid=cb92e55d355c43f32f9722f4be7005a5 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000517791400012
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086075390&origin=inward&txGid=f52e7fbb23ffa296d6180f087a36dfe9
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117490055&origin=inward&txGid=592a7382ea7c024898d125f23107471f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000811817300041
• 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 https://www.scopus.com/sourceid/12166 https://www.scopus.com/record/display.uri?eid=2-s2.0-84897968407&origin=inward&txGid=994a0cb2a1d3846a09747c1646ae4203 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20COMPUT%20SIMULAT&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000376508600017
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84964849319&origin=inward&txGid=c444dc2e0cabf75795fab3d427e06a60
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84964827444&origin=inward&txGid=6eb252bb492d1b0308182f06d06e077e
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84901321006&origin=inward&txGid=951231dcb7d00664ecbbb155ca06630f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000342901400033
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115856325&origin=inward&txGid=4cd5c9a4e29bb99da01a21b494298ace https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600026
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139060226&origin=inward&txGid=24c496c699052bd7ba1da659cb61c9be https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000876799100029
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052848171&origin=inward&txGid=886585cd5d326d559b195549b96e00f3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000517826300005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036474258&origin=inward&txGid=b9f806091d42436d3b7c07f069d6f114 https://www.webofscience.com/wos/woscc/full-record/WOS:000440851600033
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84890876403&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-41488-6_21%29&sessionSearchId=86b2c16d10adf9cdbc5bfb3ccf13491d
• 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 https://www.scopus.com/sourceid/12981 https://www.scopus.com/record/display.uri?eid=2-s2.0-85121800355&origin=inward&txGid=cb3ab440ef5d9ba116bf74edcc8afa9c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=KYBERNETES&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000736238800001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115200754&origin=inward&txGid=e6f9e17f7db7e1001d12602dafba0164 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769397300009
• 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 https://www.scopus.com/sourceid/23038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85110396926&origin=inward&txGid=62079a7887135db46327466a076589f0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20COMPUT%20SURV&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000671787900019
• 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 https://www.scopus.com/sourceid/25623 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085303331&origin=inward&txGid=4acb99680b7f15efa3541074729a2659 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20SUPERCOMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000535637900001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84910020028&origin=inward&txGid=1918912b3b34b9af30a4dfc3bd729638 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000345594300009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052907490&origin=inward&txGid=91463f1c6400cb24b0d6efd2c973bb66 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000611681100003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978898089&origin=inward&txGid=25cad413a04f077fcfb2aff682a856c6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389805700043
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020675948&origin=inward&txGid=d78b0eb811279815c01eabf8d003f3be https://www.webofscience.com/wos/woscc/full-record/WOS:000433251700004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032685678&origin=inward&txGid=c0c4e1227619d7ab264eb75b545f9b65 https://www.webofscience.com/wos/woscc/full-record/WOS:000529303600015
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85013378430&origin=inward&txGid=c9b1cd3b5d0721e966934ff666e0f8a2 https://www.webofscience.com/wos/woscc/full-record/WOS:000418579700019
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090173383&origin=inward&txGid=558fe42f62e03f62bafe7ff934df2af3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000776470900004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048599193&origin=inward&txGid=cd3d6650a504c8f05533a3f1c23b51db https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000067
• 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 https://www.scopus.com/sourceid/12360 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115268638&origin=inward&txGid=d99d6ed3d60f732aed66ec8caaff6f90 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20GEN%20SYST&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000697643400001
• 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 https://www.scopus.com/sourceid/15572 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146229260&origin=resultslist&sort=plf-f&src=s&sid=a963c948ee64eba8a471c3519ffe7dfa&sot=b&sdt=b&s=DOI%2810.1007%2Fs10796-022-10363-5%29&sl=31&sessionSearchId=a963c948ee64eba8a471c3519ffe7dfa https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20SYST%20FRONT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000920095400001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84906987648&origin=inward&txGid=214a3584d9db73cb3bc77c83fbe8baff https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000347686400100
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036461982&origin=inward&txGid=606bbd41a3252c20d93fe400e9106a39 https://www.webofscience.com/wos/woscc/full-record/WOS:000440851600013
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172739781&origin=inward&txGid=69b31d5927977a48af9ad30e7401575f
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85088748602&origin=inward&txGid=0fce2187e805324c2d415919df620f69
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172995582&origin=inward&txGid=1226f06093a23b15d60055fdb1093210
• 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 https://www.scopus.com/sourceid/12360 https://www.scopus.com/record/display.uri?eid=2-s2.0-85148348067&origin=inward&txGid=e1bab40ef6f89d83a316a8aedf226b80 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20GEN%20SYST&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000935107300001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85161697779&origin=inward&txGid=67cc2bb61c98617b60c7bc3fe8b7311a
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927621403&origin=inward&txGid=a351868f770191ae145fa316e19b7e44 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000010
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174229571&origin=inward&txGid=6d89c61a12c25efc210fc1c1a18d8c5c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001083845100001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049364024&origin=inward&txGid=36985285084cf14eacd7b8f2db3d7c08 https://www.webofscience.com/wos/woscc/full-record/WOS:000553806300009
• 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 https://www.scopus.com/sourceid/21100199795 https://www.scopus.com/record/display.uri?eid=2-s2.0-85081136220&origin=inward&txGid=a23b397229b8b47d7502a2cfb1b8e2af https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ALGORITHMS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000519108500018
• 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 https://www.scopus.com/sourceid/21100199795 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090385875&origin=inward&txGid=a4dab6fe76c1d663e9eca30b87274896 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ALGORITHMS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000568149200001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979537084&origin=inward&txGid=ceaea5c1e4860a38dfd29cb8e51fa87c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389720300025
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111456907&origin=inward&txGid=6134b0d175be4b2d3c1ee798e5d8e020 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000884298900010
• 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 https://www.scopus.com/sourceid/12000154489 https://www.scopus.com/record/display.uri?eid=2-s2.0-85073377635&origin=inward&txGid=9ccc2f3204bb7794a92b2ad96ec66d1f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20INNOV%20COMPUT%20I&year=2022 https://www.webofscience.com/wos/woscc/summary/837ab6b6-afda-40f4-8ddc-c39973a7e789-c7a940a0/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140430933&origin=resultslist&sort=plf-f&src=s&sid=5f15bbef7f741d4142d17d6499245e05&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22a+new+approach+of+morphological%22%29&sl=66&sessionSearchId=5f15bbef7f741d4142d17d6499245e05&relpos=1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000871920200029
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85071436047&origin=inward&txGid=2ec636dcf95b354fa05a9bb20eda680d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000612998800021
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84893415855&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-319-02786-9_12%29&sessionSearchId=4e9f1108c3ce1a3973bd48ac5e4a956b
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077061917&origin=resultslist&sort=plf-f&src=s&sid=39b6ca8a5027ccf4b74f278513749b5b&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-030-35653-8_2%29&sl=32&sessionSearchId=39b6ca8a5027ccf4b74f278513749b5b&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000573279300002
• 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 https://www.scopus.com/sourceid/25623 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142677027&origin=inward&txGid=db5e39530b59fd3c8a5d1115ede9f315 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20SUPERCOMPUT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000889038600003
• 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 https://www.scopus.com/sourceid/24407 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112775022&origin=inward&txGid=caade031c7d417ca0f171aefd54b1164 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUTING&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000685594300001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85136925059&origin=inward&txGid=23ee61f4e0efc518acc13a0119588a60 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000874744300019
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85164920701&origin=inward&txGid=dea8fe2389e5b48c9919d3ca0c43bc56
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85145008815&origin=inward&txGid=b210ecec54c3987e704366d6bf170f3a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000927884900013
• 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 https://www.scopus.com/sourceid/12166 https://www.scopus.com/record/display.uri?eid=2-s2.0-84987623767&origin=inward&txGid=d13f6a2a729f0be90d14556b0841eace https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20COMPUT%20SIMULAT&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000376508600020
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85178660496&origin=inward&txGid=94cdcbda598f04c1bb7668ae39d910df
• 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 https://www.scopus.com/sourceid/24449 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979555751&origin=inward&txGid=0a0e18d97a3656a0e98b3b78d3815a1f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=KYBERNETIKA&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000380865100008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85106429684&origin=inward&txGid=62eb85848146dec0bddc8edad0e4cc2f
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090043792&origin=inward&txGid=13ccf4535431aa6115a53fbd5f1ac4b2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500048
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109822005&origin=inward&txGid=43c0b78e07c74b81a9a2f4f80a0a03fa https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000894547800003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85087283295&origin=resultslist&sort=plf-f&src=s&sid=9e77ba6850e985e2896c59f692cc6af5&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-030-50436-6_35%29&sl=243&sessionSearchId=9e77ba6850e985e2896c59f692cc6af5&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000841686400035
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111350619&origin=inward&txGid=380c3d4cd94eff5530d7704bb66d1831
• Ontology-based integration of software artefacts for DSL developmentHaav, Hele-Mai; Ojamaa, Andres; Grigorenko, Pavel; Kotkas, VahurOn the Move to Meaningful Internet Systems: OTM 2015 WorkshopsConfederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings2015 / p. 309 - 318 https://doi.org/10.1007/978-3-319-26138-6_34 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84951186292&origin=inward&txGid=d7957089fb9c21fbb7435d8066f35964 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000374099700034
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052875446&origin=inward&txGid=7d938aca4de717226bb306a0a5d7511a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000611681100016
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85104417236&origin=inward&txGid=06cb22366fc447c4b2b53c7efef0f855 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000653017200003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84995616130&origin=inward&txGid=59ce0f52c744831fe6b6658f878ae42a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000583654100026
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85035057965&origin=inward&txGid=2b325291710ec7ceabd7f528518c8538 https://www.webofscience.com/wos/woscc/full-record/WOS:000611567400020
• 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 https://www.scopus.com/sourceid/21100199795 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090390206&origin=inward&txGid=26edbca5668d23b701c1f11234fbac1d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ALGORITHMS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000567145900001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115877007&origin=inward&txGid=413d4b1dcd757c550874fe45cbaf13df https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600023
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139085726&origin=inward&txGid=d8e1a8717d8b04244ce255165abd854b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000876799100030
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090038666&origin=inward&txGid=ebe5a110fd1c2bfab181293cbda31630 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500050
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85009818542&origin=inward&txGid=41e571b3ee346514d35cb170cb79338d https://www.webofscience.com/wos/woscc/full-record/WOS:000405784700013
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85129234344&origin=inward&txGid=818c3937048fab32997e9a37dfae214c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000799966300001
• 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 https://www.scopus.com/sourceid/28497 https://www.scopus.com/record/display.uri?eid=2-s2.0-84962309734&origin=inward&txGid=a8a8d646232af97a6e3cbbb5101a4de0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INVERSE%20PROBL&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000372370900003
• 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 https://www.scopus.com/sourceid/78470 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032037915&origin=inward&txGid=b858e453b91a647ac0f07db9ef47d50c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=DISCRETE%20MATH%20THEOR&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000423286200005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115140877&origin=inward&txGid=cc5581aeed9ca607bd08224855394f9d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711959400009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111400953&origin=inward&txGid=fa03e3302acc03efe3a751adaaf42807
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092203756&origin=inward&txGid=2a92790e977fd5352ae388fa793e0baf
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109975251&origin=inward&txGid=f4314ce46a597022e2cd768e3b6023c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85161443627&origin=inward&txGid=cbec9eda69c0c5cb080ad70bc6bc1ff6
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048605627&origin=resultslist&sort=plf-f&src=s&sid=098b3735e1fe85b405987ae4bbf70693&sot=b&sdt=b&s=%28TITLE%28%22Preface%22%29+AND+AUTHOR-NAME%28%22Chapman%22%29%29&sl=27&sessionSearchId=098b3735e1fe85b405987ae4bbf70693&relpos=18
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076114403&origin=resultslist&sort=plf-f&src=s&sid=f104c0d05dfd11a90672ec8b1561114d&sot=b&sdt=b&s=%28AUTHOR-NAME%28%22Krimmer%22%29+AND+TITLE%28%22preface%22%29%29&sl=58&sessionSearchId=f104c0d05dfd11a90672ec8b1561114d&relpos=6
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054718929&origin=resultslist&sort=plf-f&src=s&sid=f104c0d05dfd11a90672ec8b1561114d&sot=b&sdt=b&s=%28AUTHOR-NAME%28%22Krimmer%22%29+AND+TITLE%28%22preface%22%29%29&sl=58&sessionSearchId=f104c0d05dfd11a90672ec8b1561114d&relpos=7
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090045206&origin=inward&txGid=281c3cfd474c4160119778d963dfcdb7
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85055428657&origin=inward&txGid=1772b379ca6ff8fc060161d53d916b17
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84911923683&origin=inward&txGid=a64597f0e4fec91932f61743ab33f076
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85011573807&origin=inward&txGid=6eb987e0b19d1cf4e8cc9eac988f9cb8
• 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 https://www.scopus.com/sourceid/12360 https://www.scopus.com/record/display.uri?eid=2-s2.0-85159699775&origin=inward&txGid=b8fe554d62aa609ca6b4bbbe79476e59 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20GEN%20SYST&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000982031100001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84995555931&origin=inward&txGid=9e2fd2f2d13fad6a083df302f9f72da5 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000583654100025
• 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 https://www.scopus.com/sourceid/25620 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052635835&origin=inward&txGid=88591c09dd53528010ccdabe71fa309b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000454114000001
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85181915516&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Protocol+choice+and+iteration+for+the+free+cornering%22%29&sessionSearchId=a1950993a8713b95c4defac4e2fbf8c1&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001154322400001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84989313938&origin=inward&txGid=d58e62a6d77b8cc4d66797f2e2971509 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000448734800005
• Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-85125740252&origin=inward&txGid=8f348c5516ec713375880cc196a8c98a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000830247200004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85089715772&origin=inward&txGid=fec30d6a2b0cd2efd40d2a110267e002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84981193909&origin=inward&txGid=fedd8b234e418978914f568ff74c2f68 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389020700029
• 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 https://www.scopus.com/sourceid/24449 https://www.scopus.com/record/display.uri?eid=2-s2.0-85056195246&origin=inward&txGid=e5b53766de17abc339269f2690ebb23d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=KYBERNETIKA&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000449579800006
• 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 https://www.scopus.com/sourceid/28497 https://www.scopus.com/record/display.uri?eid=2-s2.0-85040984944&origin=inward&txGid=c6f7549ce97124000d182b284b279433 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INVERSE%20PROBL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000423061600002
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85189029411&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Regular+planar+monoidal+languages%22%29&sessionSearchId=a8f0a943e59e9ac836047baed6d1091c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001219761900001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115852693&origin=inward&txGid=8917cb489f7957f60b5298beeb9d0059 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600021
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115835689&origin=inward&txGid=22da74c148bdfaa19af4dd5b300e41cd https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600014
• 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 https://www.scopus.com/sourceid/27871 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076884356&origin=inward&txGid=652a6857356959b68fa1defa922f366d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=CONCURR%20COMP-PRACT%20E&year=2022 https://www.webofscience.com/wos/woscc/summary/abff2862-4db6-41a6-99a2-930292bdae2e-c24eaa9f/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137991159&origin=inward&txGid=ff399bb1b97e8a9f37753bd9a906bb5d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/summary/9a4a4ae3-b0d8-4c00-b087-f292aeaabdb9-b9496d38/relevance/1
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85088393358&origin=inward&txGid=5f0349421d4429f6aefba60a4d8d148e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000562627000002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140722139&origin=inward&txGid=96cc2f1b9302cb61a501c22dde4551f9
• 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 https://www.scopus.com/sourceid/25033 https://www.scopus.com/record/display.uri?eid=2-s2.0-85201752061&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22SCARF%3A+Securing+Chips+With+a+Robust+Framework+Against+Fabrication-Time+Hardware+Trojans%22%29&sessionSearchId=7f45e0ec132af76c064c755f1de85733&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20COMPUT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001351576000009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84884481046&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-39059-3_16%29&sessionSearchId=2806594f1e8987ebcedf3818d2d566a2
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84995543015&origin=inward&txGid=f3f2bf5968c6599904f8f7a98d1ecc15 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000583654100008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85079095032&origin=inward&txGid=e276e237892e0845fecc2ae0caec7283 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000655605200029
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137992106&origin=inward&txGid=e6141c12652e992de92db12610b84ae7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000886159100025
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142759430&origin=resultslist&sort=plf-f&src=s&sid=d9d37ad6b8048f0f9ccde42ffcc3a0a0&sot=b&sdt=b&s=AUTHOR-NAME%28%22Kuzmanovski%2C+Vladimir%22%29&sl=110&sessionSearchId=d9d37ad6b8048f0f9ccde42ffcc3a0a0&relpos=1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000897761100030
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85082305123&origin=inward&txGid=33ed2ec0541971b2160735ea956e932d https://www.webofscience.com/wos/woscc/full-record/WOS:000611576500030
• 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 https://www.scopus.com/sourceid/23038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174729872&origin=resultslist&sort=plf-f&src=s&sid=a632a295b835d6d10b288d172b5e8d5c&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Sentiment+Analysis+for+Hotel+Reviews%3A+A+Systematic+Literature+Review%22%29&sl=85&sessionSearchId=a632a295b835d6d10b288d172b5e8d5c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20COMPUT%20SURV&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001085637600026
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85058062732&origin=inward&txGid=a098673aae50e82c85aea4122a0b82ac https://www.webofscience.com/wos/woscc/full-record/WOS:000452898800017
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85034265905&origin=inward&txGid=a33d8841dc8635fe5f6e4bf0825e4dcc https://www.webofscience.com/wos/woscc/full-record/WOS:000454482600002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85152531757&origin=inward&txGid=18ae1d2e32189ee9a34198ae6350b534
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85029498282&origin=inward&txGid=d69d7ed72554a38c63c3be456b8a8b08 https://www.webofscience.com/wos/woscc/full-record/WOS:000540645800019
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84964848919&origin=inward&txGid=2f5aad2a960a4a1fc3d494cc3db8e24b
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85028456863&origin=inward&txGid=26ff8d3cf1c1d7b434005f2530c84db0 https://www.webofscience.com/wos/woscc/full-record/WOS:000455355700003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85119873108&origin=inward&txGid=3b556645514ef2c78a66b5799d8dadbd https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000765928500001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85196140916&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Small+languages+and+big+models%3A+using+ML+to+generate+Norwegian+language+social+media+content+for+training+purposes%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=2 https://www.webofscience.com/wos/woscc/full-record/WOS:001281297200008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84995899621&origin=inward&txGid=6aa3a8818d80ebc4b7ddb4f0f0f17562 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389939300029
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85072867181&origin=inward&txGid=3b61e6316730ae8db5ae28ba87a1ce4d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000611590600024
• 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 https://www.scopus.com/sourceid/24286 https://www.scopus.com/record/display.uri?eid=2-s2.0-85183761946&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Special+Issue+on+Concept+Lattices+and+their+Applications+%28CLA+2020%29%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=0
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169055503&origin=inward&txGid=d01bf8688497e36023144cc6082c2fda
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85050483501&origin=inward&txGid=b02c58d535d0cef55da41247d5ec7429 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000554414000038
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140468970&origin=inward&txGid=8adb6c04961f5456aaa5df2ad7e557d0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000866537100008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111367635&origin=inward&txGid=7788e2e254f67be797a6f3e57972b869
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84984918777&origin=inward&txGid=ed60da5d502441c1dd6a37ce04fc5bf2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389034100005
• 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 https://www.scopus.com/sourceid/78470 https://www.scopus.com/record/display.uri?eid=2-s2.0-84887845542&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=cl&s=SRCTITLE%28%22Discrete+Mathematics+and+Theoretical+Computer+Science%22%29&sessionSearchId=2806594f1e8987ebcedf3818d2d566a2&relpos=3
• 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 https://www.scopus.com/sourceid/23038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174677921&origin=resultslist&sort=plf-f&src=s&sid=5017a1c9d633ac6f0480b4ae72b5920a&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Survey+on+Architectural+Attacks%3A+A+Unified+Classification+and+Attack+Model%22%29&sl=91&sessionSearchId=5017a1c9d633ac6f0480b4ae72b5920a&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20COMPUT%20SURV&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001085637600017
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85144302200&origin=resultslist&sort=plf-f&src=s&sid=2f6521f66136a16cc4250bbbe569d174&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-22476-8_5%29&sl=23&sessionSearchId=2f6521f66136a16cc4250bbbe569d174 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000922881500005
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85037850450&origin=inward&txGid=1cb00934c8a0cdb04f2f8c5c7760ec44 https://www.webofscience.com/wos/woscc/full-record/WOS:000450903400002
• 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 https://www.scopus.com/sourceid/23038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85188964919&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1145%2F3638242%29&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20COMPUT%20SURV&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001208566200007
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048639723&origin=inward&txGid=a8995e2d2997b408f91a151916b73bbd https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85033799264&origin=inward&txGid=ca183fcbaadf363ea58bc36e56f47b3e https://www.webofscience.com/wos/woscc/full-record/WOS:000456821700002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036476864&origin=inward&txGid=7cb4c6d1c44593dc40fd87dded0a3f3a https://www.webofscience.com/wos/woscc/full-record/WOS:000440851600034
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109868228&origin=inward&txGid=55fe1e62548dab29a2dea331336ab2b6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000894547800014
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85028461970&origin=inward&txGid=72cf998f075539b03d23fcef43790f92 https://www.webofscience.com/wos/woscc/full-record/WOS:000431898800017
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109977228&origin=inward&txGid=1443347572a4d79cb5ea10d86235e123 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000894547800010
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85041831906&origin=inward&txGid=ef5444c0489d38aa170b12da3394860c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000542576400030
• Theory of átomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill https://doi.org/10.1016/j.tcs.2014.04.016 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-84926689142&origin=inward&txGid=bf428d200d54b0c2ba0cb204a9b3c395 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000338598500002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85138760578&origin=resultslist&sort=plf-f&src=s&sid=5f15bbef7f741d4142d17d6499245e05&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22architecture+search+for+accurate+and+light-weight%22%29&sl=66&sessionSearchId=5f15bbef7f741d4142d17d6499245e05&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000866210600034
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101631804&origin=inward&txGid=67cf5a96ab1788d427080e674c68379c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000605983500019
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85116668348&origin=inward&txGid=a9525af18154a8e98eb997490175d36a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711945700007
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030183638&origin=inward&txGid=be09d358e2a39dd209483ee9cb7a5475 https://www.webofscience.com/wos/woscc/full-record/WOS:000463611400026
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109896344&origin=inward&txGid=867c458ec87332c7317bf335bf26250c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000894547800009
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111353506&origin=inward&txGid=c510236f400ca0a56fd5169d46ed7aff
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84981240719&origin=inward&txGid=ffc7c325039b4b9c23f6ed27b6d0960a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389086200011
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85070752872&origin=inward&txGid=aefb713bccc434b6aed12ea0cab6cb8c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000612920100018
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85050270608&origin=inward&txGid=e2d541d99a096dc2a026db4b1841f0d3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000468540200041
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84921491663&origin=inward&txGid=124ff31acaca50e294cfdae4febb97ba https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000432659500003
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021196538&origin=inward&txGid=68fbddab3f610373d5f500cabd4dd809 https://www.webofscience.com/wos/woscc/full-record/WOS:000440461200008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85018490603&origin=inward&txGid=c29891d8f9b6632f7e60862508d409bf https://www.webofscience.com/wos/woscc/full-record/WOS:000401653300056
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85129906387&origin=inward&txGid=36195c4d0cfdc4206889d04738052798 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000873153800048
• 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 https://novaator.err.ee/931074/professor-anu-masso-e-residentsus-taastoodab-digitaalset-ebavordsust https://www.scopus.com/sourceid/15572 https://www.scopus.com/record/display.uri?eid=2-s2.0-85064481650&origin=inward&txGid=1de5e041a64a285ce00ec72dc72c9c5f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20SYST%20FRONT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000472559300008
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092167855&origin=inward&txGid=7096b82cc98460255ebdd8086b542b16 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000713804000003
• "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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85088749122&origin=inward&txGid=3d91115284d90e43c0452511484408cb
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091556631&origin=resultslist&sort=plf-f&src=s&sid=182e267e9539a7f7eabf6df38f03f8ef&sot=b&sdt=cl&s=TITLE-ABS-KEY%28%22two+cognitive+systems%22%29&sl=38&sessionSearchId=182e267e9539a7f7eabf6df38f03f8ef&relpos=3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000722454600015
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090045005&origin=inward&txGid=393f2a917a23bc6ab237a63a419d2fd6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500019
• 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 https://www.scopus.com/sourceid/12166 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092910911&origin=inward&txGid=d1a7d588c3e529ce848fda5729d72fad https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20COMPUT%20SIMULAT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000683684700012
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140780525&origin=inward&txGid=eaace2b9291a459cc8c277324c839832
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140722547&origin=inward&txGid=05b6e2e26bd65d04491c735abb6afa75
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85133274063&origin=inward&txGid=496db21684e55a639026b4160b2d0b20 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/summary/1faa047e-5fef-45d1-807e-dc908c7afc5f-b943b2d0/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077114613&origin=inward&txGid=3a92e67681e1ab0f7cc87a3897d00469 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000560818200027
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092214774&origin=inward&txGid=31f0e76274a3b5e1d80783fa19aa54c3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000722380600014
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85034212970&origin=inward&txGid=6cbe147e98410c2b2d1f453fe4b7019d https://www.webofscience.com/wos/woscc/full-record/WOS:000454482600012
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172086253&origin=inward&txGid=1225f3c59f2f320d04a81b86ded05954
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85088754277&origin=inward&txGid=d1b2847ac39b537babb0866f24e6b8a6
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85118955509&origin=inward&txGid=bb9a4e7327a3831f754e7b7a70b40914 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000719390400022
• 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 https://www.scopus.com/sourceid/25674 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000050
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115827061&origin=inward&txGid=8349411570837e4663371786cb68911c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600027
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032461936&origin=inward&txGid=b5f5530a3dc2c9970fc7c2ba91e99968 https://www.webofscience.com/wos/woscc/full-record/WOS:000612986000015
• 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 https://www.scopus.com/sourceid/25033 https://www.scopus.com/record/display.uri?eid=2-s2.0-84994731604&origin=resultslist&sort=plf-f&src=s&sid=1ddaccc75e260944caf9758990c44eec&sot=b&sdt=b&s=DOI%2810.1109%2FTC.2016.2538235%29&sl=28&sessionSearchId=1ddaccc75e260944caf9758990c44eec&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20COMPUT&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388498000019
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115867933&origin=inward&txGid=11b556d879051e5c9073c38eaef7c122 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600024
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908291183&origin=inward&txGid=3a9bf44be0ff74f7f537c2f41be9a2a6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000347714800024
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85135092196&origin=inward&txGid=6341e96b782f7ed627f86f89d1961a49 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000878075300004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021230244&origin=inward&txGid=256151fb2919ff2201bdb23d19f138f3 https://www.webofscience.com/wos/woscc/full-record/WOS:000440463000026
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84918537781&origin=inward&txGid=a36e8525f9c397a077993318544bcea3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000354698400021
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032507874&origin=inward&txGid=42bb84e20f89c701f127984e221cc029 https://www.webofscience.com/wos/woscc/summary/db4bb53a-3bde-4387-a0ca-a4c8d0f92330-01190b36f4/relevance/1
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115277541&origin=inward&txGid=4254a34109125860fe1083b5921843f3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000769397300006
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137043087&origin=inward&txGid=577efbc4afe5a385a7393f1f49c090a0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000877345300016
• Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisTheoretical computer science2024 / art. 114581, 15 p. : ill https://doi.org/10.1016/j.tcs.2024.114581 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-85190994305&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Yet+another+canonical+nondeterministic+automaton%22%29&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001233630800001