Publications (305)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page4/7 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
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
Revolutionizing short sea shipping: Positioning report (2015)
Magnus Gustafsson, Tomi Nokelainen, Anastasia Tsvetkova, Kim Wikström
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
10 | 25 | 50 | 100 
First page Previous page4/7 Next page Last page
Share link Export