Publications (289)

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