Doctoral Network in Information Technologies and Mathematics

Publications

Research output per year 2013 2013 2015 2016 2017 2018 2019 2020 2024

• 252 Citations
• 9 h-index
• 35 Conference contribution
• 19 Article
• 12 Commissioned report
• 4 Doctoral Thesis
• 4 More
  • 2 Chapter
  • 1 Abstract
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2024

  Extended Abstract: Neurosymbolic AI approaches, an ongoing Ph.D. Project

  Jayasingha Arachchige, P. & Lilius, J., 11 Jun 2024, Extended Abstract: Neurosymbolic AI approaches, an ongoing Ph.D. Project. p. 1-2 2 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
• 2023

  A Benchmark for Maritime Object Detection with Centernet on an Improved Dataset, ABOships-PLUS

  Iancu, B., Winsten, J., Soloviev, V. & Lilius, J., 22 Aug 2023, In: Journal of Marine Science and Engineering. 11, 9, 18 p., 1638.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File

  • Maritime Object Detection 100%
  • CenterNet 100%
  • Real Time 100%
  • Traffic Management 100%
  • State of the Art 100%
  4 Citations (Scopus)

  63 Downloads (Pure)

• Different Types of Weighted Composition Operators on Banach Spaces of Analytic Functions

  Norrbo, D., 2023, Åbo Akademi. 48 p.

  Research output: Types of Thesis › Doctoral Thesis › Collection of Articles

  Open Access

  • Multiplication Operator 100%
  • Multiplication Operation 85%
  • Linear Operation 33%
  • Resultant Vector 33%
  • Linear Space 33%
• 2022

  Compactness and weak compactness of weighted composition operators on BMOA

  Laitila, J., Lindström, M. & Norrbo, D., 4 Nov 2022, In: Proceedings of the American Mathematical Society. 13 p.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File
  94 Downloads (Pure)

• Exact essential norm of generalized Hilbert matrix operators on classical analytic function spaces

  Lindström, M., Miihkinen, S. & Norrbo, D., 29 Oct 2022, In: Advances in Mathematics. 408, B, 34 p., 108598.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File

  • Analytic Function 100%
  • Function Space 100%
  • Essential Norm 100%
  • Generalized Hilbert Matrices 100%
  • Hilbert Matrix Operator 100%
  7 Citations (Scopus)

  42 Downloads (Pure)
• 2021

  Carleson interpolating sequences for Banach spaces of analytic functions

  Lindström, M., Mastyło, M., Mleczko, P., Norrbo, D. & Rzeczkowski, M., 2021, In: Journal of the Institute of Mathematics of Jussieu.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File

  • Interpolating Sequences 100%
  • Hardy Space 100%
  • Musielak-Orlicz Spaces 33%
  • Shapiro 33%
  • Carleson Operator 33%
  54 Downloads (Pure)

• Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO

  Shokri-Manninen, F., Vain, J. & Waldén, M., 2021. 4 p.

  Research output: Contribution to conference › Abstract › Scientific

  Open Access

  File

  • Multivessel 100%
  • Agent System 100%
  • Stochastic Behavior 33%
  • Environment Condition 33%
  • Quality Characteristics 33%
  57 Downloads (Pure)

• NetControl4BioMed: a web-based platform for controllability analysis of protein-protein interaction networks

  Popescu, V.-B., Angel Sanchez-Martinez, J., Schacherer, D., Safadoust, S., Majidi, N., Andronescu, A., Nedea, A., Ion, D., Mititelu, E., Czeizler, E. & Petre, I., 1 Nov 2021, In: Bioinformatics. 37, 21, p. 3976-3978

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File
  4 Citations (Scopus)

  29 Downloads (Pure)
• 2020

  Applying guidelines for system modelling in Event-B: A systematic literature review

  Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, In: International Journal of Critical Computer-Based Systems. 10, 1, p. 1–36

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File

  • Beginner 100%
  • System Modeling 100%
  • Domain-specific Applications 100%
  • Modeling Guidelines 100%
  • Rigorous Method 100%
  1 Citation (Scopus)

  89 Downloads (Pure)

• Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

  Shokri-Manninen, F., Vain, J. & Walden, M., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Springer, Cham, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  File

  • COLREGs 100%
  • Maritime Autonomous Systems 100%
  • Autonomous Ships 100%
  • Formal Verification 100%
  • Target Point 100%
  8 Citations (Scopus)

  129 Downloads (Pure)

• Hilbert matrix, Volterra and weighted composition operators on Banach spaces of analytic functions

  Wikman, N., 2020, Åbo Akademi University Press. 31 p.

  Research output: Types of Thesis › Doctoral Thesis › Collection of Articles

  Open Access

• Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

  Shokri-Manninen, F., Tsiopoulos, L., Vain, J. & Walden, M., 2020, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer, p. 186-202 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12071 LNCS).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  File

  • Real Time Systems 100%
  • Concurrent Process 100%
  • Real-time Systems 100%
  • Reachability Properties 50%
  • Timing Analysis 25%
  3 Citations (Scopus)

  49 Downloads (Pure)

• Recursive Task Generation for Scalable SDF Graph Execution on Multicore Processors

  Georgakarakos, G. & Lilius, J., Mar 2020, Proceedings 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing PDP 2020. IEEE Computer Society Conference Publishing Services (CPS), p. 196-200 9092315. (Proceedings - 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2020).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File

  • Scheduling Overhead 100%
  • Graph Execution 100%
  • Multicore Processors 100%
  • SDF Graphs 100%
  • Task Generation 100%
  46 Downloads (Pure)

• Spectra of weighted composition operators on analytic function spaces

  Galindo, P., Lindström, M. & Wikman, N., 2020, In: Mediterranean Journal of Mathematics. 17, 1, 22 p., 34.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File
  8 Citations (Scopus)

  43 Downloads (Pure)

• Unified approach to spectral properties of multipliers

  Lindström, M., Miihkinen, S. & Norrbo, D., 2020, In: Taiwanese Journal of Mathematics. 24, 6, p. 1471-1495 24 p.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access
  1 Citation (Scopus)
• 2019

  An efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture

  Stepanovic, S., Georgakarakos, G., Holmbacka, S. & Lilius, J., 2019, In: Concurrency and Computation: Practice and Experience. p. –

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File
  3 Citations (Scopus)

  98 Downloads (Pure)

• Formal analysis of network routing protocols

  Kamali, M., 2019, Turku Centre for Computer Science, TUCS.

  Research output: Types of Thesis › Doctoral Thesis › Collection of Articles

• Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

  Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (Editor) & Jüri, V. (Editor), 2019

  Research output: Other contribution › peer-review

  • Controller 100%

• Generalized Volterra operators mapping between Banach spaces of analytic functions

  Eklund, T., Lindström, M., Pirasteh, M., Sanatpour, A. & Wikman, N., 2019, In: Monatshefte für Mathematik. 189, 2, p. 243–261

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  • Operator Mapping 100%
  • Generalized Volterra Operator 100%
  • Banach Spaces of Analytic Functions 100%
  • Unit Disk 50%
  • Volterra Operator 50%
  6 Citations (Scopus)

• Norm estimates of weighted composition operators pertaining to the Hilbert matrix

  Lindström, M., Miihkinen, S. & Wikman, N., 2019, In: Proceedings of the American Mathematical Society. 147, p. 2425–2435

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File
  10 Citations (Scopus)

  47 Downloads (Pure)

• Spectra of weighted composition operators on abstract Hardy spaces

  Eklund, T., Lindström, M., Mleczko, P. & Rzeczkowski, M., 2019, In: Revista- Real Academia de Ciencias Exactas Fisicas Y Naturales Serie a Matematicas. 113, 1, p. 267–279

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access
  2 Citations (Scopus)
• 2018

  Adaptive Formal Framework for WMN Routing Protocols

  Kamali, M. & Fehnker, A., 2018, Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings. Bae, K. & Csaba Ölveczky, P. (eds.). Springer, p. 175–195

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (Scopus)

