Publications (308)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page2/4 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
Evaluation of the Energy Efficiency of ARM Based Processors for Cloud Infrastructure (2010)
Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
D4 Published development or research report or study
Experimenting with Event-B and Scrum on Student Project Course (2017)
Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf
D4 Published development or research report or study
Explicit bound for the number of primes in arithmetic progressions assuming the Generalized Riemann Hypothesis (2020)
Anne-Maria Ernvall-Hytönen, Neea Palojärvi
D4 Published development or research report or study
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Feedback theory extended for proving generation of contraction semigroups (2014)
Mikael Kurula, Hans Zwart
D4 Published development or research report or study
Finland Report: Sustainable Governance Indicators 2019 (2019)
Anckar Carsten, Kuitto Kati, Oberst Christop, Jahn Detlef
Bertelsmann Stiftung
View on publisher's site
D4 Published development or research report or study
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie, Ion Petre
D4 Published development or research report or study
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
D4 Published development or research report or study
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Published development or research report or study
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D4 Published development or research report or study
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Published development or research report or study
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Formally Analyzing Proactive, Distributed Routing (2014)
Mojgan Kamali, Maryam Kamali, Luigia Petre
D4 Published development or research report or study
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Published development or research report or study
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Published development or research report or study
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006)
Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
D4 Published development or research report or study
Forsknings- & kompetenssatsning inom utbildningsvetenskap vid Umeå universitet 2009-2016. Extern evaluering (2015)
Anders Ahrnqvist, Sven-Erik Hansén, Lena Tibell
D4 Published development or research report or study
From Act to Action Implementing Language Legislation in Finland, Ireland and Wales. (2014)
Peadar Ó Flathartar, Siv Sandberg, Colin H.Williams
D4 Published development or research report or study
Från opinion till deliberation (2008)
Marina Lindell
D4 Published development or research report or study
Full Structural Model Refinement as Type Refinement of Colored Petri Nets (2015)
Diana-Elena Gratie, Ion Petre
D4 Published development or research report or study
Fundamental rights in the institutions and instruments of the Area of Freedom, Security and Justice (2014)
Viljam Engström, Mikaela Heikkilä
D4 Published development or research report or study
Future youth information and counselling: Building on information needs and trends (2018)
Muhaimin Karim, Gunilla Widén
D4 Published development or research report or study
Förekomsten av toxiska blågrönalger i Åländska insjöar (1988)
Diana Toivola, John Eriksson, Jussi Meriluoto
D4 Published development or research report or study
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Published development or research report or study
Generating Test Cases from Scenario-Based Formal Development (2008)
Qaisar A. Malik, Johan Lilius,Linas Laibinis
D4 Published development or research report or study
Generating the Logicome from Microarray Data (2017)
Charmi Panchal, Vladimir Rogojin
D4 Published development or research report or study
Generating the Logicome of a Biological Network (2015)
Charmi Panchal, Sepinoud Azimi, Ion Petre
D4 Published development or research report or study
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
D4 Published development or research report or study
Globalization and the human rights of women (2002)
Katarina Frostell
D4 Published development or research report or study
Grundkartering och bedömning av vattentäktspotential i fem åländska sjöar (2017)
Hans-Peter Huhtala
D4 Published development or research report or study
Havet som kommunal angelägenhet - Planeringsförutsättningar i kommunerna kring Kvarken. (2014)
Örjan Pettersson, Kjell Andersson
D4 Published development or research report or study
Heritability of lifetime income (2013)
Ari Hyytinen, Pekka Ilmakunnas, Edvard Johansson, Otto Toivanen
D4 Published development or research report or study
Human rights of women (2006)
Katarina Frostell
D4 Published development or research report or study
Hur hanteras två- och flerspråkigheten i de svenskspråkiga skolorna? Resultat av en utvärdering i åk 1–6 läsåret 2017–2018 (2019)
Jan Hellgren, Chris Silverström, Laura Lepola, Liselott Forsman, Anna Slotte
D4 Published development or research report or study
Improved Recovery for Proactive, Distributed Routing (2015)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
D4 Published development or research report or study
Impulse control and expected suprema (2015)
Sören Christensen, Paavo Salminen
D4 Published development or research report or study
Inclusion of the Elderly in Social and Cultural Life: Experiences from Service Institutions (2015)
Mariya Riekkinen
Turku Urban Research Programme. Research briefings
D4 Published development or research report or study
Inclusive WASH Activities in the Global South (2016)
Nathaly Guzmán, Sari Huuhtanen, Hisayo Katsui, Niina Kilpelä, Mari Koistinen, Kirsti Pesola, Tuomas Tuure
D4 Published development or research report or study
Innovative work practices and sickness absence: what does a nationally representative employee survey tell? (2009)
Petri Böckerman, Edvard Johansson, Antti Kauhanen
D4 Published development or research report or study
Institutionalisation and quality of life for elderly people in Finland (2011)
Böckerman Petri, Johansson Edvard, Saarni Samuli I.
D4 Published development or research report or study
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
D4 Published development or research report or study
Integration i projektform - en kartläggning av integrationsprojekt i Svenskfinland (2017)
Linda Bäckman
D4 Published development or research report or study
Irreversible Investment under Lévy Uncertainty: an Equation for the Optimal Boundary (2014)
Giorgio Ferrari, Paavo Salminen
D4 Published development or research report or study
Itämeren hiekkarantojen ja dyynien hoito - Vård av Östersjöns sandstränder och dyner (2014)
Ryttäri Terhi, Heiskala Katri, Kekäläinen Hannele, Koskela Kasper, von Numers Mikael, Rinkineva-Kantola Leena, Syrjänen Kimmo
D4 Published development or research report or study
Job satisfaction in Finland: Some results from the European Community household panel 1996-2001 (2004)
Edvard Johansson
D4 Published development or research report or study
Johan Gadolin Process Chemistry Centre annual report 2014-2015 (2015)
Hanna Lindqvist, Anders Brink, Rose-Marie Latonen, Päivi Mäki-Arvela, Tiina Saloranta, Anna Sundberg
D4 Published development or research report or study
Johan Gadolin Process Chemistry Centre at Åbo Akademi University : annual report 2015-2016 (2016)
Otto Långvik, Rose-Marie Latonen, Päivi Mäki-Arvela, Tiina Saloranta, Anna Sundberg, Johan Werkelin
D4 Published development or research report or study
Kansalaisosallistumisen uudet muodot ja vaikuttavuus (2018)
Maija Jäske, Lauri Rapel
D4 Published development or research report or study
Kan vi stå till tjänst?: Integration på svenska i Finland (2015)
Mika Helander, Teikari Karoliina, Pötzsch Tobias, Sundbäck Liselott, Kosova Magdalena, Airas Isabel
Svenska kulturfonden
D4 Published development or research report or study
Kartering och habitatklassificering av undervattensmiljön i Lumparn  (2018)
Linn Engström
D4 Published development or research report or study
Kelluvat kunnat. Reaaliaikainen arviointitutkimus sote- ja maakuntauudistuksen ja
tulevaisuuden kunnan valmistelusta
(2017)
Stenvall Jari, Vakkala Hanna, Sandberg Siv
D4 Published development or research report or study
Kielikylpyperheet valokeilassa. Taustat ja odotukset. (2007)
Mari Bergroth
D4 Published development or research report or study
Klasslärares uppfattningar om fortbildningsbehovet i naturvetenskapliga läroämnen (2015)
Ann-Catherine Henriksson
D4 Published development or research report or study
Kommuninvånarenkäten i Närpes 2019: Resultatrapport (2019)
Thomas Karv, Kim Strandberg
D4 Published development or research report or study
Kotimaisten kielten kielikylpy (2015)
Bergroth Mari
D4 Published development or research report or study
Kunnallisten luottamushenkilöiden ajankäyttö vuosina 1995-2015 (2016)
Siv Sandberg
D4 Published development or research report or study
Kuntapäättäjien kokemukset häirinnästä ja uhkailusta vuonna 2015 (2016)
Siv Sandberg
D4 Published development or research report or study
Legal and Institutional Framework Analysis: Sweden Finnish and Meänkieli in Sweden. (2012)
Öst Heidi
D4 Published development or research report or study
Linear wave systems on n-D spatial domains (2014)
Mikael Kurula, Hans Zwart
D4 Published development or research report or study
Long-term Care in Finland. (2010)
Edvard Johansson
D4 Published development or research report or study
Maahanmuuttoasenteet Turun pienalueilla (2016)
Staffan Himmelroos, Mikko Leino
D4 Published development or research report or study
Mapping Marine Natura 2000 habitats in Åland - Final report (2019)
Henna Rinne, Charlotta Björklund, Jyrki Hämäläinen, Maija Häggblom, Sonja Salovius-Laurén
D4 Published development or research report or study
MAYO raportti helmikuu 2017. Tutkimus personoiduista uutisista,Yle ja Omni (2017)
Joachim Majors, Jonna Elomaa, Joachim Högväg
D4 Published development or research report or study
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Mentala gränshinder.: En studie av hur norska och svenska företagare erfar och uppfattar arbete över gränsen (2018)
Fredrik Nilsson, Anna Palmehag, Anna Eriksson, Sofi Koverberg, Carl Hassellöf
D4 Published development or research report or study
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Published development or research report or study
Mistä aineksista hyvä päätöksentekoilmapiiri syntyy? (2019)
Siv Sandberg
D4 Published development or research report or study
Mitä Sipilä oikeastaan sanoi tv-puheessaan? (2015)
Kimmo Elo
D4 Published development or research report or study
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Published development or research report or study
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Published development or research report or study
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Published development or research report or study
Model-Based Performance Testing Using the MBPeT Tool (2013)
Tanwir Ahmad, Fredrik Abbors, Dragos Truscan, Ivan Porres
D4 Published development or research report or study
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
D4 Published development or research report or study
Modular Verification of Finite Blocking in Non-terminating Programs (2014)
Pontus Boström, Peter Müller
View on publisher's site
D4 Published development or research report or study
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
D4 Published development or research report or study
Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (2016)
Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre
D4 Published development or research report or study
NetControl4BioMed: A pipeline for biomedical data acquisition and analysis of network controllability (2016)
Krishna Kanhaiya, Vladimir Rogojin, Keivan Kazemi, Eugen Czeizler, Ion Petre
D4 Published development or research report or study
NetControl4BioMed – Automated discovery of combined drug therapy (2016)
Vladimir Rogojin, Keivan Kazemi, Krishna Kanhaiya, Eugen Czeizler, Ion Petre
D4 Published development or research report or study
NoTA (Sub)System Specification Guidelines (2008)
Karlå M, Lilius J, Lindqvist J, Porres I, Truscan D, Eriksson T, Latva-Aho A, Rakkola J
D4 Published development or research report or study
Näkökulmia kulttuuripolitiikan vaikuttavuuteen.: Cuporen työpapereita. (2016)
Pekka Kettunen
Cupore
D4 Published development or research report or study
Oberon Animation System; Users Guide (1995)
Solin U, Aspnäs M
D4 Published development or research report or study
OB(PN)² : An Object Based Petri Net Programming Notation (1999)
Johan Lilius
D4 Published development or research report or study
Olympic OWA Operators for Modeling Group Decisions (2009)
Matteo Brunelli, Robert Fullér, József Mezei
D4 Published development or research report or study
On exponential functionals for processes with independent increments (2016)
Paavo Salminen, Ljudmila Vostrikova
D4 Published development or research report or study
On exponential functionals of processes with independent increments (2016)
Paavo Salminen, Lioudmila Vostrikova
D4 Published development or research report or study
On first exit times and their means for Brownian bridges (2017)
Christel Geiss, Antti Luoto, Paavo Salminen.
D4 Published development or research report or study
Online Testing of the ÅBOT Game Server Using the Qtronic Tool (2008)
Liu X, Truscan D, Lilius J
D4 Published development or research report or study
On optimal stopping of multidimensional diffusions (2016)
Sören Christensen, Fabian Crocce, Ernesto Mordecki, Paavo Salminen
D4 Published development or research report or study
On the explicit upper and lower bounds for the number of zeros of the Selberg class (2017)
Neea Palojärvi
D4 Published development or research report or study
On τ-Li-type criterion and explicit zero-free regions in the critical strip (2018)
Neea Palojärvi
10 | 25 | 50 | 100 
First page Previous page2/4 Next page Last page
Share link Export