Publications (286)

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
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
10 | 25 | 50 | 100 
Previous page Previous page1/6 Next page Last page
Share link Export