Publikationer (290)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Första sidan Föregående sida2/6 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
The Uva Virtual Machine (2003)
Dan Österberg, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Tool Support for DFD to UML Model-Based Transformations (2003)
Dragos Truscan, João Miguel Fernandes, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
UML-driven TTA-based protocol processor design (2003)
Johan Lilius, Dragos Truscan
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Job satisfaction in Finland: Some results from the European Community household panel 1996-2001 (2004)
Edvard Johansson
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
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Optimisation-based black-box testing of assertions in Simulink models (2005)
Pontus Boström, Jerker Björkqvist
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Simulations of human cannabinoid receptor model and bovine rhodopsin (2005)
Käsnänen H, Salo OM, Lahtela-Kakkonen M, Poso A
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
Are the Healthier Wealthier or the Wealthier Healthier? The European Evidence (2006)
Skalli Ali, Johansson Edvard, Theodossiou Ioannis
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006)
Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Human rights of women (2006)
Katarina Frostell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Rialto 2.0: A Language for Heterogenous Computing (2006)
Lilius J, Morel L
Turku Centre for Computer Science
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
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 Publicerad utvecklings- eller forskningsrapport eller studie
Economic inequality and health: looking beyond aggregate indicators (2007)
Petri Böckerman, Edvard Johansson, Satu Helakorpi, Antti Uutela
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Eliten è liten, men växer : förändrade perspektiv på elitidrott (2007)
Mikael Lindfelt
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Kielikylpyperheet valokeilassa. Taustat ja odotukset. (2007)
Mari Bergroth
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Quality Comparison and Evaluation of Digital Hydraulic Control Systems (2007)
Marta Pląska, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Testable specifications of NoTA-based modular embedded systems (2007)
Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The effect of obesity on wages and employment: The difference between having a high BMI and being fat (2007)
Edvard Johansson, Petri Böckerman, Urpo Kiiskinen, Markku Heliövaara
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The physical strenuousness of work is slightly associated with an upward trend in the body mass index (2007)
Petri Böckerman, Edvard Johansson, Pekka Jousilahti, Antti Uutela
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards a Formal Definition of Model Driven Development (2007)
Johan Lilius, Ian Oliver
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Two Cases of Data Overflow in the Protein Sequencing Program BLASTPGP (2007)
Kristoffer Osowski, Jan Westerholm, Mats Aspnäs
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
Does Finland suffer from brain drain? (2008)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Från opinion till deliberation (2008)
Marina Lindell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generating Test Cases from Scenario-Based Formal Development (2008)
Qaisar A. Malik, Johan Lilius,Linas Laibinis
D4 Publicerad utvecklings- eller forskningsrapport eller studie
NoTA (Sub)System Specification Guidelines (2008)
Karlå M, Lilius J, Lindqvist J, Porres I, Truscan D, Eriksson T, Latva-Aho A, Rakkola J
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Online Testing of the ÅBOT Game Server Using the Qtronic Tool (2008)
Liu X, Truscan D, Lilius J
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Canals Language and its Compiler (2008)
Dahlin A, Ersfolk J, Habli GYH, Lilius J
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Työolot ja tuottavuus: Työpaikkavirtojen nosteessa vai puristuksessa? (2008)
Pekka Ilmakunnas, Edvard Johansson, Mika Maliranta
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Creating Sequential Programs from Event-B Models (2009)
Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Creative destruction and employee well-being (2009)
Böckerman Petri, Ilmakunnas Pekka, Johansson Edvard
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Does education shield against common mental disorders? (2009)
Johansson Edvard, Böckerman Petri, Martelin Tuija, Pirkola Sami, Poikolainen Kari
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Ensuring Correctness of Network Services with MIDAS (2009)
Petre L, Sere K, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Innovative work practices and sickness absence: what does a nationally representative employee survey tell? (2009)
Petri Böckerman, Edvard Johansson, Antti Kauhanen
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Olympic OWA Operators for Modeling Group Decisions (2009)
Matteo Brunelli, Robert Fullér, József Mezei
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Thematic Study on Child Trafficking: National Study on Finland (2009)
Krista Orama, Maija Mustaniemi-Laakso, Martin Scheinin
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
A Tool for Efficient Combination and Evaluation of Reusable Design Assets (2010)
Johan Ersfolk, Johan Lilius, Torbjörn Lundkvist, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Does physical capacity explain the height premium? (2010)
Böckerman Petri, Johansson Edvard, Kiiskinen Urpo, Heliövaara Markku
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Evaluation of the Energy Efficiency of ARM Based Processors for Cloud Infrastructure (2010)
Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
10 | 25 | 50 | 100 
Första sidan Föregående sida2/6 Nästa sida Sista sidan
Dela länk