Publications (290)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page2/3 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
Long-term Care in Finland. (2010)
Edvard Johansson
D4 Published development or research report or study
Retraction patterns and self-repair in German and Swedish prepositional phrases (2010)
Sofie Henricson, Camilla Lindholm, Karin Birkner, Martin Pfeiffer
D4 Published development or research report or study
Världsarv i samverkan?: Förvaltningsutredning 2010. Världsarvet Höga Kusten / Kvarkens skärgård (2010)
Kristina Svels
D4 Published development or research report or study
Analysis of an RVC-CAL MPEG-4 Simple Profile Decoder (2011)
Fareed Jokhio, Andreas Dahlin, Johan Ersfolk, Johan Lilius
D4 Published development or research report or study
A System Level Power Management for Web Clusters (2011)
Sébastien Lafond, Simon Holmbacka, Johan Lilius
IRIT Institut de Recherche en Informatique de Toulouse
D4 Published development or research report or study
Combining Visual Customer Segmentation and Response Modeling (2011)
Yao Zhiyuan, Sarlin Peter, Eklund Tomas, Back Barbro
D4 Published development or research report or study
En- eller tvåspråkiga lösningar? Om språkliga konsekvenser vid sammanslagningar (2011)
Henriksson Linnéa
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
Reforming a Network Industry: Consequences for Cost Efficiency and Welfare (2011)
Willner Johan, Grönblom Sonja
D4 Published development or research report or study
Simulink-Specific Design Quality Metrics (2011)
Marta Olszewska (Pląska)
D4 Published development or research report or study
Sustainable bio-economy: potential, challenges and opportunities in Finland (2011)
Magnus Gustafsson, Robert Stoor, Anastasia Tsvetkova
D4 Published development or research report or study
Wisdom Working group: Report on Sense-scape Workshop 'Sensing the Wisdom that Sits' (2011)
Walters Victoria and Jaana Kouri
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
Two Images of the Human Rights Committee and the "problem" of expertization (2012)
Viljam Engström
D4 Published development or research report or study
Två förvaltningsspråk (2012)
Linnéa Henriksson
D4 Published development or research report or study
An Integrated Approach to Design and Validate REST Web Service Compositions (2013)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
D4 Published development or research report or study
Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
D4 Published development or research report or study
Creating opportunities in the mining industry (2013)
Olga Perminova, Mikael von Hertzen, Jenni Junnelius
PBI Research Institute
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
Heritability of lifetime income (2013)
Ari Hyytinen, Pekka Ilmakunnas, Edvard Johansson, Otto Toivanen
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
Programming by Construction (2013)
Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre
D4 Published development or research report or study
Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata (2013)
Mehdi Nobakht, Dragos Truscan
D4 Published development or research report or study
Turku Centre for Computer Science, Annual Report 2012 (2013)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Published development or research report or study
ACCESS TO INFORMATION AND DOCUMENTS AS A HUMAN RIGHT (2014)
Mariya Riekkinen, Markku Suksi
D4 Published development or research report or study
A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
D4 Published development or research report or study
An Assessment of the Semiotic Interface Sign Design and Evaluation (SIDE) Framework (2014)
Muhammad Nazrul Islam, Harry Bouwman
D4 Published development or research report or study
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development (2014)
Masoumeh Parsa, Marina Walden,Colin Snook
D4 Published development or research report or study
Complexity of Model Checking for Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
D4 Published development or research report or study
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
D4 Published development or research report or study
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (2014)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
D4 Published development or research report or study
Den andra vågens försök med frikommuner och normuppluckring i Danmark och Norge. (2014)
Siv Sandberg
D4 Published development or research report or study
Dependency Graphs and Mass Conservation in Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre
D4 Published development or research report or study
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova
D4 Published development or research report or study
Did It Actually Go This Well? A Large-Scale Case Study on an Agile Transformation (2014)
Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
D4 Published development or research report or study
Differentiablity of excessive functions of one-dimensional diffusions and the principle of smooth fit (2014)
Paavo Salminen, Bao Quoc Ta
D4 Published development or research report or study
Energy and Power Management, Measurement and Analysis for Multi-Core Processors (2014)
Simon Holmbacka, Fredric Hällis, Wictor Lund, Sébastien Lafond, Johan Lilius
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
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 Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
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
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
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
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
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
Linear wave systems on n-D spatial domains (2014)
Mikael Kurula, Hans Zwart
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
Reducing inequalities: A human rights-based approach in Finland's development cooperation with special focus on gender and disability - a case study on Ethiopia and Kenya (2014)
Hisayo Katsui, Eija M. Ranta, Sisay A. Yeshanew, Godfrey M. Musila, Maija Mustaniemi-Laakso, Alessandra Sarelin
D4 Published development or research report or study
Report on Future Strategy of Open Access (2014)
Yrsa Neuman, Hugo Strandberg, Martin Gustafsson, Alois Pichler
D4 Published development or research report or study
Report on the positive and negative human rights impacts of non-state actors: Work Package No. 7 – Deliverable No. 7.1. Fostering Human Rights among European Policies (FRAME) (2014)
Nicolas David, Mary Dowell-Jones, Mary Footer, Jeffrey Kenner, Maija Mustaniemi-Laakso, Aoife Nolan, Petr Pribyla
D4 Published development or research report or study
Riesz representation and optimal stopping with two case studies (2014)
Sören Christensen, Paavo Salminen
D4 Published development or research report or study
R/V Muikun tutkimukset Turun edustan merialueella – yhteenvetoraportti vuosilta 2012–2013 (2014)
Juha Niemi, Piia Leskinen, Olli-Pekka Mäki, Jussi Laaksonlaita, Julia Talvitie, Outi Setälä, Irma Puttonen, Tuula Kohonen, Johanna Mattila
D4 Published development or research report or study
Sulfaattimailla syntyvän happaman kuormituksen ennakointi- ja hallintamenetelmät – SuHE-hankkeen loppuraportti (2014)
Hadzic Mirkka, Postila Heini, Österholm Peter, Nystrand Miriam, Pahkakangas Saila, Karppinen Anssi, Arola Minna, Nilivaara-Koskela Ritva, Häkkilä Kati, Saukkoriipi Jaakko, Kunnas Susan, Ihme Raimo
D4 Published development or research report or study
The right to freedom of religion or belief in Turkey: monitoring report January-June 2013 (2014)
Mine Yildirim
D4 Published development or research report or study
Toisen aallon vapaakunta- ja normipurkukokeilut Tanskassa ja Norjassa. (2014)
Siv Sandberg
D4 Published development or research report or study
Tool Support for Automated Workload Model Creation from Web Server Logs (2014)
Ferdrik Abbors, Dragos Truscan, Tanwir Ahmad
D4 Published development or research report or study
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D4 Published development or research report or study
Turku Centre for Computer Science, Annual Report 2013 (2014)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Published development or research report or study
Åbo Akademi Process Chemistry Centre : Annual report 2013-2014 (2014)
Hanna Lindqvist, Anders Brink, Rose-Marie Latonen, Päivi Mäki-Arvela, Anna Sundberg
D4 Published development or research report or study
Administrative Detention of Migrants in the District Court of Helsinki (2015)
Aleksi Seilonen, Magdalena Kmak
D4 Published development or research report or study
Analysis and Transcoding Time Prediction of Online Videos (2015)
Tewodros Deneke, Sebastien Lafond, Johan Lilius
D4 Published development or research report or study
An Excursion Through Quantitative Model Refinement (2015)
Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
D4 Published development or research report or study
A Systematic Review of API Usability Evaluation Methods (2015)
Irum Rauf, Ivan Porres
D4 Published development or research report or study
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
D4 Published development or research report or study
Cancerpatienter och användningen av journal via nätet (2015)
Hanife!Rexhepi, Åsa!Cajander, Rose>Mharie!Åhlfeldt, Isto!Huvila
D4 Published development or research report or study
Complete Characterization for the Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2015)
Cristian Gratie, Ion Petre
D4 Published development or research report or study
Demokratiaindikaattorit 2015 (2015)
Borg Sami, Kestilä-Kekkkonen Elina, Westinen Jussi
Ministry of Justice, Finland
D4 Published development or research report or study
Eduskuntavaalit sähköistivät Twitterin (2015)
Kimmo Elo, Niko Hatakka
D4 Published development or research report or study
Eurofound (2015), Families in the economic crisis: Changes in policy measures in the EU (2015)
Daphne Ahrendt, Sonja Blum, Chiara Crepaldi, Katrin Gasior, Joanna Napierala, Eszter Sandor, Olaf Kapella, Christiane Rille-Pfeiffer, Maria Stratigaki, Nelli Kambouri, Elvira Gonzalez Gago, Marcelo Segales Kirzner, Mikael Nygård, Jessica Borg, Daniela Mesini, Marcella Sala, Margherita Barberio, Ilze Trapenciere, Irena E. Kotowska, Joanna Szczepaniak-Sienniak, Dorota Szelewa, Karin Wall, Sónia Correia, Tatjana Rakar, Mary Daly, Zlata Bruckhauf
View on publisher's site
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
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
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
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
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
Generating the Logicome of a Biological Network (2015)
Charmi Panchal, Sepinoud Azimi, Ion Petre
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
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
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
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
Klasslärares uppfattningar om fortbildningsbehovet i naturvetenskapliga läroämnen (2015)
Ann-Catherine Henriksson
D4 Published development or research report or study
Kotimaisten kielten kielikylpy (2015)
Bergroth Mari
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
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
D4 Published development or research report or study
Positioning report: Analysis of the current shipping industry structure
 and a vision for a renewed shipping industry ecosystem (2015)