• A note on complex symmetric composition operators on the Bergman space A2(D)

  Eklund, T., Lindström, M. & Paweł, M., 2018, In: Functiones Et Approximatio: Commentarii Mathematici. 59, 1, p. 129–139

  Research output: Contribution to journal › Article › Scientific › peer-review

  2 Citations (Scopus)

• AODVv2: Performance vs. Loop Freedom

  Kamali, M., Merro, M. & Dal Corso, A., 2018, SOFSEM 2018: Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings. Min Tjoa, A., Bellatreche, L., Biffl, S., van Leeuwen, J. & Wiedermann, J. (eds.). Springer, p. 337–350

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  3 Citations (Scopus)

• Efficient task-based code generation for SDF graph execution on multicore processors

  Georgakarakos, G. & Lilius, J., 2018, 2018 Conference on Design and Architectures for Signal and Image Processing (DASIP). IEEE, p. 112–117

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (Scopus)

• Energy-Efficient Actor Execution for SDF Application on Heterogeneous Architectures

  Rexha, H., Lafond, S. & Desnos, K., 2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, p. 486–493

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  1 Citation (Scopus)

  100 Downloads (Pure)

• Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem

  Czeizler, E., Popa, A. & Popescu, V.-B., 2018, Algorithms for Computational Biology : 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings. Jesper, J., Carlos, M.-V. & Miguel, V.-R. (eds.). Springer, p. 103–114

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  32 Downloads (Pure)

• Improving the Modelling Experience in Event-B - A Literature Review

  Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2018, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1196)

  Research output: Book/Journal/Report › Commissioned report › Professional

  • Modeling Experience 100%
  • Generic Application 100%
  • Software Safety 50%
  • Safety-critical 50%

• Quantifying the Interaction Between Structural Properties of Software and Hardware in the ARM Big.LITTLE Architecture

  Stepanovic, S., Georgakarakos, G., Holmbacka, S. & Lilius, J., 2018, 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). Merelli, I., Lio, P. & Kotenko, I. (eds.). IEEE, p. 138–144

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  File
  2 Citations (Scopus)

  174 Downloads (Pure)

• Weighted Composition and Volterra Operators on Banach Spaces of Analytic Functions: Compactness and Spectral Properties

  Eklund, T., 2018, Åbo Akademi University.

  Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
• 2017

  A Method for Automatic Whoosh Sound Description

  Chernyi, E., Lilius, J. & Mouromtsev, D., 2017, Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17), Edinburgh, UK, September 5–9, 2017. Torin, A., Hamilton, B., Bilbao, S. & Newton, M. (eds.). p. 459–465

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  109 Downloads (Pure)

• AODVv2: Performance vs. Loop Freedom

  Kamali, M., Merro, M. & Dal Corso, A., 2017, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

• Core Level Utilization for Achieving Energy Efficiency in Heterogeneous Systems

  Rexha, H., Holmbacka, S. & Lafond, S., 2017, Parallel, Distributed and Network-based Processing (PDP), 2017 25th Euromicro International Conference on. IEEE, p. 401–407 7 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  11 Citations (Scopus)

• Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time

  Byholm, B. & Porres Paltor, I., 2017, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

• Fast Algorithms for Fragmentable Items Bin Packing

  Byholm, B. & Porres Paltor, I., 2017, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

• Königs eigenfunction for composition operators on Bloch and H∞ type spaces

  Eklund, T., Galindo, P. & Lindström, M., 2017, In: Journal of Mathematical Analysis and Applications. 445, 2, p. 1300–1309

  Research output: Contribution to journal › Article › Scientific › peer-review
  2 Citations (Scopus)

• Norm, essential norm and weak compactness of weighted composition operators between dual Banach spaces of analytic functions

  Eklund, T., Galindo, P., Lindström, M. & Nieminen, I., 2017, In: Journal of Mathematical Analysis and Applications. 451, 1, p. 1–13

  Research output: Contribution to journal › Article › Scientific › peer-review
  15 Citations (Scopus)

• Optimized Deployment Plans for Platform As a Service Clouds

  Byholm, B. & Porres Paltor, I., 2017, UCC '17 Companion : Proceedings of the10th International Conference on Utility and Cloud Computing. Fox, G. & Chen, Y. (eds.). ACM, p. 41–46

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  34 Downloads (Pure)

