Publikationer (289)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/3 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
Lehrstücke und Lehrstücktheorie Bertolt Brechts: Ein Unterrichtsversuch für die pädagogische Prüfung für das Lehramt an Gymnasien (1976)
Gerhard Schildberg-Schroth
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Förekomsten av toxiska blågrönalger i Åländska insjöar (1988)
Diana Toivola, John Eriksson, Jussi Meriluoto
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
Aspnäs M, Back R
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Efficient Implementations of Multi-Process Handshaking on Broadcasting Networks (1989)
M. Aspnäs M, R. J. R Back R, R. Kurki-Suonio
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Hathi-2 Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back, T-E. Malén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report) (1989)
M. Aspnäs, R.J.R. Back, K. Sere
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Undersökning av förekomsten av toxiska blågrönalger i Långsjön och Markusbölefjärden (1989)
Diana Toivola, Jussi Meriluoto, John Eriksson
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
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Oberon Animation System; Users Guide (1995)
Solin U, Aspnäs M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Why some entrepreneurs must rely on angels (1996)
Tom Berglund, Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Coordination Among Mobile Objects (1998)
Petre L, Sere K
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Checking Timing Petri Nets for Linear Duration Properties (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999)
Ivan Porres Paltor, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Distributed Object-Based Control Systems (1999)
Petre L, Qvist M, Sere K
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
OB(PN)² : An Object Based Petri Net Programming Notation (1999)
Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The entrepreneur's initial contact with a venture capitalist: why good projects may choose to wait (1999)
Tom Berglund, Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
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
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuandong Li, Johan Lilius
TUCS Publication Series
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Components vs. Objects (2000)
Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
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
Employer of Last Resort?: Who Makes the Transition from Unemployment to Self-Employment? (2001)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Developing Control Systems: A Method and a Case Study (2002)
Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Globalization and the human rights of women (2002)
Katarina Frostell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Who Is Responsible for Corporate Human Rights Violations? (2002)
Viljam Engström
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 MOF-Based Metamodel for SA/RT (2003)
Joakim Isaksson, Dragos Truscan, Johan Lilius
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
A note on the impact of hours worked on mortality in the OECD (2003)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Elevvården på andra stadiet: en utredning av elevvården och tryggheten i studiemiljön (2003)
Carola Bryggman, Susanne Sperring
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Realizing a Model Driven Engineering Process (2003)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Region Based Allocation in Java (2003)
Henrik Enqvist, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Rethinking Software Updating; Concepts for Improved Updatability (2003)
Dan Österberg, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
TACO IPv6 Router - a Case Study in Protocol Processor Design (2003)
Seppo Virtanen, Dragos Truscan, Johan Lilius
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öregående sida Föregående sida1/3 Nästa sida Sista sidan
Dela länk