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

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

Artificial lateral line for aquatic habitat modelling: An example for Lefua echigoniaGarcia-Vega, Ana; Fuentes-Perez, Juan Francisco; Fukuda, Shinji; Kruusmaa, Maarja; Sanz-Ronda, Francisco Javier; Tuhtan, Jeffrey AndrewEcological Informatics2021 / art. 101388 https://doi.org/10.1016/j.ecoinf.2021.101388 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Computing sorted subsets for data processing in communicating software/hardware control systemsSklyarov, Valery; Skliarova, Iouliia; Rjabov, Artjom; Sudnitsõn, AleksanderInternational journal of computers communications & control2016 / p. 126-141 : ill https://doi.org/10.15837/ijccc.2016.1.1442 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Correction to: Implementation and evaluation of the DAOM framework and support tool for designing blockchain decentralized applications (International Journal of Information Technology, (2021), 13, 6, (2245-2263), 10.1007/s41870-021-00816-6)Udokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsõn, Aleksandr; Matulevičius, RaimundasInternational Journal of Information Technology (Singapore)2022 https://doi.org/10.1007/s41870-022-01026-4 Journal metrics at Scopus Article at Scopus

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

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

Environmentally adaptive fish or no-fish classification for river video fish counters using high-performance desktop and embedded hardwareSoom, Jürgen; Pattanaik, Vishwajeet; Leier, Mairo; Tuhtan, Jeffrey AndrewEcological Informatics2022 / art. 101817, 14 p. : ill https://doi.org/10.1016/j.ecoinf.2022.101817 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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

Genome-scale metabolic modeling reveals metabolic trade-offs associated with lipid production in Rhodotorula toruloidesReķena, Alina; Pinheiro, Marina J.; Bonturi, Nemailla; Belouah, Isma; Tammekivi, Eliise; Herodes, Koit; Kerkhoven, Eduard J.; Lahtvee, Petri-JaanPLoS computational biology2023 / art. e1011009 https://doi.org/10.1371/journal.pcbi.1011009 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Hardware-in-the-Loop test of an open loop fuzzy control method for decoupled electro-hydraulic antilock braking systemAksjonov, Andrei; Ricciardi, Vincenzo; Augsburg, Klaus; Vodovozov, Valery; Petlenkov, EduardIEEE transactions on fuzzy systems2020 / p. 965-975: ill https://doi.org/10.1109/TFUZZ.2020.2965868 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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

Implementation and evaluation of the DAOM framework and tool support for designing blockchain decentralized applicationsUdokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsõn, Aleksandr; Matulevičius, RaimundasInternational journal of law and information technology2021 / p. 2245−2263 : ill https://doi.org/10.1007/s41870-021-00816-6 Journal metrics at Scopus Article at Scopus

IOCBIO Kinetics : an open-source software solution for analysis of data tracesVendelin, Marko; Laasmaa, Martin; Kalda, Mari; Branovets, Jelena; Karro, Niina; Barsunova, Karina; Birkedal Nielsen, RikkePLoS computational biology2020 / art. e1008475 https://doi.org/10.1371/journal.pcbi.1008475 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Large-scale commonsense knowledge for default logic reasoningJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkSN Computer Science2023 / art. 550 https://doi.org/10.1007/s42979-023-01963-2 Journal metrics at Scopus Article at Scopus

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

Machine learning techniques for wireless-powered ambient backscatter communications : enabling intelligent iot networks in 6g eraJameel, Furqan; Sharma, Navuday; Khan, Muhammad Awais; Khan, Imran; Alam, Muhammad Mahtab; Alam, Muhammad Mahtab; Mavromoustakis, Constandinos X.Internet of Things / 2020 https://doi.org/10.1007/978-3-030-44907-0_8 Article collection metrics at Scopus Article at Scopus

Modelling anisotropy in non-oriented electrical steel sheet using vector Jiles-Atherton modelUpadhaya, Brijesh; Martin, Floran; Rasilo, Paavo; Handgruber, Paul; Belahcen, Anouar; Arkkio, AnteroCOMPEL : The international journal for computation and mathematics in electrical and electronic engineering2017 / p. 764-773 : ill https://doi.org/10.1108/COMPEL-09-2016-0399 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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

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

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

An open 3D CFD model for the investigation of flow environments experienced by freshwater fishKhan, Ali Hassan; Hussmann, Karla Ruiz; Powalla, Dennis; Hoerner, Stefan; Kruusmaa, Maarja; Tuhtan, Jeffrey AndrewEcological Informatics2022 / art. 101652, 12 p. : ill https://doi.org/10.1016/j.ecoinf.2022.101652 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Optimization of pump efficiency in a water distribution systemKoor, Margus; Vassiljev, Anatoli; Koppel, TiitProceedings of the Ninth International Conference on Engineering Computational Technology2014 / Paper 91, p. 1-10 : ill https://iwaponline.com/ws/article/23/3/1094/93912/Optimization-of-the-operation-of-water Conference proceedings at Scopus Article at Scopus

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

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

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

Profunctor optics: a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioCompositionality2024 / 39 p. : ill https://doi.org/10.32408/compositionality-6-1 Journal metrics at Scopus Article at Scopus

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

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Runtime contention and bandwidth-aware adaptive routing selection strategies for networks-on-chipSamman, Faizal; Hollstein, Thomas; Glesner, ManfredIEEE transactions on parallel and distributed systems2013 / p. 1411-1421 : ill https://doi.org/10.1109/TPDS.2012.200 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

SCARF : securing chips with a robust framework against fabrication-time hardware trojansEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoIEEE Transactions on Computers2024 / p. 2761-2775 https://doi.org/10.1109/TC.2024.3449082 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

The supplement of the diagnostic tool for assessment the implemented performance management systems : theoretical approachKadak, TarmoInternational journal of mathematics and computers in simulation2013 / p. 187-197 : ill https://www.researchgate.net/publication/292833919_The_supplement_of_the_diagnostic_tool_for_assessment_the_implemented_performance_management_systems_Theoretical_approach Journal metrics at Scopus Article at Scopus

A systematic assessment of numerical association rule mining methodsKaushik, Minakshi; Sharma, Rahul; Arakkal Peious, Sijo; Shahin, Mahtab; Ben Yahia, Sadok; Draheim, DirkSN Computer Science2021 / art. 348 https://doi.org/10.1007/s42979-021-00725-2 Journal metrics at Scopus Article at scopus

Technology push in AI-enabled services : how to master technology integration in case of BürokrattDreyling III, Richard Michael; Tammet, Tanel; Pappel, IngridSN computer science2024 / art. 738 https://doi.org/10.1007/s42979-024-03064-0 Journal metrics at Scopus Article at Scopus

A theory of secure and efficient implementation of electronic moneyBuldas, Ahto; Draheim, Dirk; Saarepera, MärtSN Computer Science2023 / art. 861, 25 p. : ill https://doi.org/10.1007/s42979-023-02232-y Journal metrics at Scopus Article at Scopus

A three-phase simplex method for infeasible and unbounded linear programming problemsÜbi, EvaldJournal of Mathematical and Computational Science2020 / p. 906-921 http://scik.org/index.php/jmcs/article/view/4387 https://doi.org/10.28919/jmcs/4387 Journal metrics at Scopus Article at Scopus

Use of the real-time demands for calibration of water distribution systemsVassiljev, Anatoli; Koppel, TiitProceedings of the Fourteenth International Conference on Civil, Structural and Environmental Engineering Computing2013 / p. 1-9 : ill [Paper 233] https://www.ctresources.info/ccp/paper.html?id=7566 Conference Proceedings at Scopus Article at Scopus

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