Publications (305)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page6/13 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
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 page6/13 Next page Last page
Share link Export