Magnus Gustaffson, Anastasia Tsvetkova, Maria Ivanova-Gongne, Anu Keltaniemi, Tomi Nokelainen, Victor Sifontes Herrera
D4 Published development or research report or study
Reaction Systems Models for the Self-Assembly of Intermediate Filaments (2015)
Sepinoud Azimi, Charmi Panchal, Eugen Czeizler, Ion Petre
D4 Published development or research report or study
Report critically assessing human rights integration in AFSJ policies.: Large Scale FP7 Collaborative Project GA No. 320000 FRAME, Work Package No. 11 - Deliverable No. 2 (2015). (2015)
Mikaela Heikkilä, Maija Mustaniemi-Laakso, Suzanne Egan, Graham Finlay, Tamara Lewis, Julia Planitzer, Helmut Sax, Lisa Maria Heschl, Stefan Salomon
D4 Published development or research report or study
Review of environmental factors influencing distributions of selected Baltic species (2015)
Temming Axel, Niemax J, Zaiko Anastasija, Siaulys Andrius, Törnroos Anna, Clemmesen Catriona, Jaspers Cornelia, Oesterwind Daniel, Bonsdorff Erik, Mittermayer Felix, Kuosa Harry, Ojaveer Henn, Behrens Jane, Peters Janna, Renz Jasmin, Kotta Jonna, Dutz Jörg, Lehtiniemi Maiju, Winder Monika, Setälä Outi, Kotterba Paul, Puntila Riikka and Neuenfeldt Stefan
View on publisher's site
D4 Published development or research report or study
The Organisation of Services of General Interest in Finland (2015)
Johan Willner, Sonja Grönblom
CIRIEC
D4 Published development or research report or study
Towards a Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden
D4 Published development or research report or study
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces (2015)
Iqbal J, Truscan D, Vain J, Porres I
D4 Published development or research report or study
Utvärdering av forskningskontrakten vid Umeå universitet 2015: utvärderingsgruppens rapport oktober 2015 (2015)
Karl-Eric Magnusson, Anders Malmberg, Sara Andersson, Olle Stendahl,
Peter Aronsson, Ann-Mari Svennerholm, Astrid Gräslund, Michael Uljens,
Carin Holmquist, Björn Wittrock

D4 Published development or research report or study
Uusi paikallisuus -hanke ja keskusteleva demokratia (2015)
Peter Ehrström
D4 Published development or research report or study
Vanhusten osallistaminen sosiaaliseen ja kulttuurielämään: kokemuksia
palveluasumisesta
(2015)
Mariya Riekkinen
Kaupunkitutkimusohjelma. TUTKIMUSKATSAUKSIA
D4 Published development or research report or study
Ammatillisten perustutkintojen perusteiden uudistamisprosessin arviointi (2016)
Mäkelä Leena, Herranen Jatta, Koivisto Jukka, Kurvonen Lauri, Lehto Seija, Nordström Soila, Sandberg Siv, Kamppi Päivi, Rumpu Niina, Saarinen Jaana


10 | 25 | 50 | 100 
First page Previous page2/3 Next page Last page
Share link Export