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