• pch2csd: an application for converting Nord Modular G2 patches into Csound code

  Rogozinsky, G., Chesnokov, M. & Chernyi, E., 2017, Proceedings of the 14th Sound and Music Computing Conference 2017. Lokki, T., Pätynen, J. & Välimäki, V. (eds.). p. 415–421

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  178 Downloads (Pure)

• Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud

  Aranitasi, M., Byholm, B. & Neovius, M., 2017, Database and Expert Systems Applications (DEXA), 2017 28th International Workshop on. Mezni, H., Aridhi, S. & Hadjali, A. (eds.). IEEE, p. 127–131

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (Scopus)

• Task-based execution of synchronous dataflow graphs for scalable multicore computing

  Georgakarakos, G., Kanur Chandra Shekar, S., Lilius, J. & Desnos, K., 2017, Signal Processing Systems (SiPS), 2017 IEEE International Workshop on. IEEE, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  4 Citations (Scopus)

• Uppaal vs Event-B for Modelling Optimised Link State Routing

  Kamali, M. & Petre, L., 2017, Verification and Evaluation of Computer and Communication Systems. VECoS 2017. Barkaoui, K., Boucheneb, H., Mili, A. & (eds), T. S. (eds.). Springer, p. 189–203 15 p.

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  1 Citation (Scopus)
• 2016

  A Knowledge Engineering Approach to Computational Creativity in Sound Design

  Chernyi, E., Lilius, J., Brusila, J. & Mouromtsev, D., 2016, Proceedings. 1st Conference on Computer Simulation of Musical Creativity. Jan, S. & Valerio, V. (eds.). University of Huddersfield, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Professional

• Analysis on scalability and energy efficiency of HEVC decoding using task-based programming model

  Georgakarakos, G., Holmbacka, S. & Lilius, J., 2016, Design and Architectures for Signal and Image Processing (DASIP), 2016 Conference on. Cerisier, S. & Adam Morawiec, D. (eds.). IEEE, p. –

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  1 Citation (Scopus)

• An Approach for Structuring Sound Sample Libraries Using Ontology

  Chernyi, E., Lilius, J., Brusila, J., Mouromtsev, D. & Rogozinsky, G., 2016, Knowledge Engineering and Semantic Web. Ngonga Ngomo, A.-C. & Křemen, P. (eds.). Springer, p. 202–214

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
  2 Citations (Scopus)

• A prospect for computing in porous materials research: Very large fluid flow simulations

  Mattila, K., Puurtinen, T., Hyväluoma, J., Surmas, R., Myllys, M., Turpeinen, T., Robertsén, F., Westerholm, J. & Timonen, J., 2016, In: Journal of Computational Science. 12, p. 62–73

  Research output: Contribution to journal › Article › Scientific › peer-review
  36 Citations (Scopus)

• Automatic Performance Space Exploration of Web Applications

  Ahmad, T., Abbors, F. & Truscan, D., 2016, Economics of Grids, Clouds, Systems, and Services. Rana, O., Altmann, J. & Silaghi, G. (eds.). Springer, p. 223–235

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  File
  34 Downloads (Pure)

• Designing a graphics processing unit accelerated petaflop capable lattice Boltzmann solver: Read aligned data layouts and asynchronous communication

  Robertsén, F., Westerholm, J. & Mattila, K., 2016, In: International Journal of High Performance Computing Applications. p. –

  Research output: Contribution to journal › Article › Scientific › peer-review
  4 Citations (Scopus)

• Distributed Virtual Machine Consolidation: A Systematic Mapping Study

  Ashraf, A., Byholm, B. & Porres Paltor, I., 2016, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

  File
  50 Downloads (Pure)

• Prediction-Based VM Provisioning and Admission Control for Multi-Tier Web Applications

  Ashraf, A., Byholm, B. & Porres Paltor, I., 2016, In: Journal of Cloud Computing. 5, 15, p. 1–21

  Research output: Contribution to journal › Article › Scientific › peer-review
  11 Citations (Scopus)