Publications (308)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/4 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
ACCESS TO INFORMATION AND DOCUMENTS AS A HUMAN RIGHT (2014)
Mariya Riekkinen, Markku Suksi
D4 Published development or research report or study
A conservative de Branges-Rovnyak functional model for operator Schur functions on C+ (2017)
Joseph A. Ball, Mikael Kurula, Olof J. Staffans
D4 Published development or research report or study
A Content Scheduling Algorithm for Multimedia Interactive Mobile Games (2008)
M. Mohsin Saleemi, Kristian Nybom, Jerker Björkqvist, Johan Lilius
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
A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
D4 Published development or research report or study
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
D4 Published development or research report or study
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Published development or research report or study
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Walden M
D4 Published development or research report or study
Alcohol consumption and sickness absence: Evidence from panel data (2007)
Johansson Edvard, Böckerman Petri, Uutela Antti
D4 Published development or research report or study
Alcohol mortality, drinking behaviour, and business cycles: are slumps really dry seasons? (2005)
Johansson Edvard, Böckerman Petri, Prättälä Ritva, Uutela Antti
D4 Published development or research report or study
A Methodology for Co-design Based on a Healthcare Case Study (2001)
Petre L, Rönkkö M, Troubitsyna E, Waldén M, Jansson M
D4 Published development or research report or study
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson
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


D4 Published development or research report or study
A Modular Approach to Formal Modelling of Peer-to-Peer Networks (2012)
Petre L, Sandvik P, Sere K
D4 Published development or research report or study
A MOF-Based Metamodel for SA/RT (2003)
Joakim Isaksson, Dragos Truscan, Johan Lilius
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
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
Analysis of Three-Dimensional Nuclear Data on a Transputer-Based Multiprocessor System (1991)
R.J.R. Back, M. Aspnäs, J. Granlund, J. Hattula, R. Julin, A. Lampinen, T. Lonnroth, P. Waxlax,
D4 Published development or research report or study
An Approach to Contract-Based Verification of Simulink Models (2010)
Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik
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 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
An expenditure-based estimation of self-employment income underreporting in Finland (2000)
Edvard Johansson
D4 Published development or research report or study
An Implementation of Escape Analysis for Java (2003)
Jonas Munsin, Johan Lilius
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
A note on the impact of hours worked on mortality in the OECD (2003)
Edvard Johansson
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
A Numerical Model for the Construction of Finite Blaschke Products with Preassigned Distinct Critical Points (2018)
Christer Glader, Ray Pörn
D4 Published development or research report or study
AODVv2: Performance vs. Loop Freedom (2017)
Mojgan Kamali, Massimo Merro, Alice Dal Corso
D4 Published development or research report or study
Approximate robust output regulation of boundary control systems (2017)
Jukka-Pekka Humaloja, Mikael Kurula, Lassi Paunonen
D4 Published development or research report or study
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
Aspnäs M, Back R
D4 Published development or research report or study
Are the Healthier Wealthier or the Wealthier Healthier? The European Evidence (2006)
Skalli Ali, Johansson Edvard, Theodossiou Ioannis
D4 Published development or research report or study
Arvot ja ekosysteemit turkulaisissa organisaatioissa (2019)
Johnny Långstedt, Julius Manninen
Kaupunkitutkimusohjelma. TUTKIMUSKATSAUKSIA
D4 Published development or research report or study
A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool (2009)
Fredrik Abbors, Tuomas Pääjärvi, Risto Teittinen, Dragos Truscan, Johan Lilius
D4 Published development or research report or study
A Software Based Implementation of the DVB-T2 Bit Interleaved Coding and Modulation Transmission Chain (2009)
Kristian Nybom, Jens Sandqvist, Thomas Soininen, Jerker Björkqvist, Johan Lilius
D4 Published development or research report or study
Assessment of the status of the zoobenthos in the coastal waters of western Uusimaa, SW Finland – a tool for management (2016)
Martin Snickars, Anna Arnkil, Jan Ekebom, Lasse Kurvinen, Aija Nieminen, Alf Norkko,
Anu Riihimäki, Tero Taponen, Sebastian Valanko, Markku Viitasalo, Mats Westerbom

