Research output per year
Research output per year
Publications
- 27 results
Search results
-
2024
Contract-Based Design of Dataflow Programs
Wiik, J., 2024, Åbo Akademi.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
2023
Energy Aware Runtime Systems for Elastic Stream Processing Platforms
Rexha, H., 2023, Åbo: Åbo Akademi.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
2022
Computational Network Analytics for Applications in Biomedicine
Popescu, V.-B., 2022, Åbo: Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
Diagrammatic Languages and Formal Verification: A Tool-Based Approach
Parsa, M., 2022, Turku: Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
2021
DIANA: Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles
Majd, A., 2021, Åbo: Åbo Akademi University. 77 p.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
Optimizing Stateful Serverless Computing
Byholm, B., 28 May 2021, Åbo Akademi University. 58 p.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
Scalable Multicore Computing Using Dataflow and Task‐based Models
Georgakarakos, G., 2021, Åbo: Åbo Akademi University. 87 p.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
2020
Formal model refinement for complex biological systems
Sanwal , M. U., 2020, Åbo, Finland: Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
Model-Based Verification and Testing of Web Services: Functionality, Robustness and Vulnerability Analysis
Siavashi, F., 2020, Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
Performance Exploration and Testing of Web-based Software Systems
Ahmad, T., 7 Dec 2020, Åbo Akademi University. 78 p.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open AccessFile112 Downloads (Pure) -
Target controllability of cancer networks
Kanhaiya, K., 2020, Åbo: Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
2019
A compiler approach to map algebra for raster spatial modeling
Carabaño Bravo, J., 2019, Turku Centre for Computer Science, TUCS.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
2018
Qualitative Methods for Modeling Biochemical Systems and Datasets : The Logicome and the Reaction Systems Approaches
Panchal, C., 2018, Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
2017
Knowledge-Lean Text Mining
Rönnqvist, S., 2017, Åbo Akademi University / TUCS dissertations.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
2016
Efficient and low-cost software defined radio on commodity hardware
Grönroos, S., 2016, Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
Refinement of biomodels using Petri nets
Gratie, D.-E., 2016, Turku Centre for Computer Science (TUCS).Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
2015
Agent-Based Management System for Many-Core Platforms: Rigorous Design and Efficient Implementation
Ostroumov, S., 2015, Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
Formal Modelling for Digital Media Distribution
Sandvik, P., 2015Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
Model-Based Testing of Software Systems: Functionality and Performance
Abbors, F., 2015, Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
File23 Downloads (Pure) -
Quantitative Refinement of Reaction-Based Biomodels
Iancu, B., 2015, Turku: Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
2014
Cost-Efficient Virtual Machine Management: Provisioning, Admission Control, and Consolidation
Ashraf, A., 2014, Turku Centre for Computer Science (TUCS).Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
Scheduling Dynamic Dataflow Graphs with Model Checking
Ersfolk, J., 2014, Turku Centre for Computer Science (TUCS).Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
2011
On the Impact of Rigorous Approaches on the Quality of Development
Olszewska, M., 2011, Åbo Akademi University. 218 p.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
File41 Downloads (Pure) -
2009
Low-Density Parity-Check Codes for Wireless Datacast Networks
Nybom, K., 2009, 161 p.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
-
2007
Model Driven Development of Programmable Architectures
Truscan, D., 17 Mar 2007, Turku: Turku Centre for Computer Science (TUCS).Research output: Types of Thesis › Doctoral Thesis › Monograph
Open AccessFile68 Downloads (Pure) -
2001
Discrete and disjunctive optimization: Parallel strategies and applications in industrial scheduling
Björkqvist, J., 2001, Åbo Akademi University.Research output: Types of Thesis › Doctoral Thesis › Monograph
-
1998
Formal reasoning about distributed algorithms
Walden, M., 1998, Turku: Turku Centre for Computer Science (TUCS).Research output: Types of Thesis › Doctoral Thesis › Collection of Articles