Publications (304)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page3/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
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
Synchronization in Timed Interactive Systems (2012)
Radu Gramatovici, Luigia Petre, Kaisa Sere, Alin Stefanescu, Gheorghe Stefanescu
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
10 | 25 | 50 | 100 
First page Previous page3/7 Next page Last page
Share link Export