• 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
• Achieving of Magnus effect with Agros SuiteLukin, Aleksandr; Demidova, Galina; Rassõlkin, AntonPeriodica polytechnica electrical engineering and computer science2021 / p. 131-137 : ill https://doi.org/10.3311/PPee.17743 https://www.scopus.com/sourceid/21100820619 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105844580&origin=inward&txGid=b9f3f30af8a12e68658c7351c6e8cbf5
• AdAM: adaptive fault-tolerant approximate multiplier for edge DNN acceleratorsTaheri, Mahdi; Cherezova, Natalia; Nazari, Samira; Rafiq, Ahsan; Azarpeyvand, Ali; Ghasempouri, Tara; Daneshtalab, Masoud; Raik, Jaan; Jenihhin, Maksim2024 IEEE European Test Symposium (ETS): ETS 2024 : May 20-24, 2024, The Hague, Netherlands : proceedings2024 https://doi.org/10.1109/ETS61313.2024.10567161 https://www.scopus.com/sourceid/21100395950 https://www.scopus.com/record/display.uri?eid=2-s2.0-85197518684&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FETS61313.2024.10567161%29&sessionSearchId=2694adcfded71cf12565f4df31de58f5&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001260970400008
• 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
• Addressing scalability issues in semantics-driven recommender systemsBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoWI-IAT '21: IEEE/WIC/ACM International Conference on Web Intelligence2021 / p. 56-63 https://doi.org/10.1145/3486622.3493963 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85128629136&origin=inward&txGid=5d471340fe67ea410071554b7608b6db https://www.webofscience.com/wos/woscc/full-record/WOS:000943059300007
• Administrative burden reduction over time : literature review, trends and gap analysisMeyerhoff Nielsen, Morten; Goncalves Veiga, Linda; Carvalho, Nuno Ramos; Barbosa, Luis SoaresICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 140-148 https://doi.org/10.1145/3047273.3047334 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020944841&origin=inward&txGid=1d3067483b28a1b4a0b8d390b76da948
• Analysis of keyword spotting performance across IARPA Babel languagesHartmann, William; Karakos, Damianos; Hsiao, Roger; Zhang, Le; Alumäe, Tanel; Tsakalidis, Stavros; Schwartz, Richard2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 5765-5769 : ill https://doi.org/10.1109/ICASSP.2017.7953261 https://www.scopus.com/sourceid/110544 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023779837&origin=inward&txGid=2cfc6ffbd2a74b743f6c4cf53aaa7036 https://www.webofscience.com/wos/woscc/full-record/WOS:000414286205185
• Anomaly detection, classification and identification Tool (ADCIT)Asefi, Sajjad; Mitrovic, Mile; Cetenovic, Dragan; Levi, Victor; Gryazina, Elena; Terzija, VladimirSoftware impacts2023 / art. 100465, 3 p. : ill https://doi.org/10.1016/j.simpa.2023.100465 https://www.scopus.com/sourceid/21101060167 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146465184&origin=inward&txGid=5908f0d63e4f9fecfa4b60261c758d2a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTW%20IMPACTS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000923802500001
• Anti-money laundering powered by graph machine learning: 'Show me your friends and I will tell you who you are'Astrova, IrinaIntelligent decision technologies2023 / p. 243-261 https://doi.org/10.3233/IDT-220193 https://www.scopus.com/sourceid/21100211724 https://www.scopus.com/record/display.uri?eid=2-s2.0-85161492924&origin=inward&txGid=f10449890fe310bef935fccaae27f3b9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INTELL%20DECIS%20TECHNOL&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001036770200016
• Application of genetic algorithms to neural networks based control of a liquid level tank systemVassiljeva, Kristina; Belikov, Juri; Petlenkov, Eduard2014 International Joint Conference on Neural Networks (IJCNN) : July 6-11, 2014, Beijing, China2014 / p. 2525-2530 : ill https://doi.org/10.1109/IJCNN.2014.6889912 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908494953&origin=inward&txGid=d543e9476de0b5503adaa7d3d00e4f1b https://www.webofscience.com/wos/woscc/full-record/WOS:000371465702087
• Audiovisual emotion recognition in wildAvots, Egils; Sapinski, Tomasz; Bachmann, Maie; Kaminska, DorotaMachine Vision and Applications2019 / p. 975–985 : ill https://doi.org/10.1007/s00138-018-0960-9 https://www.scopus.com/sourceid/12984 https://www.scopus.com/record/display.uri?eid=2-s2.0-85050291938&origin=inward&txGid=d3717185f028c7fd1e150d72924c9849 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MACH%20VISION%20APPL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000474721100013
• Augmented reality based on Apollo lunar imagery : searching for stars and adding virtual objectsPustõnski, Vladislav-VenjaminPresence : virtual and augmented reality2022 / p. 203-227 https://doi.org/10.1162/pres_a_00393 https://www.scopus.com/sourceid/25644 https://www.scopus.com/record/display.uri?eid=2-s2.0-85177573004&origin=inward&txGid=2edf42abadd8029a4ea793aa61a581de https://jcr.clarivate.com/jcr-jp/journal-profile?journal=PRESENCE-VIRTUAL%20AUG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:001091855400002
• Automated design error debug using high-level decision diagrams and mutation operatorsRaik, Jaan; Repinski, Urmas; Tšepurov, Anton; Hantson, Hanno; Ubar, Raimund-Johannes; Jenihhin, MaksimMicroprocessors and microsystems2013 / p. 505-513 : ill https://doi.org/10.1016/j.micpro.2012.11.004 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-84878621727&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1016%2Fj.micpro.2012.11.004%29&sessionSearchId=81bea3cc7c86d66922f228affe5df51e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000324667900012
• Automated design error localization in RTL designsJenihhin, Maksim; Tšepurov, Anton; Tihhomirov, Valentin; Raik, Jaan; Hantson, Hanno; Ubar, Raimund-Johannes; Bartsch, Günter; Meza Escobar, Jorge Hernan; Wuttke, Heinz-DietrichIEEE design & test of computers2014 / p. 83-92 : ill https://doi.org/10.1109/MDAT.2013.2271420 https://www.scopus.com/sourceid/21100286806 https://www.scopus.com/record/display.uri?eid=2-s2.0-84896770007&origin=inward&txGid=5ed5ca61bc3f8b371a8f5eda07d0a6c0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20DES%20TEST&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000332030500010
• An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146842129&origin=inward&txGid=c7a7060dbe54a8d7b2981d8e5878877f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000926500700001
• Automatic calibration toolbox for SWMM5Vassiljev, Anatoli; Suits, Kristjan; Kaur, Katrin; Kändler, Nils; Truu, Murel; Annus, IvarAdvances in engineering software2023 / art. 103528 https://doi.org/10.1016/j.advengsoft.2023.103528 https://www.scopus.com/sourceid/18089 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169786418&origin=inward&txGid=b2a6bbdeadb106c3476dc00bcd806b8a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ADV%20ENG%20SOFTW&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001082404600001
• Backstepping-based output feedback boundary control for coupled fractional reaction-diffusion systemsZhuang, Bo; Cui, Bao-Tong; Lou, Xu-Yang; Chen, JuanZidonghua Xuebao/Acta Automatica Sinica2022 / p. 2729 - 2743 https://doi.org/10.16383/j.aas.c190389 https://www.scopus.com/sourceid/25566 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174396405&origin=resultslist&sort=plf-f&src=s&sid=57e5eeff5e1b1b7846c309a1db042f29&sot=b&sdt=b&s=DOI%2810.16383%2Fj.aas.c190389%29&sl=27&sessionSearchId=57e5eeff5e1b1b7846c309a1db042f29&relpos=0
• Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182311545&origin=inward&txGid=42ccf2a4fc7032e17d3e0dca7aaadae8 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900002
• Big data analytics in association rule mining : a systematic literature reviewShahin, Mahtab; Arakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Ben Yahia, Sadok; Shah, Syed Attique; Draheim, DirkBDET 2021: 2021 the 3rd International Conference on Big Data Engineering and Technology (BDET) : proceedings2021 / p. 40-49 https://doi.org/10.1145/3474944.3474951 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85118187459&origin=inward&txGid=03bbb89897498d74fe2838293db23239
• Boolean automata and atoms of regular languagesTamm, Hellis46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings2021 / art. 86, p. 86:1–86:13 https://doi.org/10.4230/LIPIcs.MFCS.2021.86 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115397554&origin=inward&txGid=18d7867a99cf324a18f21496268985f3
• Bringing innovation towards efficient policy-making in ICT-enabled service provision for senior citizensLiutkevicius, Merilin; Gelashvili, Teona; Pappel, IngridProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece2022 / p. 97-103 https://doi.org/10.1145/3494193.3494207 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85123021481&origin=inward&txGid=b8fbd8e9d6170aa31c241f6d4569f070 https://www.webofscience.com/wos/woscc/full-record/WOS:000933151800013
• Building global societies on collective intelligence : challenges and opportunitiesSuran, Shweta; Pattanaik, Vishwajeet; Kurvers, Ralf; Hallin, Carina Antonia; De Liddo, Anna; Krimmer, Robert Johannes; Draheim, DirkDigital government : research and practice2022 / art. 31, p. 1-6 https://doi.org/10.1145/3568169 https://www.scopus.com/sourceid/21101082067 https://www.scopus.com/record/display.uri?eid=2-s2.0-85148960198&origin=inward&txGid=2a2eca9f704037e94db66a1fdc826e79
• A cache-based approach toward improved scheduling in fog computingKhan, Osama Amir; Malik, Saif Ur Rehman; Baig, Faizan M.; Islam, Saif Ul; Pervaiz, Haris; Malik, Hassan; Ahmed, Syed HassanSoftware - Practice and Experience2021 / p. 2360 - 2372 https://doi.org/10.1002/spe.2824 https://www.scopus.com/sourceid/20007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85083114740&origin=resultslist&sort=plf-f&src=s&sid=3940fe7d4264e21b01ab2f17ede9f838&sot=b&sdt=b&s=DOI%2810.1002%2Fspe.2824%29&sl=21&sessionSearchId=3940fe7d4264e21b01ab2f17ede9f838&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTWARE%20PRACT%20EXPER&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000526011100001
• Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDsJürimägi, Lembit; Ubar, Raimund-Johannes; Jenihhin, Maksim; Raik, JaanMicroprocessors and microsystems2020 / art. 103117, 12 p https://doi.org/10.1016/j.micpro.2020.103117 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086377299&origin=inward&txGid=f742e708555546cb12b9117a6e274d64 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000571530400009
• Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169447112&origin=inward&txGid=3ecb5e512777db888a98590256078a98 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000001
• A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142921468&origin=inward&txGid=e70c761326d96e00dcec3368204dfe1c https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300006
• Categorical semantics for functional reactive programming with temporal recursion and corecursionJeltsch, WolfgangProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 127-142 : ill https://doi.org/10.4204/EPTCS.153.9 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84938791864&origin=inward&txGid=a2de1b46b65098688b0d7bd8402def84
• A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122281759&origin=inward&txGid=4aaee365666d43889f6ac03d5d51be52 https://www.webofscience.com/wos/woscc/full-record/WOS:001044793900004
• Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 https://www.scopus.com/sourceid/300147006 https://www.scopus.com/record/display.uri?eid=2-s2.0-85067808291&origin=inward&txGid=d669738c0007c9065fbd329ad93c7251 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INNOV%20SYST%20SOFTW%20ENG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000482389700006
• Citizen-oriented digital transformation in the public sectorMergel, Ines; Kattel, Rainer; Lember, Veiko; McBride, Keegan David Braundg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / art. 122, 3 p https://doi.org/10.1145/3209281.3209294 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049036134&origin=inward&txGid=3985c362d6987dc726bccba010701975 https://www.webofscience.com/wos/woscc/full-record/WOS:000511427500122
• Citizens' readiness for proactive public services : a case study from AzerbaijanKhasmammadli, Gasim; Erlenheim, ReginaICEGOV '22 : proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 408-415 : ill https://doi.org/10.1145/3560107.3560170 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142663923&origin=inward&txGid=125234df163415af0aaa501581a676aa#metrics
• Clearing the existing fog over the smart sustainable city concept: highlighting the importance of governanceSchuch de Azambuja, Luiza; Pereira, Gabriela Viale; Krimmer, Robert JohannesProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 628–637 https://doi.org/10.1145/3428502.3428595 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85095965139&origin=inward&txGid=8d940fe1d0cd4c18884cee4524ee36d0
• Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927626955&origin=inward&txGid=209c8a0cd5ce04a0802a387bf150e19f
• Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84954516018&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4204%2FEPTCS.137.6%29&sessionSearchId=b54b8b263198aa2b467a2e833e85bb3b
• Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85166611165&origin=inward&txGid=e463dc30d9837a966345b1e72819eb65 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900012
• Commercial property tokenizing with smart contractsNorta, Alexander; Fernandez, Chad; Hickmott, Stefan2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4801-4808 https://doi.org/10.1109/IJCNN.2018.8489534 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85056518100&origin=inward&txGid=81f6f972af4b3f9c20a9cabfd8e04066 https://www.webofscience.com/wos/woscc/full-record/WOS:000585967404118
• CommunityCare : tackling mental health issues with the help of communitySuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkiiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]2020 / art. 3429114, p. 377-382 https://doi.org/10.1145/3428757.3429114 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85100351026&origin=inward&txGid=d3999701f00f82de0d3ee3f34df07d8c https://www.webofscience.com/wos/woscc/full-record/WOS:000869922700053
• Comparing security levels of postal and Internet votingVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanInformation Security Journal2024 https://doi.org/10.1080/19393555.2024.2410332 https://www.scopus.com/sourceid/19700187807 https://www.scopus.com/record/display.uri?eid=2-s2.0-85205734939&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1080%2F19393555.2024.2410332%29&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INF%20SECUR%20J&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001326632600001
• Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172138941&origin=inward&txGid=ae42bac89932d0db3273c6f40b280962
• Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85100912099&origin=inward&txGid=0b8247f867578b69f043eb5e6fd83971
• Computational intelligence approach for estimation of vehicle insurancere risk levelVassiljeva, Kristina; Tepljakov, Aleksei; Petlenkov, Eduard; Netšajev, Eduard2017 International Joint Conference on Neural Networks (IJCNN 2017) : Anchorage, Alaska, USA, 14-19 May 20172017 / p. 4073-4078 : ill https://doi.org/10.1109/IJCNN.2017.7966370 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85031038976&origin=inward&txGid=ff07b6f5b85e446a6c7238aa62d17ee4 https://www.webofscience.com/wos/woscc/full-record/WOS:000426968704043
• Conceptual challenges of researching Artificial Intelligence in public administrationsNoordt, Colin Pascal van23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 183-190 https://doi.org/10.1145/3543434.3543441 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139073979&origin=inward&txGid=4dc09d7185e74dfe84aafbcd1582a3a1
• Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168772131&origin=inward&txGid=5c7420f11f6482da438fddb2618e6928
• Contributing to a digital single market for Europe: barriers and drivers of an EU-wide once-only principleKalvet, Tarmo; Toots, Maarja; Krimmer, Robert Johannesdg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / Article No. 45, 8 p https://doi.org/10.1145/3209281.3209344 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049025992&origin=inward&txGid=06935f6348e8112cf7e261e62412b7fa https://www.webofscience.com/wos/woscc/full-record/WOS:000511427500045
• A coordinated strategy for multi-machine power system stabilityGhasemi-Marzbali, Ali; Ahmadiahangar, RoyaApplied Soft Computing2021 / art. 07742, 16 p. : ill https://doi.org/10.1016/j.asoc.2021.107742 https://www.scopus.com/sourceid/18136 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111544937&origin=inward&txGid=645746b806346ea4aa31b0130fe1b25f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=APPL%20SOFT%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000729624800003
• Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169476401&origin=inward&txGid=5281a5ad4cfbd60b461a9fc2944a33d0 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000006
• Create your own MUSE : a method for updating security level evaluation instrumentsSeeba, Mari; Affia, Abasi-amefon Obot; Mäses, Sten; Matulevičius, RaimundasComputer Standards and Interface2024 / art. 103776 https://doi.org/10.1016/j.csi.2023.103776 https://www.scopus.com/sourceid/24303 https://www.scopus.com/record/display.uri?eid=2-s2.0-85166474041&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1016%2Fj.csi.2023.103776%29&sessionSearchId=82ea1e262e947a553c0dfd040e2059dd&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20STAND%20INTER&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001051540800001
• Cross-border e-government services in Europe: expected benefits, barriers and drivers of the once-only principleKalvet, Tarmo; Toots, Maarja; Veenstra, Anne Fleur van; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 59-68 https://doi.org/10.1145/3209415.3209458 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051439288&origin=inward&txGid=2e3e4f81ae1a75971035f2726fae5e43 https://www.webofscience.com/wos/woscc/full-record/WOS:000515826000010
• The cyber-insurance market in NorwayBahsi, Hayretdin; Franke, Ulrik; Langfeldt Friberg, EvenInformation and computer security2020 / p. 54−67 https://doi.org/10.1108/ICS-01-2019-0012 https://www.scopus.com/sourceid/21100421900 https://www.scopus.com/record/display.uri?eid=2-s2.0-85074435548&origin=inward&txGid=12cee9252a4817ceb87c31d28943e475 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INF%20COMPUT%20SECUR&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000523034400001
• DASS: Differentiable architecture search for sparse neural networksMousavi, Hamid; Loni, Mohammad; Alibeigi, Mina; Daneshtalab, MasoudACM transactions on embedded computing systems2023 / art. 105, 21 p. : ill https://doi.org/10.1145/3609385 https://www.scopus.com/sourceid/10300153313 https://www.scopus.com/record/display.uri?eid=2-s2.0-85171744110&origin=inward&txGid=9f17b2693e76c47ba5b11c197e3b4b99 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20T%20EMBED%20COMPUT%20S&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001074334300008
• Data fusion for ITS : a systematic literature reviewOunoughi, Chahinez; Ben Yahia, SadokInformation Fusion2023 / p. 267-291 https://doi.org/10.1016/j.inffus.2022.08.016 https://www.scopus.com/sourceid/26099 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137119876&origin=inward&txGid=cd457ee336cc3d951cf21f7e96f7076b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20FUSION&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000859368100001
• Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169429815&origin=inward&txGid=64272195c9477aa9215f82f729a2f73b https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000007
• Deadlock-free generic routing algorithms for 3-dimensional Networks-on-Chip with reduced vertical link density topologiesYing, Haoyuan; Jaiswal, Ashok; Hollstein, Thomas; Hofmann, KlausJournal of systems architecture2013 / p. 528-542 : ill https://doi.org/10.1016/j.sysarc.2013.03.005 https://www.scopus.com/sourceid/12398 https://www.scopus.com/record/display.uri?eid=2-s2.0-84886087712&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1016%2Fj.sysarc.2013.03.005%29&sessionSearchId=a6a9a3b6ef7339347899f2ad4e915514&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20SYST%20ARCHITECT&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000323405100016
• Decomposing comonad morphismsAhman, Danel; Uustalu, Tarmo8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 20192019 / art. 14 ; 20 p https://doi.org/10.4230/LIPIcs.CALCO.2019.14 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076039926&origin=resultslist&sort=plf-f&src=s&sid=9b24b7b6b96b099e1e9afdd88e8e3155&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CALCO.2019.14%29&sl=32&sessionSearchId=9b24b7b6b96b099e1e9afdd88e8e3155&relpos=0
• Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101209607&origin=inward&txGid=45c295cc30341949924cd0b96b4a6bdf https://www.webofscience.com/wos/woscc/full-record/WOS:001035994800003
• Deep Reinforcement Learning for energy-aware task offloading in join SDN-Blockchain 5G massive IoT edge networkSellami, Bassem; Hakiri, Akram; Ben Yahia, SadokFuture generation computer systems2022 / p. 363-379 https://doi.org/10.1016/j.future.2022.07.024 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85136530046&origin=inward&txGid=15359501112d8c7f40a578cdb1be93ac https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:001065360600001
• Degrading listsMcDermott, Dylan; Pirog, Maciej; Uustalu, TarmoProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 20202020 / art. 6, 14 p https://doi.org/10.1145/3414080.3414084 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092799037&origin=inward&txGid=dc399bf77350db5a012d24ad62845349
• Depth control of the biomimetic U-CAT turtle-like AUV with experiments in real operating conditionsChemori, Ahmed; Kuusmik, Keijo; Salumäe, Taavi; Kruusmaa, Maarja2016 IEEE International Conference on Robotics and Automation : Stockholm, Sweden, May 16th-21st2016 / p. 4750-4755 : ill https://doi.org/10.1109/ICRA.2016.7487677 https://www.scopus.com/sourceid/25456 https://www.scopus.com/record/display.uri?eid=2-s2.0-84977572543&origin=inward&txGid=553454bcc21303757243c29d0977736e https://www.webofscience.com/wos/woscc/full-record/WOS:000389516204013
• Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAALBalasubramaniyan, Sreram; Srinivasan, Seshadhri; Buonopane, Furio; Balasubramanian, Subathra; Vain, Jüri; Ramaswamy, SriniMicroprocessors and microsystems2016 / p. 37-48 : ill https://doi.org/10.1016/j.micpro.2015.12.006 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-84969352242&origin=inward&txGid=4c40641a614e2ffeec7c3aaebc03d362 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000375336900004
• 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
• Design of Cyber Bio-analytical Physical Systems : formal methods, architectures, and multi-system interaction strategiesAshraf, Kanwal; Le Moullec, Yannick; Pardy, Tamas; Rang, ToomasMicroprocessors and microsystems2023 / art. 104780, 14 p. : ill https://doi.org/10.1016/j.micpro.2023.104780 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-85147544594&origin=inward&txGid=6cfbe8c8a71706ea4995d209ff351a9a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000931975600001
• Design optimization of permanent magnet clutch with Ārtap frameworkAndriushchenko, Ekaterina; Kaska, Jan; Kallaste, Ants; Belahcen, Anouar; Vaimann, Toomas; Rassõlkin, AntonPeriodica polytechnica electrical engineering and computer science2021 / p. 106-112 https://doi.org/10.3311/PPee.17007 https://www.scopus.com/sourceid/21100820619 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105850867&origin=inward&txGid=f1c67a3d3a7928ea67afc71ce74ea568
• Design space exploration in multi-level computing systemsSklyarov, Valery; Skliarova, Iouliia; Silva, João; Sudnitsõn, AleksanderCompSysTech'14 : 15th International Conference on Computer Systems and Technologies : Ruse, Bulgaria, June 27-28, 20142014 / p. 40-47 : ill https://doi.org/10.1145/2659532.2659616 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908701584&origin=inward&txGid=501a4c2e29a6e2e828d78415e0c3e6b2
• Designing a collaborative construction-project platform on blockchain technology for transparency, traceability, and information symmetryUdokwu, Chibuzor; Norta, Alexander; Wenna, ChristophASSE'21 : 2021 2nd Asia Service Sciences and Software Engineering Conference, Macau, Macao, February 24-26, 20212021 / 13 p. : ill https://doi.org/10.1145/3456126.3456134 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109488316&origin=inward&txGid=763acd3a05e580489f5643b3d1e61977
• Designing a crisis management mobile application solution in NigeriaLips, Silvia; Amola, Oladele; Draheim, DirkThe 23rd International Conference on Information Integration and Web Intelligence, Linz, Austria, November 29 - December 01 2021 : virtual2021 / p. 571–579 https://doi.org/10.1145/3487664.3487807 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122631772&origin=inward&txGid=1fc0bce1855f832995acd59525e3d6a0
• Detection of pulmonary micronodules in computed tomography images and false positive reduction using 3D convolutional neural networksGupta, Anindya; Saar, Tõnis; Märtens, Olev; Le Moullec, Yannick; Sintorn, Ida-MariaInternational Journal of Imaging Systems and Technology2019 / p. 327-339 : ill https://doi.org/10.1002/ima.22373 https://www.scopus.com/sourceid/35932 https://www.scopus.com/record/display.uri?eid=2-s2.0-85074266695&origin=inward&txGid=b3fd3e993b9cf64040499409020090b3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20IMAG%20SYST%20TECH&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000490393000001
• Development of a wireless communication network for monitoring and controlling of autonomous robotsVu, Trieu Minh; Tamre, Mart; Musalimov, Victor; Kovalenko, Pavel; Monahov, JuriInternational journal of robotics and automation2018 / 16 p https://doi.org/10.2316/Journal.206.2018.3.206-4759 https://www.scopus.com/sourceid/25482 https://www.scopus.com/record/display.uri?eid=2-s2.0-85047778249&origin=inward&txGid=3437df0d00c1be4eb832151104700eb1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20ROBOT%20AUTOM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000438819900002
• Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122436640&origin=inward&txGid=1ac53b706c7113a7337d5c3be607b569
• Differential 2-rigsLoregian, Fosco; Trimble, ToddProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 159-182 : ill https://doi.org/10.4204/EPTCS.380.10 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169440735&origin=inward&txGid=5d59a96c722bba436a0f18bae81695d6 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000010
• A digital collaborative platform for the silver economy : functionalities required by stakeholders in a multinational Baltic Sea Region projectButt, Sidra Azmat; Suran, Shweta; Pappel, Ingrid; Smaerup, Michael; Krimmer, Robert Johannes; Draheim, DirkDigital government : research and practice2023 / art. 8, 20 p. : ill https://doi.org/10.1145/3592618 https://www.scopus.com/sourceid/21101082067 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174804240&origin=inward&txGid=76a2751f8ccd1ddfd6a655f5665699ec
• Digital sovereignty and participation in an autocratic state : designing an e-petition system for developing countriesLips, Silvia; Ahmed, Rozha Kamal; Zulfigarzada, Khayyam; Krimmer, Robert Johannes; Draheim, DirkThe Proceedings of the 22nd Annual International Conference on Digital Government Research (DGO2021) : Digital Innovations for Public Values: Inclusive Collaboration and Community, June 9-11, 20212021 / p. 123–131 https://doi.org/10.1145/3463677.3463706 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85108149662&origin=inward&txGid=d503636424dca55a09fc450cd48e88fb
• Digitising a small island state : a lesson in FaroeseMeyerhoff Nielsen, MortenICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 20162016 / p. 54-59 https://doi.org/10.1145/2910019.2910042 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-84976416926&origin=inward&txGid=3a3885fb82043110098c37414fa728bb https://www.webofscience.com/wos/woscc/full-record/WOS:000391515800010
• A direct version of Veldman's proof of open induction on cantor space via delimited control operatorsIlik, Danko; Nakata, Keiko19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 188-201 https://doi.org/10.4230/LIPIcs.TYPES.2013.188 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907737679&origin=inward&txGid=3c9eca1096782d16b07c255d196c1cd2
• Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84991629033&origin=inward&txGid=ae8ee1c337b0ae6717ea67b1fbcf86af https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400006
• Distributed largest eigenvalue detectionAinomäe, Ahti; Trump, Tõnu; Bengtsson, Mats2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 3519-3523 : ill https://doi.org/10.1109/ICASSP.2017.7952811 https://www.scopus.com/sourceid/110544 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023768307&origin=inward&txGid=fd9061c1b19180ac251acc82af1e7b61 https://www.webofscience.com/wos/woscc/full-record/WOS:000414286203137
• 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 and barriers for the development of smart sustainable cities : a systematic literature reviewSchuch de Azambuja, LuizaICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance2021 / p. 422 - 428 https://doi.org/10.1145/3494193.3494250 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122995838&origin=resultslist&sort=plf-f&src=s&sid=6931b6854fe0e0f8ebd889cf8de183ee&sot=b&sdt=b&s=DOI%2810.1145%2F3494193.3494250%29&sl=28&sessionSearchId=6931b6854fe0e0f8ebd889cf8de183ee&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:000933151800056
• Duality of lattices associated to left and right quotientsBell, Jason; Smertnig, Daniel; Tamm, Hellis16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 20232023 / p. 35-50 https://doi.org/10.4204/EPTCS.386.5 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85173566435&origin=inward&txGid=0e1a43c690f8c48ae3cf254ccb52af17 https://www.webofscience.com/wos/woscc/full-record/WOS:001160672800001
• EcoLight+ : a novel multi-modal data fusion for enhanced eco-friendly traffic signal control driven by urban traffic noise predictionOunoughi, Chahinez; Ounoughi, Doua; Ben Yahia, SadokKnowledge and information systems2023 / p. 5309–5329 https://doi.org/10.1007/s10115-023-01938-y https://www.scopus.com/sourceid/15703 https://www.scopus.com/record/display.uri?eid=2-s2.0-85165672342&origin=inward&txGid=303c2d3466a6c57265b9d8f6f1d75200 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=KNOWL%20INF%20SYST&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001036727000001
• E-court system evaluation through the user's perspective : applying the end-user computing satisfaction (EUCS) modelAhmed, Rozha Kamal; Ahmed, Omer; Pappel, Ingrid; Draheim, Dirk23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 293-299 https://doi.org/10.1145/3543434.3543560 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139064527&origin=inward&txGid=bc25943dea65d072469afc1f25574081
• Educating future digital leaders : developing e-governance curriculum in Estonia and UkraineMorze, Nataliia; Makhachashvili, Rusudan; Mosiashvili, Gvantsa; Pappel, IngridDHW 2021: Digital Humanities Workshop2021 / p. 185 - 190 https://doi.org/10.1145/3526242.3526253 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85128608896&origin=resultslist&sort=plf-f&src=s&sid=b0dcfb58993e0eeceaf7e845ac02712b&sot=b&sdt=b&s=DOI%2810.1145%2F3526242.3526253%29&sl=144&sessionSearchId=b0dcfb58993e0eeceaf7e845ac02712b&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:000938263300011
• Effective scalable IEEE 1687 instrumentation network for fault managementJutman, Artur; Shibin, Konstantin; Devadze, SergeiIEEE design & test2013 / p. 26-35 : ill https://doi.org/10.1109/MDAT.2013.2278535 https://www.scopus.com/sourceid/21100286806 https://www.scopus.com/record/display.uri?eid=2-s2.0-84900025438&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FMDAT.2013.2278535%29&sessionSearchId=47e771afcc769678348f9a5b62e06fdd&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20DES%20TEST&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000328974800004
• eID public acceptance in Estonia : towards understanding the citizenTsap, Valentyna; Lips, Silvia; Draheim, DirkThe Proceedings of the 21st Annual International Conference on Digital Government Research (DGO2020), Intelligent Government in the Intelligent Information Society : June 15-19, 2020, Seoul, Republic of Korea2020 / p. 340−341 https://doi.org/10.1145/3396956.3397009 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086889952&origin=inward&txGid=b99ed431ce2c8d8a096a214faa29ab74
• Enabling sensemaking and trust in communities : an organizational perspectiveArakkal Peious, Sijo; Suran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkiiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence : November 29-December 1, 2021, Linz, Austria : proceedings2021 / p. 95-103 : ill https://doi.org/10.1145/3487664.3487678 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122623415&origin=inward&txGid=8a407c54e079c6059f09788cabf6c8ad
• Enabling social information exchange via dynamically robust annotationsPattanaik, Vishwajeet; Suran, Shweta; Draheim, DirkiiWAS2019 : Proceedings of the 21st International Conference on Information Integration and Web-based Applications & Services : December 2–4, 2019, Munich, Germany2019 / p. 176–184 : ill https://doi.org/10.1145/3366030.3366060 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85123042600&origin=inward&txGid=de053bbce0bc6a70ffbd4f760304ab47 https://www.webofscience.com/wos/woscc/full-record/WOS:000627565500023
• Enhancing OSGi with asynchronous messagingAstrova, Irina; Schaaf, Marc; Koschel, Arne; Ahlers, VolkerJTRES '16 : proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems : Lugano, Switzerland, August 29 - September 02, 20162016 / [10] p. : ill https://doi.org/10.1145/2990509.2990513 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85014899502&origin=inward&txGid=6c41acfee835af5866e2949a79831e3b
• Ensemble of Tensor Train Decomposition and Quantization Methods for Deep Learning Model CompressionAdemola, Olutosin Ajibola; Petlenkov, Eduard; Leier, Mairo2022 International Joint Conference on Neural Networks (IJCNN)2022 https://doi.org/10.1109/IJCNN55064.2022.9892626 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140779576&origin=inward&txGid=99358af0742f079c1a5fb42285c31068 https://www.webofscience.com/wos/woscc/full-record/WOS:000867070906010
• E-Residency as a nation branding caseKimmo, Margarita; Pappel, Ingrid; Draheim, Dirk11th International Conference on Theory and Practice of Electronic Governance, 4 - 6 April 20182018 / p. 419-428 https://doi.org/10.1145/3209415.3209447 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049022624&origin=inward&txGid=3f3a830aa2cc0d5cc95b0a40678c2dad https://www.webofscience.com/wos/woscc/full-record/WOS:000515826000052
• Error messages in relational database management systems : a comparison of effectiveness, usefulness, and user confidenceTaipalus, Toni; Grahn, Hilkka; Ghanbari, HadiJournal of systems and software2021 / art. 111034, 15 p.: ill https://doi.org/10.1016/j.jss.2021.111034 https://www.scopus.com/sourceid/19309 https://www.scopus.com/record/display.uri?eid=2-s2.0-85110531511&origin=inward&txGid=27b0d1d1739aaaa20cbcefee747105df https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20SYST%20SOFTWARE&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000694786100015
• Estimating sparse signals using integrated wide-band dictionariesButsenko, Maksim; Swärd, Johan; Jakobsson, Andreas2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 4426-4430 : ill https://doi.org/10.1109/ICASSP.2017.7952993 https://www.scopus.com/sourceid/110544 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023748591&origin=inward&txGid=b37ac7cd62bb9d8cd1f0dd536ae3a37a https://www.webofscience.com/wos/woscc/full-record/WOS:000414286204118
• Estimation of real-time demands on the basis of pressure measurements by different optimization methodsVassiljev, Anatoli; Koppel, TiitAdvances in engineering software2015 / p. 67-71 : ill https://doi.org/10.1016/j.advengsoft.2014.09.023 https://www.scopus.com/sourceid/18089 https://www.scopus.com/record/display.uri?eid=2-s2.0-84926177594&origin=inward&txGid=7f6addd92e8a8aedbade5d597ab5e1cd https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ADV%20ENG%20SOFTW&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000349196900008
• Estimation of real-time water fluxes in water distribution system on the basis of pressure measurementsKoppel, Tiit; Vassiljev, AnatoliAdvances in engineering software2013 / p. 19-23 : ill https://doi.org/10.1016/j.advengsoft.2012.11.012 https://www.scopus.com/sourceid/18089 https://www.scopus.com/record/display.uri?eid=2-s2.0-84885054356&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1016%2Fj.advengsoft.2012.11.012%29&sessionSearchId=32c764065dae34d19fb51196d2004bf2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ADV%20ENG%20SOFTW&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000324448700004
• The Estonian data embassy and the applicability of the Vienna convention: an exploratory analysisRobinson, Nick; Kask, Laura; Krimmer, Robert JohannesProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 391-396 https://doi.org/10.1145/3326365.3326417 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85066630424&origin=inward&txGid=944481c60eacc2916ee4cf91e6455535 https://www.webofscience.com/wos/woscc/full-record/WOS:000480403500052
• Evaluating cybersecurity-related competences through serious gamesMäses, Sten19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings2019 / 2 p https://doi.org/10.1145/3364510.3366163 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076767047&origin=inward&txGid=8c79dad9e11f6186c0d9d2a5d83e12da https://www.webofscience.com/wos/woscc/full-record/WOS:000558063700040
• Evaluating the impact of artificial intelligence technologies in public services : towards an assessment frameworkNoordt, Colin Pascal van; Misuraca, GianlucaICEGOV '20 : proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : Athens, Greece, September 23-25, 20202020 / p. 8-16 https://doi.org/10.1145/3428502.3428504 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85095975590&origin=resultslist&sort=plf-f&src=s&sid=76d0c5af530a2aebd9a5d9b99775767c&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22the+impact+of+artificial+intelligence+technologies+in+public%22%29&sl=34&sessionSearchId=76d0c5af530a2aebd9a5d9b99775767c&relpos=1
• Evaluation of approaches for designing and developing decentralized applications on blockchainUdokwu, Chibuzor; Anyanka, Henry; Norta, AlexanderICACS'20 : proceedings of the 4th International Conference on Algorithms, Computing and Systems. ICACS-AECCC 2020: the 2nd African Electronics Computer and Communication Conference, September 18-20, 2020, Virtual Conference2020 / p. 55-62 https://doi.org/10.1145/3423390.3426724 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85097350370&origin=inward&txGid=ee8f86c9a0e421b2cab9827f77409499 https://www.webofscience.com/wos/woscc/full-record/WOS:001074466200011
• Evidential decision theory via partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 14 p. : ill https://doi.org/10.1109/LICS56636.2023.10175776 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85165998581&origin=inward&txGid=b5207f0830a476756850b676366a5d94 https://www.webofscience.com/wos/woscc/full-record/WOS:001036707700045
• Evolving process viewsEshuis, Rik; Norta, Alexander; Roulaux, RaoulInformation and software technology2016 / p. 20-35 : ill https://doi.org/10.1016/j.infsof.2016.08.004 https://www.scopus.com/sourceid/18732 https://www.scopus.com/record/display.uri?eid=2-s2.0-84982189376&origin=inward&txGid=a4fe2968447f011ff001f7b8b1bc1f1b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20SOFTWARE%20TECH&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000386410800002
• Experts still needed : boosting long-term android malware detection with active learningGuerra-Manzanares, Alejandro; Bahsi, HayretdinJournal of Computer Virology and Hacking Techniques2024 / p. 901 - 918 https://doi.org/10.1007/s11416-024-00536-y https://www.scopus.com/sourceid/21100405702 https://www.scopus.com/record/display.uri?eid=2-s2.0-85205572445&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2Fs11416-024-00536-y%29&sessionSearchId=45c919fe8ff54496e2ffa842f2ed2798&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20COMPUT%20VIROL%20HACKI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001325766300001
• Exploring and demonstrating the once-only principle : a European perspectiveKrimmer, Robert Johannes; Kalvet, Tarmo; Toots, Maarja; Cepilovs, Aleksandrs; Tambouris, Efthimiosdg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 546-551 : ill https://doi.org/10.1145/3085228.3085235 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023608403&origin=inward&txGid=921275c0243ae7b6b277dc76de8ba0f1 https://www.webofscience.com/wos/woscc/full-record/WOS:000644436100062
• Extended reality technologies in small and medium-sized European industrial companies : level of awareness, diffusion and enablers of adoptionJalo, Henri; Pirkkalainen, Henri; Torro, Osku; Pessot, Elena; Zangiacomi, Andrea; Tepljakov, AlekseiVirtual Reality2022 / p. 1745 - 1761 https://doi.org/10.1007/s10055-022-00662-2 https://www.scopus.com/sourceid/144702 https://www.scopus.com/record/display.uri?eid=2-s2.0-85133169913&origin=inward&txGid=508e603c85d01f525cb92b3dfc757e47 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=VIRTUAL%20REAL-LONDON&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000818599000001
• Facilitating cross-sectoral digital product developmentSoe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 795-798 https://doi.org/10.1145/3428502.3428623 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85095971688&origin=inward&txGid=54e90a6b3ea4e5a627e212810fd47733
• FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platformsLoni, Mohammad; Zoljodi, Ali; Majd, Amin; Ahn, Byung Hoon; Daneshtalab, Masoud; Sjödin, Mikael; Esmaeilzadeh, HadiIEEE Transactions on Systems, Man, and Cybernetics : Systems2022 / p. 5222-5234 : ill https://doi.org/10.1109/TSMC.2021.3123136 https://www.scopus.com/sourceid/21100262320 https://www.scopus.com/record/display.uri?eid=2-s2.0-85120087918&origin=inward&txGid=b62ae52404ac30b3248be943d3d4f2ff https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20SYST%20MAN%20CY-S&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000732342800001
• Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169450215&origin=inward&txGid=c87d60ba42f7548a75293f6e60a606c0 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000013
• FINEST Twins : platform for cross-border smart city solutionsSoe, Ralf-Martindg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 352-357 : ill https://doi.org/10.1145/3085228.3085287 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023605084&origin=inward&txGid=43c5cde35e33960069ce230912a15a07 https://www.webofscience.com/wos/woscc/full-record/WOS:000644436100040
• Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 https://www.scopus.com/sourceid/28345 https://www.scopus.com/record/display.uri?eid=2-s2.0-85017172351&origin=inward&txGid=c0358c76d228c5ce9f1f2687aa9a8303 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20FUNCT%20PROGRAM&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000398525100001
• A flexible enhanced throughput and reduced overhead (FETRO) MAC protocol for ETSI SmartBANKhan, Rida; Alam, Muhammad Mahtab; Guizani, MohsenIEEE Transactions on Mobile Computing2022 / p. 2671-2686 : ill https://doi.org/10.1109/TMC.2020.3047596 https://www.scopus.com/sourceid/25038 https://www.scopus.com/record/display.uri?eid=2-s2.0-85098767857&origin=inward&txGid=53824e61fa4e5cc55cb15290d4b1d15d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20MOBILE%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000819824200001
• Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139198557&origin=inward&txGid=e75ae01255c4cd5b231f0881396286c0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000851562000034
• Flow aided path following of an underwater robotJung, David S.; Pott, Peter P.; Salumäe, Taavi; Kruusmaa, Maarja2013 IEEE International Conference on Robotics and Automation (ICRA) : Karlsruhe, Germany, May 6-10, 20132013 / p. 4602-4607 : ill https://doi.org/10.1109/ICRA.2013.6631231 https://www.scopus.com/sourceid/25456 https://www.scopus.com/record/display.uri?eid=2-s2.0-84887270601&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FICRA.2013.6631231%29&sessionSearchId=225678e0ce9a8f1e46110ae409abc09f&relpos=0
• Flow feature extraction for underwater robot localization : preliminary resultsMuhammad, Naveed; Strokina, Nataliya; Toming, Gert; Tuhtan, Jeffrey Andrew; Kämäräinen, Joni-Kristian; Kruusmaa, Maarja2015 IEEE International Conference on Robotics and Automation (ICRA) : Washington State Convention Center, Seattle, Washington, May 26-30, 20152015 / p. 1125-1130 : ill https://doi.org/10.1109/ICRA.2015.7139317 https://www.scopus.com/sourceid/25456 https://www.scopus.com/record/display.uri?eid=2-s2.0-84938234219&origin=inward&txGid=54d11929110b0d65afbf5b5012cec82a https://www.webofscience.com/wos/woscc/full-record/WOS:000370974901018
• ForewordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii https://www.scopus.com/sourceid/72247 https://www.scopus.com/record/display.uri?eid=2-s2.0-84887206202&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=AUTH%28Uustalu%2C+T.%29&sessionSearchId=896aef7e13933f2474776a93b8f9191d&relpos=65
• 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 the adoption of blockchain technology in healthcare information management systems : a case study of NigeriaAzogu, Irene; Norta, Alexander; Pappel, Ingrid; Longo, Justin; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 310–316 : ill https://doi.org/10.1145/3326365.3326405 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85066604683&origin=inward&txGid=1f9a7f4b2f279f4e93559a5f1df44b24 https://www.webofscience.com/wos/woscc/full-record/WOS:000480403500040
• From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085695615&origin=inward&txGid=3d79698e0d3eddeaee64684d181f5541 https://www.webofscience.com/wos/woscc/full-record/WOS:001045275100001
• Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101219248&origin=inward&txGid=3db01346a374231e73bdbf13ee3e2a00 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200021
• Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85099012661&origin=inward&txGid=881fbaa36ca71934205c760f58637ca6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000679806100057
• Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85019247773&origin=inward&txGid=22b8ba4a3ce08e642a5e72b5f5230fdb https://www.webofscience.com/wos/woscc/full-record/WOS:000405454500007
• Global intelligent governance a collaborative platformGanapati, Sukumar; Ahn, Michael; Chen, Yu-Che; Krimmer, Robert Johannes; Viale Pereira, Gabriela; Pliscoff, Cristian; Tseng, Hsien-Lee; Wu, JiannanDG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research2021 / p. 593 - 595 https://doi.org/10.1145/3463677.3463728 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85108157638&origin=resultslist&sort=plf-f&src=s&sid=744b2246729357961a1165e81c7e3990&sot=b&sdt=b&s=DOI%2810.1145%2F3463677.3463728%29&sl=28&sessionSearchId=744b2246729357961a1165e81c7e3990&relpos=0
• Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85018895900&origin=inward&txGid=017e9495e88129b44be81d9119238efe https://www.webofscience.com/wos/woscc/full-record/WOS:000405453900008
• Guest editorial: New boundaries for roboticsKruusmaa, Maarja; Tan, Xiaobo; Laschi, Cecilia; Fioroni, Paolo; Madhavan, RajRobotics and autonomous systems2014 / p. 1-2 https://doi.org/10.1016/j.robot.2012.12.002 https://www.scopus.com/sourceid/18079 https://www.scopus.com/record/display.uri?eid=2-s2.0-84888303350&origin=inward&txGid=394fd66d1822cde6175e9a1080c5ad4d https://www.webofscience.com/wos/woscc/full-record/WOS:000328663000001 https://www.webofscience.com/wos/woscc/full-record/WOS:000328663000001
• 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
• Guideliner : a tool to improve Web UI development for better usabilityMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoWIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings2018 / art. 17, 9 p. : ill https://doi.org/10.1145/3227609.3227667 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85053484278&origin=inward&txGid=4cdc0f784f3f2916846048f2d6cf36ea
• Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensorsAstapov, Sergei; Berdnikova, Julia; Ehala, Johannes; Kaugerand, Jaanus; Preden, Jürgo-SörenMultidimensional systems and signal processing2018 / p. 563-595 : ill https://doi.org/10.1007/s11045-017-0479-7 https://www.scopus.com/sourceid/12409 https://www.scopus.com/record/display.uri?eid=2-s2.0-85013645955&origin=inward&txGid=a2ba19c7c1db6c1dc4b8245e163a6925 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MULTIDIM%20SYST%20SIGN%20P&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000427294900007
• Hardware trojan insertion in finalized layouts : from methodology to a silicon demonstrationPerez, Tiago Diadami; Pagliarini, Samuel NascimentoIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems2023 / p. 2094-2107 https://doi.org/10.1109/TCAD.2022.3223846 https://www.scopus.com/sourceid/27724 https://www.scopus.com/record/display.uri?eid=2-s2.0-85144011739&origin=resultslist&sort=plf-f&src=s&sid=f6bea21f940b112407e8b3b930cd5a56&sot=b&sdt=b&s=DOI%2810.1109%2FTCAD.2022.3223846%29&sl=141&sessionSearchId=f6bea21f940b112407e8b3b930cd5a56 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20COMPUT%20AID%20D&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:001017411600002
• Health management for self-aware SoCs based on IEEE 1687 infrastructureShibin, Konstantin; Devadze, Sergei; Jutman, Artur; Grabmann, Martin; Pricken, RobinIEEE Design & Test2017 / p. 27-35 : ill https://doi.org/10.1109/MDAT.2017.2750902 https://www.scopus.com/sourceid/21100286806 https://www.scopus.com/record/display.uri?eid=2-s2.0-85037723856&origin=inward&txGid=43952d2af7eb29d9046c148b7fce363e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20DES%20TEST&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000416261800004
• High virucidal potential of novel ceramic-metal composites fabricated via hybrid selective laser melting and spark plasma sintering routesRahmani Ahranjani, Ramin; Molan, Katja; Brojan, Miha; Prashanth, Konda Gokuldoss; Stopar, DavidThe international journal of advanced manufacturing technology2022 / p. 975-988 : ill https://doi.org/10.1007/s00170-022-08878-x https://www.scopus.com/sourceid/20428 https://www.scopus.com/record/display.uri?eid=2-s2.0-85124888938&origin=inward&txGid=85aa79af229a5020b307c09282d69806 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20ADV%20MANUF%20TECH&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000752767500004
• Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 13 p. https://doi.org/10.1109/LICS56636.2023.10175726 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85162173175&origin=resultslist&sort=plf-f&src=s&sid=ec75abd3251d7087b754becbe52cb944&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Higher-Dimensional+Subdiagram+Matching%22%29&sl=104&sessionSearchId=ec75abd3251d7087b754becbe52cb944&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001036707700023
• High-level axioms for graphical linear algebraPaixao, Joao; Rufino, Lucas; Sobocinski, Pawel MariaScience of computer programming2022 / art. 102791 ; 26 p https://doi.org/10.1016/j.scico.2022.102791 https://www.scopus.com/sourceid/28416 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126314085&origin=inward&txGid=70be018e057f8e10f8de93f04c1f3d9d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000793563300005
• 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
• High-speed SABER key encapsulation mechanism in 65nm CMOSImran, Malik; Almeida, Felipe; Basso, Andrea; Roy, Sujoy Sinha; Pagliarini, Samuel NascimentoJournal of cryptographic engineering2023 / p. 461-471 : ill https://doi.org/10.1007/s13389-023-00316-2 https://www.scopus.com/sourceid/21100266502 https://www.scopus.com/record/display.uri?eid=2-s2.0-85151318828&origin=inward&txGid=9cfbc0e899663ad56e41cb0759f4e969 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20CRYPTOGR%20ENG&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000960662600001
• A historical analysis on interoperability in Estonian data exchange architecture : perspectives from the past and for the futureJackson, Eric Blake; Dreyling III, Richard Michael; Pappel, IngridICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance2021 / p. 111-116 https://doi.org/10.1145/3494193.3494209 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122993192&origin=resultslist&sort=plf-f&src=s&sid=f2a2d3f16823d070ee8b4fef788a4c39&sot=b&sdt=b&s=DOI%2810.1145%2F3494193.3494209%29&sl=33&sessionSearchId=f2a2d3f16823d070ee8b4fef788a4c39&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:000933151800015
• How does context influence music preferences : a user-based study of the effects of contextual information on users’ preferred musicBen Sassi, Imen; Ben Yahia, SadokMultimedia Systems2021 / p. 143–160 https://doi.org/10.1007/s00530-020-00717-x https://www.scopus.com/sourceid/25626 https://www.scopus.com/record/display.uri?eid=2-s2.0-85096397500&origin=inward&txGid=78a5cbd99ae79b9a03430217566e0e70 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MULTIMEDIA%20SYST&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000591251600001
• Hybrid protection of digital FIR filtersAksoy, Levent; Nguyen, Quang-Linh; Almeida, Felipe; Raik, Jaan; Flottes, Marie-Lise; Dupuis, Sophie; Pagliarini, Samuel NascimentoIEEE transactions on Very Large Scale Integration (VLSI) Systems2023 / p. 812-825 : ill https://doi.org/10.1109/TVLSI.2023.3253641 https://www.scopus.com/sourceid/12300 https://www.scopus.com/record/display.uri?eid=2-s2.0-85151356738&origin=inward&txGid=2cbf13db49fa5db5d3e09767a51c47df https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20VLSI%20SYST&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000953458300001
• Identifying design principles for proactive services through systematically understanding the reactivity-proactivity spectrumErlenheim, Regina; Draheim, Dirk; Taveter, KuldarProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 452–458 https://doi.org/10.1145/3428502.3428572 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85095971549&origin=inward&txGid=5e1417367d23ea7e4742a1354452ee4a
• Identifying eGovernment success factors: An analysis of selected national governance models and their experiences in digitising service deliveryMeyerhoff Nielsen, MortenEGOSE '14: Proceedings of the 2014 Conference on Electronic Governance and Open Society: Challenges in Eurasia, 18-20 November 2014 : proceedings2014 / p. 19-25 : ill https://doi.org/10.1145/2729104.2729111 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-84945936158&origin=inward&txGid=afc6e04a922521942c596f258378f5b2
• Impact pressure on mechanical properties of aluminum based composite by ECAP-parallel channelPramano, Agus; Dhoska, Klodian; Markja, Irida; Kommel, LembitPollack periodica2019 / p. 67–74 https://doi.org/10.1556/606.2019.14.1.7 https://www.scopus.com/sourceid/7100153120 https://www.scopus.com/record/display.uri?eid=2-s2.0-85067211159&origin=inward&txGid=e525cf0b16cf88d2d89330d64982aa53
• Improved PWM-based sinewave generation : example of the impedanceAbdullayev, Anar; Annus, Paul; Krivošei, Andrei; Metshein, Margus; Märtens, Olev; Rist, MarekAutomatic control and computer sciences2023 / p. 449-458 https://doi.org/10.3103/S0146411623050024 https://www.scopus.com/sourceid/24906 https://www.scopus.com/record/display.uri?eid=2-s2.0-85175998329&origin=inward&txGid=cfa2ab4348e5a9908aaa2c73c2383d21 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=AUTOM%20CONTROL%20COMPUT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001099662400003
• Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolò; Voorneveld, Niels F.W.Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122280172&origin=inward&txGid=c7421d68f570c983320bb4fe98712567 https://www.webofscience.com/wos/woscc/full-record/WOS:001044544400016
• An insight into biological datamining based on rarity and correlation as constraintsBouasker, Souad; Ben Yahia, Sadok; Diallo, GayoSAC '19 : proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing2019 / p. 3-10 : ill https://doi.org/10.1145/3297280.3297281 https://www.scopus.com/sourceid/89358 https://www.scopus.com/record/display.uri?eid=2-s2.0-85065661785&origin=inward&txGid=ecf6ca43d83e6135b13529f5103510c7 https://www.webofscience.com/wos/woscc/full-record/WOS:000474685800001
• Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany2020 / p. 604-618 https://doi.org/10.1145/3373718.3394808 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085952830&origin=inward&txGid=f00bae0d51eabbd9b2e8867922f2cfed https://www.webofscience.com/wos/woscc/full-record/WOS:000665014900047
• Internet of Things network infrastructure for the educational purposeTokarz, Krzysztof; Czekalski, Piotr; Drabik, Gabriel; Paduch, Jaroslaw; Distefano, Salvatore; Di Pietro, Riccardo; Merlino, Giovanni; Scaffidi, Carlo; Sell, Raivo2020 IEEE Frontiers in Education Conference (FIE)2020 https://doi.org/10.1109/FIE44824.2020.9274040 https://www.scopus.com/sourceid/16719 https://www.scopus.com/record/display.uri?eid=2-s2.0-85098595901&origin=inward&txGid=9b511e9bbdf5a3b66965c186ac90e943 https://www.webofscience.com/wos/woscc/full-record/WOS:000646660800172
• Iterative Learning based feedforward control for Transition of a Biplane-Quadrotor Tailsitter UASRaj, Nidhish; Simha, Ashutosh; Kothari, Mangal; Abhishek; Banavar, Ravi N.2020 IEEE International Conference on Robotics and Automation (ICRA), 31 May-31 Aug. 2020, Paris, France : proceedings2020 / p. 321-327 : ill https://doi.org/10.1109/ICRA40945.2020.9196671 https://www.scopus.com/sourceid/25456 https://www.scopus.com/record/display.uri?eid=2-s2.0-85092695240&origin=inward&txGid=c3942f72a836c56d9cfedc0321ea19fb https://www.webofscience.com/wos/woscc/full-record/WOS:000370974901134
• Leveraging the first line of defense : a study on the evolution and usage of android security permissions for enhanced android malware detectionGuerra Manzanares, Alejandro; Luckner, Marcin; Bahsi, HayretdinJournal of Computer Virology and Hacking Techniques2022 / 32 p. : ill https://doi.org/10.1007/s11416-022-00432-3 https://www.scopus.com/sourceid/21100405702 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137067746&origin=inward&txGid=dce53c753da08106f391fcf8c3742817 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20COMPUT%20VIROL%20HACKI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000844927200001
• 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
• Literature review on work-based learningMurtazin, Kristina; Shvets, Oleg; Piho, Gunnar2020 IEEE Frontiers in Education Conference (FIE)2020 https://doi.org/10.1109/FIE44824.2020.9274264 https://www.scopus.com/sourceid/16719 https://www.scopus.com/record/display.uri?eid=2-s2.0-85098598434&origin=inward&txGid=33a5c4594590d4b4f2a1f90347b16084 https://www.webofscience.com/wos/woscc/full-record/WOS:000646660800384
• LSTM-CNN : an efficient diagnostic network for Parkinson's disease utilizing dynamic handwriting analysisWang, Xuechao; Huang, Junqing; Chatzakou, Marianna; Medijainen, Kadri; Toomela, Aaro; Nõmm, Sven; Ruzhansky, MichaelComputer Methods and Programs in Biomedicine2024 / art. 108066 https://doi.org/10.1016/j.cmpb.2024.108066 https://www.scopus.com/sourceid/23604 https://www.scopus.com/record/display.uri?eid=2-s2.0-85185006571&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1016%2Fj.cmpb.2024.108066%29&sessionSearchId=971b6d536926a71d00c3665b57fa29cc&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20METH%20PROG%20BIO&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001186764800001
• 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
• A method for adding cyberethical behaviour measurements to computer science homework assignmentsMäses, Sten; Aitsam, Heleri; Randmann, Liina19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings2019 / 5 p. : ill https://doi.org/10.1145/3364510.3364529 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85076751058&origin=inward&txGid=e51fb8d9a006db620a2782c087945ff8 https://www.webofscience.com/wos/woscc/full-record/WOS:000558063700019
• Methods and tools for publishing and reusing linked open statistical dataTambouris, Efthimios; Kalampokis, Evangelos; Janssen, Marijn; Krimmer, Robert Johannes; Tarabanis, Konstantinosdg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 614-615 : ill https://doi.org/10.1145/3085228.3085234 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023634381&origin=inward&txGid=9278fa028413bb9915c7058f8ca441da https://www.webofscience.com/wos/woscc/full-record/WOS:000644436100088
• Methods for classifying depression in single channel EEG using linear and nonlinear signal analysisBachmann, Maie; Päeske, Laura; Kalev, Kaia; Aarma, Katrin; Lehtmets, Andres; Ööpik, Pille; Lass, Jaanus; Hinrikus, HiieComputer methods and programs in biomedicine2018 / p. 11−17 : ill https://doi.org/10.1016/j.cmpb.2017.11.023 https://www.scopus.com/sourceid/23604 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036466883&origin=inward&txGid=f9386237f6fb2dba94f9476d8f8140d0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20METH%20PROG%20BIO&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000424763400003
• Middleware for exchange and validation of context data and informationPreden, Jürgo-Sören; Llinas, James; Mõtus, LeoContext-enhanced information fusion : boosting real-world performance with domain knowledge2016 / p. 205-230 : ill https://doi.org/10.1007/978-3-319-28971-7_9 https://www.scopus.com/sourceid/21100369426 https://www.scopus.com/record/display.uri?eid=2-s2.0-85057181858&origin=inward&txGid=1d437802ad207bdc2f8fa9738f1572c0 https://www.webofscience.com/wos/woscc/full-record/WOS:000387776900010
• Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85068045398&origin=inward&txGid=d6e07206c224cb13ed521680b7153e70
• A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Srinivasan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Jüri; Ramaswamy, SriniFuture generation computer systems2019 / p. 354-363 : ill https://doi.org/10.1016/j.future.2018.12.012 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060110798&origin=inward&txGid=3c14b03ae74608c4192158fb37ecb2c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000465509600029
• Modeling and simulation of circuits with shared structurally synthesized BDDsUbar, Raimund-Johannes; Jürimägi, Lembit; Raik, Jaan; Viies, VladimirMicroprocessors and microsystems2017 / p. 56-61 : ill https://doi.org/10.1016/j.micpro.2016.09.006 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-85000632623&origin=inward&txGid=744c20a68a44b2968b1fc269551acff8 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000392038000007
• Modelling of nitrogen leaching from watersheds with large drained peat areasVassiljev, Anatoli; Kaur, Katrin; Annus, IvarAdvances in engineering software2018 / p. 94-100 : ill https://doi.org/10.1016/j.advengsoft.2018.03.007 https://www.scopus.com/sourceid/18089 https://www.scopus.com/record/display.uri?eid=2-s2.0-85044283980&origin=inward&txGid=1a185cea4faa1dfbee8bde77b988fbb8 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ADV%20ENG%20SOFTW&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000446996100005
• Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85136960045&origin=inward&txGid=d9cd3847c50ed485b987e8dbb36224e7
• Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169440941&origin=inward&txGid=7857f291e697d23757c0161e9e5d4c23 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000016
• Motion control architecture of a 4-fin U-CAT AUV using DOF prioritizationSalumäe, Taavi; Chemori, Ahmed; Kruusmaa, MaarjaIROS 2016 : 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems : October 9-14, 2016, Daejeon Convention Center, Daejeon, Korea2016 / p. 1321-1327 : ill https://doi.org/10.1109/IROS.2016.7759218 https://www.scopus.com/sourceid/66854 https://www.scopus.com/record/display.uri?eid=2-s2.0-85006380924&origin=inward&txGid=d5440dcdeff601dec2762a6f0e6b27a6 https://www.webofscience.com/wos/woscc/full-record/WOS:000391921701072
• Network IDS alert classification with active learning techniquesVaarandi, Risto; Guerra-Manzanares, AlejandroJournal of Information Security and Applications2024 / art. 103687 https://doi.org/10.1016/j.jisa.2023.103687 https://www.scopus.com/sourceid/21100332403 https://www.scopus.com/sourceid/21100332403 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20INF%20SECUR%20APPL&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001158335700001
• 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
• New interpretation and generalization of the Kameda-Weiner methodTamm, Hellis43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)2016 / p. 116:1-116:12 http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.116 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85012877964&origin=inward&txGid=fb9cb85deb3dc84b124803afa96605f0
• A new low-complexity patch-based image super-resolutionRasti, Pejman; Nasrollahi, Kamal; Orlova, Olga; Tamberg, Gert; Ozcinar, Cagri; Moeslund, Thomas B.; Anbarjafari, GholamrezaIET computer vision2017 / p. 567-576 : ill https://doi.org/10.1049/iet-cvi.2016.0463 https://www.scopus.com/sourceid/7000153231 https://www.scopus.com/record/display.uri?eid=2-s2.0-85029593745&origin=inward&txGid=37e8166d0b380d5ec4b392ef67ff4f6e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IET%20COMPUT%20VIS&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000411398100007
• Nonlinear orientation controller for a compliant robotic fish based on asymmetric actuationMeurer, Christian; Simha, Ashutosh; Kotta, Ülle; Kruusmaa, Maarja2019 International Conference on Robotics and Automation : ICRA 2019, Palais des Congres de Montreal, Canada, 20-24 May, 20192019 / Art. 8793892 ; p. 4688-4694 https://doi.org/10.1109/ICRA.2019.8793892 https://www.scopus.com/sourceid/25456 https://www.scopus.com/record/display.uri?eid=2-s2.0-85071486622&origin=inward&txGid=582d4539cc0fba3224764252cebfb6c1 https://www.webofscience.com/wos/woscc/full-record/WOS:000494942303057
• Normalization by evaluation for the Lambek calculusVeltri, Niccolo10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 20222022 / p. 102-117 https://doi.org/10.4204/eptcs.358.8 https://arxiv.org/abs/2204.06719v1 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85130481431&origin=inward&txGid=9db9425652c39ba1091c90c5381e4c37 https://www.webofscience.com/wos/woscc/full-record/WOS:001045096000008
• Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84938794091&origin=inward&txGid=ec71e364f461bd0191452a4d91fb2a63
• 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
• Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182526347&origin=inward&txGid=905daf15c25fe7cf8001fda9410b2315 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900014
• On architecture of e-government ecosystems: from e-services to e-participation [iiWAS'2020 Keynote]Draheim, DirkiiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]2020 / p. 3−10 https://doi.org/10.1145/3428757.3429972 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85100350917&origin=inward&txGid=bf94e28d4ffdce9a56f80827d0804c3d
• On doctrines and Cartesian bicategoriesBonchi, Filippo; Santamaria, Alessio; Seeber, Jens; Sobocinski, Pawel MariaCALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings2021 / p. 10:1−10:7 https://doi.org/10.4230/LIPIcs.CALCO.2021.10 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85120633403&origin=inward&txGid=314c457be65ccb9c6fd1cb2817f12f50
• On existing trends towards creation of a holistic sociotechnical approach to e-GovernanceKosenkov, Oleksandr; Pappel, Ingrid; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 492–493 : ill https://doi.org/10.1145/3326365.3326437 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85066606229&origin=inward&txGid=efa7c2748e49624eea60fbf86497cb33 https://www.webofscience.com/wos/woscc/full-record/WOS:000480403500072
• 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 the application of active learning for efficient and effective Iot botnet detectionGuerra Manzanares, Alejandro; Bahsi, HayretdinFuture Generation Computer Systems2023 / p. 40-53 : ill https://doi.org/10.1016/j.future.2022.10.024 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142760129&origin=inward&txGid=e2c5f990349b9ecea3f869ee19f276f3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000926842400004
• On the systematic exploitation of the Estonian data exchange layer X-road for strengthening public-private partnershipsPaide, Karoline; Pappel, Ingrid; Vainsalu, Heiko; Draheim, DirkICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 34-41 https://doi.org/10.1145/3209415.3209441 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049015313&origin=inward&txGid=98bd5554bde19ac9292c42300c9426fa https://www.webofscience.com/wos/woscc/full-record/WOS:000515826000006
• Once only principle : benefits, barriers and next stepsWimmer, Maria A.; Tambouris, Efthimios; Krimmer, Robert Johannes; Gil-Garcia, J. Ramon; Chatfield, Akemi Takeokadg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 602-603 : ill https://doi.org/10.1145/3085228.3085296 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023596754&origin=inward&txGid=98eeacf70a6be1c2e16ce07e87c46b8f https://www.webofscience.com/wos/woscc/full-record/WOS:000644436100083
• Ontology integration : approaches and challenging issuesOsman, Ines; Ben Yahia, Sadok; Diallo, GayoInformation Fusion2021 / p. 38-63 : ill https://doi.org/10.1016/j.inffus.2021.01.007 https://www.scopus.com/sourceid/26099 https://www.scopus.com/record/display.uri?eid=2-s2.0-85100295990&origin=inward&txGid=c9d0df168bdc845a14c7233cd6d3ae32 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20FUSION&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000632377000005
• Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101207257&origin=inward&txGid=9eed95d5f0f7b038bc730d43c0ff9135 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200005
• 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
• Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182523880&origin=inward&txGid=69e581b3fdf84dc320b5a065c2a0c1f0 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900016
• Optimal control of automatic manipulator for elimination of galvanic line load oscillationAutsou, Siarhei; Rassõlkin, Anton; Vaimann, Toomas; Demidova, Galina; Saroka, Viktor; Karpovich, Dzmitry; Kallaste, AntsPeriodica polytechnica electrical engineering and computer science2021 / 15 p. : ill https://doi.org/10.3311/PPee.15893 https://www.scopus.com/sourceid/21100820619 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105855330&origin=inward&txGid=a308e083d6c601dac14eb41fa1c0a15b
• Optimization of address-based data sorting unit with external memory supportMihhailov, Dmitri; Rjabov, Artjom; Sklyarov, Valery; Skliarova, Iouliia; Sudnitsõn, AleksanderCompSysTech'13 : proceedings of the 14th International Conference on Computer Systems and Technologies2013 / p. 83-90 : ill https://doi.org/10.1145/2516775.2516807 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-84889594834&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1145%2F2516775.2516807%29&sessionSearchId=1a41baf4d677f2631c89c8f4ec781d4d
• Optimization of pump efficiencies with different pumps characteristics working in parallel modeKoor, Margus; Vassiljev, Anatoli; Koppel, TiitAdvances in engineering software2016 / p. 69-76 : ill https://doi.org/10.1016/j.advengsoft.2015.10.010 https://www.scopus.com/sourceid/18089 https://www.scopus.com/record/display.uri?eid=2-s2.0-84949009416&origin=inward&txGid=4060eb20e4df33816e684880bbd223ce https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ADV%20ENG%20SOFTW&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000385604700007
• Optimized vibro-acoustic design of suspended glass panelsAiello, Robert; Auriemma, FabioStructural and multidisciplinary optimization2018 / p. 2253–2268 : ill https://doi.org/10.1007/s00158-018-2014-3 https://www.scopus.com/sourceid/18661 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049067434&origin=inward&txGid=5f6021f283850da7e5d50c8b272dc711 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STRUCT%20MULTIDISCIP%20O&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000446578200025
• Orthophoto classification for UGV pth planning using heterogeneous computingHudjakov, Robert; Tamre, MartInternational journal of advanced robotic systems2013 / [7] p. : ill https://doi.org/10.5772/56545 https://www.scopus.com/sourceid/144749 https://www.scopus.com/record/display.uri?eid=2-s2.0-84879239992&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.5772%2F56545%29&sessionSearchId=842eff8fafa5da0f4673a77a0030efbc https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20J%20ADV%20ROBOT%20SYST&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000320195800001
• Overcoming challenges in the silver economy by connecting services in the Silver Hub : the tool to provide the basis for the innovative solutionsKangilaski, Taivo; Butt, Sidra Azmat; Pappel, Ingrid; Kangilaski, ErikProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece2021 / p. 231-237 : ill https://doi.org/10.1145/3494193.3494225 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122977129&origin=inward&txGid=c134d357855df6b0063c9a748aa21111 https://www.webofscience.com/wos/woscc/full-record/WOS:000933151800031
• Parkinson's disease diagnostics based on the analysis of digital sentence writing testNetšunajev, Aleksei; Nõmm, Sven; Toomela, Aaro; Medijainen, Kadri; Taba, PilleVietnam journal of computer science2021 / p. 493-512 https://doi.org/10.1142/S2196888821500238 https://www.scopus.com/sourceid/21101060452 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117198746&origin=inward&txGid=6fc30dcb8f996e1b6f0665119452b86a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=VIETNAM%20J%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000735958900003
• Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086947322&origin=inward&txGid=9ffe9090424c7907568d204564b7228f https://www.webofscience.com/wos/woscc/full-record/WOS:000611567400020
• Physics based compressive sensing to enable digital twins of additive manufacturing processesLu, Yanglong; Ševtšenko, Eduard; Wang, YanJournal of computing and information science in engineering2021 / 031009, 30 p https://doi.org/10.1115/1.4050377 https://www.scopus.com/sourceid/20952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85108012293&origin=inward&txGid=9c913612377f94ee24fb757418d85b32 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20COMPUT%20INF%20SCI%20ENG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000651510900016
• Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case studySarv, Lill; Soe, Ralf-MartinICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 475-482 https://doi.org/10.1145/3560107.3560179 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142645218&origin=inward&txGid=a7e3714ef4aaf4d92aa517debe73f5c6
• 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
• Policy and legal environment analysis for e-Government services migration to the public cloudKotka, Taavi; Kask, Laura; Raudsepp, Karoliina; Storch, Tyson; Radloff, Rebecca; Liiv, InnarICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 20162016 / p. 103-108 : ill https://doi.org/10.1145/2910019.2910056 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-84976444920&origin=inward&txGid=c74fbc28784edfa3ed1b2d0778d8f354 https://www.webofscience.com/wos/woscc/full-record/WOS:000391515800017
• A pragmatic methodology for blind hardware trojan insertion in finalized layoutsHepp, Alexander; Perez, Tiago Diadami; Pagliarini, Samuel Nascimento; Sigl, GeorgICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design2022 / art. 69, p. 1-9 : ill https://doi.org/10.1145/3508352.3549452 https://www.scopus.com/sourceid/51882 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137785373&origin=inward&txGid=b339c373005c47ea7212f2cc0bbbf3de https://www.webofscience.com/wos/woscc/full-record/WOS:000981574300068
• Predicting fuel properties using chemometrics : a review and an extension to temperature dependent physical properties by using infrared spectroscopy to predict densityBaird, Zachariah Steven; Oja, VahurChemometrics and intelligent laboratory systems2016 / p. 41-47 : ill https://doi.org/10.1016/j.chemolab.2016.08.004 https://www.scopus.com/sourceid/24595 https://www.scopus.com/record/display.uri?eid=2-s2.0-84983761199&origin=inward&txGid=ae0d29ae8c8d9768669529dc6ff1f728 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=CHEMOMETR%20INTELL%20LAB&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000390504900005
• PrefaceMatthes, Ralph; Uustalu, TarmoRAIRO - Theoretical Informatics and Applications2013 / p. 1-2 https://doi.org/10.1051/ita/2012026 https://www.scopus.com/sourceid/13012 https://www.scopus.com/record/display.uri?eid=2-s2.0-84874463973&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1051%2Fita%2F2012026%29&sessionSearchId=08e7c58f88aea92900d731f06ee215ed https://jcr.clarivate.com/jcr-jp/journal-profile?journal=RAIRO-THEOR%20INF%20APPL&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000315619400001
• A privacy-protecting data-exchange wallet with ownership- and monetization capabilitiesNorta, Alexander; Hawthorne, Daniel; Engel, Serafin L.2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4121-4128 : ill https://doi.org/10.1109/IJCNN.2018.8489551 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85056555860&origin=inward&txGid=9e3ee47592dbe62d018ab734823d418c https://www.webofscience.com/wos/woscc/full-record/WOS:000585967404031
• Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169423973&origin=inward&txGid=c7f003716672f084856e0b710e57736f https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000020
• Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101268643&origin=inward&txGid=3b643d8f15203d885507ba2ca79e8b59 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200016
• Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85130481250&origin=inward&txGid=fbbef2e423b94d54ce0cf93c3c6a0b2c https://www.webofscience.com/wos/woscc/full-record/WOS:001045096000009
• 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
• Public acceptance of advanced identity documentsKalvet, Tarmo; Tiits, Marek; Laas-Mikko, KatrinICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 429-432 https://doi.org/10.1145/3209415.3209456 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051423221&origin=inward&txGid=74f3ad6facf7bc5c00be14f51b936fba https://www.webofscience.com/wos/woscc/full-record/WOS:000515826000053
• Quadratic/linear rational spline histopolationHallik, Helle; Oja, PeeterBIT numerical mathematics2017 / p. 629-648 : ill https://doi.org/10.1007/s10543-017-0645-1 https://www.scopus.com/sourceid/27856 https://www.scopus.com/record/display.uri?eid=2-s2.0-85011292090&origin=inward&txGid=f224c3bf628dfa8a245794f875df2a72 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BIT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000411151100003
• Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexingMalik, Hassan; Alam, Muhammad Mahtab; Pervaiz, Haris; Moullec, Yannick Le; Al-Dulaimi, Anwer; Pärand, Sven; Reggiani, LucaIEEE Network2020 / Art. nr. 8839971 https://doi.org/10.1109/MNET.001.1900087 https://www.scopus.com/sourceid/27239 https://www.scopus.com/record/display.uri?eid=2-s2.0-85079040174&origin=inward&txGid=f9f3afc1b14e181df3aebbe67bed4f09 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20NETWORK&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000511197000020
• 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
• Real-time localization and visualization of a sound source for virtual reality applicationKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 20172017 / p 219-224 : ill https://doi.org/10.23919/SOFTCOM.2017.8115577 https://www.scopus.com/sourceid/19900191968 https://www.scopus.com/record/display.uri?eid=2-s2.0-85056513871&origin=inward&txGid=a9a52caccf87e35b8a4cd13a2ec68178
• Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill https://doi.org/10.1145/3123779.3123813 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030308212&origin=inward&txGid=01c0baaedd6542ed808807eb0980ff85 https://www.webofscience.com/wos/woscc/full-record/WOS:000434851300006
• Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137593461&origin=inward&txGid=a48c4f25a2657cb2d41c28f255b51505
• 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
• Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85071609227&origin=inward&txGid=744304a9fedf8eba5714cdb0ce382fe3
• Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulatorMiller, Tim; Lu, Bin; Sterling, Leon; Beydoun, Ghassan; Taveter, KuldarIEEE transactions on software engineering2014 / p. 1007-1024 : ill https://doi.org/10.1109/TSE.2014.2339827 https://www.scopus.com/sourceid/18711 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908046085&origin=inward&txGid=9a6670d33b4b111a4ba0685e0cfe6cf1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20SOFTWARE%20ENG&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000343899100005
• Research gaps on public service deliveryLopes, Nuno Vasco; Sa Soares, Delfina; Meyerhoff Nielsen, Morten; Tavares, AntonioICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 465-474 : ill https://doi.org/10.1145/3047273.3047388 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020886632&origin=inward&txGid=d7e25878619dc91393d649b3e7c3f144
• Re-shaping the EU digital identity frameworkLips, Silvia; Vinogradova, Natalia; Krimmer, Robert Johannes; Draheim, Dirk23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 13-21 https://doi.org/10.1145/3543434.3543652 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85139046135&origin=inward&txGid=c9742ce21f63bc14be4e7d92775ae859
• 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
• Robust training of vector quantized bottleneck modelsLancucki, Adrian; Chorowski, Jan; Sanchez, Guillaume; Marxer, Ricard; Chen, Nanxin; Dolfing, Hans J.G.A.; Khurana, Sameer; Alumäe, Tanel; Laurent, Antoine2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings2020 / art. 163566 : 7 p https://doi.org/10.1109/IJCNN48605.2020.9207145 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85093843975&origin=inward&txGid=d0757c9fb6ee1a229c5c963da13f099a https://www.webofscience.com/wos/woscc/full-record/WOS:000626021404051
• RoCo-NAS : robust and compact neural architecture searchGeraeinejad, Vahid; Sinaei, Sima; Modarressi, Mehdi; Daneshtalab, Masoud2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 8 l https://doi.org/10.1109/IJCNN52387.2021.9534460 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85116466137&origin=inward&txGid=06cece687b3f28db1a4a5c7b57009c76 https://www.webofscience.com/wos/woscc/full-record/WOS:000722581709029
• The role of linked open statistical data in public service co-creationMcBride, Keegan David Braun; Matheus, Ricardo; Toots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 679-681 https://doi.org/10.1145/3209415.3209446 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051444392&origin=inward&txGid=94c2636488cb182a26ab401f17958da9 https://www.webofscience.com/wos/woscc/full-record/WOS:000515826000091
• Russian Federal remote E-voting scheme of 2021 - protocol description and analysisVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanEICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference2022 / p. 29-35 https://doi.org/10.1145/3528580.3528586 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85135347681&origin=inward&txGid=0da9588fbdb996d866a4e42caa38c7cc
• 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
• Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas Gadda, Exequiel Matías; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85183076604&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Securing+verified+IO+programs+against+unverified+code+in+F*%22%29&sessionSearchId=720044c030ecd4be2c873494c1a60274&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001170729400075
• A security-aware and LUT-based CAD flow for the physical synthesis of hASICsAbideen, Zain Ul; Perez, Tiago Diadami; Martins, Mayler; Pagliarini, Samuel NascimentoIEEE transactions on computer-aided design of integrated circuits and systems2023 / p. 3157-3170 : ill https://doi.org/10.1109/TCAD.2023.3244879 https://www.scopus.com/sourceid/27724 https://www.scopus.com/record/display.uri?eid=2-s2.0-85149361558&origin=inward&txGid=dcdfac19b8c2e28e5d718affcdda7cc2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20COMPUT%20AID%20D&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001071466500003
• Self-aware smart contracts with legal relevanceNorta, Alexander2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4113-4120 : ill https://doi.org/10.1109/IJCNN.2018.8489235 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85056497263&origin=inward&txGid=6038c31e37228848d6b9917575ce1b44 https://www.webofscience.com/wos/woscc/full-record/WOS:000585967404030
• Semi-substructural logics with additivesVeltri, Niccolò; Wan, Cheng-SyuanProceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 20232024 / p. 63-80 https://doi.org/10.4204/EPTCS.402.8 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85191660878&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Semi-substructural+logics+with+additives%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=1 https://www.webofscience.com/wos/woscc/full-record/WOS:001313392600006
• Serverless, FaaS and why organizations need themAstrova, Irina; Koschel, Arne; Schaaf, Marc; Klassen, Samuel; Jdiya, KerimIntelligent decision technologies2021 / p. 825-838 https://doi.org/10.3233/IDT-210194 https://www.scopus.com/sourceid/21100211724 https://www.scopus.com/record/display.uri?eid=2-s2.0-85123908139&origin=inward&txGid=39242a98b64811452b7cf45a6f6e1add https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INTELL%20DECIS%20TECHNOL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000749999000021
• Sights, titles and tags: mining a worldwide photo database for sightseeingLuberg, Ago; Pindis, Jakob; Tammet, Tanel10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings2020 / p. 149-158 : ill https://doi.org/10.1145/3405962.3405987 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091518076&origin=inward&txGid=ee79b2935dd8505f928fee31fbe38cae
• Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142933767&origin=inward&txGid=aa703bff0532a11a2db3446f14ca2ddd https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300009
• Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168762736&origin=inward&txGid=5e1b93c2cbb3a6a75e0b27d158426cee
• Smart city collaboration model : A case study of university-city collaborationSarv, Lill; Kibus, Kristel; Soe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 674−677 https://doi.org/10.1145/3428502.3428601 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85095966227&origin=inward&txGid=a779fc0bf258ea4fb6bd87c1585eb910
• Smart healthcare : disease prediction using the cuckoo-enabled deep classifier in IoT frameworkKumar, Ashwani; Reddy, S. Sai Satyanarayana; Mahommad, Gouse Baig; Khan, Baseem; Sharma, RahulScientific Programming2022 https://doi.org/10.1155/2022/2090681 https://www.scopus.com/sourceid/19926 https://www.scopus.com/record/display.uri?eid=2-s2.0-85130603165&origin=inward&txGid=9e83b1be67a76c701dbd657b5008a860 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20PROGRAMMING-NETH&year=2021 https://www.webofscience.com/wos/woscc/full-record/WOS:000797438400005
• Smart twin cities via urban operating systemSoe, Ralf-MartinICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 391-400 : ill https://doi.org/10.1145/3047273.3047322 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020877377&origin=inward&txGid=1b3de26e332a4498df6b6b2498b5eecf
• Smartgrid-based hybrid digital twins framework for demand side recommendation service provision in distributed power systemsOnile, Abiodun E.; Petlenkov, Eduard; Levron, Yoash; Belikov, JuriFuture generation computer systems2024 / p. 142-156 : ill https://doi.org/10.1016/j.future.2024.03.018 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85187225440&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Smartgrid-based+hybrid+digital+twins+framework+for+demand+side+recommendation+service+provision+in+distributed+power+systems%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001223282700001
• Sociotechnical factors and Industry 4.0 : an integrative perspective for the adoption of smart manufacturing technologiesMarcon, Érico; Soliman, Marlon; Gerstlberger, Wolfgang Dieter; Frank, Alejandro G.Journal of Manufacturing Technology Management2022 / p. 259-289 : ill https://doi.org/10.1108/JMTM-01-2021-0017 https://www.scopus.com/sourceid/18644 https://www.scopus.com/record/display.uri?eid=2-s2.0-85114513679&origin=inward&txGid=b70f721f11655f57cbcaa81a553f3edb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20MANUF%20TECHNOL%20MANA&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000692760300001
• A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907814299&origin=inward&txGid=f969cf92e099840ed56bc3ed8c0b83db https://www.webofscience.com/wos/woscc/full-record/WOS:000455397600025
• Sound conflict management and resolution for virtual-enterprise collaborationsNarendra, Nanjangud C.; Norta, Alexander; Mahunnah, Msury; Ma, Lixin; Maggi, Fabrizio MariaService-oriented computing and applications2016 / p. 233-251 : ill https://doi.org/10.1007/s11761-015-0183-0 https://www.scopus.com/sourceid/6100153019 https://www.scopus.com/record/display.uri?eid=2-s2.0-84944699055&origin=inward&txGid=0f8ac587f285a78fa3dc315d9848f5bf
• Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 https://www.scopus.com/sourceid/144641 https://www.scopus.com/record/display.uri?eid=2-s2.0-85150476245&origin=resultslist&sort=plf-f&src=s&sid=2f6521f66136a16cc4250bbbe569d174&sot=b&sdt=b&s=DOI%2810.1007%2Fs10270-023-01092-7%29&sl=23&sessionSearchId=2f6521f66136a16cc4250bbbe569d174 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTW%20SYST%20MODEL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000957065300001
• 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
• Split-chip design to prevent IP reverse engineeringPagliarini, Samuel Nascimento; Sweeney, Joseph; Mai, Ken; Blanton, Shawn; Mitra, Subhasish; Pileggi, LarryIEEE Design and Test2020 / p. 109-118 https://doi.org/10.1109/MDAT.2020.3033255 https://www.scopus.com/sourceid/21100286806 https://www.scopus.com/record/display.uri?eid=2-s2.0-85095985466&origin=inward&txGid=5cd9b065fa2590c9dd1c7c529d74978c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20DES%20TEST&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000678331400021
• SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 https://www.scopus.com/sourceid/27836 https://www.scopus.com/record/display.uri?eid=2-s2.0-85173587757&origin=resultslist&sort=plf-f&src=s&sid=4cccad9163859ccf7ef58333a8773ab8&sot=b&sdt=b&s=TITLE%28%22SSProve%3A+A+Foundational+Framework+for+Modular+Cryptographic+Proofs+in+Coq%22%29&sl=82&sessionSearchId=4cccad9163859ccf7ef58333a8773ab8&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20T%20PROGR%20LANG%20SYS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001066592300002
• Stream clustering guided supervised learning for classifying NIDS alertsVaarandi, Risto; Guerra Manzanares, AlejandroFuture generation computer systems2024 / p. 231-244 : ill https://doi.org/10.1016/j.future.2024.01.032 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85185711530&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Stream+clustering+guided+supervised+learning+for+classifying+NIDS+alerts%22%29&sessionSearchId=fd90d0e9983d9a88c6a21e7c6aafecbb&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001188873700001
• String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 https://www.scopus.com/sourceid/23127 https://www.scopus.com/record/display.uri?eid=2-s2.0-85127614327&origin=inward&txGid=289cc957ac27d19b801bd3f9818d2cd6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20ACM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000774368700006
• String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv2022 / p. 178-191 : ill https://doi.org/10.4204/EPTCS.372.13 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142934721&origin=inward&txGid=35e7529106014989f763d699403bf508 https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300014
• String diagrammatic trace theoryEarnshaw, Matthew; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436
• Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 https://www.scopus.com/sourceid/28416 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168743259&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Structured+development+of+implementations+for+divide-and-conquer+specifications%22%29&sessionSearchId=fd90d0e9983d9a88c6a21e7c6aafecbb&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001069381900001
• Structuring analyses of complex enterprise datasets with adaptive morphogenesis methodsPolis, EinarECBS '17: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / art. a5, 10 p. : ill https://doi.org/10.1145/3123779.3123808 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030327257&origin=inward&txGid=ec8d79d63c2a144c09af9f8c9930951a https://www.webofscience.com/wos/woscc/full-record/WOS:000434851300005
• Surviving the unforeseen - teaching IT and engineering students during COVID-19 outbreakRuberg, Priit; Ellervee, Peeter; Tammemäe, Kalle; Reinsalu, Uljana; Rähni, Andres; Robal, TarmoProceedings - Frontiers in Education Conference, FIE2022 / Code 184790 https://doi.org/10.1109/FIE56618.2022.9962383 https://www.scopus.com/sourceid/16719 https://www.scopus.com/record/display.uri?eid=2-s2.0-85143837405&origin=inward&txGid=50720d6cedc2cbb3f9463d0b1f491996
• ZED-TTE: Zone embedding and deep neural network based travel time estimation approachOunoughi, Chahinez; Yeferny, Taoufik; Ben Yahia, Sadok2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 10 p https://doi.org/10.1109/IJCNN52387.2021.9533456 https://www.scopus.com/sourceid/96537 https://www.scopus.com/record/display.uri?eid=2-s2.0-85116481508&origin=inward&txGid=f483e4d712e5fa9a06a7dfdc6372c721 https://www.webofscience.com/wos/woscc/full-record/WOS:000722581701046
• TermX: The semantic interoperability, knowledge management and sharing platformBossenko, Igor; Piho, Gunnar; Ivanova, Marina; Ross, PeeterSoftwareX2024 / art. 101839, 7 p. : ill https://doi.org/10.1016/j.softx.2024.101839 https://www.scopus.com/sourceid/21100422153 https://www.scopus.com/record/display.uri?eid=2-s2.0-85200647731&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22TermX%3A+The+semantic+interoperability%2C+knowledge+management+and+sharing+platform%22%29&sessionSearchId=d0a48f21c186f89247af4c110e9b48a1&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTWAREX&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001293083800001
• Test scenario specification language for model-based testingHalling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, OlegInternational Journal of Computing2019 / p. 408-421 : ill http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611 https://www.scopus.com/sourceid/21100820054 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085130655&origin=inward&txGid=818053d1e0dbdcb1c1dabc1219dd574c
• The 2016 BBN Georgian telephone speech keyword spotting systemAlumäe, Tanel; Karakos, Damianos; Hartmann, William2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 5755-5759 : tab https://doi.org/10.1109/ICASSP.2017.7953259 https://www.scopus.com/sourceid/110544 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023773448&origin=inward&txGid=1e8bc70c3867473b86dec5adf0bfc546 https://www.webofscience.com/wos/woscc/full-record/WOS:000414286205183
• The essential competencies of software professionals : a unified competence frameworkAssyne, Nana; Ghanbari, Hadi; Pulkkinen, MirjaInformation and software technology2022 / art. 107020, 20 p. : ill https://doi.org/10.1016/j.infsof.2022.107020 https://www.scopus.com/sourceid/18732 https://www.scopus.com/record/display.uri?eid=2-s2.0-85135801763&origin=inward&txGid=2fed6ea4656139297c1c8f216122fac3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20SOFTWARE%20TECH&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000859493100010
• The produoidal algebra of process decompositionEarnshaw, Matt; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85185217929&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22The+produoidal+algebra+of+process+decomposition%22%29&sessionSearchId=d07c77c718047b6144759fe6ff06e437&relpos=2 https://www.webofscience.com/wos/woscc/full-record/WOS:001300390800025
• The role of demographics in citiesSoe, Ralf-Martindg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 446-451 : ill https://doi.org/10.1145/3085228.3085274 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85023631842&origin=inward&txGid=af9a6754ac38db0fdf1e6e27c51c76f7 https://www.webofscience.com/wos/woscc/full-record/WOS:000644436100050
• The smash product of monoidal theoriesHadzihasanovic, Amar36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings2021 / art. 9470575, 13 p https://doi.org/10.1109/LICS52264.2021.9470575 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85113822334&origin=inward&txGid=680e680370fc87e2e891080b78b3631a https://www.webofscience.com/wos/woscc/full-record/WOS:000947350400031
• The state of research on software engineering competencies : a systematic mapping studyAssyne, Nana; Ghanbari, Hadi; Pulkkinen, MirjaJournal of systems and software2022 / art. 111183, 18 p. : ill https://doi.org/10.1016/j.jss.2021.111183 https://www.scopus.com/sourceid/19309 https://www.scopus.com/record/display.uri?eid=2-s2.0-85121442183&origin=inward&txGid=62c4c4e9d0608d57372d5547709e6711 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20SYST%20SOFTWARE&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000749992600003
• A theme section on the central role of modeling in designing and explaining data-driven systems and softwareAttiogbe, Christian; Ben Yahia, Sadok; Bellatreche, LadjelSoftware and Systems Modeling2023 / p. 1945-1947 https://doi.org/10.1007/s10270-023-01133-1 https://www.scopus.com/sourceid/144641 https://www.scopus.com/record/display.uri?eid=2-s2.0-85177600009&origin=resultslist&sort=plf-f&src=s&sid=12fc6674d3acb868d5041e144ab7f844&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22A+theme+section+on+the+central+role+of+modeling+in+designing+and+explaining+data-driven+systems+and+software%22%29&sl=124&sessionSearchId=12fc6674d3acb868d5041e144ab7f844&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTW%20SYST%20MODEL&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001123660200002
• Theory and practice of linked open statistical dataTambouris, Efthimios; Kalampokis, Evangelos; Janssen, Marijn; Matheus, Ricardo; Hermans, Paul; Kalvet, Tarmodg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / Article No. 130, 2 p https://doi.org/10.1145/3209281.3209341 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049002151&origin=inward&txGid=6604d92971438288ebe1a924f60ad221 https://www.webofscience.com/wos/woscc/full-record/WOS:000511427500130
• 3D modelling of non-uniform and turbulent flow in vertical slot fishwaysFuentes-Pérez, Juan Francisco; Silva, A.T.; Tuhtan, Jeffrey Andrew; Garcia-Vega, Ana; Carbonell Baeza, Ruth; Musall, Mark; Kruusmaa, MaarjaEnvironmental modelling & software2018 / p. 156-169 : ill https://doi.org/10.1016/j.envsoft.2017.09.011 https://www.scopus.com/sourceid/23295 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032736133&origin=inward&txGid=ecb993294b73f33f42f1558457b3a6ca https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ENVIRON%20MODELL%20SOFTW&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000416030000013
• Towards a networked modern democracy: thoughts on how ICT could enable new forms for the relationship between citizens and their representativesFischer, Dirk-Hinnerk; Krimmer, Robert Johannesdg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / art. 52, 8 p. : ill https://doi.org/10.1145/3209281.3209284 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85049019066&origin=inward&txGid=d965a1443ed8c015fb1f7f7e516f2e60 https://www.webofscience.com/wos/woscc/full-record/WOS:000511427500052
• Towards a smart sustainable city roadmapPereira, Gabriela Viale; Estevez, Elsa; Krimmer, Robert; Janssen, Marijn; Janowski, TomaszProceedings of the 20th Annual International Conference on Digital Government Research : Governance in the Age of Artificial Intelligence, 2019, Dubai 18 June- 20 June 20192019 / p. 527- 528 https://doi.org/10.1145/3325112.3325274 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85068616774&origin=inward&txGid=dc1513005e1717015a599c0b4ebf726b https://www.webofscience.com/wos/woscc/full-record/WOS:000555903400069
• Towards a smarter directional data aggregation in VANETsAllani, Sabri; Yeferny, Taoufik; Chbeir, Richard; Ben Yahia, SadokWorld Wide Web2020 / p. 2303−2322 : ill https://doi.org/10.1007/s11280-019-00749-y https://www.scopus.com/sourceid/14965 https://www.scopus.com/record/display.uri?eid=2-s2.0-85081883984&origin=inward&txGid=e738d85ddfc3beaf575b57897c194486 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=WORLD%20WIDE%20WEB&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000541059000005
• Towards a synesthesia laboratory : real-time localization and Visualization of a sound source for virtual reality applicationsKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei; Draheim, Dirk; Petlenkov, Eduard; Vassiljeva, KristinaJournal of communications software and systems2018 / p. 112–120 : ill https://doi.org/10.24138/jcomss.v14i1.410 https://www.scopus.com/sourceid/19900191968 https://www.scopus.com/record/display.uri?eid=2-s2.0-85056513871&origin=inward&txGid=aeef0a83873d2f1f18f40498c2bb5943
• 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
• Tree-based ensemble multi-task learning method for classification and regressionSimm, Jaak; Magrans De Abril, Ildefons; Sugiyma, MasashiIEICE transactions on information and systems2014 / p. 1677-1681 https://doi.org/10.1587/transinf.E97.D.1677 https://www.scopus.com/sourceid/15109 https://www.scopus.com/record/display.uri?eid=2-s2.0-84901811232&origin=inward&txGid=8ab426f60c181e0444307af6851f3794 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEICE%20T%20INF%20SYST&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000342784300036
• Type-theoretic constructions of the final coalgebra of the finite powerset functorVeltri, Niccolo41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 22:1-22:18 https://doi.org/10.4230/LIPIcs.FSCD.2021.22 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115213929&origin=inward&txGid=03a7f4d27c53ac7e3d30364299fe4123
• Understanding MPSoCs : exploiting memory microarchitectural vulnerabilities of high performance NoC-based MPSoCsSepulveda, Johanna; Azad, Siavoosh Payandeh; Niazmand, Behrad; Jervan, GertSAMOS '18 : Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 15-19, 20182018 / p. 162-166 https://doi.org/10.1145/3229631.3239367 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060980987&origin=inward&txGid=68709143f1ddabf77bcd667ba7968b24 https://www.webofscience.com/wos/woscc/full-record/WOS:000475843000021
• Understanding multidimensional verification : where functional meets non-functionalLai, Xinhui; Balakrishnan, Aneesh; Lange, Thomas; Jenihhin, Maksim; Ghasempouri, Tara; Raik, Jaan; Alexandrescu, DanMicroprocessors and microsystems2019 / art. 102867, 13 p. : ill https://doi.org/10.1016/j.micpro.2019.102867 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-85071020969&origin=inward&txGid=87d2f90199a10d44d941b14d594d2f30 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000500052000047
• A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85203523006&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CONCUR.2024.25%29&sessionSearchId=e19eefaaae2c94da6efd1164d7a1280e&relpos=0
• Update monads: Cointerpreting directed containersAhman, Danel; Uustalu, Tarmo19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 1-23 : ill https://doi.org/10.4230/LIPIcs.TYPES.2013.1 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-84907731424&origin=inward&txGid=17140a8449c63582385a4010066b6385
• The use of AI in public services : results from a preliminary mapping across the EUMisuraca, Gianluca; Noordt, Colin Pascal van; Boukli, AnysProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 90-99 https://doi.org/10.1145/3428502.3428513 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85095974620&origin=resultslist&sort=plf-f&src=s&sid=2fddd18ec3f656bf7ff5dfd107088ed5&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22the+use+of+ai+in+public+services%22%29&sl=50&sessionSearchId=2fddd18ec3f656bf7ff5dfd107088ed5&relpos=1
• Using blockchain for optimal and transparent resource allocation : a proposed solution for fund allocation : brief overviewVoicu-Dorobantu, Roxana; Udokwu, Chibuzor; Bocse, BogdanICEEG '21: Proceedings of the 5th International Conference on E-Commerce, E-Business and E-Government2021 / p. 35-38 https://doi.org/10.1145/3466029.3466056 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112099286&origin=resultslist&sort=plf-f&src=s&sid=ce9477a87bac3db51548c33410f7748d&sot=b&sdt=b&s=DOI%2810.1145%2F3466029.3466056%29&sl=27&sessionSearchId=ce9477a87bac3db51548c33410f7748d&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001066053200007
• Using reinforcement learning to optimize the acceptance threshold of a credit scoring modelHerasymovych, Mykola; Märka, Karl; Lukason, OliverApplied Soft Computing Journal2019 / Art. 105697 https://doi.org/10.1016/j.asoc.2019.105697 https://www.scopus.com/sourceid/18136 https://www.scopus.com/record/display.uri?eid=2-s2.0-85070668298&origin=inward&txGid=fc483949e09178153e47cd54412a8898 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=APPL%20SOFT%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000490753200013
• Using spark to ensure system to software integrity : a case studyNäks, Tõnu; Aiello, M.A.; Taft, S.T.Ada user journal2019 / p. 226-229 : ill https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf https://www.scopus.com/sourceid/27842 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086901251&origin=inward&txGid=067c8611afda29e14fbcf225c21b7a35
• Using STLs for effective in-field test of GPUsRodriguez Condia, Josie E.; Da Silva, Felipe Augusto; Bagbaba, Ahmet Cagrl; Guerrero-Balaguera, Juan-David; Hamdioui, Said; Sauer, Christian; Reorda, Matteo SonzaIEEE Design and Test2023 / p. 109-117 https://doi.org/10.1109/MDAT.2022.3188573 https://www.scopus.com/sourceid/21100286806 https://www.scopus.com/record/display.uri?eid=2-s2.0-85134217319&origin=inward&txGid=5c55e6f09f3a758ff423ba6cdbf70264 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20DES%20TEST&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001060451700010
• Validating the usage of occupational classification systems in the process of creating a national virtual competency assistant within the EU labor marketLiutkevičius, Markko; Erlenheim, ReginaProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 – 8 October 2021, Athens, Greece2022 / p. 254−259 https://doi.org/10.1145/3494193.3494228 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122992893&origin=inward&txGid=a711577c699868c4b8d24b83d496ecc0 https://www.webofscience.com/wos/woscc/full-record/WOS:000933151800034
• Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill https://doi.org/10.4204/eptcs.207.4 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84991672233&origin=inward&txGid=7cfe2cb50f0a4ed4cc9f981d3904dc86 https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400005
• VEDA - moVE DAta to balance the grid : research directions and recommendations for exploiting data centers flexibility within the power systemZiagham Ahwazi, Amin; Bordin, Chiara; Mishra, Sambeet; Ha, Phuong H.; Horsch, AlexanderICSCC '21: Proceedings of the 2021 6th International Conference on Systems, Control and Communications2021 / p. 13-18 https://doi.org/10.1145/3510362.3510365 https://www.scopus.com/sourceid/11600154611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126936882&origin=resultslist&sort=plf-f&src=s&sid=ce9477a87bac3db51548c33410f7748d&sot=b&sdt=b&s=DOI%2810.1145%2F3510362.3510365%29&sl=27&sessionSearchId=ce9477a87bac3db51548c33410f7748d&relpos=0
• 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 makes a strong monad?McDermott, Dylan; Uustalu, TarmoProceedings of the Ninth Workshop on Mathematically Structured Functional Programming2022 / p. 113-133 https://doi.org/10.4204/EPTCS.360.6 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85134196437&origin=inward&txGid=7f5d550d2a9664418b53b538258ac2d5 https://www.webofscience.com/wos/woscc/summary/f18a13c9-f42f-4949-a527-952d9989e01f-b940241d/relevance/1
• Whisker-based tactile navigation algorithm for underground robotsKossas, Tanel; Remmas, Mohamed Walid; Gkliva, Roza; Ristolainen, Asko; Kruusmaa, Maarja2024 IEEE International Conference on Robotics and Automation (ICRA)2024 / p. 13164-13170 https://doi.org/10.1109/ICRA57147.2024.10610762 https://www.scopus.com/sourceid/25456 https://www.scopus.com/record/display.uri?eid=2-s2.0-85199138952&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Whisker-Based+Tactile+Navigation+Algorithm+For+Underground+Robots%22%29&sessionSearchId=15a8f31657a2c073dab20190e5a69ab0&relpos=0
• A visual-semantic approach for building content-based recommender systemsBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoInformation systems2023 / art. 102243, 12 p. : ill https://doi.org/10.1016/j.is.2023.102243 https://www.scopus.com/sourceid/12305 https://www.scopus.com/record/display.uri?eid=2-s2.0-85166661585&origin=inward&txGid=4432893361749018f0665fa3114bbd12 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20SYST&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001027654900001