Publications (289)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/6 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
Å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
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
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
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
Why some entrepreneurs must rely on angels (1996)
Tom Berglund, Edvard Johansson
D4 Published development or research report or study
Who Is Responsible for Corporate Human Rights Violations? (2002)
Viljam Engström
D4 Published development or research report or study
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Vems hav, vems vilja?: Havsplanering och deltagande i Kvarkenområdet (2018)
Kenneth Nordberg, Örjan Pettersson
D4 Published development or research report or study
Vedenalaisten Natura-luontotyyppien mallinnus Suomen merialueella (2018)
Henna Rinne, Anu Kaskela
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
Vaikuttavuuden arviointi sosiaali- ja terveydenhuollon palveluissa (2017)
Pekka Kettunen
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
Utvärdering av Svenska bildningstjänster i Esbo (2016)
Henriksson Linnéa
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
Upphörande av demokratisk diffusion: Komparativ pilotstudie (2016)
Sarah Lehtinen
D4 Published development or research report or study
Uppaal vs Event-B for Modelling Optimised Link State Routing (2016)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Undersökning av förekomsten av toxiska blågrönalger i Långsjön och Markusbölefjärden (1989)
Diana Toivola, Jussi Meriluoto, John Eriksson
D4 Published development or research report or study
UML-driven TTA-based protocol processor design (2003)
Johan Lilius, Dragos Truscan
D4 Published development or research report or study
Työolot ja tuottavuus: Työpaikkavirtojen nosteessa vai puristuksessa? (2008)
Pekka Ilmakunnas, Edvard Johansson, Mika Maliranta
D4 Published development or research report or study
Två förvaltningsspråk (2012)
Linnéa Henriksson
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
Two Cases of Data Overflow in the Protein Sequencing Program BLASTPGP (2007)
Kristoffer Osowski, Jan Westerholm, Mats Aspnäs
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
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
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
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
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
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 a Formal Definition of Model Driven Development (2007)
Johan Lilius, Ian Oliver
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
Tool Support for DFD to UML Model-Based Transformations (2003)
Dragos Truscan, João Miguel Fernandes, Johan Lilius
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
Toisen aallon vapaakunta- ja normipurkukokeilut Tanskassa ja Norjassa. (2014)
Siv Sandberg
D4 Published development or research report or study
Toimivat mielenterveys- ja päihdepalvelut (2018)
Kristian Wahlbeck, Outi Hietala, Lauri Kuosmanen, David McDaid, Juha Mikkonen, Johannes Parkkonen, Kaarina Reini, Samuel Salovuori, Jouni Tourunen
D4 Published development or research report or study
Timing in the Presence of Directional Predictability: Optimal Stopping of Skew Brownian Motion (2016)
Luis H. R. Alvarez E., Paavo Salminen
D4 Published development or research report or study
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
The Uva Virtual Machine (2003)
Dan Österberg, Johan Lilius
D4 Published development or research report or study
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
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
The Protection of Vulnerable Individuals in the Context of EU Policies on Border Checks, Asylum and Immigration: FRAME Research Report (2016)
Maija Mustaniemi-Laakso, Mikaela Heikkilä, Eleonora Del Gaudio, Sotiris Konstantis, Maria Nagore Casas, Dolores Morondo, Venkatachala G. Hegde, Graham Finlay
D4 Published development or research report or study
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Published development or research report or study
The Political Economy of Austerity and Human Rights Law (2016)
Viljam Engström
Institute for Human Rights Working Paper Series
D4 Published development or research report or study
The physical strenuousness of work is slightly associated with an upward trend in the body mass index (2007)
Petri Böckerman, Edvard Johansson, Pekka Jousilahti, Antti Uutela
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
Thematic Study on Child Trafficking: National Study on Finland (2009)
Krista Orama, Maija Mustaniemi-Laakso, Martin Scheinin
D4 Published development or research report or study
The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report) (1989)
M. Aspnäs, R.J.R. Back, K. Sere
10 | 25 | 50 | 100 
Previous page Previous page1/6 Next page Last page
Share link Export