D4 Published development or research report or study
A Systematic Mapping Study on Tools for API Documentation Generation (2017)
Kristian Nybom, Adnan Ashraf, Ivan Porres
View on publisher's site
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
A System for Measuring Application Level Quality of Service in a DVB-H Network (2007)
Jerker Björkqvist, Janne Kempe, Kristian Nybom, Michael Stormbom, Raoul Sundsten
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
A Tool for Efficient Combination and Evaluation of Reusable Design Assets (2010)
Johan Ersfolk, Johan Lilius, Torbjörn Lundkvist, Ivan Porres
D4 Published development or research report or study
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
D4 Published development or research report or study
Att sätta kurs mot framtiden: Planeringsförutsättningar och målbilder för hållbar blå tillväxt i Kvarkenområdet (2018)
Örjan Pettersson, Kenneth Nordberg
D4 Published development or research report or study
Baltic Science Network - Learning Experiences (2019)
Paula Lindroos, Sinikka Suomalainen
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
Business models for MTC in 5G (2019)
Anna-Greta Nyström, Wilhelm Barner-Rasmussen, Sofia Essén
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
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuandong Li, Johan Lilius
TUCS Publication Series
D4 Published development or research report or study
Checking Timing Petri Nets for Linear Duration Properties (1999)
Xuandong Li, Johan Lilius
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
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
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
Components vs. Objects (2000)
Petre L
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
Coordination Among Mobile Objects (1998)
Petre L, Sere K
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
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
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
Creating Sequential Programs from Event-B Models (2009)
Pontus Boström
D4 Published development or research report or study
Creative destruction and employee well-being (2009)
Böckerman Petri, Ilmakunnas Pekka, Johansson Edvard
D4 Published development or research report or study
Crouzeix's conjecture holds for a subclass of tridiagonal 3x3 matrices (2017)
Christer Glader, Mikael Kurula, Mikael Lindström
D4 Published development or research report or study
Crouzeix's conjecture holds for tridiagonal 3x3 matrices with elliptic numerical range centered at an eigenvalue (2017)
Christer Glader, Mikael Kurula, Mikael Lindström
D4 Published development or research report or study
Current marine pressures and mechanisms driving changes in marine habitats. Deliverable 1.2, MERCES Project. (2017)
Smith CJ, Dailianis T, Papadopoulou N, Gerovasileiou V, Sevastou K, Grehan A, Billett D , McOwen C, Amaro T, Bakran-Petricioli T, Bekkby T, Bilan M, Boström C, Carriero-Silva M, Carugati L, Cebrian E, Cerrano C, Christie H, Danovaro R, Eronat EGT, Fiorentino D, Fraschetti S, Gagnon K, Gambi C, Hereu B, Kipson S, Kotta J, Linares C, Morato T, Ojaveer H, Orav-Kotta H, Pham CK, Rinde E, Sarà A, Scrimgeour R
D4 Published development or research report or study
Deliberative Mini-Publics: Core Design Features (2019)
David Farrell, Nicole Curato, John S. Dryzek, Brigitte Geißel, Kimmo Grönlund, Sofie Marien, Simon Niemeyer,
Jean-Benoit Pilet, Alan Renwick, Jonathan Rose, Maija Setälä, Jane Suiter

D4 Published development or research report or study
Demokraattiset innovaatiot Suomessa – Käyttö ja vaikutukset paikallisella ja valtakunnallisella tasolla (2016)
Henrik Serup Christensen, Maija Jäske, Maija Setälä, Elias Laitinen
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
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
De nordiske kommunalreformer ; nationale reformstrategier i Danmark, Norge og Finland (2020)
Marie Kjærgaard, Kurt Houlberg, Jens Blom-Hansen, Signy Irene Vabo, Siv Sandberg
D4 Published development or research report or study
Den svenskspråkiga befolkningen i Finland 1990-2040 (2020)
Saarela Jan
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
Developing Control Systems: A Method and a Case Study (2002)
Petre L
D4 Published development or research report or study
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
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
Digital Skills in Finnish Public Libraries to Engage in the National Operating Model for Digital Support for Citizens (2019)
Anu Ojaranta, Päivi Litmanen-Peitsala
D4 Published development or research report or study
Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999)
Ivan Porres Paltor, Johan Lilius
D4 Published development or research report or study
Distributed Object-Based Control Systems (1999)
Petre L, Qvist M, Sere K
D4 Published development or research report or study
Distributed Virtual Machine Consolidation: A Systematic Mapping Study (2016)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Does education shield against common mental disorders? (2009)
Johansson Edvard, Böckerman Petri, Martelin Tuija, Pirkola Sami, Poikolainen Kari
D4 Published development or research report or study
Does Finland suffer from brain drain? (2008)
Edvard Johansson
D4 Published development or research report or study
Does physical capacity explain the height premium? (2010)
Böckerman Petri, Johansson Edvard, Kiiskinen Urpo, Heliövaara Markku
D4 Published development or research report or study
Dos and don'ts of 360° in media content (2018)
Susanne Hägglund, Joachim Majors
D4 Published development or research report or study
Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time (2017)
Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Economic inequality and health: looking beyond aggregate indicators (2007)
Petri Böckerman, Edvard Johansson, Satu Helakorpi, Antti Uutela
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
Efficient Implementations of Multi-Process Handshaking on Broadcasting Networks (1989)
M. Aspnäs M, R. J. R Back R, R. Kurki-Suonio
D4 Published development or research report or study
Elevvården på andra stadiet: en utredning av elevvården och tryggheten i studiemiljön (2003)
Carola Bryggman, Susanne Sperring
D4 Published development or research report or study
Eliten è liten, men växer : förändrade perspektiv på elitidrott (2007)
Mikael Lindfelt
D4 Published development or research report or study
Employer of Last Resort?: Who Makes the Transition from Unemployment to Self-Employment? (2001)
Edvard Johansson
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
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
En helhetsbild av Lumparn-områdets status (2017)
F. K. J. Eveleens Maarse
D4 Published development or research report or study
Ensuring Correctness of Network Services with MIDAS (2009)
Petre L, Sere K, Waldén M
D4 Published development or research report or study
Esi- ja perusopetuksen opetussuunnitelmajärjestelmän toimivuus (2010)
Katriina Sulonen, Ria Heilä-Ylikallio, Niina Junttila, Pia Kola-Torvinen, Tuula Laine, Eero Ropo, Markku Suortamo, Gunnel Knubb-Manninen, Esko Korkeakoski
D4 Published development or research report or study
Essential fish habitats (EFH): Conclusions from a workshop on the importance, mapping, monitoring, threats and conservation of coastal EFH in the Baltic Sea (2016)
Patrik Kraufvelin, Zeynep Pekcan-Hekim, Ulf Bergström, Ann-Britt Florin, Annukka Lehikoinen, Johanna Mattila, Jens Olsson
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
Eurooppalaiset hallintojärjestelmät vertailussa (2016)
Pekka Kettunen, Siv Sandberg, Cecilia Fredriksson
D4 Published development or research report or study
European Semester 2017/2018 country fiche on disability: Finland (2017)
Katja Valkama, Hisayo Katsui, Teppo Kröger
10 | 25 | 50 | 100 
Previous page Previous page1/4 Next page Last page
Share link Export

Share link