Publications (289)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/3 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 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
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
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
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
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
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 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
D4 Published development or research report or study
Evaluation of the Energy Efficiency of ARM Based Processors for Cloud Infrastructure (2010)
Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
D4 Published development or research report or study
Experimenting with Event-B and Scrum on Student Project Course (2017)
Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf
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
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
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 Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
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
10 | 25 | 50 | 100 
Previous page Previous page1/3 Next page Last page
Share link Export