Publikationer (305)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/13 Nästa sida Sista sidan
A Å B C D E F G H I J K L M N O P Q R S T U V W Alla 
D4 Publicerad utvecklings- eller forskningsrapport eller studie
ACCESS TO INFORMATION AND DOCUMENTS AS A HUMAN RIGHT (2014)
Mariya Riekkinen, Markku Suksi
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A conservative de Branges-Rovnyak functional model for operator Schur functions on C+ (2017)
Joseph A. Ball, Mikael Kurula, Olof J. Staffans
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Content Scheduling Algorithm for Multimedia Interactive Mobile Games (2008)
M. Mohsin Saleemi, Kristian Nybom, Jerker Björkqvist, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Administrative Detention of Migrants in the District Court of Helsinki (2015)
Aleksi Seilonen, Magdalena Kmak
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Walden M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Alcohol consumption and sickness absence: Evidence from panel data (2007)
Johansson Edvard, Böckerman Petri, Uutela Antti
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
A MOF-Based Metamodel for SA/RT (2003)
Joakim Isaksson, Dragos Truscan, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Analysis and Transcoding Time Prediction of Online Videos (2015)
Tewodros Deneke, Sebastien Lafond, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Analysis of an RVC-CAL MPEG-4 Simple Profile Decoder (2011)
Fareed Jokhio, Andreas Dahlin, Johan Ersfolk, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
An Approach to Contract-Based Verification of Simulink Models (2010)
Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Assessment of the Semiotic Interface Sign Design and Evaluation (SIDE) Framework (2014)
Muhammad Nazrul Islam, Harry Bouwman
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
An expenditure-based estimation of self-employment income underreporting in Finland (2000)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Implementation of Escape Analysis for Java (2003)
Jonas Munsin, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Integrated Approach to Design and Validate REST Web Service Compositions (2013)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A note on the impact of hours worked on mortality in the OECD (2003)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development (2014)
Masoumeh Parsa, Marina Walden,Colin Snook
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/13 Nästa sida Sista sidan
Dela länk